llvm/test/Transforms/InstSimplify/canonicalize.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=instsimplify %s | FileCheck %s
   3
   4 define float @canonicalize_zero() {
   5 ; CHECK-LABEL: @canonicalize_zero(
   6 ; CHECK-NEXT:    ret float 0.000000e+00
   7 ;
   8   %ret = call float @llvm.canonicalize.f32(float 0.0)
   9   ret float %ret
  10 }
  11
  12 define float @canonicalize_negzero() {
  13 ; CHECK-LABEL: @canonicalize_negzero(
  14 ; CHECK-NEXT:    ret float -0.000000e+00
  15 ;
  16   %ret = call float @llvm.canonicalize.f32(float -0.0)
  17   ret float %ret
  18 }
  19
  20 define <2 x float> @canonicalize_zero_vector() {
  21 ; CHECK-LABEL: @canonicalize_zero_vector(
  22 ; CHECK-NEXT:    ret <2 x float> zeroinitializer
  23 ;
  24   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> zeroinitializer)
  25   ret <2 x float> %ret
  26 }
  27
  28 define <2 x float> @canonicalize_negzero_vector() {
  29 ; CHECK-LABEL: @canonicalize_negzero_vector(
  30 ; CHECK-NEXT:    ret <2 x float> <float -0.000000e+00, float -0.000000e+00>
  31 ;
  32   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> <float -0.0, float -0.0>)
  33   ret <2 x float> %ret
  34 }
  35
  36 define <2 x float> @canonicalize_negzero_vector_partialundef() {
  37 ; CHECK-LABEL: @canonicalize_negzero_vector_partialundef(
  38 ; CHECK-NEXT:    ret <2 x float> <float -0.000000e+00, float 0.000000e+00>
  39 ;
  40   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> <float -0.0, float undef>)
  41   ret <2 x float> %ret
  42 }
  43
  44 define float @canonicalize_undef() {
  45 ; CHECK-LABEL: @canonicalize_undef(
  46 ; CHECK-NEXT:    ret float 0.000000e+00
  47 ;
  48   %ret = call float @llvm.canonicalize.f32(float undef)
  49   ret float %ret
  50 }
  51
  52 define <2 x float> @canonicalize_undef_vector() {
  53 ; CHECK-LABEL: @canonicalize_undef_vector(
  54 ; CHECK-NEXT:    ret <2 x float> zeroinitializer
  55 ;
  56   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> undef)
  57   ret <2 x float> %ret
  58 }
  59
  60 define float @canonicalize_poison() {
  61 ; CHECK-LABEL: @canonicalize_poison(
  62 ; CHECK-NEXT:    ret float poison
  63 ;
  64   %ret = call float @llvm.canonicalize.f32(float poison)
  65   ret float %ret
  66 }
  67
  68 define <2 x float> @canonicalize_poison_vector() {
  69 ; CHECK-LABEL: @canonicalize_poison_vector(
  70 ; CHECK-NEXT:    ret <2 x float> poison
  71 ;
  72   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> poison)
  73   ret <2 x float> %ret
  74 }
  75
  76 define float @canonicalize_denorm() {
  77 ; CHECK-LABEL: @canonicalize_denorm(
  78 ; CHECK-NEXT:    ret float 0x380FFFFFC0000000
  79 ;
  80   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
  81   ret float %ret
  82 }
  83
  84 define float @canonicalize_pos_denorm_preserve_sign_output() "denormal-fp-math"="preserve-sign,ieee" {
  85 ; CHECK-LABEL: @canonicalize_pos_denorm_preserve_sign_output(
  86 ; CHECK-NEXT:    ret float 0.000000e+00
  87 ;
  88   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
  89   ret float %ret
  90 }
  91
  92 define float @canonicalize_pos_denorm_preserve_sign_input() "denormal-fp-math"="ieee,preserve-sign" {
  93 ; CHECK-LABEL: @canonicalize_pos_denorm_preserve_sign_input(
  94 ; CHECK-NEXT:    ret float 0.000000e+00
  95 ;
  96   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
  97   ret float %ret
  98 }
  99
 100 define float @canonicalize_neg_denorm_preserve_sign_output() "denormal-fp-math"="preserve-sign,ieee" {
 101 ; CHECK-LABEL: @canonicalize_neg_denorm_preserve_sign_output(
 102 ; CHECK-NEXT:    ret float -0.000000e+00
 103 ;
 104   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 105   ret float %ret
 106 }
 107
 108 define float @canonicalize_neg_denorm_preserve_sign_input() "denormal-fp-math"="ieee,preserve-sign" {
 109 ; CHECK-LABEL: @canonicalize_neg_denorm_preserve_sign_input(
 110 ; CHECK-NEXT:    ret float -0.000000e+00
 111 ;
 112   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 113   ret float %ret
 114 }
 115
 116 define float @canonicalize_pos_denorm_positive_zero_output() "denormal-fp-math"="positive-zero,ieee" {
 117 ; CHECK-LABEL: @canonicalize_pos_denorm_positive_zero_output(
 118 ; CHECK-NEXT:    ret float 0.000000e+00
 119 ;
 120   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 121   ret float %ret
 122 }
 123
 124 define float @canonicalize_pos_denorm_positive_zero_input() "denormal-fp-math"="ieee,positive-zero" {
 125 ; CHECK-LABEL: @canonicalize_pos_denorm_positive_zero_input(
 126 ; CHECK-NEXT:    ret float 0.000000e+00
 127 ;
 128   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 129   ret float %ret
 130 }
 131
 132 define float @canonicalize_neg_denorm_positive_zero_output() "denormal-fp-math"="positive-zero,ieee" {
 133 ; CHECK-LABEL: @canonicalize_neg_denorm_positive_zero_output(
 134 ; CHECK-NEXT:    ret float 0.000000e+00
 135 ;
 136   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 137   ret float %ret
 138 }
 139
 140 define float @canonicalize_neg_denorm_positive_zero_input() "denormal-fp-math"="ieee,positive-zero" {
 141 ; CHECK-LABEL: @canonicalize_neg_denorm_positive_zero_input(
 142 ; CHECK-NEXT:    ret float 0.000000e+00
 143 ;
 144   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 145   ret float %ret
 146 }
 147
 148 define float @canonicalize_pos_denorm_dynamic_dynamic() "denormal-fp-math"="dynamic,dynamic" {
 149 ; CHECK-LABEL: @canonicalize_pos_denorm_dynamic_dynamic(
 150 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0x380FFFFFC0000000)
 151 ; CHECK-NEXT:    ret float [[RET]]
 152 ;
 153   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 154   ret float %ret
 155 }
 156
 157 define float @canonicalize_neg_denorm_dynamic_dynamic() "denormal-fp-math"="dynamic,dynamic" {
 158 ; CHECK-LABEL: @canonicalize_neg_denorm_dynamic_dynamic(
 159 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0xB80FFFFFC0000000)
 160 ; CHECK-NEXT:    ret float [[RET]]
 161 ;
 162   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 163   ret float %ret
 164 }
 165
 166 ; Dynamic output - cannot flush
 167 define float @canonicalize_pos_denorm_dynamic_output() "denormal-fp-math"="dynamic,ieee" {
 168 ; CHECK-LABEL: @canonicalize_pos_denorm_dynamic_output(
 169 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0x380FFFFFC0000000)
 170 ; CHECK-NEXT:    ret float [[RET]]
 171 ;
 172   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 173   ret float %ret
 174 }
 175
 176 ; Dynamic output - cannot flush
 177 define float @canonicalize_neg_denorm_dynamic_output() "denormal-fp-math"="dynamic,ieee" {
 178 ; CHECK-LABEL: @canonicalize_neg_denorm_dynamic_output(
 179 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0xB80FFFFFC0000000)
 180 ; CHECK-NEXT:    ret float [[RET]]
 181 ;
 182   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 183   ret float %ret
 184 }
 185
 186 ; Dynamic input - cannot flush
 187 define float @canonicalize_pos_denorm_dynamic_input() "denormal-fp-math"="ieee,dynamic" {
 188 ; CHECK-LABEL: @canonicalize_pos_denorm_dynamic_input(
 189 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0x380FFFFFC0000000)
 190 ; CHECK-NEXT:    ret float [[RET]]
 191 ;
 192   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 193   ret float %ret
 194 }
 195
 196 ; Dynamic input - cannot flush
 197 define float @canonicalize_neg_denorm_dynamic_input() "denormal-fp-math"="ieee,dynamic" {
 198 ; CHECK-LABEL: @canonicalize_neg_denorm_dynamic_input(
 199 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0xB80FFFFFC0000000)
 200 ; CHECK-NEXT:    ret float [[RET]]
 201 ;
 202   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 203   ret float %ret
 204 }
 205
 206 ; Input is flushed, can fold
 207 define float @canonicalize_pos_denorm_dynamic_output_preserve_sign_input() "denormal-fp-math"="dynamic,preserve-sign" {
 208 ; CHECK-LABEL: @canonicalize_pos_denorm_dynamic_output_preserve_sign_input(
 209 ; CHECK-NEXT:    ret float 0.000000e+00
 210 ;
 211   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 212   ret float %ret
 213 }
 214
 215 ; Input is flushed, can fold
 216 define float @canonicalize_neg_denorm_dynamic_output_preserve_sign_input() "denormal-fp-math"="dynamic,preserve-sign" {
 217 ; CHECK-LABEL: @canonicalize_neg_denorm_dynamic_output_preserve_sign_input(
 218 ; CHECK-NEXT:    ret float -0.000000e+00
 219 ;
 220   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 221   ret float %ret
 222 }
 223
 224 ; Output is known flushed, can fold
 225 define float @canonicalize_pos_preserve_sign_output_denorm_dynamic_input() "denormal-fp-math"="preserve-sign,dynamic" {
 226 ; CHECK-LABEL: @canonicalize_pos_preserve_sign_output_denorm_dynamic_input(
 227 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0x380FFFFFC0000000)
 228 ; CHECK-NEXT:    ret float [[RET]]
 229 ;
 230   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 8388607 to float))
 231   ret float %ret
 232 }
 233
 234 ; Output is known flushed, can fold
 235 define float @canonicalize_neg_denorm_preserve_sign_output_dynamic_input() "denormal-fp-math"="preserve-sign,dynamic" {
 236 ; CHECK-LABEL: @canonicalize_neg_denorm_preserve_sign_output_dynamic_input(
 237 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0xB80FFFFFC0000000)
 238 ; CHECK-NEXT:    ret float [[RET]]
 239 ;
 240   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 241   ret float %ret
 242 }
 243
 244 define float @canonicalize_inf() {
 245 ; CHECK-LABEL: @canonicalize_inf(
 246 ; CHECK-NEXT:    ret float 0x7FF0000000000000
 247 ;
 248   %ret = call float @llvm.canonicalize.f32(float 0x7FF0000000000000)
 249   ret float %ret
 250 }
 251
 252 define float @canonicalize_neg_inf() {
 253 ; CHECK-LABEL: @canonicalize_neg_inf(
 254 ; CHECK-NEXT:    ret float 0xFFF0000000000000
 255 ;
 256   %ret = call float @llvm.canonicalize.f32(float 0xFFF0000000000000)
 257   ret float %ret
 258 }
 259
 260 define float @canonicalize_qnan() {
 261 ; CHECK-LABEL: @canonicalize_qnan(
 262 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0x7FF8000000000000)
 263 ; CHECK-NEXT:    ret float [[RET]]
 264 ;
 265   %ret = call float @llvm.canonicalize.f32(float 0x7FF8000000000000)
 266   ret float %ret
 267 }
 268
 269 define float @canonicalize_snan() {
 270 ; CHECK-LABEL: @canonicalize_snan(
 271 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.canonicalize.f32(float 0x7FF0000020000000)
 272 ; CHECK-NEXT:    ret float [[RET]]
 273 ;
 274   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 2139095041 to float))
 275   ret float %ret
 276 }
 277
 278 define float @canonicalize_pos_normal() {
 279 ; CHECK-LABEL: @canonicalize_pos_normal(
 280 ; CHECK-NEXT:    ret float 4.000000e+00
 281 ;
 282   %ret = call float @llvm.canonicalize.f32(float 4.0)
 283   ret float %ret
 284 }
 285
 286 define float @canonicalize_neg_normal() {
 287 ; CHECK-LABEL: @canonicalize_neg_normal(
 288 ; CHECK-NEXT:    ret float -4.000000e+00
 289 ;
 290   %ret = call float @llvm.canonicalize.f32(float -4.0)
 291   ret float %ret
 292 }
 293
 294 define <2 x float> @canonicalize_pos_denorm_preserve_sign_output_mixed_vector() "denormal-fp-math"="preserve-sign,ieee" {
 295 ; CHECK-LABEL: @canonicalize_pos_denorm_preserve_sign_output_mixed_vector(
 296 ; CHECK-NEXT:    ret <2 x float> <float 0.000000e+00, float -0.000000e+00>
 297 ;
 298   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> <float bitcast (i32 8388607 to float), float bitcast (i32 -2139095041 to float)>)
 299   ret <2 x float> %ret
 300 }
 301
 302 define <2 x float> @canonicalize_pos_denorm_preserve_sign_input_mixed_vector() "denormal-fp-math"="ieee,preserve-sign" {
 303 ; CHECK-LABEL: @canonicalize_pos_denorm_preserve_sign_input_mixed_vector(
 304 ; CHECK-NEXT:    ret <2 x float> <float -0.000000e+00, float 0.000000e+00>
 305 ;
 306   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> <float bitcast (i32 -2139095041 to float), float bitcast (i32 8388607 to float)>)
 307   ret <2 x float> %ret
 308 }
 309
 310 define <2 x float> @canonicalize_pos_denorm_positive_zero_output_mixed_vector() "denormal-fp-math"="positive-zero,ieee" {
 311 ; CHECK-LABEL: @canonicalize_pos_denorm_positive_zero_output_mixed_vector(
 312 ; CHECK-NEXT:    ret <2 x float> zeroinitializer
 313 ;
 314   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> <float bitcast (i32 8388607 to float), float bitcast (i32 -2139095041 to float)>)
 315   ret <2 x float> %ret
 316 }
 317
 318 define <2 x float> @canonicalize_pos_denorm_positive_zero_input_mixed_vector() "denormal-fp-math"="ieee,positive-zero" {
 319 ; CHECK-LABEL: @canonicalize_pos_denorm_positive_zero_input_mixed_vector(
 320 ; CHECK-NEXT:    ret <2 x float> zeroinitializer
 321 ;
 322   %ret = call <2 x float> @llvm.canonicalize.v2f32(<2 x float> <float bitcast (i32 -2139095041 to float), float bitcast (i32 8388607 to float)>)
 323   ret <2 x float> %ret
 324 }
 325
 326 define float @canonicalize_neg_denorm_preserve_sign_output_positive_zero_input() "denormal-fp-math"="preserve-sign,positive-zero" {
 327 ; CHECK-LABEL: @canonicalize_neg_denorm_preserve_sign_output_positive_zero_input(
 328 ; CHECK-NEXT:    ret float 0.000000e+00
 329 ;
 330   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 331   ret float %ret
 332 }
 333
 334 define float @canonicalize_neg_denorm_positive_zero_output_preserve_sign_input() "denormal-fp-math"="positive-zero,preserve-sign" {
 335 ; CHECK-LABEL: @canonicalize_neg_denorm_positive_zero_output_preserve_sign_input(
 336 ; CHECK-NEXT:    ret float -0.000000e+00
 337 ;
 338   %ret = call float @llvm.canonicalize.f32(float bitcast (i32 -2139095041 to float))
 339   ret float %ret
 340 }
 341
 342 ; --------------------------------------------------------------------
 343 ; f64 handling
 344 ; --------------------------------------------------------------------
 345
 346 define double @canonicalize_zero_f64() {
 347 ; CHECK-LABEL: @canonicalize_zero_f64(
 348 ; CHECK-NEXT:    ret double 0.000000e+00
 349 ;
 350   %ret = call double @llvm.canonicalize.f64(double 0.0)
 351   ret double %ret
 352 }
 353
 354 define double @canonicalize_negzero_f64() {
 355 ; CHECK-LABEL: @canonicalize_negzero_f64(
 356 ; CHECK-NEXT:    ret double -0.000000e+00
 357 ;
 358   %ret = call double @llvm.canonicalize.f64(double -0.0)
 359   ret double %ret
 360 }
 361
 362 define double @canonicalize_1.0_f64() {
 363 ; CHECK-LABEL: @canonicalize_1.0_f64(
 364 ; CHECK-NEXT:    ret double 1.000000e+00
 365 ;
 366   %ret = call double @llvm.canonicalize.f64(double 1.0)
 367   ret double %ret
 368 }
 369
 370 define double @canonicalize_0x00000000000001_f64() {
 371 ; CHECK-LABEL: @canonicalize_0x00000000000001_f64(
 372 ; CHECK-NEXT:    ret double 4.940660e-324
 373 ;
 374   %ret = call double @llvm.canonicalize.f64(double 0x00000000000001)
 375   ret double %ret
 376 }
 377
 378 define double @canonicalize_inf_f64() {
 379 ; CHECK-LABEL: @canonicalize_inf_f64(
 380 ; CHECK-NEXT:    ret double 0x7FF0000000000000
 381 ;
 382   %ret = call double @llvm.canonicalize.f64(double 0x7FF0000000000000)
 383   ret double %ret
 384 }
 385
 386 define double @canonicalize_ninf_f64() {
 387 ; CHECK-LABEL: @canonicalize_ninf_f64(
 388 ; CHECK-NEXT:    ret double 0xFFF0000000000000
 389 ;
 390   %ret = call double @llvm.canonicalize.f64(double 0xFFF0000000000000)
 391   ret double %ret
 392 }
 393
 394 ; --------------------------------------------------------------------
 395 ; f16 handling
 396 ; --------------------------------------------------------------------
 397
 398 define half @canonicalize_zero_f16() {
 399 ; CHECK-LABEL: @canonicalize_zero_f16(
 400 ; CHECK-NEXT:    ret half 0xH0000
 401 ;
 402   %ret = call half @llvm.canonicalize.f16(half 0.0)
 403   ret half %ret
 404 }
 405
 406 define half @canonicalize_1.0_f16() {
 407 ; CHECK-LABEL: @canonicalize_1.0_f16(
 408 ; CHECK-NEXT:    ret half 0xH3C00
 409 ;
 410   %ret = call half @llvm.canonicalize.f16(half 1.0)
 411   ret half %ret
 412 }
 413
 414 define half @canonicalize_0x0001_f16() {
 415 ; CHECK-LABEL: @canonicalize_0x0001_f16(
 416 ; CHECK-NEXT:    ret half 0xH0001
 417 ;
 418   %ret = call half @llvm.canonicalize.f16(half 0xH0001)
 419   ret half %ret
 420 }
 421
 422 define half @canonicalize_inf_f16() {
 423 ; CHECK-LABEL: @canonicalize_inf_f16(
 424 ; CHECK-NEXT:    ret half 0xH7C00
 425 ;
 426   %ret = call half @llvm.canonicalize.f16(half 0xH7C00)
 427   ret half %ret
 428 }
 429
 430 define half @canonicalize_neg_inf_f16() {
 431 ; CHECK-LABEL: @canonicalize_neg_inf_f16(
 432 ; CHECK-NEXT:    ret half 0xHFC00
 433 ;
 434   %ret = call half @llvm.canonicalize.f16(half 0xHFC00)
 435   ret half %ret
 436 }
 437
 438 ; --------------------------------------------------------------------
 439 ; fp128 handling
 440 ; --------------------------------------------------------------------
 441
 442 define fp128 @canonicalize_zero_fp128() {
 443 ; CHECK-LABEL: @canonicalize_zero_fp128(
 444 ; CHECK-NEXT:    ret fp128 0xL00000000000000000000000000000000
 445 ;
 446   %ret = call fp128 @llvm.canonicalize.fp128(fp128 0xL00000000000000000000000000000000)
 447   ret fp128 %ret
 448 }
 449
 450 define fp128 @canonicalize_1.0_fp128() {
 451 ; CHECK-LABEL: @canonicalize_1.0_fp128(
 452 ; CHECK-NEXT:    ret fp128 0xL00000000000000003FFF000000000000
 453 ;
 454   %ret = call fp128 @llvm.canonicalize.fp128(fp128 0xL00000000000000003FFF000000000000)
 455   ret fp128 %ret
 456 }
 457
 458 define fp128 @canonicalize_0x00000000000000000000000000000001_fp128() {
 459 ; CHECK-LABEL: @canonicalize_0x00000000000000000000000000000001_fp128(
 460 ; CHECK-NEXT:    ret fp128 0xL00000000000000000000000000000001
 461 ;
 462   %ret = call fp128 @llvm.canonicalize.fp128(fp128 0xL00000000000000000000000000000001)
 463   ret fp128 %ret
 464 }
 465
 466 define fp128 @canonicalize_inf_fp128() {
 467 ; CHECK-LABEL: @canonicalize_inf_fp128(
 468 ; CHECK-NEXT:    ret fp128 0xL00000000000000007FFF000000000000
 469 ;
 470   %ret = call fp128 @llvm.canonicalize.fp128(fp128 0xL00000000000000007FFF000000000000)
 471   ret fp128 %ret
 472 }
 473
 474 define fp128 @canonicalize_neg_inf_fp128() {
 475 ; CHECK-LABEL: @canonicalize_neg_inf_fp128(
 476 ; CHECK-NEXT:    ret fp128 0xL0000000000000000FFFF000000000000
 477 ;
 478   %ret = call fp128 @llvm.canonicalize.fp128(fp128 0xL0000000000000000FFFF000000000000)
 479   ret fp128 %ret
 480 }
 481
 482 define fp128 @canonicalize_nan_fp128() {
 483 ; CHECK-LABEL: @canonicalize_nan_fp128(
 484 ; CHECK-NEXT:    [[RET:%.*]] = call fp128 @llvm.canonicalize.f128(fp128 0xL00000000000000007FFF800000000000)
 485 ; CHECK-NEXT:    ret fp128 [[RET]]
 486 ;
 487   %ret = call fp128 @llvm.canonicalize.fp128(fp128 0xL00000000000000007FFF800000000000)
 488   ret fp128 %ret
 489 }
 490
 491 ; --------------------------------------------------------------------
 492 ; bfloat handling
 493 ; --------------------------------------------------------------------
 494
 495 define bfloat @canonicalize_zero_bf16() {
 496 ; CHECK-LABEL: @canonicalize_zero_bf16(
 497 ; CHECK-NEXT:    ret bfloat 0xR0000
 498 ;
 499   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 0.0)
 500   ret bfloat %ret
 501 }
 502
 503 define bfloat @canonicalize_1.0_bf16() {
 504 ; CHECK-LABEL: @canonicalize_1.0_bf16(
 505 ; CHECK-NEXT:    ret bfloat 0xR3F80
 506 ;
 507   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 1.0)
 508   ret bfloat %ret
 509 }
 510
 511 define bfloat @canonicalize_0x0001_bf16() {
 512 ; CHECK-LABEL: @canonicalize_0x0001_bf16(
 513 ; CHECK-NEXT:    ret bfloat 0xR0001
 514 ;
 515   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 0xR0001)
 516   ret bfloat %ret
 517 }
 518
 519 define bfloat @canonicalize_inf_bf16() {
 520 ; CHECK-LABEL: @canonicalize_inf_bf16(
 521 ; CHECK-NEXT:    ret bfloat 0xR7F80
 522 ;
 523   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 0xR7F80)
 524   ret bfloat %ret
 525 }
 526
 527 define bfloat @canonicalize_neg_inf_bf16() {
 528 ; CHECK-LABEL: @canonicalize_neg_inf_bf16(
 529 ; CHECK-NEXT:    ret bfloat 0xRFF80
 530 ;
 531   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 0xRFF80)
 532   ret bfloat %ret
 533 }
 534
 535 define bfloat @canonicalize_nan_bf16() {
 536 ; CHECK-LABEL: @canonicalize_nan_bf16(
 537 ; CHECK-NEXT:    [[RET:%.*]] = call bfloat @llvm.canonicalize.bf16(bfloat 0xR7FC0)
 538 ; CHECK-NEXT:    ret bfloat [[RET]]
 539 ;
 540   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 0xR7FC0)
 541   ret bfloat %ret
 542 }
 543
 544 define bfloat @canonicalize_0xff_bf16() {
 545 ; CHECK-LABEL: @canonicalize_0xff_bf16(
 546 ; CHECK-NEXT:    ret bfloat 0xR00FF
 547 ;
 548   %ret = call bfloat @llvm.canonicalize.bf16(bfloat 0xR00FF)
 549   ret bfloat %ret
 550 }
 551
 552 ; --------------------------------------------------------------------
 553 ; f80 handling
 554 ; --------------------------------------------------------------------
 555
 556 define x86_fp80 @canonicalize_poison_f80() {
 557 ; CHECK-LABEL: @canonicalize_poison_f80(
 558 ; CHECK-NEXT:    ret x86_fp80 poison
 559 ;
 560   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 poison)
 561   ret x86_fp80 %ret
 562 }
 563
 564 define x86_fp80 @canonicalize_undef_f80() {
 565 ; CHECK-LABEL: @canonicalize_undef_f80(
 566 ; CHECK-NEXT:    ret x86_fp80 0xK00000000000000000000
 567 ;
 568   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 undef)
 569   ret x86_fp80 %ret
 570 }
 571
 572 define x86_fp80 @canonicalize_zero_f80() {
 573 ; CHECK-LABEL: @canonicalize_zero_f80(
 574 ; CHECK-NEXT:    ret x86_fp80 0xK00000000000000000000
 575 ;
 576   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK00000000000000000000)
 577   ret x86_fp80 %ret
 578 }
 579
 580 define x86_fp80 @canonicalize_negzero_f80() {
 581 ; CHECK-LABEL: @canonicalize_negzero_f80(
 582 ; CHECK-NEXT:    ret x86_fp80 0xK80000000000000000000
 583 ;
 584   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK80000000000000000000)
 585   ret x86_fp80 %ret
 586 }
 587
 588 define x86_fp80 @canonicalize_inf_f80() {
 589 ; CHECK-LABEL: @canonicalize_inf_f80(
 590 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK7FFF8000000000000000)
 591 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 592 ;
 593   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK7FFF8000000000000000)
 594   ret x86_fp80 %ret
 595 }
 596
 597 define x86_fp80 @canonicalize_ninf_f80() {
 598 ; CHECK-LABEL: @canonicalize_ninf_f80(
 599 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKFFFF8000000000000000)
 600 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 601 ;
 602   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKFFFF8000000000000000)
 603   ret x86_fp80 %ret
 604 }
 605
 606 define x86_fp80 @canonicalize_qnan_f80() {
 607 ; CHECK-LABEL: @canonicalize_qnan_f80(
 608 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKFFFFC000000000000000)
 609 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 610 ;
 611   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKFFFFC000000000000000)
 612   ret x86_fp80 %ret
 613 }
 614
 615 define x86_fp80 @canonicalize_snan_f80() {
 616 ; CHECK-LABEL: @canonicalize_snan_f80(
 617 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKFFFFE000000000000000)
 618 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 619 ;
 620   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKFFFFE000000000000000)
 621   ret x86_fp80 %ret
 622 }
 623
 624 define x86_fp80 @canonicalize_1.0_f80() {
 625 ; CHECK-LABEL: @canonicalize_1.0_f80(
 626 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK3FFF8000000000000000)
 627 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 628 ;
 629   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK3FFF8000000000000000)
 630   ret x86_fp80 %ret
 631 }
 632
 633 define x86_fp80 @canonicalize_neg1.0_f80() {
 634 ; CHECK-LABEL: @canonicalize_neg1.0_f80(
 635 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKBFFF8000000000000000)
 636 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 637 ;
 638   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xKBFFF8000000000000000)
 639   ret x86_fp80 %ret
 640 }
 641
 642 define x86_fp80 @canonicalize_0xK00000000000000000001_f80() {
 643 ; CHECK-LABEL: @canonicalize_0xK00000000000000000001_f80(
 644 ; CHECK-NEXT:    [[RET:%.*]] = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK00000000000000000001)
 645 ; CHECK-NEXT:    ret x86_fp80 [[RET]]
 646 ;
 647   %ret = call x86_fp80 @llvm.canonicalize.f80(x86_fp80 0xK00000000000000000001)
 648   ret x86_fp80 %ret
 649 }
 650
 651 ; --------------------------------------------------------------------
 652 ; ppc_fp128 handling
 653 ; --------------------------------------------------------------------
 654
 655 define ppc_fp128 @canonicalize_poison_ppcf128() {
 656 ; CHECK-LABEL: @canonicalize_poison_ppcf128(
 657 ; CHECK-NEXT:    ret ppc_fp128 poison
 658 ;
 659   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 poison)
 660   ret ppc_fp128 %ret
 661 }
 662
 663 define ppc_fp128 @canonicalize_undef_ppcf128() {
 664 ; CHECK-LABEL: @canonicalize_undef_ppcf128(
 665 ; CHECK-NEXT:    ret ppc_fp128 0xM00000000000000000000000000000000
 666 ;
 667   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 undef)
 668   ret ppc_fp128 %ret
 669 }
 670
 671 define ppc_fp128 @canonicalize_zero_ppcf128() {
 672 ; CHECK-LABEL: @canonicalize_zero_ppcf128(
 673 ; CHECK-NEXT:    ret ppc_fp128 0xM00000000000000000000000000000000
 674 ;
 675   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM00000000000000000000000000000000)
 676   ret ppc_fp128 %ret
 677 }
 678
 679 define ppc_fp128 @canonicalize_negzero_ppcf128() {
 680 ; CHECK-LABEL: @canonicalize_negzero_ppcf128(
 681 ; CHECK-NEXT:    ret ppc_fp128 0xM80000000000000000000000000000000
 682 ;
 683   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM80000000000000000000000000000000)
 684   ret ppc_fp128 %ret
 685 }
 686
 687 define ppc_fp128 @canonicalize_noncanonical_zero_0_ppcf128() {
 688 ; CHECK-LABEL: @canonicalize_noncanonical_zero_0_ppcf128(
 689 ; CHECK-NEXT:    ret ppc_fp128 0xM00000000000000000000000000000000
 690 ;
 691   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM0000000000000000ffffffffffffffff)
 692   ret ppc_fp128 %ret
 693 }
 694
 695 define ppc_fp128 @canonicalize_noncanonical_zero_1_ppcf128() {
 696 ; CHECK-LABEL: @canonicalize_noncanonical_zero_1_ppcf128(
 697 ; CHECK-NEXT:    ret ppc_fp128 0xM00000000000000000000000000000000
 698 ;
 699   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM00000000000000000000000000000001)
 700   ret ppc_fp128 %ret
 701 }
 702
 703 define ppc_fp128 @canonicalize_noncanonical_negzero_0_ppcf128() {
 704 ; CHECK-LABEL: @canonicalize_noncanonical_negzero_0_ppcf128(
 705 ; CHECK-NEXT:    ret ppc_fp128 0xM80000000000000000000000000000000
 706 ;
 707   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM8000000000000000ffffffffffffffff)
 708   ret ppc_fp128 %ret
 709 }
 710
 711 define ppc_fp128 @canonicalize_inf_ppcf128() {
 712 ; CHECK-LABEL: @canonicalize_inf_ppcf128(
 713 ; CHECK-NEXT:    [[RET:%.*]] = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM7FF00000000000000000000000000000)
 714 ; CHECK-NEXT:    ret ppc_fp128 [[RET]]
 715 ;
 716   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM7FF00000000000000000000000000000)
 717   ret ppc_fp128 %ret
 718 }
 719
 720 define ppc_fp128 @canonicalize_neginf_ppcf128() {
 721 ; CHECK-LABEL: @canonicalize_neginf_ppcf128(
 722 ; CHECK-NEXT:    [[RET:%.*]] = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMFFF00000000000000000000000000000)
 723 ; CHECK-NEXT:    ret ppc_fp128 [[RET]]
 724 ;
 725   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMFFF00000000000000000000000000000)
 726   ret ppc_fp128 %ret
 727 }
 728
 729 define ppc_fp128 @canonicalize_qnan_ppcf128() {
 730 ; CHECK-LABEL: @canonicalize_qnan_ppcf128(
 731 ; CHECK-NEXT:    [[RET:%.*]] = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMFFF80000000000000000000000000000)
 732 ; CHECK-NEXT:    ret ppc_fp128 [[RET]]
 733 ;
 734   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMFFF80000000000000000000000000000)
 735   ret ppc_fp128 %ret
 736 }
 737
 738 define ppc_fp128 @canonicalize_snan_ppcf128() {
 739 ; CHECK-LABEL: @canonicalize_snan_ppcf128(
 740 ; CHECK-NEXT:    [[RET:%.*]] = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMFFFC0000000000000000000000000000)
 741 ; CHECK-NEXT:    ret ppc_fp128 [[RET]]
 742 ;
 743   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMFFFC0000000000000000000000000000)
 744   ret ppc_fp128 %ret
 745 }
 746
 747 define ppc_fp128 @canonicalize_1.0_ppcf128() {
 748 ; CHECK-LABEL: @canonicalize_1.0_ppcf128(
 749 ; CHECK-NEXT:    [[RET:%.*]] = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM3FF00000000000000000000000000000)
 750 ; CHECK-NEXT:    ret ppc_fp128 [[RET]]
 751 ;
 752   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xM3FF00000000000000000000000000000)
 753   ret ppc_fp128 %ret
 754 }
 755
 756 define ppc_fp128 @canonicalize_neg1.0_ppcf128() {
 757 ; CHECK-LABEL: @canonicalize_neg1.0_ppcf128(
 758 ; CHECK-NEXT:    [[RET:%.*]] = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMBFF00000000000000000000000000000)
 759 ; CHECK-NEXT:    ret ppc_fp128 [[RET]]
 760 ;
 761   %ret = call ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128 0xMBFF00000000000000000000000000000)
 762   ret ppc_fp128 %ret
 763 }
 764
 765 ; --------------------------------------------------------------------
 766 ; Test folds of using canonicalize + is.fpclass to inspect the denormal mode.
 767 ; --------------------------------------------------------------------
 768
 769 define i1 @is_poszero_daz_enabled_check_dynamic() "denormal-fp-math"="ieee,dynamic" {
 770 ; CHECK-LABEL: @is_poszero_daz_enabled_check_dynamic(
 771 ; CHECK-NEXT:    [[CANONICAL:%.*]] = call float @llvm.canonicalize.f32(float 0x36A0000000000000)
 772 ; CHECK-NEXT:    [[IS_POS_ZERO:%.*]] = call i1 @llvm.is.fpclass.f32(float [[CANONICAL]], i32 64)
 773 ; CHECK-NEXT:    ret i1 [[IS_POS_ZERO]]
 774 ;
 775   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 776   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 777   ret i1 %is.pos.zero
 778 }
 779
 780 define i1 @is_preserve_sign_daz_enabled_check_dynamic() "denormal-fp-math"="ieee,dynamic" {
 781 ; CHECK-LABEL: @is_preserve_sign_daz_enabled_check_dynamic(
 782 ; CHECK-NEXT:    [[CANONICAL:%.*]] = call float @llvm.canonicalize.f32(float 0xB6A0000000000000)
 783 ; CHECK-NEXT:    [[IS_NEG_ZERO:%.*]] = call i1 @llvm.is.fpclass.f32(float [[CANONICAL]], i32 32)
 784 ; CHECK-NEXT:    ret i1 [[IS_NEG_ZERO]]
 785 ;
 786   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 787   %is.neg.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 32)
 788   ret i1 %is.neg.zero
 789 }
 790
 791 define i1 @is_positive_zero_daz_enabled_check_dynamic() "denormal-fp-math"="ieee,dynamic" {
 792 ; CHECK-LABEL: @is_positive_zero_daz_enabled_check_dynamic(
 793 ; CHECK-NEXT:    [[CANONICAL:%.*]] = call float @llvm.canonicalize.f32(float 0xB6A0000000000000)
 794 ; CHECK-NEXT:    [[IS_POS_ZERO:%.*]] = call i1 @llvm.is.fpclass.f32(float [[CANONICAL]], i32 64)
 795 ; CHECK-NEXT:    ret i1 [[IS_POS_ZERO]]
 796 ;
 797   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 798   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 799   ret i1 %is.pos.zero
 800 }
 801
 802 define i1 @is_any_daz_enabled_check_dynamic() "denormal-fp-math"="ieee,dynamic" {
 803 ; CHECK-LABEL: @is_any_daz_enabled_check_dynamic(
 804 ; CHECK-NEXT:    [[CANONICAL:%.*]] = call float @llvm.canonicalize.f32(float 0xB6A0000000000000)
 805 ; CHECK-NEXT:    [[IS_ANY_ZERO:%.*]] = call i1 @llvm.is.fpclass.f32(float [[CANONICAL]], i32 96)
 806 ; CHECK-NEXT:    ret i1 [[IS_ANY_ZERO]]
 807 ;
 808   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 809   %is.any.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 96)
 810   ret i1 %is.any.zero
 811 }
 812
 813 define i1 @is_not_daz_enabled_check_dynamic() "denormal-fp-math"="ieee,dynamic" {
 814 ; CHECK-LABEL: @is_not_daz_enabled_check_dynamic(
 815 ; CHECK-NEXT:    [[CANONICAL:%.*]] = call float @llvm.canonicalize.f32(float 0x36A0000000000000)
 816 ; CHECK-NEXT:    [[IS_NOT_POS_ZERO:%.*]] = call i1 @llvm.is.fpclass.f32(float [[CANONICAL]], i32 959)
 817 ; CHECK-NEXT:    ret i1 [[IS_NOT_POS_ZERO]]
 818 ;
 819   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 820   %is.not.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 959)
 821   ret i1 %is.not.pos.zero
 822 }
 823
 824 define i1 @is_poszero_daz_enabled_check_ieee() "denormal-fp-math"="ieee,ieee" {
 825 ; CHECK-LABEL: @is_poszero_daz_enabled_check_ieee(
 826 ; CHECK-NEXT:    ret i1 false
 827 ;
 828   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 829   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 830   ret i1 %is.pos.zero
 831 }
 832
 833 define i1 @is_preserve_sign_daz_enabled_check_ieee() "denormal-fp-math"="ieee,ieee" {
 834 ; CHECK-LABEL: @is_preserve_sign_daz_enabled_check_ieee(
 835 ; CHECK-NEXT:    ret i1 false
 836 ;
 837   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 838   %is.neg.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 32)
 839   ret i1 %is.neg.zero
 840 }
 841
 842 define i1 @is_positive_zero_daz_enabled_check_ieee() "denormal-fp-math"="ieee,ieee" {
 843 ; CHECK-LABEL: @is_positive_zero_daz_enabled_check_ieee(
 844 ; CHECK-NEXT:    ret i1 false
 845 ;
 846   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 847   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 848   ret i1 %is.pos.zero
 849 }
 850
 851 define i1 @is_any_daz_enabled_check_ieee() "denormal-fp-math"="ieee,ieee" {
 852 ; CHECK-LABEL: @is_any_daz_enabled_check_ieee(
 853 ; CHECK-NEXT:    ret i1 false
 854 ;
 855   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 856   %is.any.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 96)
 857   ret i1 %is.any.zero
 858 }
 859
 860 define i1 @is_not_daz_enabled_check_ieee() "denormal-fp-math"="ieee,ieee" {
 861 ; CHECK-LABEL: @is_not_daz_enabled_check_ieee(
 862 ; CHECK-NEXT:    ret i1 true
 863 ;
 864   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 865   %is.not.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 959)
 866   ret i1 %is.not.pos.zero
 867 }
 868
 869 define i1 @is_poszero_daz_enabled_check_preserve_sign() "denormal-fp-math"="ieee,preserve-sign" {
 870 ; CHECK-LABEL: @is_poszero_daz_enabled_check_preserve_sign(
 871 ; CHECK-NEXT:    ret i1 true
 872 ;
 873   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 874   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 875   ret i1 %is.pos.zero
 876 }
 877
 878 define i1 @is_preserve_sign_daz_enabled_check_preserve_sign() "denormal-fp-math"="ieee,preserve-sign" {
 879 ; CHECK-LABEL: @is_preserve_sign_daz_enabled_check_preserve_sign(
 880 ; CHECK-NEXT:    ret i1 true
 881 ;
 882   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 883   %is.neg.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 32)
 884   ret i1 %is.neg.zero
 885 }
 886
 887 define i1 @is_positive_zero_daz_enabled_check_preserve_sign() "denormal-fp-math"="ieee,preserve-sign" {
 888 ; CHECK-LABEL: @is_positive_zero_daz_enabled_check_preserve_sign(
 889 ; CHECK-NEXT:    ret i1 false
 890 ;
 891   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 892   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 893   ret i1 %is.pos.zero
 894 }
 895
 896 define i1 @is_any_daz_enabled_check_preserve_sign() "denormal-fp-math"="ieee,preserve-sign" {
 897 ; CHECK-LABEL: @is_any_daz_enabled_check_preserve_sign(
 898 ; CHECK-NEXT:    ret i1 true
 899 ;
 900   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 901   %is.any.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 96)
 902   ret i1 %is.any.zero
 903 }
 904
 905 define i1 @is_not_daz_enabled_check_preserve_sign() "denormal-fp-math"="ieee,preserve-sign" {
 906 ; CHECK-LABEL: @is_not_daz_enabled_check_preserve_sign(
 907 ; CHECK-NEXT:    ret i1 false
 908 ;
 909   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 910   %is.not.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 959)
 911   ret i1 %is.not.pos.zero
 912 }
 913
 914 define i1 @is_poszero_daz_enabled_check_positive_zero() "denormal-fp-math"="ieee,positive-zero" {
 915 ; CHECK-LABEL: @is_poszero_daz_enabled_check_positive_zero(
 916 ; CHECK-NEXT:    ret i1 true
 917 ;
 918   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 919   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 920   ret i1 %is.pos.zero
 921 }
 922
 923 define i1 @is_preserve_sign_daz_enabled_check_positive_zero() "denormal-fp-math"="ieee,positive-zero" {
 924 ; CHECK-LABEL: @is_preserve_sign_daz_enabled_check_positive_zero(
 925 ; CHECK-NEXT:    ret i1 false
 926 ;
 927   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 928   %is.neg.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 32)
 929   ret i1 %is.neg.zero
 930 }
 931
 932 define i1 @is_positive_zero_daz_enabled_check_positive_zero() "denormal-fp-math"="ieee,positive-zero" {
 933 ; CHECK-LABEL: @is_positive_zero_daz_enabled_check_positive_zero(
 934 ; CHECK-NEXT:    ret i1 true
 935 ;
 936   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 937   %is.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 64)
 938   ret i1 %is.pos.zero
 939 }
 940
 941 define i1 @is_any_daz_enabled_check_positive_zero() "denormal-fp-math"="ieee,positive-zero" {
 942 ; CHECK-LABEL: @is_any_daz_enabled_check_positive_zero(
 943 ; CHECK-NEXT:    ret i1 true
 944 ;
 945   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 -2147483647 to float))
 946   %is.any.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 96)
 947   ret i1 %is.any.zero
 948 }
 949
 950 define i1 @is_not_daz_enabled_check_positive_zero() "denormal-fp-math"="ieee,positive-zero" {
 951 ; CHECK-LABEL: @is_not_daz_enabled_check_positive_zero(
 952 ; CHECK-NEXT:    ret i1 false
 953 ;
 954   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 955   %is.not.pos.zero = call i1 @llvm.is.fpclass.f32(float %canonical, i32 959)
 956   ret i1 %is.not.pos.zero
 957 }
 958
 959 define i1 @is_poszero_daz_enabled_check_dynamic_bitcast() "denormal-fp-math"="ieee,dynamic" {
 960 ; CHECK-LABEL: @is_poszero_daz_enabled_check_dynamic_bitcast(
 961 ; CHECK-NEXT:    [[CANONICAL:%.*]] = call float @llvm.canonicalize.f32(float 0x36A0000000000000)
 962 ; CHECK-NEXT:    [[BITCAST:%.*]] = bitcast float [[CANONICAL]] to i32
 963 ; CHECK-NEXT:    [[IS_POS_ZERO:%.*]] = icmp eq i32 [[BITCAST]], 0
 964 ; CHECK-NEXT:    ret i1 [[IS_POS_ZERO]]
 965 ;
 966   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 967   %bitcast = bitcast float %canonical to i32
 968   %is.pos.zero = icmp eq i32 %bitcast, 0
 969   ret i1 %is.pos.zero
 970 }
 971
 972 define i1 @is_poszero_daz_enabled_check_preserve_sign_bitcast() "denormal-fp-math"="ieee,preserve-sign" {
 973 ; CHECK-LABEL: @is_poszero_daz_enabled_check_preserve_sign_bitcast(
 974 ; CHECK-NEXT:    ret i1 true
 975 ;
 976   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 977   %bitcast = bitcast float %canonical to i32
 978   %is.pos.zero = icmp eq i32 %bitcast, 0
 979   ret i1 %is.pos.zero
 980 }
 981
 982 define i1 @is_poszero_daz_enabled_check_positive_zero_bitcast() "denormal-fp-math"="ieee,positive-zero" {
 983 ; CHECK-LABEL: @is_poszero_daz_enabled_check_positive_zero_bitcast(
 984 ; CHECK-NEXT:    ret i1 true
 985 ;
 986   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 987   %bitcast = bitcast float %canonical to i32
 988   %is.pos.zero = icmp eq i32 %bitcast, 0
 989   ret i1 %is.pos.zero
 990 }
 991
 992 define i1 @is_poszero_daz_enabled_check_ieee_bitcast() "denormal-fp-math"="ieee,ieee" {
 993 ; CHECK-LABEL: @is_poszero_daz_enabled_check_ieee_bitcast(
 994 ; CHECK-NEXT:    ret i1 false
 995 ;
 996   %canonical = call float @llvm.canonicalize.f32(float bitcast (i32 1 to float))
 997   %bitcast = bitcast float %canonical to i32
 998   %is.pos.zero = icmp eq i32 %bitcast, 0
 999   ret i1 %is.pos.zero
1000 }
1001
1002 declare bfloat @llvm.canonicalize.bf16(bfloat)
1003 declare half @llvm.canonicalize.f16(half)
1004 declare float @llvm.canonicalize.f32(float)
1005 declare <2 x float> @llvm.canonicalize.v2f32(<2 x float>)
1006 declare double @llvm.canonicalize.f64(double)
1007 declare fp128 @llvm.canonicalize.fp128(fp128)
1008 declare x86_fp80 @llvm.canonicalize.f80(x86_fp80)
1009 declare ppc_fp128 @llvm.canonicalize.ppcf128(ppc_fp128)
1010 declare i1 @llvm.is.fpclass.f32(float, i32 immarg)