llvm/test/CodeGen/Mips/GlobalISel/legalizer/fptosi_and_fptoui.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP32
   3 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -mattr=+fp64,+mips32r2 -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP64
   4 --- |
   5
   6   define void @f32toi64() {entry: ret void}
   7   define void @f32toi32() {entry: ret void}
   8   define void @f32toi16() {entry: ret void}
   9   define void @f32toi8() {entry: ret void}
  10   define void @f64toi64() {entry: ret void}
  11   define void @f64toi32() {entry: ret void}
  12   define void @f64toi16() {entry: ret void}
  13   define void @f64toi8() {entry: ret void}
  14   define void @f32tou64() {entry: ret void}
  15   define void @f32tou32() {entry: ret void}
  16   define void @f32tou16() {entry: ret void}
  17   define void @f32tou8() {entry: ret void}
  18   define void @f64tou64() {entry: ret void}
  19   define void @f64tou32() {entry: ret void}
  20   define void @f64tou16() {entry: ret void}
  21   define void @f64tou8() {entry: ret void}
  22
  23 ...
  24 ---
  25 name:            f32toi64
  26 alignment:       4
  27 tracksRegLiveness: true
  28 body:             |
  29   bb.1.entry:
  30     liveins: $f12
  31
  32     ; FP32-LABEL: name: f32toi64
  33     ; FP32: liveins: $f12
  34     ; FP32-NEXT: {{  $}}
  35     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
  36     ; FP32-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
  37     ; FP32-NEXT: $f12 = COPY [[COPY]](s32)
  38     ; FP32-NEXT: JAL &__fixsfdi, csr_o32, implicit-def $ra, implicit-def $sp, implicit $f12, implicit-def $v0, implicit-def $v1
  39     ; FP32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
  40     ; FP32-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
  41     ; FP32-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
  42     ; FP32-NEXT: $v0 = COPY [[COPY1]](s32)
  43     ; FP32-NEXT: $v1 = COPY [[COPY2]](s32)
  44     ; FP32-NEXT: RetRA implicit $v0, implicit $v1
  45     ;
  46     ; FP64-LABEL: name: f32toi64
  47     ; FP64: liveins: $f12
  48     ; FP64-NEXT: {{  $}}
  49     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
  50     ; FP64-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
  51     ; FP64-NEXT: $f12 = COPY [[COPY]](s32)
  52     ; FP64-NEXT: JAL &__fixsfdi, csr_o32_fp64, implicit-def $ra, implicit-def $sp, implicit $f12, implicit-def $v0, implicit-def $v1
  53     ; FP64-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
  54     ; FP64-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
  55     ; FP64-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
  56     ; FP64-NEXT: $v0 = COPY [[COPY1]](s32)
  57     ; FP64-NEXT: $v1 = COPY [[COPY2]](s32)
  58     ; FP64-NEXT: RetRA implicit $v0, implicit $v1
  59     %0:_(s32) = COPY $f12
  60     %1:_(s64) = G_FPTOSI %0(s32)
  61     %2:_(s32), %3:_(s32) = G_UNMERGE_VALUES %1(s64)
  62     $v0 = COPY %2(s32)
  63     $v1 = COPY %3(s32)
  64     RetRA implicit $v0, implicit $v1
  65
  66 ...
  67 ---
  68 name:            f32toi32
  69 alignment:       4
  70 tracksRegLiveness: true
  71 body:             |
  72   bb.1.entry:
  73     liveins: $f12
  74
  75     ; FP32-LABEL: name: f32toi32
  76     ; FP32: liveins: $f12
  77     ; FP32-NEXT: {{  $}}
  78     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
  79     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
  80     ; FP32-NEXT: $v0 = COPY [[FPTOSI]](s32)
  81     ; FP32-NEXT: RetRA implicit $v0
  82     ;
  83     ; FP64-LABEL: name: f32toi32
  84     ; FP64: liveins: $f12
  85     ; FP64-NEXT: {{  $}}
  86     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
  87     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
  88     ; FP64-NEXT: $v0 = COPY [[FPTOSI]](s32)
  89     ; FP64-NEXT: RetRA implicit $v0
  90     %0:_(s32) = COPY $f12
  91     %1:_(s32) = G_FPTOSI %0(s32)
  92     $v0 = COPY %1(s32)
  93     RetRA implicit $v0
  94
  95 ...
  96 ---
  97 name:            f32toi16
  98 alignment:       4
  99 tracksRegLiveness: true
 100 body:             |
 101   bb.1.entry:
 102     liveins: $f12
 103
 104     ; FP32-LABEL: name: f32toi16
 105     ; FP32: liveins: $f12
 106     ; FP32-NEXT: {{  $}}
 107     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 108     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 109     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 110     ; FP32-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 111     ; FP32-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 112     ; FP32-NEXT: $v0 = COPY [[ASHR]](s32)
 113     ; FP32-NEXT: RetRA implicit $v0
 114     ;
 115     ; FP64-LABEL: name: f32toi16
 116     ; FP64: liveins: $f12
 117     ; FP64-NEXT: {{  $}}
 118     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 119     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 120     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 121     ; FP64-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 122     ; FP64-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 123     ; FP64-NEXT: $v0 = COPY [[ASHR]](s32)
 124     ; FP64-NEXT: RetRA implicit $v0
 125     %0:_(s32) = COPY $f12
 126     %1:_(s16) = G_FPTOSI %0(s32)
 127     %2:_(s32) = G_SEXT %1(s16)
 128     $v0 = COPY %2(s32)
 129     RetRA implicit $v0
 130
 131 ...
 132 ---
 133 name:            f32toi8
 134 alignment:       4
 135 tracksRegLiveness: true
 136 body:             |
 137   bb.1.entry:
 138     liveins: $f12
 139
 140     ; FP32-LABEL: name: f32toi8
 141     ; FP32: liveins: $f12
 142     ; FP32-NEXT: {{  $}}
 143     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 144     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 145     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
 146     ; FP32-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 147     ; FP32-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 148     ; FP32-NEXT: $v0 = COPY [[ASHR]](s32)
 149     ; FP32-NEXT: RetRA implicit $v0
 150     ;
 151     ; FP64-LABEL: name: f32toi8
 152     ; FP64: liveins: $f12
 153     ; FP64-NEXT: {{  $}}
 154     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 155     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 156     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
 157     ; FP64-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 158     ; FP64-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 159     ; FP64-NEXT: $v0 = COPY [[ASHR]](s32)
 160     ; FP64-NEXT: RetRA implicit $v0
 161     %0:_(s32) = COPY $f12
 162     %1:_(s8) = G_FPTOSI %0(s32)
 163     %2:_(s32) = G_SEXT %1(s8)
 164     $v0 = COPY %2(s32)
 165     RetRA implicit $v0
 166
 167 ...
 168 ---
 169 name:            f64toi64
 170 alignment:       4
 171 tracksRegLiveness: true
 172 body:             |
 173   bb.1.entry:
 174     liveins: $d6
 175
 176     ; FP32-LABEL: name: f64toi64
 177     ; FP32: liveins: $d6
 178     ; FP32-NEXT: {{  $}}
 179     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 180     ; FP32-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
 181     ; FP32-NEXT: $d6 = COPY [[COPY]](s64)
 182     ; FP32-NEXT: JAL &__fixdfdi, csr_o32, implicit-def $ra, implicit-def $sp, implicit $d6, implicit-def $v0, implicit-def $v1
 183     ; FP32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
 184     ; FP32-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
 185     ; FP32-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
 186     ; FP32-NEXT: $v0 = COPY [[COPY1]](s32)
 187     ; FP32-NEXT: $v1 = COPY [[COPY2]](s32)
 188     ; FP32-NEXT: RetRA implicit $v0, implicit $v1
 189     ;
 190     ; FP64-LABEL: name: f64toi64
 191     ; FP64: liveins: $d6
 192     ; FP64-NEXT: {{  $}}
 193     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 194     ; FP64-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
 195     ; FP64-NEXT: $d12_64 = COPY [[COPY]](s64)
 196     ; FP64-NEXT: JAL &__fixdfdi, csr_o32_fp64, implicit-def $ra, implicit-def $sp, implicit $d12_64, implicit-def $v0, implicit-def $v1
 197     ; FP64-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
 198     ; FP64-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
 199     ; FP64-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
 200     ; FP64-NEXT: $v0 = COPY [[COPY1]](s32)
 201     ; FP64-NEXT: $v1 = COPY [[COPY2]](s32)
 202     ; FP64-NEXT: RetRA implicit $v0, implicit $v1
 203     %0:_(s64) = COPY $d6
 204     %1:_(s64) = G_FPTOSI %0(s64)
 205     %2:_(s32), %3:_(s32) = G_UNMERGE_VALUES %1(s64)
 206     $v0 = COPY %2(s32)
 207     $v1 = COPY %3(s32)
 208     RetRA implicit $v0, implicit $v1
 209
 210 ...
 211 ---
 212 name:            f64toi32
 213 alignment:       4
 214 tracksRegLiveness: true
 215 body:             |
 216   bb.1.entry:
 217     liveins: $d6
 218
 219     ; FP32-LABEL: name: f64toi32
 220     ; FP32: liveins: $d6
 221     ; FP32-NEXT: {{  $}}
 222     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 223     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 224     ; FP32-NEXT: $v0 = COPY [[FPTOSI]](s32)
 225     ; FP32-NEXT: RetRA implicit $v0
 226     ;
 227     ; FP64-LABEL: name: f64toi32
 228     ; FP64: liveins: $d6
 229     ; FP64-NEXT: {{  $}}
 230     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 231     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 232     ; FP64-NEXT: $v0 = COPY [[FPTOSI]](s32)
 233     ; FP64-NEXT: RetRA implicit $v0
 234     %0:_(s64) = COPY $d6
 235     %1:_(s32) = G_FPTOSI %0(s64)
 236     $v0 = COPY %1(s32)
 237     RetRA implicit $v0
 238
 239 ...
 240 ---
 241 name:            f64toi16
 242 alignment:       4
 243 tracksRegLiveness: true
 244 body:             |
 245   bb.1.entry:
 246     liveins: $d6
 247
 248     ; FP32-LABEL: name: f64toi16
 249     ; FP32: liveins: $d6
 250     ; FP32-NEXT: {{  $}}
 251     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 252     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 253     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 254     ; FP32-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 255     ; FP32-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 256     ; FP32-NEXT: $v0 = COPY [[ASHR]](s32)
 257     ; FP32-NEXT: RetRA implicit $v0
 258     ;
 259     ; FP64-LABEL: name: f64toi16
 260     ; FP64: liveins: $d6
 261     ; FP64-NEXT: {{  $}}
 262     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 263     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 264     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 265     ; FP64-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 266     ; FP64-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 267     ; FP64-NEXT: $v0 = COPY [[ASHR]](s32)
 268     ; FP64-NEXT: RetRA implicit $v0
 269     %0:_(s64) = COPY $d6
 270     %1:_(s16) = G_FPTOSI %0(s64)
 271     %2:_(s32) = G_SEXT %1(s16)
 272     $v0 = COPY %2(s32)
 273     RetRA implicit $v0
 274
 275 ...
 276 ---
 277 name:            f64toi8
 278 alignment:       4
 279 tracksRegLiveness: true
 280 body:             |
 281   bb.1.entry:
 282     liveins: $d6
 283
 284     ; FP32-LABEL: name: f64toi8
 285     ; FP32: liveins: $d6
 286     ; FP32-NEXT: {{  $}}
 287     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 288     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 289     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
 290     ; FP32-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 291     ; FP32-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 292     ; FP32-NEXT: $v0 = COPY [[ASHR]](s32)
 293     ; FP32-NEXT: RetRA implicit $v0
 294     ;
 295     ; FP64-LABEL: name: f64toi8
 296     ; FP64: liveins: $d6
 297     ; FP64-NEXT: {{  $}}
 298     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 299     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 300     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
 301     ; FP64-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[FPTOSI]], [[C]](s32)
 302     ; FP64-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)
 303     ; FP64-NEXT: $v0 = COPY [[ASHR]](s32)
 304     ; FP64-NEXT: RetRA implicit $v0
 305     %0:_(s64) = COPY $d6
 306     %1:_(s8) = G_FPTOSI %0(s64)
 307     %2:_(s32) = G_SEXT %1(s8)
 308     $v0 = COPY %2(s32)
 309     RetRA implicit $v0
 310
 311 ...
 312 ---
 313 name:            f32tou64
 314 alignment:       4
 315 tracksRegLiveness: true
 316 body:             |
 317   bb.1.entry:
 318     liveins: $f12
 319
 320     ; FP32-LABEL: name: f32tou64
 321     ; FP32: liveins: $f12
 322     ; FP32-NEXT: {{  $}}
 323     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 324     ; FP32-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
 325     ; FP32-NEXT: $f12 = COPY [[COPY]](s32)
 326     ; FP32-NEXT: JAL &__fixunssfdi, csr_o32, implicit-def $ra, implicit-def $sp, implicit $f12, implicit-def $v0, implicit-def $v1
 327     ; FP32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
 328     ; FP32-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
 329     ; FP32-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
 330     ; FP32-NEXT: $v0 = COPY [[COPY1]](s32)
 331     ; FP32-NEXT: $v1 = COPY [[COPY2]](s32)
 332     ; FP32-NEXT: RetRA implicit $v0, implicit $v1
 333     ;
 334     ; FP64-LABEL: name: f32tou64
 335     ; FP64: liveins: $f12
 336     ; FP64-NEXT: {{  $}}
 337     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 338     ; FP64-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
 339     ; FP64-NEXT: $f12 = COPY [[COPY]](s32)
 340     ; FP64-NEXT: JAL &__fixunssfdi, csr_o32_fp64, implicit-def $ra, implicit-def $sp, implicit $f12, implicit-def $v0, implicit-def $v1
 341     ; FP64-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
 342     ; FP64-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
 343     ; FP64-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
 344     ; FP64-NEXT: $v0 = COPY [[COPY1]](s32)
 345     ; FP64-NEXT: $v1 = COPY [[COPY2]](s32)
 346     ; FP64-NEXT: RetRA implicit $v0, implicit $v1
 347     %0:_(s32) = COPY $f12
 348     %1:_(s64) = G_FPTOUI %0(s32)
 349     %2:_(s32), %3:_(s32) = G_UNMERGE_VALUES %1(s64)
 350     $v0 = COPY %2(s32)
 351     $v1 = COPY %3(s32)
 352     RetRA implicit $v0, implicit $v1
 353
 354 ...
 355 ---
 356 name:            f32tou32
 357 alignment:       4
 358 tracksRegLiveness: true
 359 body:             |
 360   bb.1.entry:
 361     liveins: $f12
 362
 363     ; FP32-LABEL: name: f32tou32
 364     ; FP32: liveins: $f12
 365     ; FP32-NEXT: {{  $}}
 366     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 367     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 368     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 0x41E0000000000000
 369     ; FP32-NEXT: [[FSUB:%[0-9]+]]:_(s32) = G_FSUB [[COPY]], [[C]]
 370     ; FP32-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s32)
 371     ; FP32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 372     ; FP32-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 373     ; FP32-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s32), [[C]]
 374     ; FP32-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 375     ; FP32-NEXT: $v0 = COPY [[SELECT]](s32)
 376     ; FP32-NEXT: RetRA implicit $v0
 377     ;
 378     ; FP64-LABEL: name: f32tou32
 379     ; FP64: liveins: $f12
 380     ; FP64-NEXT: {{  $}}
 381     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 382     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 383     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 0x41E0000000000000
 384     ; FP64-NEXT: [[FSUB:%[0-9]+]]:_(s32) = G_FSUB [[COPY]], [[C]]
 385     ; FP64-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s32)
 386     ; FP64-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 387     ; FP64-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 388     ; FP64-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s32), [[C]]
 389     ; FP64-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 390     ; FP64-NEXT: $v0 = COPY [[SELECT]](s32)
 391     ; FP64-NEXT: RetRA implicit $v0
 392     %0:_(s32) = COPY $f12
 393     %1:_(s32) = G_FPTOUI %0(s32)
 394     $v0 = COPY %1(s32)
 395     RetRA implicit $v0
 396
 397 ...
 398 ---
 399 name:            f32tou16
 400 alignment:       4
 401 tracksRegLiveness: true
 402 body:             |
 403   bb.1.entry:
 404     liveins: $f12
 405
 406     ; FP32-LABEL: name: f32tou16
 407     ; FP32: liveins: $f12
 408     ; FP32-NEXT: {{  $}}
 409     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 410     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 411     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 0x41E0000000000000
 412     ; FP32-NEXT: [[FSUB:%[0-9]+]]:_(s32) = G_FSUB [[COPY]], [[C]]
 413     ; FP32-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s32)
 414     ; FP32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 415     ; FP32-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 416     ; FP32-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s32), [[C]]
 417     ; FP32-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 418     ; FP32-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 419     ; FP32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 420     ; FP32-NEXT: $v0 = COPY [[AND]](s32)
 421     ; FP32-NEXT: RetRA implicit $v0
 422     ;
 423     ; FP64-LABEL: name: f32tou16
 424     ; FP64: liveins: $f12
 425     ; FP64-NEXT: {{  $}}
 426     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 427     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 428     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 0x41E0000000000000
 429     ; FP64-NEXT: [[FSUB:%[0-9]+]]:_(s32) = G_FSUB [[COPY]], [[C]]
 430     ; FP64-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s32)
 431     ; FP64-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 432     ; FP64-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 433     ; FP64-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s32), [[C]]
 434     ; FP64-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 435     ; FP64-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 436     ; FP64-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 437     ; FP64-NEXT: $v0 = COPY [[AND]](s32)
 438     ; FP64-NEXT: RetRA implicit $v0
 439     %0:_(s32) = COPY $f12
 440     %1:_(s16) = G_FPTOUI %0(s32)
 441     %2:_(s32) = G_ZEXT %1(s16)
 442     $v0 = COPY %2(s32)
 443     RetRA implicit $v0
 444
 445 ...
 446 ---
 447 name:            f32tou8
 448 alignment:       4
 449 tracksRegLiveness: true
 450 body:             |
 451   bb.1.entry:
 452     liveins: $f12
 453
 454     ; FP32-LABEL: name: f32tou8
 455     ; FP32: liveins: $f12
 456     ; FP32-NEXT: {{  $}}
 457     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 458     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 459     ; FP32-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 0x41E0000000000000
 460     ; FP32-NEXT: [[FSUB:%[0-9]+]]:_(s32) = G_FSUB [[COPY]], [[C]]
 461     ; FP32-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s32)
 462     ; FP32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 463     ; FP32-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 464     ; FP32-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s32), [[C]]
 465     ; FP32-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 466     ; FP32-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 467     ; FP32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 468     ; FP32-NEXT: $v0 = COPY [[AND]](s32)
 469     ; FP32-NEXT: RetRA implicit $v0
 470     ;
 471     ; FP64-LABEL: name: f32tou8
 472     ; FP64: liveins: $f12
 473     ; FP64-NEXT: {{  $}}
 474     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
 475     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s32)
 476     ; FP64-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 0x41E0000000000000
 477     ; FP64-NEXT: [[FSUB:%[0-9]+]]:_(s32) = G_FSUB [[COPY]], [[C]]
 478     ; FP64-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s32)
 479     ; FP64-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 480     ; FP64-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 481     ; FP64-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s32), [[C]]
 482     ; FP64-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 483     ; FP64-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 484     ; FP64-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 485     ; FP64-NEXT: $v0 = COPY [[AND]](s32)
 486     ; FP64-NEXT: RetRA implicit $v0
 487     %0:_(s32) = COPY $f12
 488     %1:_(s8) = G_FPTOUI %0(s32)
 489     %2:_(s32) = G_ZEXT %1(s8)
 490     $v0 = COPY %2(s32)
 491     RetRA implicit $v0
 492
 493 ...
 494 ---
 495 name:            f64tou64
 496 alignment:       4
 497 tracksRegLiveness: true
 498 body:             |
 499   bb.1.entry:
 500     liveins: $d6
 501
 502     ; FP32-LABEL: name: f64tou64
 503     ; FP32: liveins: $d6
 504     ; FP32-NEXT: {{  $}}
 505     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 506     ; FP32-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
 507     ; FP32-NEXT: $d6 = COPY [[COPY]](s64)
 508     ; FP32-NEXT: JAL &__fixunsdfdi, csr_o32, implicit-def $ra, implicit-def $sp, implicit $d6, implicit-def $v0, implicit-def $v1
 509     ; FP32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
 510     ; FP32-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
 511     ; FP32-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
 512     ; FP32-NEXT: $v0 = COPY [[COPY1]](s32)
 513     ; FP32-NEXT: $v1 = COPY [[COPY2]](s32)
 514     ; FP32-NEXT: RetRA implicit $v0, implicit $v1
 515     ;
 516     ; FP64-LABEL: name: f64tou64
 517     ; FP64: liveins: $d6
 518     ; FP64-NEXT: {{  $}}
 519     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 520     ; FP64-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
 521     ; FP64-NEXT: $d12_64 = COPY [[COPY]](s64)
 522     ; FP64-NEXT: JAL &__fixunsdfdi, csr_o32_fp64, implicit-def $ra, implicit-def $sp, implicit $d12_64, implicit-def $v0, implicit-def $v1
 523     ; FP64-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $v0
 524     ; FP64-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $v1
 525     ; FP64-NEXT: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
 526     ; FP64-NEXT: $v0 = COPY [[COPY1]](s32)
 527     ; FP64-NEXT: $v1 = COPY [[COPY2]](s32)
 528     ; FP64-NEXT: RetRA implicit $v0, implicit $v1
 529     %0:_(s64) = COPY $d6
 530     %1:_(s64) = G_FPTOUI %0(s64)
 531     %2:_(s32), %3:_(s32) = G_UNMERGE_VALUES %1(s64)
 532     $v0 = COPY %2(s32)
 533     $v1 = COPY %3(s32)
 534     RetRA implicit $v0, implicit $v1
 535
 536 ...
 537 ---
 538 name:            f64tou32
 539 alignment:       4
 540 tracksRegLiveness: true
 541 body:             |
 542   bb.1.entry:
 543     liveins: $d6
 544
 545     ; FP32-LABEL: name: f64tou32
 546     ; FP32: liveins: $d6
 547     ; FP32-NEXT: {{  $}}
 548     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 549     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 550     ; FP32-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 0x41E0000000000000
 551     ; FP32-NEXT: [[FSUB:%[0-9]+]]:_(s64) = G_FSUB [[COPY]], [[C]]
 552     ; FP32-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s64)
 553     ; FP32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 554     ; FP32-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 555     ; FP32-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s64), [[C]]
 556     ; FP32-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 557     ; FP32-NEXT: $v0 = COPY [[SELECT]](s32)
 558     ; FP32-NEXT: RetRA implicit $v0
 559     ;
 560     ; FP64-LABEL: name: f64tou32
 561     ; FP64: liveins: $d6
 562     ; FP64-NEXT: {{  $}}
 563     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 564     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 565     ; FP64-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 0x41E0000000000000
 566     ; FP64-NEXT: [[FSUB:%[0-9]+]]:_(s64) = G_FSUB [[COPY]], [[C]]
 567     ; FP64-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s64)
 568     ; FP64-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 569     ; FP64-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 570     ; FP64-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s64), [[C]]
 571     ; FP64-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 572     ; FP64-NEXT: $v0 = COPY [[SELECT]](s32)
 573     ; FP64-NEXT: RetRA implicit $v0
 574     %0:_(s64) = COPY $d6
 575     %1:_(s32) = G_FPTOUI %0(s64)
 576     $v0 = COPY %1(s32)
 577     RetRA implicit $v0
 578
 579 ...
 580 ---
 581 name:            f64tou16
 582 alignment:       4
 583 tracksRegLiveness: true
 584 body:             |
 585   bb.1.entry:
 586     liveins: $d6
 587
 588     ; FP32-LABEL: name: f64tou16
 589     ; FP32: liveins: $d6
 590     ; FP32-NEXT: {{  $}}
 591     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 592     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 593     ; FP32-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 0x41E0000000000000
 594     ; FP32-NEXT: [[FSUB:%[0-9]+]]:_(s64) = G_FSUB [[COPY]], [[C]]
 595     ; FP32-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s64)
 596     ; FP32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 597     ; FP32-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 598     ; FP32-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s64), [[C]]
 599     ; FP32-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 600     ; FP32-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 601     ; FP32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 602     ; FP32-NEXT: $v0 = COPY [[AND]](s32)
 603     ; FP32-NEXT: RetRA implicit $v0
 604     ;
 605     ; FP64-LABEL: name: f64tou16
 606     ; FP64: liveins: $d6
 607     ; FP64-NEXT: {{  $}}
 608     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 609     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 610     ; FP64-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 0x41E0000000000000
 611     ; FP64-NEXT: [[FSUB:%[0-9]+]]:_(s64) = G_FSUB [[COPY]], [[C]]
 612     ; FP64-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s64)
 613     ; FP64-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 614     ; FP64-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 615     ; FP64-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s64), [[C]]
 616     ; FP64-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 617     ; FP64-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 618     ; FP64-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 619     ; FP64-NEXT: $v0 = COPY [[AND]](s32)
 620     ; FP64-NEXT: RetRA implicit $v0
 621     %0:_(s64) = COPY $d6
 622     %1:_(s16) = G_FPTOUI %0(s64)
 623     %2:_(s32) = G_ZEXT %1(s16)
 624     $v0 = COPY %2(s32)
 625     RetRA implicit $v0
 626
 627 ...
 628 ---
 629 name:            f64tou8
 630 alignment:       4
 631 tracksRegLiveness: true
 632 body:             |
 633   bb.1.entry:
 634     liveins: $d6
 635
 636     ; FP32-LABEL: name: f64tou8
 637     ; FP32: liveins: $d6
 638     ; FP32-NEXT: {{  $}}
 639     ; FP32-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 640     ; FP32-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 641     ; FP32-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 0x41E0000000000000
 642     ; FP32-NEXT: [[FSUB:%[0-9]+]]:_(s64) = G_FSUB [[COPY]], [[C]]
 643     ; FP32-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s64)
 644     ; FP32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 645     ; FP32-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 646     ; FP32-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s64), [[C]]
 647     ; FP32-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 648     ; FP32-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 649     ; FP32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 650     ; FP32-NEXT: $v0 = COPY [[AND]](s32)
 651     ; FP32-NEXT: RetRA implicit $v0
 652     ;
 653     ; FP64-LABEL: name: f64tou8
 654     ; FP64: liveins: $d6
 655     ; FP64-NEXT: {{  $}}
 656     ; FP64-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
 657     ; FP64-NEXT: [[FPTOSI:%[0-9]+]]:_(s32) = G_FPTOSI [[COPY]](s64)
 658     ; FP64-NEXT: [[C:%[0-9]+]]:_(s64) = G_FCONSTANT double 0x41E0000000000000
 659     ; FP64-NEXT: [[FSUB:%[0-9]+]]:_(s64) = G_FSUB [[COPY]], [[C]]
 660     ; FP64-NEXT: [[FPTOSI1:%[0-9]+]]:_(s32) = G_FPTOSI [[FSUB]](s64)
 661     ; FP64-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
 662     ; FP64-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[FPTOSI1]], [[C1]]
 663     ; FP64-NEXT: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(ult), [[COPY]](s64), [[C]]
 664     ; FP64-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[FCMP]](s32), [[FPTOSI]], [[XOR]]
 665     ; FP64-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 666     ; FP64-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[SELECT]], [[C2]]
 667     ; FP64-NEXT: $v0 = COPY [[AND]](s32)
 668     ; FP64-NEXT: RetRA implicit $v0
 669     %0:_(s64) = COPY $d6
 670     %1:_(s8) = G_FPTOUI %0(s64)
 671     %2:_(s32) = G_ZEXT %1(s8)
 672     $v0 = COPY %2(s32)
 673     RetRA implicit $v0
 674
 675 ...