; RUN: llvm-as < cast-propagate.ll | opt -instcombine -mem2reg | llvm-dis | not grep load | |
int %test1(uint* %P) { | |
%A = alloca uint | |
store uint 123, uint* %A | |
%Q = cast uint* %A to int* ; Cast the result of the load not the source | |
%V = load int* %Q | |
ret int %V | |
} |