| Dan Gohman | c1be92f | 2010-10-18 18:04:47 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -aa-eval |& grep {1 no alias response} |
| Nick Lewycky | 02ff308 | 2008-11-24 03:41:24 +0000 | [diff] [blame] | 2 | |
| 3 | declare noalias i32* @_Znwj(i32 %x) nounwind | ||||
| 4 | |||||
| 5 | define i32 @foo() { | ||||
| 6 | %A = call i32* @_Znwj(i32 4) | ||||
| 7 | %B = call i32* @_Znwj(i32 4) | ||||
| 8 | store i32 1, i32* %A | ||||
| 9 | store i32 2, i32* %B | ||||
| 10 | %C = load i32* %A | ||||
| 11 | ret i32 %C | ||||
| 12 | } | ||||