[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Inline / casts.ll
blob6354a531bc0f87937f72b9845fda145535c339a6
1 ; RUN: opt < %s -inline -S | FileCheck %s
2 ; RUN: opt < %s -passes='cgscc(inline)' -S | FileCheck %s
4 define i32 @testByte(i8 %X) {
5 entry:
6   %tmp = icmp ne i8 %X, 0
7   %tmp.i = zext i1 %tmp to i32
8   ret i32 %tmp.i
11 define i32 @main() {
12 ; CHECK-LABEL: define i32 @main()
13 entry:
14   %rslt = call i32 @testByte(i8 123)
15 ; CHECK-NOT: call
16   ret i32 %rslt
17 ; CHECK: ret i32 1