| ; RUN: opt < %s -basicaa -gvn -instcombine |\ | |
| ; RUN: llvm-dis | grep {load i32\\* %A} | |
| declare double* @useit(i32*) | |
| define i32 @foo(i32 %Amt) { | |
| %A = malloc i32, i32 %Amt | |
| %P = call double* @useit(i32* %A) | |
| %X = load i32* %A | |
| store double 0.0, double* %P | |
| %Y = load i32* %A | |
| %Z = sub i32 %X, %Y | |
| ret i32 %Z | |
| } |