gn build: Merge r374476
[llvm-complete.git] / test / Analysis / BasicAA / gcsetest.ll
blobcf6ab710bf2f48eabd1953210fb608610290cd32
1 ; Test that GCSE uses basicaa to do alias analysis, which is capable of
2 ; disambiguating some obvious cases.  All loads should be removable in
3 ; this testcase.
5 ; RUN: opt < %s -basicaa -gvn -instcombine -dce -S | FileCheck %s
7 @A = global i32 7
8 @B = global i32 8
10 ; CHECK:      define i32 @test()
11 ; CHECK-NEXT:   store i32 123, i32* @B
12 ; CHECK-NEXT:   ret i32 0
14 define i32 @test() {
15         %A1 = load i32, i32* @A
17         store i32 123, i32* @B  ; Store cannot alias @A
19         %A2 = load i32, i32* @A
20         %X = sub i32 %A1, %A2
21         ret i32 %X
24 ; CHECK:      define i32 @test2()
25 ; CHECK-NEXT:   br label %Loop
26 ; CHECK:      Loop:
27 ; CHECK-NEXT:   store i32 0, i32* @B
28 ; CHECK-NEXT:   br i1 true, label %out, label %Loop
29 ; CHECK:      out:
30 ; CHECK-NEXT:   ret i32 0
32 define i32 @test2() {
33         %A1 = load i32, i32* @A
34         br label %Loop
35 Loop:
36         %AP = phi i32 [0, %0], [%X, %Loop]
37         store i32 %AP, i32* @B  ; Store cannot alias @A
39         %A2 = load i32, i32* @A
40         %X = sub i32 %A1, %A2
41         %c = icmp eq i32 %X, 0
42         br i1 %c, label %out, label %Loop
44 out:
45         ret i32 %X
48 declare void @external()
50 ; CHECK:      define i32 @test3()
51 ; CHECK-NEXT:   call void @external()
52 ; CHECK-NEXT:   ret i32 7
54 define i32 @test3() {
55         %X = alloca i32
56         store i32 7, i32* %X
57         call void @external()
58         %V = load i32, i32* %X
59         ret i32 %V