1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s 2 3 ; CHECK-NOT: load 4 ; CHECK-NOT: phi 5 6 define i8* @cat(i8* %s1, ...) nounwind { 7 entry: 8 br i1 undef, label %bb, label %bb3 9 10 bb: ; preds = %entry 11 unreachable 12 13 bb3: ; preds = %entry 14 store i8* undef, i8** undef, align 4 15 br i1 undef, label %bb5, label %bb6 16 17 bb5: ; preds = %bb3 18 unreachable 19 20 bb6: ; preds = %bb3 21 br label %bb12 22 23 bb8: ; preds = %bb12 24 br i1 undef, label %bb9, label %bb10 25 26 bb9: ; preds = %bb8 27 %0 = load i8** undef, align 4 ; <i8*> [#uses=0] 28 %1 = load i8** undef, align 4 ; <i8*> [#uses=0] 29 br label %bb11 30 31 bb10: ; preds = %bb8 32 br label %bb11 33 34 bb11: ; preds = %bb10, %bb9 35 br label %bb12 36 37 bb12: ; preds = %bb11, %bb6 38 br i1 undef, label %bb8, label %bb13 39 40 bb13: ; preds = %bb12 41 ret i8* undef 42 } 43
