| ; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load |
| %T = type { int*, int* } |
| |
| int %main() { |
| %A = alloca %T |
| %B = alloca { %T } |
| %C = alloca %T* |
| %Bp = getelementptr { %T }* %B, long 0, ubyte 0 |
| |
| %i0 = alloca int |
| %i1 = alloca int |
| %Ap0 = getelementptr %T* %A, long 0, ubyte 0 |
| %Ap1 = getelementptr %T* %A, long 0, ubyte 1 |
| store int* %i0, int** %Ap0 |
| store int* %i1, int** %Ap1 |
| |
| store int 0, int* %i0 |
| store int 1, int* %i1 |
| %RetVal = load int* %i0 ; This load should be deletable |
| |
| store %T* %A, %T** %C |
| store %T* %Bp, %T** %C ; This store was causing merging to happen! |
| ret int %RetVal |
| } |
