[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2007-06-21-DivCompareMiscomp.ll
blobb2b04d6bd2f79563a7757a1bc01b358b2b1c5112
1 ; RUN: opt < %s -instcombine -S | grep "ret i1 true"
2 ; rdar://5278853
4 define i1 @test(i32 %tmp468) {
5         %tmp470 = udiv i32 %tmp468, 4           ; <i32> [#uses=2]
6         %tmp475 = icmp ult i32 %tmp470, 1073741824              ; <i1> [#uses=1]
7         ret i1 %tmp475