| ; RUN: llvm-as < %s | opt -instcombine -mem2reg | llvm-dis | not grep 'int 1' | |
| ; When propagating the load through the select, make sure that the load is | |
| ; inserted where the original load was, not where the select is. Not doing | |
| ; so could produce incorrect results! | |
| implementation | |
| int %test(bool %C) { | |
| %X = alloca int | |
| %X2 = alloca int | |
| store int 1, int* %X | |
| store int 2, int* %X2 | |
| %Y = select bool %C, int* %X, int* %X2 | |
| store int 3, int* %X | |
| %Z = load int* %Y | |
| ret int %Z | |
| } | |