[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / SCCP / apint-select.ll
blob893331ea98671eeaf048cbf45222392e26a34ff4
1 ; RUN: opt < %s -sccp -S | not grep select
3 @A = constant i32 10
5 define i712 @test1() {
6         %P = getelementptr i32, i32* @A, i32 0
7         %B = ptrtoint i32* %P to i64
8         %BB = and i64 %B, undef
9         %C = icmp sge i64 %BB, 0
10         %X = select i1 %C, i712 0, i712 1
11         ret i712 %X
16 define i712 @test2(i1 %C) {
17         %X = select i1 %C, i712 0, i712 undef
18         ret i712 %X