1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -instcombine -S | FileCheck %s
3
4define i32 @foo(i32 %a) {
5; CHECK-LABEL: @foo(
6; CHECK-NEXT:    [[T15:%.*]] = sub i32 99, [[A:%.*]]
7; CHECK-NEXT:    [[TMP1:%.*]] = icmp sgt i32 [[T15]], 0
8; CHECK-NEXT:    [[A_OP:%.*]] = add i32 [[A]], 1
9; CHECK-NEXT:    [[T13:%.*]] = select i1 [[TMP1]], i32 100, i32 [[A_OP]]
10; CHECK-NEXT:    ret i32 [[T13]]
11;
12  %t15 = sub i32 99, %a
13  %t16 = icmp slt i32 %t15, 0
14  %smax = select i1 %t16, i32 0, i32 %t15
15  %t12 = add i32 %smax, %a
16  %t13 = add i32 %t12, 1
17  ret i32 %t13
18}
19
20define i32 @bar(i32 %a) {
21; CHECK-LABEL: @bar(
22; CHECK-NEXT:    [[T15:%.*]] = sub i32 99, [[A:%.*]]
23; CHECK-NEXT:    [[TMP1:%.*]] = icmp sgt i32 [[T15]], 0
24; CHECK-NEXT:    [[T12:%.*]] = select i1 [[TMP1]], i32 99, i32 [[A]]
25; CHECK-NEXT:    ret i32 [[T12]]
26;
27  %t15 = sub i32 99, %a
28  %t16 = icmp slt i32 %t15, 0
29  %smax = select i1 %t16, i32 0, i32 %t15
30  %t12 = add i32 %smax, %a
31  ret i32 %t12
32}
33
34define i32 @fun(i32 %a) {
35; CHECK-LABEL: @fun(
36; CHECK-NEXT:    [[T16:%.*]] = icmp slt i32 [[A:%.*]], 0
37; CHECK-NEXT:    [[T12:%.*]] = select i1 [[T16]], i32 [[A]], i32 99
38; CHECK-NEXT:    ret i32 [[T12]]
39;
40  %t15 = sub i32 99, %a
41  %t16 = icmp slt i32 %a, 0
42  %smax = select i1 %t16, i32 0, i32 %t15
43  %t12 = add i32 %smax, %a
44  ret i32 %t12
45}
46