diff --git a/test/Transforms/GVN/range.ll b/test/Transforms/GVN/range.ll index 297c6aac88d..39acc0c3515 100644 --- a/test/Transforms/GVN/range.ll +++ b/test/Transforms/GVN/range.ll @@ -1,7 +1,7 @@ ; RUN: opt -basicaa -gvn -S < %s | FileCheck %s define i32 @test1(i32* %p) { -; CHECK: @test1(i32* %p) +; CHECK-LABEL: @test1(i32* %p) ; CHECK: %a = load i32, i32* %p, !range !0 ; CHECK: %c = add i32 %a, %a %a = load i32, i32* %p, !range !0 @@ -11,7 +11,7 @@ define i32 @test1(i32* %p) { } define i32 @test2(i32* %p) { -; CHECK: @test2(i32* %p) +; CHECK-LABEL: @test2(i32* %p) ; CHECK: %a = load i32, i32* %p ; CHECK-NOT: range ; CHECK: %c = add i32 %a, %a @@ -22,7 +22,7 @@ define i32 @test2(i32* %p) { } define i32 @test3(i32* %p) { -; CHECK: @test3(i32* %p) +; CHECK-LABEL: @test3(i32* %p) ; CHECK: %a = load i32, i32* %p, !range ![[DISJOINT_RANGE:[0-9]+]] ; CHECK: %c = add i32 %a, %a %a = load i32, i32* %p, !range !0 @@ -32,7 +32,7 @@ define i32 @test3(i32* %p) { } define i32 @test4(i32* %p) { -; CHECK: @test4(i32* %p) +; CHECK-LABEL: @test4(i32* %p) ; CHECK: %a = load i32, i32* %p, !range ![[MERGED_RANGE:[0-9]+]] ; CHECK: %c = add i32 %a, %a %a = load i32, i32* %p, !range !0 @@ -42,7 +42,7 @@ define i32 @test4(i32* %p) { } define i32 @test5(i32* %p) { -; CHECK: @test5(i32* %p) +; CHECK-LABEL: @test5(i32* %p) ; CHECK: %a = load i32, i32* %p, !range ![[MERGED_SIGNED_RANGE:[0-9]+]] ; CHECK: %c = add i32 %a, %a %a = load i32, i32* %p, !range !3 @@ -52,7 +52,7 @@ define i32 @test5(i32* %p) { } define i32 @test6(i32* %p) { -; CHECK: @test6(i32* %p) +; CHECK-LABEL: @test6(i32* %p) ; CHECK: %a = load i32, i32* %p, !range ![[MERGED_TEST6:[0-9]+]] ; CHECK: %c = add i32 %a, %a %a = load i32, i32* %p, !range !5 @@ -62,7 +62,7 @@ define i32 @test6(i32* %p) { } define i32 @test7(i32* %p) { -; CHECK: @test7(i32* %p) +; CHECK-LABEL: @test7(i32* %p) ; CHECK: %a = load i32, i32* %p, !range ![[MERGED_TEST7:[0-9]+]] ; CHECK: %c = add i32 %a, %a %a = load i32, i32* %p, !range !7 @@ -72,7 +72,7 @@ define i32 @test7(i32* %p) { } define i32 @test8(i32* %p) { -; CHECK: @test8(i32* %p) +; CHECK-LABEL: @test8(i32* %p) ; CHECK: %a = load i32, i32* %p ; CHECK-NOT: range ; CHECK: %c = add i32 %a, %a @@ -84,17 +84,17 @@ define i32 @test8(i32* %p) { ; CHECK: ![[DISJOINT_RANGE]] = !{i32 0, i32 2, i32 3, i32 5} ; CHECK: ![[MERGED_RANGE]] = !{i32 0, i32 5} -; CHECK: ![[MERGED_SIGNED_RANGE]] = !{i32 -3, i32 -2, i32 1, i32 2} +; CHECK: ![[MERGED_SIGNED_RANGE]] = !{i32 -5, i32 -2, i32 1, i32 5} ; CHECK: ![[MERGED_TEST6]] = !{i32 10, i32 1} ; CHECK: ![[MERGED_TEST7]] = !{i32 3, i32 4, i32 5, i32 2} !0 = !{i32 0, i32 2} !1 = !{i32 3, i32 5} !2 = !{i32 2, i32 5} -!3 = !{i32 -3, i32 -2} -!4 = !{i32 1, i32 2} +!3 = !{i32 -5, i32 -2} +!4 = !{i32 1, i32 5} !5 = !{i32 10, i32 1} -!6 = !{i32 12, i32 13} +!6 = !{i32 12, i32 16} !7 = !{i32 1, i32 2, i32 3, i32 4} !8 = !{i32 5, i32 1} !9 = !{i32 1, i32 5}