[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / select-load-call.ll
blobad0ef4f85eb27f9526a38a886cac95643fcdf36f
1 ; RUN: opt < %s -instcombine -S | grep "ret i32 1"
3 declare void @test2()
5 define i32 @test(i1 %cond, i32 *%P) {
6   %A = alloca i32
7   store i32 1, i32* %P
8   store i32 1, i32* %A
10   call void @test2() readonly
12   %P2 = select i1 %cond, i32 *%P, i32* %A
13   %V = load i32, i32* %P2
14   ret i32 %V