| Dan Gohman | b1e1e82 | 2009-09-08 16:50:01 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -basicaa -gvn -instcombine |\ |
| Reid Spencer | 4b3fd6c | 2007-04-14 19:27:03 +0000 | [diff] [blame] | 2 | ; RUN: llvm-dis | grep {ret i32 0} |
| Chris Lattner | 20fad44 | 2005-05-08 23:57:34 +0000 | [diff] [blame] | 3 | |
| Tanya Lattner | dcd188d | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 4 | declare void @foo(i32*) |
| Chris Lattner | 20fad44 | 2005-05-08 23:57:34 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | dcd188d | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 6 | declare void @bar() |
| 7 | |
| 8 | define i32 @test() { |
| 9 | %A = alloca i32 ; <i32*> [#uses=3] |
| 10 | call void @foo( i32* %A ) |
| 11 | %X = load i32* %A ; <i32> [#uses=1] |
| 12 | tail call void @bar( ) |
| 13 | %Y = load i32* %A ; <i32> [#uses=1] |
| 14 | %Z = sub i32 %X, %Y ; <i32> [#uses=1] |
| 15 | ret i32 %Z |
| Chris Lattner | 20fad44 | 2005-05-08 23:57:34 +0000 | [diff] [blame] | 16 | } |