| ; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse | llvm-dis | grep 'load int\* %L' |
| |
| %G = internal global int* null |
| |
| int %caller(bool %P) { |
| %L = alloca int |
| call void %callee(bool %P, int* %L) |
| |
| ;; At this point, G could point to L, so we can't eliminate these operations. |
| %GP = load int** %G |
| store int 17, int* %L |
| store int 18, int* %GP ;; might clober L |
| |
| %A = load int* %L ;; is not necessarily 17! |
| ret int %A |
| } |
| |
| internal void %callee(bool %Cond, int* %P) { |
| br bool %Cond, label %T, label %F |
| T: |
| store int* %P, int** %G |
| ret void |
| F: |
| ret void |
| } |
| |
