1 ; RUN: opt -S -instcombine < %s | FileCheck %s
4 ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00
5 ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a
6 ; CHECK-NEXT: fpext float %1 to double
7 define double @t1(float %a) {
8 ; This is the canonical form for a type-changing min/max.
9 %1 = fcmp ult float %a, 5.0
10 %2 = select i1 %1, float %a, float 5.0
11 %3 = fpext float %2 to double
16 ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00
17 ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a
18 ; CHECK-NEXT: fpext float %1 to double
19 define double @t2(float %a) {
20 ; Check this is converted into canonical form, as above.
21 %1 = fcmp ult float %a, 5.0
22 %2 = fpext float %a to double
23 %3 = select i1 %1, double %2, double 5.0
28 ; CHECK-NEXT: fcmp oge double %a, 5.000000e+00
29 ; CHECK-NEXT: select i1 %.inv, double 5.000000e+00, double %a
30 ; CHECK-NEXT: fptrunc double %1 to float
31 define float @t4(double %a) {
32 ; Same again, with trunc.
33 %1 = fcmp ult double %a, 5.0
34 %2 = fptrunc double %a to float
35 %3 = select i1 %1, float %2, float 5.0
40 ; CHECK-NEXT: fcmp ult float %a, 5.000000e+00
41 ; CHECK-NEXT: fpext float %a to double
42 ; CHECK-NEXT: select i1 %1, double %2, double 5.001
43 define double @t5(float %a) {
44 ; different values, should not be converted.
45 %1 = fcmp ult float %a, 5.0
46 %2 = fpext float %a to double
47 %3 = select i1 %1, double %2, double 5.001
52 ; CHECK-NEXT: fcmp ult float %a, -0.0
53 ; CHECK-NEXT: fpext float %a to double
54 ; CHECK-NEXT: select i1 %1, double %2, double 0.0
55 define double @t6(float %a) {
56 ; Signed zero, should not be converted
57 %1 = fcmp ult float %a, -0.0
58 %2 = fpext float %a to double
59 %3 = select i1 %1, double %2, double 0.0
64 ; CHECK-NEXT: fcmp ult float %a, 0.0
65 ; CHECK-NEXT: fpext float %a to double
66 ; CHECK-NEXT: select i1 %1, double %2, double -0.0
67 define double @t7(float %a) {
68 ; Signed zero, should not be converted
69 %1 = fcmp ult float %a, 0.0
70 %2 = fpext float %a to double
71 %3 = select i1 %1, double %2, double -0.0
76 ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00
77 ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a
78 ; CHECK-NEXT: fptoui float %1 to i64
79 define i64 @t8(float %a) {
80 %1 = fcmp ult float %a, 5.0
81 %2 = fptoui float %a to i64
82 %3 = select i1 %1, i64 %2, i64 5
87 ; CHECK-NEXT: fcmp oge float %a, 0.000000e+00
88 ; CHECK-NEXT: select i1 %.inv, float 0.000000e+00, float %a
89 ; CHECK-NEXT: fptosi float %1 to i8
90 define i8 @t9(float %a) {
91 %1 = fcmp ult float %a, 0.0
92 %2 = fptosi float %a to i8
93 %3 = select i1 %1, i8 %2, i8 0
98 ; CHECK-NEXT: fcmp fast oge float %b, %a
99 ; CHECK-NEXT: select i1 %.inv, float %a, float %b
101 define i8 @t11(float %a, float %b) {
102 ; Either operand could be NaN, but fast modifier applied.
103 %1 = fcmp fast ult float %b, %a
104 %2 = fptosi float %a to i8
105 %3 = fptosi float %b to i8
106 %4 = select i1 %1, i8 %3, i8 %2
111 ; CHECK-NEXT: fcmp nnan oge float %b, %a
112 ; CHECK-NEXT: select i1 %.inv, float %a, float %b
113 ; CHECK-NEXT: fptosi float %.v to i8
114 define i8 @t12(float %a, float %b) {
115 ; Either operand could be NaN, but nnan modifier applied.
116 %1 = fcmp nnan ult float %b, %a
117 %2 = fptosi float %a to i8
118 %3 = fptosi float %b to i8
119 %4 = select i1 %1, i8 %3, i8 %2
124 ; CHECK-NEXT: fcmp ult float %a, 1.500000e+00
125 ; CHECK-NEXT: fptosi float %a to i8
126 ; CHECK-NEXT: select i1 %1, i8 %2, i8 1
127 define i8 @t13(float %a) {
128 ; Float and int values do not match.
129 %1 = fcmp ult float %a, 1.5
130 %2 = fptosi float %a to i8
131 %3 = select i1 %1, i8 %2, i8 1
136 ; CHECK-NEXT: fcmp ule float %a, 0.000000e+00
137 ; CHECK-NEXT: fptosi float %a to i8
138 ; CHECK-NEXT: select i1 %1, i8 %2, i8 0
139 define i8 @t14(float %a) {
140 ; <= comparison, where %a could be -0.0. Not safe.
141 %1 = fcmp ule float %a, 0.0
142 %2 = fptosi float %a to i8
143 %3 = select i1 %1, i8 %2, i8 0
148 ; CHECK-NEXT: fcmp nsz oge float %a, 0.000000e+00
149 ; CHECK-NEXT: select i1 %.inv, float 0.000000e+00, float %a
150 ; CHECK-NEXT: fptosi float %1 to i8
151 define i8 @t15(float %a) {
152 %1 = fcmp nsz ule float %a, 0.0
153 %2 = fptosi float %a to i8
154 %3 = select i1 %1, i8 %2, i8 0