[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2007-12-10-ConstFoldCompare.ll
blob89f867252bf918729926d58cb3a730ce1184646c
1 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
2 target triple = "i686-pc-linux-gnu"
3 ; RUN: opt < %s -instcombine -S | not grep "ret i1 0"
4 ; PR1850
6 define i1 @test() {
7         %cond = icmp ule i8* inttoptr (i64 4294967297 to i8*), inttoptr (i64 5 to i8*)
8         ret i1 %cond