| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load |
| 2 | %X = internal global int 4 | ||||
| 3 | |||||
| 4 | int %test(int *%P) { | ||||
| 5 | store int 12, int* %X | ||||
| 6 | call void %doesnotmodX() | ||||
| 7 | %V = load int* %X | ||||
| 8 | ret int %V | ||||
| 9 | } | ||||
| 10 | |||||
| 11 | void %doesnotmodX() { | ||||
| 12 | ret void | ||||
| 13 | } | ||||