[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / SCCP / pr35357.ll
blobfda123b76f74f2beeeeb4f028eb8ac6dc62a24b1
1 ; RUN: opt -S %s -ipsccp | FileCheck %s
3 @a = internal global i32 2
5 define i32 @patatino() {
6 ; CHECK: @patatino(
7 ; CHECK: call void @f(i32 undef, i32 1)
8 ; CHECK-NEXT: call void @f(i32 2, i32 0)
9 ; CHECK-NEXT: ret i32 0
10 entry:
11   call void @f(i32 undef, i32 1)
12   %0 = load i32, i32* @a
13   call void @f(i32 %0, i32 0)
14   ret i32 0
17 define internal void @f(i32 %c, i32 %d) {
18 ; CHECK: @f(
19 ; CHECK:    ret void
21 entry:
22   %cmp = icmp ne i32 %c, %d
23   ret void