| ; RUN: opt < %s -instcombine -S | grep {ret i32 1} | |
| declare void @test2() | |
| define i32 @test(i1 %cond, i32 *%P) { | |
| %A = alloca i32 | |
| store i32 1, i32* %P | |
| store i32 1, i32* %A | |
| call void @test2() readonly | |
| %P2 = select i1 %cond, i32 *%P, i32* %A | |
| %V = load i32* %P2 | |
| ret i32 %V | |
| } |