| Chris Lattner | bfee2cc | 2004-11-26 19:19:28 +0000 | [diff] [blame] | 1 | ; A store or load cannot alias a global if the accessed amount is larger then |
| 2 | ; the global. |
| 3 | |
| Chris Lattner | 12fa3c6 | 2011-01-03 21:01:26 +0000 | [diff] [blame^] | 4 | ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s |
| Kenneth Uildriks | 90fedc6 | 2009-11-03 15:29:06 +0000 | [diff] [blame] | 5 | target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" |
| Chris Lattner | bfee2cc | 2004-11-26 19:19:28 +0000 | [diff] [blame] | 6 | |
| Chris Lattner | 12fa3c6 | 2011-01-03 21:01:26 +0000 | [diff] [blame^] | 7 | @B = global i16 8 |
| Chris Lattner | bfee2cc | 2004-11-26 19:19:28 +0000 | [diff] [blame] | 8 | |
| Chris Lattner | 12fa3c6 | 2011-01-03 21:01:26 +0000 | [diff] [blame^] | 9 | ; CHECK: @test1 |
| 10 | define i16 @test1(i32* %P) { |
| 11 | %X = load i16* @B |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 12 | store i32 7, i32* %P |
| Chris Lattner | 12fa3c6 | 2011-01-03 21:01:26 +0000 | [diff] [blame^] | 13 | %Y = load i16* @B |
| 14 | %Z = sub i16 %Y, %X |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 15 | ret i16 %Z |
| Chris Lattner | 12fa3c6 | 2011-01-03 21:01:26 +0000 | [diff] [blame^] | 16 | ; CHECK: ret i16 0 |
| Chris Lattner | bfee2cc | 2004-11-26 19:19:28 +0000 | [diff] [blame] | 17 | } |
| 18 | |