| Reid Spencer | 1faa549 | 2006-11-18 05:52:18 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -print-all-alias-modref-info -aa-eval -disable-output 2>&1 | not grep NoModRef |
| 2 | |||||
| 3 | int %callee() { | ||||
| 4 | %X = alloca struct { int, int } | ||||
| 5 | %Y = int* getelementptr struct { int, int }*, uint 1 | ||||
| 6 | %Z = int load struct { int, int }* | ||||
| 7 | ret %Z | ||||
| 8 | } | ||||
| 9 | |||||
| 10 | int %caller() { | ||||
| 11 | %X = int callee(); | ||||
| 12 | } | ||||