| Owen Anderson | 10d1667 | 2008-08-16 00:00:54 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -globalsmodref-aa -gvn | llvm-dis | not grep load |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 2 | @X = internal global i32 4 ; <i32*> [#uses=2] |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 3 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 4 | define i32 @test(i32* %P) { |
| 5 | store i32 12, i32* @X |
| 6 | call void @doesnotmodX( ) |
| 7 | %V = load i32* @X ; <i32> [#uses=1] |
| 8 | ret i32 %V |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | } |
| 10 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 11 | define void @doesnotmodX() { |
| 12 | ret void |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | } |