[X86] Call getScalarSizeInBits() instead of getScalarType().getScalarSizeInBits(...

[oota-llvm.git] / test / Transforms / GVN / condprop.ll

diff --git a/test/Transforms/GVN/condprop.ll b/test/Transforms/GVN/condprop.ll
index b22675b47cc0e0c292f68c5d6f101e258054e481..6aa3cb862509dec4d7fa11ff76fb990bfe8e2b69 100644 (file)
--- a/test/Transforms/GVN/condprop.ll
+++ b/test/Transforms/GVN/condprop.ll
@@ -2,10 +2,10 @@
 
 @a = external global i32               ; <i32*> [#uses=7]
 
-; CHECK: @test1
+; CHECK-LABEL: @test1(
 define i32 @test1() nounwind {
 entry:
-       %0 = load i32* @a, align 4
+       %0 = load i32, i32* @a, align 4
        %1 = icmp eq i32 %0, 4
        br i1 %1, label %bb, label %bb1
 
@@ -13,7 +13,7 @@ bb:           ; preds = %entry
        br label %bb8
 
 bb1:           ; preds = %entry
-       %2 = load i32* @a, align 4
+       %2 = load i32, i32* @a, align 4
        %3 = icmp eq i32 %2, 5
        br i1 %3, label %bb2, label %bb3
 
@@ -21,29 +21,29 @@ bb2:                ; preds = %bb1
        br label %bb8
 
 bb3:           ; preds = %bb1
-       %4 = load i32* @a, align 4
+       %4 = load i32, i32* @a, align 4
        %5 = icmp eq i32 %4, 4
 ; CHECK: br i1 false, label %bb4, label %bb5
        br i1 %5, label %bb4, label %bb5
 
 bb4:           ; preds = %bb3
-       %6 = load i32* @a, align 4
+       %6 = load i32, i32* @a, align 4
        %7 = add i32 %6, 5
        br label %bb8
 
 bb5:           ; preds = %bb3
-       %8 = load i32* @a, align 4
+       %8 = load i32, i32* @a, align 4
        %9 = icmp eq i32 %8, 5
 ; CHECK: br i1 false, label %bb6, label %bb7
        br i1 %9, label %bb6, label %bb7
 
 bb6:           ; preds = %bb5
-       %10 = load i32* @a, align 4
+       %10 = load i32, i32* @a, align 4
        %11 = add i32 %10, 4
        br label %bb8
 
 bb7:           ; preds = %bb5
-       %12 = load i32* @a, align 4
+       %12 = load i32, i32* @a, align 4
        br label %bb8
 
 bb8:           ; preds = %bb7, %bb6, %bb4, %bb2, %bb
@@ -57,7 +57,7 @@ return:               ; preds = %bb8
 declare void @foo(i1)
 declare void @bar(i32)
 
-; CHECK: @test3
+; CHECK-LABEL: @test3(
 define void @test3(i32 %x, i32 %y) {
   %xz = icmp eq i32 %x, 0
   %yz = icmp eq i32 %y, 0
@@ -79,7 +79,7 @@ nope:
   ret void
 }
 
-; CHECK: @test4
+; CHECK-LABEL: @test4(
 define void @test4(i1 %b, i32 %x) {
   br i1 %b, label %sw, label %case3
 sw:
@@ -112,7 +112,7 @@ case3:
   ret void
 }
 
-; CHECK: @test5
+; CHECK-LABEL: @test5(
 define i1 @test5(i32 %x, i32 %y) {
   %cmp = icmp eq i32 %x, %y
   br i1 %cmp, label %same, label %different
@@ -128,7 +128,7 @@ different:
   ret i1 %cmp3
 }
 
-; CHECK: @test6
+; CHECK-LABEL: @test6(
 define i1 @test6(i32 %x, i32 %y) {
   %cmp2 = icmp ne i32 %x, %y
   %cmp = icmp eq i32 %x, %y
@@ -144,7 +144,23 @@ different:
   ret i1 %cmp3
 }
 
-; CHECK: @test7
+; CHECK-LABEL: @test6_fp(
+define i1 @test6_fp(float %x, float %y) {
+  %cmp2 = fcmp une float %x, %y
+  %cmp = fcmp oeq float %x, %y
+  %cmp3 = fcmp oeq float  %x, %y
+  br i1 %cmp, label %same, label %different
+
+same:
+; CHECK: ret i1 false
+  ret i1 %cmp2
+
+different:
+; CHECK: ret i1 false
+  ret i1 %cmp3
+}
+
+; CHECK-LABEL: @test7(
 define i1 @test7(i32 %x, i32 %y) {
   %cmp = icmp sgt i32 %x, %y
   br i1 %cmp, label %same, label %different
@@ -160,7 +176,23 @@ different:
   ret i1 %cmp3
 }
 
-; CHECK: @test8
+; CHECK-LABEL: @test7_fp(
+define i1 @test7_fp(float %x, float %y) {
+  %cmp = fcmp ogt float %x, %y
+  br i1 %cmp, label %same, label %different
+
+same:
+  %cmp2 = fcmp ule float %x, %y
+; CHECK: ret i1 false
+  ret i1 %cmp2
+
+different:
+  %cmp3 = fcmp ogt float %x, %y
+; CHECK: ret i1 false
+  ret i1 %cmp3
+}
+
+; CHECK-LABEL: @test8(
 define i1 @test8(i32 %x, i32 %y) {
   %cmp2 = icmp sle i32 %x, %y
   %cmp = icmp sgt i32 %x, %y
@@ -176,8 +208,24 @@ different:
   ret i1 %cmp3
 }
 
+; CHECK-LABEL: @test8_fp(
+define i1 @test8_fp(float %x, float %y) {
+  %cmp2 = fcmp ule float %x, %y
+  %cmp = fcmp ogt float %x, %y
+  %cmp3 = fcmp ogt float %x, %y
+  br i1 %cmp, label %same, label %different
+
+same:
+; CHECK: ret i1 false
+  ret i1 %cmp2
+
+different:
+; CHECK: ret i1 false
+  ret i1 %cmp3
+}
+
 ; PR1768
-; CHECK: @test9
+; CHECK-LABEL: @test9(
 define i32 @test9(i32 %i, i32 %j) {
   %cmp = icmp eq i32 %i, %j
   br i1 %cmp, label %cond_true, label %ret
@@ -193,7 +241,7 @@ ret:
 }
 
 ; PR1768
-; CHECK: @test10
+; CHECK-LABEL: @test10(
 define i32 @test10(i32 %j, i32 %i) {
   %cmp = icmp eq i32 %i, %j
   br i1 %cmp, label %cond_true, label %ret
@@ -210,7 +258,7 @@ ret:
 
 declare i32 @yogibar()
 
-; CHECK: @test11
+; CHECK-LABEL: @test11(
 define i32 @test11(i32 %x) {
   %v0 = call i32 @yogibar()
   %v1 = call i32 @yogibar()
@@ -232,3 +280,20 @@ cond_true2:
 next2:
   ret i32 0
 }
+
+; CHECK-LABEL: @test12(
+define i32 @test12(i32 %x) {
+  %cmp = icmp eq i32 %x, 0
+  br i1 %cmp, label %cond_true, label %cond_false
+
+cond_true:
+  br label %ret
+
+cond_false:
+  br label %ret
+
+ret:
+  %res = phi i32 [ %x, %cond_true ], [ %x, %cond_false ]
+; CHECK: %res = phi i32 [ 0, %cond_true ], [ %x, %cond_false ]
+  ret i32 %res
+}