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