1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s 3 4 ; (X < C1) ? C1 : MIN(X, C2) 5 define float @clamp_float_fast_ordered_strict_maxmin(float %x) { 6 ; 7 ; CHECK-LABEL: @clamp_float_fast_ordered_strict_maxmin( 8 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp fast olt float [[X:%.*]], 2.550000e+02 9 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 10 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast oge float [[MIN]], 1.000000e+00 11 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MIN]], float 1.000000e+00 12 ; CHECK-NEXT: ret float [[R1]] 13 ; 14 %cmp2 = fcmp fast olt float %x, 255.0 15 %min = select i1 %cmp2, float %x, float 255.0 16 %cmp1 = fcmp fast olt float %x, 1.0 17 %r = select i1 %cmp1, float 1.0, float %min 18 ret float %r 19 } 20 21 ; (X <= C1) ? C1 : MIN(X, C2) 22 define float @clamp_float_fast_ordered_nonstrict_maxmin(float %x) { 23 ; 24 ; CHECK-LABEL: @clamp_float_fast_ordered_nonstrict_maxmin( 25 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp fast olt float [[X:%.*]], 2.550000e+02 26 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 27 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast oge float [[MIN]], 1.000000e+00 28 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MIN]], float 1.000000e+00 29 ; CHECK-NEXT: ret float [[R1]] 30 ; 31 %cmp2 = fcmp fast olt float %x, 255.0 32 %min = select i1 %cmp2, float %x, float 255.0 33 %cmp1 = fcmp fast ole float %x, 1.0 34 %r = select i1 %cmp1, float 1.0, float %min 35 ret float %r 36 } 37 38 ; (X > C1) ? C1 : MAX(X, C2) 39 define float @clamp_float_fast_ordered_strict_minmax(float %x) { 40 ; 41 ; CHECK-LABEL: @clamp_float_fast_ordered_strict_minmax( 42 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp fast ogt float [[X:%.*]], 1.000000e+00 43 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], float [[X]], float 1.000000e+00 44 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast ole float [[MAX]], 2.550000e+02 45 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MAX]], float 2.550000e+02 46 ; CHECK-NEXT: ret float [[R1]] 47 ; 48 %cmp2 = fcmp fast ogt float %x, 1.0 49 %max = select i1 %cmp2, float %x, float 1.0 50 %cmp1 = fcmp fast ogt float %x, 255.0 51 %r = select i1 %cmp1, float 255.0, float %max 52 ret float %r 53 } 54 55 ; (X >= C1) ? C1 : MAX(X, C2) 56 define float @clamp_float_fast_ordered_nonstrict_minmax(float %x) { 57 ; 58 ; CHECK-LABEL: @clamp_float_fast_ordered_nonstrict_minmax( 59 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp fast ogt float [[X:%.*]], 1.000000e+00 60 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], float [[X]], float 1.000000e+00 61 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast ole float [[MAX]], 2.550000e+02 62 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MAX]], float 2.550000e+02 63 ; CHECK-NEXT: ret float [[R1]] 64 ; 65 %cmp2 = fcmp fast ogt float %x, 1.0 66 %max = select i1 %cmp2, float %x, float 1.0 67 %cmp1 = fcmp fast oge float %x, 255.0 68 %r = select i1 %cmp1, float 255.0, float %max 69 ret float %r 70 } 71 72 73 ; The same for unordered 74 75 ; (X < C1) ? C1 : MIN(X, C2) 76 define float @clamp_float_fast_unordered_strict_maxmin(float %x) { 77 ; 78 ; CHECK-LABEL: @clamp_float_fast_unordered_strict_maxmin( 79 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02 80 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2_INV]], float 2.550000e+02, float [[X]] 81 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast oge float [[MIN]], 1.000000e+00 82 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MIN]], float 1.000000e+00 83 ; CHECK-NEXT: ret float [[R1]] 84 ; 85 %cmp2 = fcmp fast ult float %x, 255.0 86 %min = select i1 %cmp2, float %x, float 255.0 87 %cmp1 = fcmp fast ult float %x, 1.0 88 %r = select i1 %cmp1, float 1.0, float %min 89 ret float %r 90 } 91 92 ; (X <= C1) ? C1 : MIN(X, C2) 93 define float @clamp_float_fast_unordered_nonstrict_maxmin(float %x) { 94 ; 95 ; CHECK-LABEL: @clamp_float_fast_unordered_nonstrict_maxmin( 96 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02 97 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2_INV]], float 2.550000e+02, float [[X]] 98 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast oge float [[MIN]], 1.000000e+00 99 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MIN]], float 1.000000e+00 100 ; CHECK-NEXT: ret float [[R1]] 101 ; 102 %cmp2 = fcmp fast ult float %x, 255.0 103 %min = select i1 %cmp2, float %x, float 255.0 104 %cmp1 = fcmp fast ule float %x, 1.0 105 %r = select i1 %cmp1, float 1.0, float %min 106 ret float %r 107 } 108 109 ; (X > C1) ? C1 : MAX(X, C2) 110 define float @clamp_float_fast_unordered_strict_minmax(float %x) { 111 ; 112 ; CHECK-LABEL: @clamp_float_fast_unordered_strict_minmax( 113 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp fast ole float [[X:%.*]], 1.000000e+00 114 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2_INV]], float 1.000000e+00, float [[X]] 115 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast ole float [[MAX]], 2.550000e+02 116 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MAX]], float 2.550000e+02 117 ; CHECK-NEXT: ret float [[R1]] 118 ; 119 %cmp2 = fcmp fast ugt float %x, 1.0 120 %max = select i1 %cmp2, float %x, float 1.0 121 %cmp1 = fcmp fast ugt float %x, 255.0 122 %r = select i1 %cmp1, float 255.0, float %max 123 ret float %r 124 } 125 126 ; (X >= C1) ? C1 : MAX(X, C2) 127 define float @clamp_float_fast_unordered_nonstrict_minmax(float %x) { 128 ; 129 ; CHECK-LABEL: @clamp_float_fast_unordered_nonstrict_minmax( 130 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp fast ole float [[X:%.*]], 1.000000e+00 131 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2_INV]], float 1.000000e+00, float [[X]] 132 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast ole float [[MAX]], 2.550000e+02 133 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[MAX]], float 2.550000e+02 134 ; CHECK-NEXT: ret float [[R1]] 135 ; 136 %cmp2 = fcmp fast ugt float %x, 1.0 137 %max = select i1 %cmp2, float %x, float 1.0 138 %cmp1 = fcmp fast uge float %x, 255.0 139 %r = select i1 %cmp1, float 255.0, float %max 140 ret float %r 141 } 142 143 ; Some more checks with fast 144 145 ; (X > 1.0) ? min(x, 255.0) : 1.0 146 ; That did not match because select was in inverse order. 147 define float @clamp_test_1(float %x) { 148 ; CHECK-LABEL: @clamp_test_1( 149 ; CHECK-NEXT: [[INNER_CMP_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02 150 ; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_CMP_INV]], float 2.550000e+02, float [[X]] 151 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp fast oge float [[INNER_SEL]], 1.000000e+00 152 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[DOTINV]], float [[INNER_SEL]], float 1.000000e+00 153 ; CHECK-NEXT: ret float [[R1]] 154 ; 155 %inner_cmp = fcmp fast ult float %x, 255.0 156 %inner_sel = select i1 %inner_cmp, float %x, float 255.0 157 %outer_cmp = fcmp fast ugt float %x, 1.0 158 %r = select i1 %outer_cmp, float %inner_sel, float 1.0 159 ret float %r 160 } 161 162 ; And something negative 163 164 ; Like @clamp_test_1 but HighConst < LowConst 165 define float @clamp_negative_wrong_const(float %x) { 166 ; CHECK-LABEL: @clamp_negative_wrong_const( 167 ; CHECK-NEXT: [[INNER_CMP_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02 168 ; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_CMP_INV]], float 2.550000e+02, float [[X]] 169 ; CHECK-NEXT: [[OUTER_CMP:%.*]] = fcmp fast ugt float [[X]], 5.120000e+02 170 ; CHECK-NEXT: [[R:%.*]] = select i1 [[OUTER_CMP]], float [[INNER_SEL]], float 5.120000e+02 171 ; CHECK-NEXT: ret float [[R]] 172 ; 173 %inner_cmp = fcmp fast ult float %x, 255.0 174 %inner_sel = select i1 %inner_cmp, float %x, float 255.0 175 %outer_cmp = fcmp fast ugt float %x, 512.0 176 %r = select i1 %outer_cmp, float %inner_sel, float 512.0 177 ret float %r 178 } 179 180 ; Like @clamp_test_1 but both are min 181 define float @clamp_negative_same_op(float %x) { 182 ; CHECK-LABEL: @clamp_negative_same_op( 183 ; CHECK-NEXT: [[INNER_CMP_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02 184 ; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_CMP_INV]], float 2.550000e+02, float [[X]] 185 ; CHECK-NEXT: [[OUTER_CMP:%.*]] = fcmp fast ult float [[X]], 1.000000e+00 186 ; CHECK-NEXT: [[R:%.*]] = select i1 [[OUTER_CMP]], float [[INNER_SEL]], float 1.000000e+00 187 ; CHECK-NEXT: ret float [[R]] 188 ; 189 %inner_cmp = fcmp fast ult float %x, 255.0 190 %inner_sel = select i1 %inner_cmp, float %x, float 255.0 191 %outer_cmp = fcmp fast ult float %x, 1.0 192 %r = select i1 %outer_cmp, float %inner_sel, float 1.0 193 ret float %r 194 } 195 196 197 ; And now without fast. 198 199 ; First, check that we don't do bad things in the presence of signed zeros 200 define float @clamp_float_with_zero1(float %x) { 201 ; CHECK-LABEL: @clamp_float_with_zero1( 202 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp fast olt float [[X:%.*]], 2.550000e+02 203 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 204 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ole float [[X]], 0.000000e+00 205 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 0.000000e+00, float [[MIN]] 206 ; CHECK-NEXT: ret float [[R]] 207 ; 208 %cmp2 = fcmp fast olt float %x, 255.0 209 %min = select i1 %cmp2, float %x, float 255.0 210 %cmp1 = fcmp ole float %x, 0.0 211 %r = select i1 %cmp1, float 0.0, float %min 212 ret float %r 213 } 214 215 define float @clamp_float_with_zero2(float %x) { 216 ; CHECK-LABEL: @clamp_float_with_zero2( 217 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp fast olt float [[X:%.*]], 2.550000e+02 218 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 219 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp olt float [[X]], 0.000000e+00 220 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 0.000000e+00, float [[MIN]] 221 ; CHECK-NEXT: ret float [[R]] 222 ; 223 %cmp2 = fcmp fast olt float %x, 255.0 224 %min = select i1 %cmp2, float %x, float 255.0 225 %cmp1 = fcmp olt float %x, 0.0 226 %r = select i1 %cmp1, float 0.0, float %min 227 ret float %r 228 } 229 230 ; Also, here we care more about the ordering of the inner min/max, so 231 ; two times more cases. 232 ; TODO: that is not implemented yet, so these checks are for the 233 ; future. This means that checks below can just check that 234 ; "fcmp.*%x" happens twice for each label. 235 236 ; (X < C1) ? C1 : MIN(X, C2) 237 define float @clamp_float_ordered_strict_maxmin1(float %x) { 238 ; 239 ; CHECK-LABEL: @clamp_float_ordered_strict_maxmin1( 240 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp olt float [[X:%.*]], 2.550000e+02 241 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 242 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp olt float [[X]], 1.000000e+00 243 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 244 ; CHECK-NEXT: ret float [[R]] 245 ; 246 %cmp2 = fcmp olt float %x, 255.0 ; X is NaN => false 247 %min = select i1 %cmp2, float %x, float 255.0 ; 255.0 248 %cmp1 = fcmp olt float %x, 1.0 ; false 249 %r = select i1 %cmp1, float 1.0, float %min ; min (255.0) 250 ret float %r 251 } 252 253 define float @clamp_float_ordered_strict_maxmin2(float %x) { 254 ; 255 ; CHECK-LABEL: @clamp_float_ordered_strict_maxmin2( 256 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp oge float [[X:%.*]], 2.550000e+02 257 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2_INV]], float 2.550000e+02, float [[X]] 258 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp olt float [[X]], 1.000000e+00 259 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 260 ; CHECK-NEXT: ret float [[R]] 261 ; 262 %cmp2 = fcmp ult float %x, 255.0 ; X is NaN => true 263 %min = select i1 %cmp2, float %x, float 255.0 ; NaN 264 %cmp1 = fcmp olt float %x, 1.0 ; false 265 %r = select i1 %cmp1, float 1.0, float %min ; min (NaN) 266 ret float %r 267 } 268 269 ; (X <= C1) ? C1 : MIN(X, C2) 270 define float @clamp_float_ordered_nonstrict_maxmin1(float %x) { 271 ; 272 ; CHECK-LABEL: @clamp_float_ordered_nonstrict_maxmin1( 273 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp olt float [[X:%.*]], 2.550000e+02 274 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 275 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ole float [[X]], 1.000000e+00 276 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 277 ; CHECK-NEXT: ret float [[R]] 278 ; 279 %cmp2 = fcmp olt float %x, 255.0 ; X is NaN => false 280 %min = select i1 %cmp2, float %x, float 255.0 ; 255.0 281 %cmp1 = fcmp ole float %x, 1.0 ; false 282 %r = select i1 %cmp1, float 1.0, float %min ; min (255.0) 283 ret float %r 284 } 285 286 define float @clamp_float_ordered_nonstrict_maxmin2(float %x) { 287 ; 288 ; CHECK-LABEL: @clamp_float_ordered_nonstrict_maxmin2( 289 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp oge float [[X:%.*]], 2.550000e+02 290 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2_INV]], float 2.550000e+02, float [[X]] 291 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ole float [[X]], 1.000000e+00 292 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 293 ; CHECK-NEXT: ret float [[R]] 294 ; 295 %cmp2 = fcmp ult float %x, 255.0 ; x is NaN => true 296 %min = select i1 %cmp2, float %x, float 255.0 ; NaN 297 %cmp1 = fcmp ole float %x, 1.0 ; false 298 %r = select i1 %cmp1, float 1.0, float %min ; min (NaN) 299 ret float %r 300 } 301 302 ; (X > C1) ? C1 : MAX(X, C2) 303 define float @clamp_float_ordered_strict_minmax1(float %x) { 304 ; 305 ; CHECK-LABEL: @clamp_float_ordered_strict_minmax1( 306 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp ogt float [[X:%.*]], 1.000000e+00 307 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], float [[X]], float 1.000000e+00 308 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ogt float [[X]], 2.550000e+02 309 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 310 ; CHECK-NEXT: ret float [[R]] 311 ; 312 %cmp2 = fcmp ogt float %x, 1.0 ; x is NaN => false 313 %max = select i1 %cmp2, float %x, float 1.0 ; 1.0 314 %cmp1 = fcmp ogt float %x, 255.0 ; false 315 %r = select i1 %cmp1, float 255.0, float %max ; max (1.0) 316 ret float %r 317 } 318 319 define float @clamp_float_ordered_strict_minmax2(float %x) { 320 ; 321 ; CHECK-LABEL: @clamp_float_ordered_strict_minmax2( 322 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp ole float [[X:%.*]], 1.000000e+00 323 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2_INV]], float 1.000000e+00, float [[X]] 324 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ogt float [[X]], 2.550000e+02 325 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 326 ; CHECK-NEXT: ret float [[R]] 327 ; 328 %cmp2 = fcmp ugt float %x, 1.0 ; x is NaN => true 329 %max = select i1 %cmp2, float %x, float 1.0 ; NaN 330 %cmp1 = fcmp ogt float %x, 255.0 ; false 331 %r = select i1 %cmp1, float 255.0, float %max ; max (NaN) 332 ret float %r 333 } 334 335 ; (X >= C1) ? C1 : MAX(X, C2) 336 define float @clamp_float_ordered_nonstrict_minmax1(float %x) { 337 ; 338 ; CHECK-LABEL: @clamp_float_ordered_nonstrict_minmax1( 339 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp ogt float [[X:%.*]], 1.000000e+00 340 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], float [[X]], float 1.000000e+00 341 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp oge float [[X]], 2.550000e+02 342 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 343 ; CHECK-NEXT: ret float [[R]] 344 ; 345 %cmp2 = fcmp ogt float %x, 1.0 ; x is NaN => false 346 %max = select i1 %cmp2, float %x, float 1.0 ; 1.0 347 %cmp1 = fcmp oge float %x, 255.0 ; false 348 %r = select i1 %cmp1, float 255.0, float %max ; max (1.0) 349 ret float %r 350 } 351 352 define float @clamp_float_ordered_nonstrict_minmax2(float %x) { 353 ; 354 ; CHECK-LABEL: @clamp_float_ordered_nonstrict_minmax2( 355 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp ole float [[X:%.*]], 1.000000e+00 356 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2_INV]], float 1.000000e+00, float [[X]] 357 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp oge float [[X]], 2.550000e+02 358 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 359 ; CHECK-NEXT: ret float [[R]] 360 ; 361 %cmp2 = fcmp ugt float %x, 1.0 ; x is NaN => true 362 %max = select i1 %cmp2, float %x, float 1.0 ; NaN 363 %cmp1 = fcmp oge float %x, 255.0 ; false 364 %r = select i1 %cmp1, float 255.0, float %max ; max (NaN) 365 ret float %r 366 } 367 368 369 ; The same for unordered 370 371 ; (X < C1) ? C1 : MIN(X, C2) 372 define float @clamp_float_unordered_strict_maxmin1(float %x) { 373 ; 374 ; CHECK-LABEL: @clamp_float_unordered_strict_maxmin1( 375 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp olt float [[X:%.*]], 2.550000e+02 376 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 377 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ult float [[X]], 1.000000e+00 378 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 379 ; CHECK-NEXT: ret float [[R]] 380 ; 381 %cmp2 = fcmp olt float %x, 255.0 ; x is NaN => false 382 %min = select i1 %cmp2, float %x, float 255.0 ; 255.0 383 %cmp1 = fcmp ult float %x, 1.0 ; true 384 %r = select i1 %cmp1, float 1.0, float %min ; 1.0 385 ret float %r 386 } 387 388 define float @clamp_float_unordered_strict_maxmin2(float %x) { 389 ; 390 ; CHECK-LABEL: @clamp_float_unordered_strict_maxmin2( 391 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp oge float [[X:%.*]], 2.550000e+02 392 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2_INV]], float 2.550000e+02, float [[X]] 393 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ult float [[X]], 1.000000e+00 394 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 395 ; CHECK-NEXT: ret float [[R]] 396 ; 397 %cmp2 = fcmp ult float %x, 255.0 ; x is NaN => true 398 %min = select i1 %cmp2, float %x, float 255.0 ; NaN 399 %cmp1 = fcmp ult float %x, 1.0 ; true 400 %r = select i1 %cmp1, float 1.0, float %min ; 1.0 401 ret float %r 402 } 403 404 ; (X <= C1) ? C1 : MIN(X, C2) 405 define float @clamp_float_unordered_nonstrict_maxmin1(float %x) { 406 ; 407 ; CHECK-LABEL: @clamp_float_unordered_nonstrict_maxmin1( 408 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp olt float [[X:%.*]], 2.550000e+02 409 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], float [[X]], float 2.550000e+02 410 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ule float [[X]], 1.000000e+00 411 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 412 ; CHECK-NEXT: ret float [[R]] 413 ; 414 %cmp2 = fcmp olt float %x, 255.0 ; x is NaN => false 415 %min = select i1 %cmp2, float %x, float 255.0 ; 255.0 416 %cmp1 = fcmp ule float %x, 1.0 ; true 417 %r = select i1 %cmp1, float 1.0, float %min ; 1.0 418 ret float %r 419 } 420 421 define float @clamp_float_unordered_nonstrict_maxmin2(float %x) { 422 ; 423 ; CHECK-LABEL: @clamp_float_unordered_nonstrict_maxmin2( 424 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp oge float [[X:%.*]], 2.550000e+02 425 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2_INV]], float 2.550000e+02, float [[X]] 426 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ule float [[X]], 1.000000e+00 427 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 1.000000e+00, float [[MIN]] 428 ; CHECK-NEXT: ret float [[R]] 429 ; 430 %cmp2 = fcmp ult float %x, 255.0 ; x is NaN => true 431 %min = select i1 %cmp2, float %x, float 255.0 ; NaN 432 %cmp1 = fcmp ule float %x, 1.0 ; true 433 %r = select i1 %cmp1, float 1.0, float %min ; 1.0 434 ret float %r 435 } 436 437 ; (X > C1) ? C1 : MAX(X, C2) 438 define float @clamp_float_unordered_strict_minmax1(float %x) { 439 ; 440 ; CHECK-LABEL: @clamp_float_unordered_strict_minmax1( 441 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp ogt float [[X:%.*]], 1.000000e+00 442 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], float [[X]], float 1.000000e+00 443 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ugt float [[X]], 2.550000e+02 444 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 445 ; CHECK-NEXT: ret float [[R]] 446 ; 447 %cmp2 = fcmp ogt float %x, 1.0 ; x is NaN => false 448 %max = select i1 %cmp2, float %x, float 1.0 ; 1.0 449 %cmp1 = fcmp ugt float %x, 255.0 ; true 450 %r = select i1 %cmp1, float 255.0, float %max ; 255.0 451 ret float %r 452 } 453 454 define float @clamp_float_unordered_strict_minmax2(float %x) { 455 ; 456 ; CHECK-LABEL: @clamp_float_unordered_strict_minmax2( 457 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp ole float [[X:%.*]], 1.000000e+00 458 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2_INV]], float 1.000000e+00, float [[X]] 459 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ugt float [[X]], 2.550000e+02 460 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 461 ; CHECK-NEXT: ret float [[R]] 462 ; 463 %cmp2 = fcmp ugt float %x, 1.0 ; x is NaN => true 464 %max = select i1 %cmp2, float %x, float 1.0 ; NaN 465 %cmp1 = fcmp ugt float %x, 255.0 ; true 466 %r = select i1 %cmp1, float 255.0, float %max ; 255.0 467 ret float %r 468 } 469 470 ; (X >= C1) ? C1 : MAX(X, C2) 471 define float @clamp_float_unordered_nonstrict_minmax1(float %x) { 472 ; 473 ; CHECK-LABEL: @clamp_float_unordered_nonstrict_minmax1( 474 ; CHECK-NEXT: [[CMP2:%.*]] = fcmp ogt float [[X:%.*]], 1.000000e+00 475 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], float [[X]], float 1.000000e+00 476 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp uge float [[X]], 2.550000e+02 477 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 478 ; CHECK-NEXT: ret float [[R]] 479 ; 480 %cmp2 = fcmp ogt float %x, 1.0 ; x is NaN => false 481 %max = select i1 %cmp2, float %x, float 1.0 ; 1.0 482 %cmp1 = fcmp uge float %x, 255.0 ; true 483 %r = select i1 %cmp1, float 255.0, float %max ; 255.0 484 ret float %r 485 } 486 487 define float @clamp_float_unordered_nonstrict_minmax2(float %x) { 488 ; 489 ; CHECK-LABEL: @clamp_float_unordered_nonstrict_minmax2( 490 ; CHECK-NEXT: [[CMP2_INV:%.*]] = fcmp ole float [[X:%.*]], 1.000000e+00 491 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2_INV]], float 1.000000e+00, float [[X]] 492 ; CHECK-NEXT: [[CMP1:%.*]] = fcmp uge float [[X]], 2.550000e+02 493 ; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP1]], float 2.550000e+02, float [[MAX]] 494 ; CHECK-NEXT: ret float [[R]] 495 ; 496 %cmp2 = fcmp ugt float %x, 1.0 ; x is NaN => true 497 %max = select i1 %cmp2, float %x, float 1.0 ; NaN 498 %cmp1 = fcmp uge float %x, 255.0 ; true 499 %r = select i1 %cmp1, float 255.0, float %max ; 255.0 500 ret float %r 501 } 502 503 ;; Check casts behavior 504 define float @ui32_clamp_and_cast_to_float(i32 %x) { 505 ; CHECK-LABEL: @ui32_clamp_and_cast_to_float( 506 ; CHECK-NEXT: [[LO_CMP:%.*]] = icmp eq i32 [[X:%.*]], 0 507 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[X]], 255 508 ; CHECK-NEXT: [[MIN1:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 255 509 ; CHECK-NEXT: [[TMP2:%.*]] = uitofp i32 [[MIN1]] to float 510 ; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], float 1.000000e+00, float [[TMP2]] 511 ; CHECK-NEXT: ret float [[R]] 512 ; 513 %f_x = uitofp i32 %x to float 514 %up_cmp = icmp ugt i32 %x, 255 515 %lo_cmp = icmp ult i32 %x, 1 516 %min = select i1 %up_cmp, float 255.0, float %f_x 517 %r = select i1 %lo_cmp, float 1.0, float %min 518 ret float %r 519 } 520 521 define float @ui64_clamp_and_cast_to_float(i64 %x) { 522 ; CHECK-LABEL: @ui64_clamp_and_cast_to_float( 523 ; CHECK-NEXT: [[LO_CMP:%.*]] = icmp eq i64 [[X:%.*]], 0 524 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i64 [[X]], 255 525 ; CHECK-NEXT: [[MIN1:%.*]] = select i1 [[TMP1]], i64 [[X]], i64 255 526 ; CHECK-NEXT: [[TMP2:%.*]] = uitofp i64 [[MIN1]] to float 527 ; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], float 1.000000e+00, float [[TMP2]] 528 ; CHECK-NEXT: ret float [[R]] 529 ; 530 %f_x = uitofp i64 %x to float 531 %up_cmp = icmp ugt i64 %x, 255 532 %lo_cmp = icmp ult i64 %x, 1 533 %min = select i1 %up_cmp, float 255.0, float %f_x 534 %r = select i1 %lo_cmp, float 1.0, float %min 535 ret float %r 536 } 537 538 define float @mixed_clamp_to_float_1(i32 %x) { 539 ; CHECK-LABEL: @mixed_clamp_to_float_1( 540 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], 255 541 ; CHECK-NEXT: [[SI_MIN:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 255 542 ; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[SI_MIN]], 1 543 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[TMP2]], i32 [[SI_MIN]], i32 1 544 ; CHECK-NEXT: [[TMP3:%.*]] = sitofp i32 [[R1]] to float 545 ; CHECK-NEXT: ret float [[TMP3]] 546 ; 547 %si_min_cmp = icmp sgt i32 %x, 255 548 %si_min = select i1 %si_min_cmp, i32 255, i32 %x 549 %f_min = sitofp i32 %si_min to float 550 %f_x = sitofp i32 %x to float 551 %lo_cmp = fcmp ult float %f_x, 1.0 552 %r = select i1 %lo_cmp, float 1.0, float %f_min 553 ret float %r 554 } 555 556 define i32 @mixed_clamp_to_i32_1(float %x) { 557 ; CHECK-LABEL: @mixed_clamp_to_i32_1( 558 ; CHECK-NEXT: [[FLOAT_MIN_CMP:%.*]] = fcmp ogt float [[X:%.*]], 2.550000e+02 559 ; CHECK-NEXT: [[FLOAT_MIN:%.*]] = select i1 [[FLOAT_MIN_CMP]], float 2.550000e+02, float [[X]] 560 ; CHECK-NEXT: [[I32_MIN:%.*]] = fptosi float [[FLOAT_MIN]] to i32 561 ; CHECK-NEXT: [[I32_X:%.*]] = fptosi float [[X]] to i32 562 ; CHECK-NEXT: [[LO_CMP:%.*]] = icmp eq i32 [[I32_X]], 0 563 ; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], i32 1, i32 [[I32_MIN]] 564 ; CHECK-NEXT: ret i32 [[R]] 565 ; 566 %float_min_cmp = fcmp ogt float %x, 255.0 567 %float_min = select i1 %float_min_cmp, float 255.0, float %x 568 %i32_min = fptosi float %float_min to i32 569 %i32_x = fptosi float %x to i32 570 %lo_cmp = icmp ult i32 %i32_x, 1 571 %r = select i1 %lo_cmp, i32 1, i32 %i32_min 572 ret i32 %r 573 } 574 575 define float @mixed_clamp_to_float_2(i32 %x) { 576 ; CHECK-LABEL: @mixed_clamp_to_float_2( 577 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], 255 578 ; CHECK-NEXT: [[SI_MIN:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 255 579 ; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[SI_MIN]], 1 580 ; CHECK-NEXT: [[R1:%.*]] = select i1 [[TMP2]], i32 [[SI_MIN]], i32 1 581 ; CHECK-NEXT: [[TMP3:%.*]] = sitofp i32 [[R1]] to float 582 ; CHECK-NEXT: ret float [[TMP3]] 583 ; 584 %si_min_cmp = icmp sgt i32 %x, 255 585 %si_min = select i1 %si_min_cmp, i32 255, i32 %x 586 %f_min = sitofp i32 %si_min to float 587 %lo_cmp = icmp slt i32 %x, 1 588 %r = select i1 %lo_cmp, float 1.0, float %f_min 589 ret float %r 590 } 591 592 define i32 @mixed_clamp_to_i32_2(float %x) { 593 ; CHECK-LABEL: @mixed_clamp_to_i32_2( 594 ; CHECK-NEXT: [[FLOAT_MIN_CMP:%.*]] = fcmp ogt float [[X:%.*]], 2.550000e+02 595 ; CHECK-NEXT: [[FLOAT_MIN:%.*]] = select i1 [[FLOAT_MIN_CMP]], float 2.550000e+02, float [[X]] 596 ; CHECK-NEXT: [[I32_MIN:%.*]] = fptosi float [[FLOAT_MIN]] to i32 597 ; CHECK-NEXT: [[LO_CMP:%.*]] = fcmp olt float [[X]], 1.000000e+00 598 ; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], i32 1, i32 [[I32_MIN]] 599 ; CHECK-NEXT: ret i32 [[R]] 600 ; 601 %float_min_cmp = fcmp ogt float %x, 255.0 602 %float_min = select i1 %float_min_cmp, float 255.0, float %x 603 %i32_min = fptosi float %float_min to i32 604 %lo_cmp = fcmp olt float %x, 1.0 605 %r = select i1 %lo_cmp, i32 1, i32 %i32_min 606 ret i32 %r 607 } 608
