| Chris Lattner | 066ccf8 | 2003-09-20 03:08:21 +0000 | [diff] [blame] | 1 | ; In this test, a local alloca cannot alias an incoming argument. |
| 2 | |
| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 3 | ; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s |
| 4 | |
| 5 | ; CHECK: define i32 @test |
| 6 | ; CHECK-NEXT: ret i32 0 |
| Chris Lattner | 066ccf8 | 2003-09-20 03:08:21 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 8 | define i32 @test(i32* %P) { |
| 9 | %X = alloca i32 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 10 | %V1 = load i32, i32* %P |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 11 | store i32 0, i32* %X |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 12 | %V2 = load i32, i32* %P |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 13 | %Diff = sub i32 %V1, %V2 |
| 14 | ret i32 %Diff |
| Chris Lattner | 066ccf8 | 2003-09-20 03:08:21 +0000 | [diff] [blame] | 15 | } |