diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/GVN/hoist-md.ll | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/llvm/test/Transforms/GVN/hoist-md.ll b/llvm/test/Transforms/GVN/hoist-md.ll index 14cc848868e..8661542c03e 100644 --- a/llvm/test/Transforms/GVN/hoist-md.ll +++ b/llvm/test/Transforms/GVN/hoist-md.ll @@ -21,6 +21,50 @@ if.end: ; preds = %if.else, %if.then ; CHECK: store i32 2, i32* %x, align 4 ; CHECK-NEXT: br i1 %b +define void @test2(i1 %b, i32* %x) { +entry: + br i1 %b, label %if.then, label %if.else + +if.then: ; preds = %entry + %gep1 = getelementptr inbounds i32, i32* %x, i64 1 + store i32 2, i32* %gep1, align 4, !tbaa !1 + br label %if.end + +if.else: ; preds = %entry + %gep2 = getelementptr inbounds i32, i32* %x, i64 1 + store i32 2, i32* %gep2, align 4, !tbaa !5 + br label %if.end + +if.end: ; preds = %if.else, %if.then + ret void +} +; CHECK-LABEL: define void @test2( +; CHECK: %[[gep:.*]] = getelementptr inbounds i32, i32* %x, i64 1 +; CHECK: store i32 2, i32* %[[gep]], align 4 +; CHECK-NEXT: br i1 %b + +define void @test3(i1 %b, i32* %x) { +entry: + br i1 %b, label %if.then, label %if.else + +if.then: ; preds = %entry + %gep1 = getelementptr inbounds i32, i32* %x, i64 1 + store i32 2, i32* %gep1, align 4, !tbaa !1 + br label %if.end + +if.else: ; preds = %entry + %gep2 = getelementptr i32, i32* %x, i64 1 + store i32 2, i32* %gep2, align 4, !tbaa !5 + br label %if.end + +if.end: ; preds = %if.else, %if.then + ret void +} +; CHECK-LABEL: define void @test3( +; CHECK: %[[gep:.*]] = getelementptr i32, i32* %x, i64 1 +; CHECK: store i32 2, i32* %[[gep]], align 4 +; CHECK-NEXT: br i1 %b + !1 = !{!2, !2, i64 0} !2 = !{!"int", !3, i64 0} !3 = !{!"omnipotent char", !4, i64 0} |
