diff options
Diffstat (limited to 'llvm/test/Transforms/GVN/range.ll')
-rw-r--r-- | llvm/test/Transforms/GVN/range.ll | 100 |
1 files changed, 0 insertions, 100 deletions
diff --git a/llvm/test/Transforms/GVN/range.ll b/llvm/test/Transforms/GVN/range.ll deleted file mode 100644 index fd5fa56b617..00000000000 --- a/llvm/test/Transforms/GVN/range.ll +++ /dev/null @@ -1,100 +0,0 @@ -; RUN: opt -basicaa -gvn -S < %s | FileCheck %s - -define i32 @test1(i32* %p) { -; CHECK-LABEL: @test1(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE0:[0-9]+]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !0 - %b = load i32, i32* %p, !range !0 - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test2(i32* %p) { -; CHECK-LABEL: @test2(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE0]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !0 - %b = load i32, i32* %p - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test3(i32* %p) { -; CHECK-LABEL: @test3(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE0]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !0 - %b = load i32, i32* %p, !range !1 - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test4(i32* %p) { -; CHECK-LABEL: @test4(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE0]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !0 - %b = load i32, i32* %p, !range !2 - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test5(i32* %p) { -; CHECK-LABEL: @test5(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE3:[0-9]+]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !3 - %b = load i32, i32* %p, !range !4 - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test6(i32* %p) { -; CHECK-LABEL: @test6(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE5:[0-9]+]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !5 - %b = load i32, i32* %p, !range !6 - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test7(i32* %p) { -; CHECK-LABEL: @test7(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE7:[0-9]+]] -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !7 - %b = load i32, i32* %p, !range !8 - %c = add i32 %a, %b - ret i32 %c -} - -define i32 @test8(i32* %p) { -; CHECK-LABEL: @test8(i32* %p) -; CHECK: %a = load i32, i32* %p, !range ![[RANGE9:[0-9]+]] -; CHECK-NOT: range -; CHECK: %c = add i32 %a, %a - %a = load i32, i32* %p, !range !9 - %b = load i32, i32* %p, !range !10 - %c = add i32 %a, %b - ret i32 %c -} - -; CHECK: ![[RANGE0]] = !{i32 0, i32 2} -; CHECK: ![[RANGE3]] = !{i32 -5, i32 -2} -; CHECK: ![[RANGE5]] = !{i32 10, i32 1} -; CHECK: ![[RANGE7]] = !{i32 1, i32 2, i32 3, i32 4} -; CHECK: ![[RANGE9]] = !{i32 1, i32 5} - -!0 = !{i32 0, i32 2} -!1 = !{i32 3, i32 5} -!2 = !{i32 2, i32 5} -!3 = !{i32 -5, i32 -2} -!4 = !{i32 1, i32 5} -!5 = !{i32 10, i32 1} -!6 = !{i32 12, i32 16} -!7 = !{i32 1, i32 2, i32 3, i32 4} -!8 = !{i32 5, i32 1} -!9 = !{i32 1, i32 5} -!10 = !{i32 5, i32 1} |