1 ; RUN: opt -S -instcombine < %s | FileCheck %s
7 define i64 @t1(i32 %a) {
8 ; This is the canonical form for a type-changing min/max.
9 %1 = icmp slt i32 %a, 5
10 %2 = select i1 %1, i32 %a, i32 5
11 %3 = sext i32 %2 to i64
19 define i64 @t2(i32 %a) {
20 ; Check this is converted into canonical form, as above.
21 %1 = icmp slt i32 %a, 5
22 %2 = sext i32 %a to i64
23 %3 = select i1 %1, i64 %2, i64 5
31 define i64 @t3(i32 %a) {
32 ; Same as @t2, with flipped operands and zext instead of sext.
33 %1 = icmp ult i32 %a, 5
34 %2 = zext i32 %a to i64
35 %3 = select i1 %1, i64 5, i64 %2
43 define i32 @t4(i64 %a) {
44 ; Same again, with trunc.
45 %1 = icmp slt i64 %a, 5
46 %2 = trunc i64 %a to i32
47 %3 = select i1 %1, i32 %2, i32 5
55 define i64 @t5(i32 %a) {
56 ; Same as @t3, but with mismatched signedness between icmp and zext.
57 ; InstCombine should leave this alone.
58 %1 = icmp slt i32 %a, 5
59 %2 = zext i32 %a to i64
60 %3 = select i1 %1, i64 5, i64 %2
68 define float @t6(i32 %a) {
69 %1 = icmp slt i32 %a, 0
70 %2 = select i1 %1, i32 %a, i32 0
71 %3 = sitofp i32 %2 to float
79 define i16 @t7(i32 %a) {
80 %1 = icmp slt i32 %a, -32768
81 %2 = trunc i32 %a to i16
82 %3 = select i1 %1, i16 %2, i16 -32768
86 ; Just check for no infinite loop. InstSimplify liked to
87 ; "simplify" -32767 by removing all the sign bits,
88 ; which led to a canonicalization fight between different
89 ; parts of instcombine.
90 define i32 @t8(i64 %a, i32 %b) {
91 %1 = icmp slt i64 %a, -32767
92 %2 = select i1 %1, i64 %a, i64 -32767
93 %3 = trunc i64 %2 to i32
94 %4 = icmp slt i32 %b, 42
95 %5 = select i1 %4, i32 42, i32 %3
96 %6 = icmp ne i32 %5, %b
97 %7 = zext i1 %6 to i32
101 ; Ensure this doesn't get converted to a min/max.
105 ; CHECK-NEXT: 4294967295
107 define i64 @t9(i32 %a) {
108 %1 = icmp sgt i32 %a, -1
109 %2 = sext i32 %a to i64
110 %3 = select i1 %1, i64 %2, i64 4294967295