llvm/test/CodeGen/X86/GlobalISel/x86_64-legalize-zext.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=x86_64-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 --- |
   5
   6   define i8 @zext_i1_to_i8(i1 %val) {
   7     %res = zext i1 %val to i8
   8     ret i8 %res
   9   }
  10
  11   define i16 @zext_i1_to_i16(i1 %val) {
  12     %res = zext i1 %val to i16
  13     ret i16 %res
  14   }
  15
  16   define i32 @zext_i1_to_i32(i1 %val) {
  17     %res = zext i1 %val to i32
  18     ret i32 %res
  19   }
  20
  21   define i64 @zext_i1_to_i64(i1 %val) {
  22     %res = zext i1 %val to i64
  23     ret i64 %res
  24   }
  25
  26   define i16 @zext_i8_to_i16(i8 %val) {
  27     %res = zext i8 %val to i16
  28     ret i16 %res
  29   }
  30
  31   define i32 @zext_i8_to_i32(i8 %val) {
  32     %res = zext i8 %val to i32
  33     ret i32 %res
  34   }
  35
  36   define i64 @zext_i8_to_i64(i8 %val) {
  37     %res = zext i8 %val to i64
  38     ret i64 %res
  39   }
  40
  41   define i32 @zext_i16_to_i32(i16 %val) {
  42     %res = zext i16 %val to i32
  43     ret i32 %res
  44   }
  45
  46   define i64 @zext_i16_to_i64(i16 %val) {
  47     %res = zext i16 %val to i64
  48     ret i64 %res
  49   }
  50
  51   define i64 @zext_i32_to_i64(i32 %val) {
  52     %res = zext i32 %val to i64
  53     ret i64 %res
  54   }
  55
  56 ...
  57 ---
  58 name:            zext_i1_to_i8
  59 alignment:       16
  60 tracksRegLiveness: true
  61 registers:
  62   - { id: 0, class: _ }
  63   - { id: 1, class: _ }
  64   - { id: 2, class: _ }
  65 body:             |
  66   bb.1 (%ir-block.0):
  67     liveins: $edi
  68
  69     ; CHECK-LABEL: name: zext_i1_to_i8
  70     ; CHECK: liveins: $edi
  71     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
  72     ; CHECK: [[C:%[0-9]+]]:_(s8) = G_CONSTANT i8 1
  73     ; CHECK: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY]](s32)
  74     ; CHECK: [[AND:%[0-9]+]]:_(s8) = G_AND [[TRUNC]], [[C]]
  75     ; CHECK: $al = COPY [[AND]](s8)
  76     ; CHECK: RET 0, implicit $al
  77     %1:_(s32) = COPY $edi
  78     %0:_(s1) = G_TRUNC %1(s32)
  79     %2:_(s8) = G_ZEXT %0(s1)
  80     $al = COPY %2(s8)
  81     RET 0, implicit $al
  82
  83 ...
  84 ---
  85 name:            zext_i1_to_i16
  86 alignment:       16
  87 tracksRegLiveness: true
  88 registers:
  89   - { id: 0, class: _ }
  90   - { id: 1, class: _ }
  91   - { id: 2, class: _ }
  92 body:             |
  93   bb.1 (%ir-block.0):
  94     liveins: $edi
  95
  96     ; CHECK-LABEL: name: zext_i1_to_i16
  97     ; CHECK: liveins: $edi
  98     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
  99     ; CHECK: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 1
 100     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
 101     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC]], [[C]]
 102     ; CHECK: $ax = COPY [[AND]](s16)
 103     ; CHECK: RET 0, implicit $ax
 104     %1:_(s32) = COPY $edi
 105     %0:_(s1) = G_TRUNC %1(s32)
 106     %2:_(s16) = G_ZEXT %0(s1)
 107     $ax = COPY %2(s16)
 108     RET 0, implicit $ax
 109
 110 ...
 111 ---
 112 name:            zext_i1_to_i32
 113 alignment:       16
 114 tracksRegLiveness: true
 115 registers:
 116   - { id: 0, class: _ }
 117   - { id: 1, class: _ }
 118   - { id: 2, class: _ }
 119 body:             |
 120   bb.1 (%ir-block.0):
 121     liveins: $edi
 122
 123     ; CHECK-LABEL: name: zext_i1_to_i32
 124     ; CHECK: liveins: $edi
 125     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 126     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 127     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
 128     ; CHECK: $eax = COPY [[AND]](s32)
 129     ; CHECK: RET 0, implicit $eax
 130     %1:_(s32) = COPY $edi
 131     %0:_(s1) = G_TRUNC %1(s32)
 132     %2:_(s32) = G_ZEXT %0(s1)
 133     $eax = COPY %2(s32)
 134     RET 0, implicit $eax
 135
 136 ...
 137 ---
 138 name:            zext_i1_to_i64
 139 alignment:       16
 140 tracksRegLiveness: true
 141 registers:
 142   - { id: 0, class: _ }
 143   - { id: 1, class: _ }
 144   - { id: 2, class: _ }
 145 body:             |
 146   bb.1 (%ir-block.0):
 147     liveins: $edi
 148
 149     ; CHECK-LABEL: name: zext_i1_to_i64
 150     ; CHECK: liveins: $edi
 151     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 152     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 153     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[COPY]](s32)
 154     ; CHECK: [[AND:%[0-9]+]]:_(s64) = G_AND [[ANYEXT]], [[C]]
 155     ; CHECK: $rax = COPY [[AND]](s64)
 156     ; CHECK: RET 0, implicit $rax
 157     %1:_(s32) = COPY $edi
 158     %0:_(s1) = G_TRUNC %1(s32)
 159     %2:_(s64) = G_ZEXT %0(s1)
 160     $rax = COPY %2(s64)
 161     RET 0, implicit $rax
 162
 163 ...
 164 ---
 165 name:            zext_i8_to_i16
 166 alignment:       16
 167 tracksRegLiveness: true
 168 registers:
 169   - { id: 0, class: _ }
 170   - { id: 1, class: _ }
 171   - { id: 2, class: _ }
 172 body:             |
 173   bb.1 (%ir-block.0):
 174     liveins: $edi
 175
 176     ; CHECK-LABEL: name: zext_i8_to_i16
 177     ; CHECK: liveins: $edi
 178     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 179     ; CHECK: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 255
 180     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
 181     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC]], [[C]]
 182     ; CHECK: $ax = COPY [[AND]](s16)
 183     ; CHECK: RET 0, implicit $ax
 184     %1:_(s32) = COPY $edi
 185     %0:_(s8) = G_TRUNC %1(s32)
 186     %2:_(s16) = G_ZEXT %0(s8)
 187     $ax = COPY %2(s16)
 188     RET 0, implicit $ax
 189
 190 ...
 191 ---
 192 name:            zext_i8_to_i32
 193 alignment:       16
 194 tracksRegLiveness: true
 195 registers:
 196   - { id: 0, class: _ }
 197   - { id: 1, class: _ }
 198   - { id: 2, class: _ }
 199 body:             |
 200   bb.1 (%ir-block.0):
 201     liveins: $edi
 202
 203     ; CHECK-LABEL: name: zext_i8_to_i32
 204     ; CHECK: liveins: $edi
 205     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 206     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 207     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
 208     ; CHECK: $eax = COPY [[AND]](s32)
 209     ; CHECK: RET 0, implicit $eax
 210     %1:_(s32) = COPY $edi
 211     %0:_(s8) = G_TRUNC %1(s32)
 212     %2:_(s32) = G_ZEXT %0(s8)
 213     $eax = COPY %2(s32)
 214     RET 0, implicit $eax
 215
 216 ...
 217 ---
 218 name:            zext_i8_to_i64
 219 alignment:       16
 220 tracksRegLiveness: true
 221 registers:
 222   - { id: 0, class: _ }
 223   - { id: 1, class: _ }
 224   - { id: 2, class: _ }
 225 body:             |
 226   bb.1 (%ir-block.0):
 227     liveins: $edi
 228
 229     ; CHECK-LABEL: name: zext_i8_to_i64
 230     ; CHECK: liveins: $edi
 231     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 232     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 255
 233     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[COPY]](s32)
 234     ; CHECK: [[AND:%[0-9]+]]:_(s64) = G_AND [[ANYEXT]], [[C]]
 235     ; CHECK: $rax = COPY [[AND]](s64)
 236     ; CHECK: RET 0, implicit $rax
 237     %1:_(s32) = COPY $edi
 238     %0:_(s8) = G_TRUNC %1(s32)
 239     %2:_(s64) = G_ZEXT %0(s8)
 240     $rax = COPY %2(s64)
 241     RET 0, implicit $rax
 242
 243 ...
 244 ---
 245 name:            zext_i16_to_i32
 246 alignment:       16
 247 tracksRegLiveness: true
 248 registers:
 249   - { id: 0, class: _ }
 250   - { id: 1, class: _ }
 251   - { id: 2, class: _ }
 252 body:             |
 253   bb.1 (%ir-block.0):
 254     liveins: $edi
 255
 256     ; CHECK-LABEL: name: zext_i16_to_i32
 257     ; CHECK: liveins: $edi
 258     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 259     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 260     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
 261     ; CHECK: $eax = COPY [[AND]](s32)
 262     ; CHECK: RET 0, implicit $eax
 263     %1:_(s32) = COPY $edi
 264     %0:_(s16) = G_TRUNC %1(s32)
 265     %2:_(s32) = G_ZEXT %0(s16)
 266     $eax = COPY %2(s32)
 267     RET 0, implicit $eax
 268
 269 ...
 270 ---
 271 name:            zext_i16_to_i64
 272 alignment:       16
 273 tracksRegLiveness: true
 274 registers:
 275   - { id: 0, class: _ }
 276   - { id: 1, class: _ }
 277   - { id: 2, class: _ }
 278 body:             |
 279   bb.1 (%ir-block.0):
 280     liveins: $edi
 281
 282     ; CHECK-LABEL: name: zext_i16_to_i64
 283     ; CHECK: liveins: $edi
 284     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 285     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 65535
 286     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[COPY]](s32)
 287     ; CHECK: [[AND:%[0-9]+]]:_(s64) = G_AND [[ANYEXT]], [[C]]
 288     ; CHECK: $rax = COPY [[AND]](s64)
 289     ; CHECK: RET 0, implicit $rax
 290     %1:_(s32) = COPY $edi
 291     %0:_(s16) = G_TRUNC %1(s32)
 292     %2:_(s64) = G_ZEXT %0(s16)
 293     $rax = COPY %2(s64)
 294     RET 0, implicit $rax
 295
 296 ...
 297 ---
 298 name:            zext_i32_to_i64
 299 alignment:       16
 300 tracksRegLiveness: true
 301 registers:
 302   - { id: 0, class: _ }
 303   - { id: 1, class: _ }
 304 body:             |
 305   bb.1 (%ir-block.0):
 306     liveins: $edi
 307
 308     ; CHECK-LABEL: name: zext_i32_to_i64
 309     ; CHECK: liveins: $edi
 310     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 311     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY]](s32)
 312     ; CHECK: $rax = COPY [[ZEXT]](s64)
 313     ; CHECK: RET 0, implicit $rax
 314     %0:_(s32) = COPY $edi
 315     %1:_(s64) = G_ZEXT %0(s32)
 316     $rax = COPY %1(s64)
 317     RET 0, implicit $rax
 318
 319 ...