llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fpext.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 ---
   5 name: test_fpext_f16_to_f32
   6 body: |
   7   bb.0:
   8     liveins: $vgpr0
   9
  10     ; CHECK-LABEL: name: test_fpext_f16_to_f32
  11     ; CHECK: liveins: $vgpr0
  12     ; CHECK-NEXT: {{  $}}
  13     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  14     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
  15     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC]](s16)
  16     ; CHECK-NEXT: $vgpr0 = COPY [[FPEXT]](s32)
  17     %0:_(s32) = COPY $vgpr0
  18     %1:_(s16) = G_TRUNC %0
  19     %2:_(s32) = G_FPEXT %1
  20     $vgpr0 = COPY %2
  21 ...
  22
  23 ---
  24 name: test_fpext_v2f16_to_v2f32
  25 body: |
  26   bb.0:
  27     liveins: $vgpr0
  28
  29     ; CHECK-LABEL: name: test_fpext_v2f16_to_v2f32
  30     ; CHECK: liveins: $vgpr0
  31     ; CHECK-NEXT: {{  $}}
  32     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s16>) = COPY $vgpr0
  33     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(s32) = G_BITCAST [[COPY]](<2 x s16>)
  34     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST]](s32)
  35     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
  36     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST]], [[C]](s32)
  37     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR]](s32)
  38     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = nnan G_FPEXT [[TRUNC]](s16)
  39     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s32) = nnan G_FPEXT [[TRUNC1]](s16)
  40     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[FPEXT]](s32), [[FPEXT1]](s32)
  41     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x s32>)
  42     %0:_(<2 x s16>) = COPY $vgpr0
  43     %1:_(<2 x s32>) = nnan G_FPEXT %0
  44     $vgpr0_vgpr1 = COPY %1
  45 ...
  46
  47 ---
  48 name: test_fpext_v2f16_to_v2f32_w_flags
  49 body: |
  50   bb.0:
  51     liveins: $vgpr0
  52
  53     ; CHECK-LABEL: name: test_fpext_v2f16_to_v2f32_w_flags
  54     ; CHECK: liveins: $vgpr0
  55     ; CHECK-NEXT: {{  $}}
  56     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s16>) = COPY $vgpr0
  57     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(s32) = G_BITCAST [[COPY]](<2 x s16>)
  58     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST]](s32)
  59     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
  60     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST]], [[C]](s32)
  61     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR]](s32)
  62     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = nnan G_FPEXT [[TRUNC]](s16)
  63     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s32) = nnan G_FPEXT [[TRUNC1]](s16)
  64     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[FPEXT]](s32), [[FPEXT1]](s32)
  65     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x s32>)
  66     %0:_(<2 x s16>) = COPY $vgpr0
  67     %1:_(<2 x s32>) = nnan G_FPEXT %0
  68     $vgpr0_vgpr1 = COPY %1
  69 ...
  70
  71 ---
  72 name: test_fpext_v3f16_to_v3f32
  73 body: |
  74   bb.0:
  75     liveins: $vgpr0_vgpr1_vgpr2
  76     ; CHECK-LABEL: name: test_fpext_v3f16_to_v3f32
  77     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2
  78     ; CHECK-NEXT: {{  $}}
  79     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<6 x s16>) = COPY $vgpr0_vgpr1_vgpr2
  80     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x s16>), [[UV1:%[0-9]+]]:_(<2 x s16>), [[UV2:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[COPY]](<6 x s16>)
  81     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(s32) = G_BITCAST [[UV]](<2 x s16>)
  82     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST]](s32)
  83     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
  84     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST]], [[C]](s32)
  85     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR]](s32)
  86     ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:_(s32) = G_BITCAST [[UV1]](<2 x s16>)
  87     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST1]](s32)
  88     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC]](s16)
  89     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC1]](s16)
  90     ; CHECK-NEXT: [[FPEXT2:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC2]](s16)
  91     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s32>) = G_BUILD_VECTOR [[FPEXT]](s32), [[FPEXT1]](s32), [[FPEXT2]](s32)
  92     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[BUILD_VECTOR]](<3 x s32>)
  93     %0:_(<6 x s16>) = COPY $vgpr0_vgpr1_vgpr2
  94     %1:_(<3 x s16>), %2:_(<3 x s16>) = G_UNMERGE_VALUES %0
  95     %3:_(<3 x s32>) = G_FPEXT %1
  96     $vgpr0_vgpr1_vgpr2 = COPY %3
  97 ...
  98
  99 ---
 100 name: test_fpext_v4f16_to_v4f32
 101 body: |
 102   bb.0:
 103     liveins: $vgpr0
 104
 105     ; CHECK-LABEL: name: test_fpext_v4f16_to_v4f32
 106     ; CHECK: liveins: $vgpr0
 107     ; CHECK-NEXT: {{  $}}
 108     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(<4 x s16>) = G_IMPLICIT_DEF
 109     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x s16>), [[UV1:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[DEF]](<4 x s16>)
 110     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(s32) = G_BITCAST [[UV]](<2 x s16>)
 111     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST]](s32)
 112     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 113     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST]], [[C]](s32)
 114     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR]](s32)
 115     ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:_(s32) = G_BITCAST [[UV1]](<2 x s16>)
 116     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST1]](s32)
 117     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST1]], [[C]](s32)
 118     ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR1]](s32)
 119     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC]](s16)
 120     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC1]](s16)
 121     ; CHECK-NEXT: [[FPEXT2:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC2]](s16)
 122     ; CHECK-NEXT: [[FPEXT3:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC3]](s16)
 123     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[FPEXT]](s32), [[FPEXT1]](s32), [[FPEXT2]](s32), [[FPEXT3]](s32)
 124     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<4 x s32>)
 125     %0:_(<4 x s16>) = G_IMPLICIT_DEF
 126     %1:_(<4 x s32>) = G_FPEXT %0
 127     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 128 ...
 129
 130 ---
 131 name: test_fpext_f32_to_f64
 132 body: |
 133   bb.0:
 134     liveins: $vgpr0
 135
 136     ; CHECK-LABEL: name: test_fpext_f32_to_f64
 137     ; CHECK: liveins: $vgpr0
 138     ; CHECK-NEXT: {{  $}}
 139     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 140     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s64) = G_FPEXT [[COPY]](s32)
 141     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FPEXT]](s64)
 142     %0:_(s32) = COPY $vgpr0
 143     %1:_(s64) = G_FPEXT %0
 144     $vgpr0_vgpr1 = COPY %1
 145 ...
 146
 147 ---
 148 name: test_fpext_v2f32_to_v2f64
 149 body: |
 150   bb.0:
 151     liveins: $vgpr0_vgpr1
 152
 153     ; CHECK-LABEL: name: test_fpext_v2f32_to_v2f64
 154     ; CHECK: liveins: $vgpr0_vgpr1
 155     ; CHECK-NEXT: {{  $}}
 156     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr1
 157     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)
 158     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s64) = G_FPEXT [[UV]](s32)
 159     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s64) = G_FPEXT [[UV1]](s32)
 160     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[FPEXT]](s64), [[FPEXT1]](s64)
 161     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x s64>)
 162     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
 163     %1:_(<2 x s64>) = G_FPEXT %0
 164     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 165 ...
 166
 167 ---
 168 name: test_fpext_v3f32_to_v3f64
 169 body: |
 170   bb.0:
 171     liveins: $vgpr0_vgpr1_vgpr2
 172
 173     ; CHECK-LABEL: name: test_fpext_v3f32_to_v3f64
 174     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2
 175     ; CHECK-NEXT: {{  $}}
 176     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 177     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<3 x s32>)
 178     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s64) = G_FPEXT [[UV]](s32)
 179     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s64) = G_FPEXT [[UV1]](s32)
 180     ; CHECK-NEXT: [[FPEXT2:%[0-9]+]]:_(s64) = G_FPEXT [[UV2]](s32)
 181     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s64>) = G_BUILD_VECTOR [[FPEXT]](s64), [[FPEXT1]](s64), [[FPEXT2]](s64)
 182     ; CHECK-NEXT: S_NOP 0, implicit [[BUILD_VECTOR]](<3 x s64>)
 183     %0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 184     %1:_(<3 x s64>) = G_FPEXT %0
 185     S_NOP 0, implicit %1
 186
 187 ...
 188
 189 ---
 190 name: test_fpext_v4f32_to_v4f64
 191 body: |
 192   bb.0:
 193     liveins: $vgpr0_vgpr1_vgpr2_vgpr3
 194
 195     ; CHECK-LABEL: name: test_fpext_v4f32_to_v4f64
 196     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3
 197     ; CHECK-NEXT: {{  $}}
 198     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 199     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<4 x s32>)
 200     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s64) = G_FPEXT [[UV]](s32)
 201     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s64) = G_FPEXT [[UV1]](s32)
 202     ; CHECK-NEXT: [[FPEXT2:%[0-9]+]]:_(s64) = G_FPEXT [[UV2]](s32)
 203     ; CHECK-NEXT: [[FPEXT3:%[0-9]+]]:_(s64) = G_FPEXT [[UV3]](s32)
 204     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s64>) = G_BUILD_VECTOR [[FPEXT]](s64), [[FPEXT1]](s64), [[FPEXT2]](s64), [[FPEXT3]](s64)
 205     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY [[BUILD_VECTOR]](<4 x s64>)
 206     %0:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 207     %1:_(<4 x s64>) = G_FPEXT %0
 208     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY %1
 209 ...
 210
 211 ---
 212 name: test_fpext_f16_to_f64
 213 body: |
 214   bb.0:
 215     liveins: $vgpr0
 216
 217     ; CHECK-LABEL: name: test_fpext_f16_to_f64
 218     ; CHECK: liveins: $vgpr0
 219     ; CHECK-NEXT: {{  $}}
 220     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 221     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
 222     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC]](s16)
 223     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s64) = G_FPEXT [[FPEXT]](s32)
 224     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FPEXT1]](s64)
 225     %0:_(s32) = COPY $vgpr0
 226     %1:_(s16) = G_TRUNC %0
 227     %2:_(s64) = G_FPEXT %1
 228     $vgpr0_vgpr1 = COPY %2
 229 ...
 230
 231 ---
 232 name: test_fpext_v2f16_to_v2f64
 233 body: |
 234   bb.0:
 235     liveins: $vgpr0
 236
 237     ; CHECK-LABEL: name: test_fpext_v2f16_to_v2f64
 238     ; CHECK: liveins: $vgpr0
 239     ; CHECK-NEXT: {{  $}}
 240     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s16>) = COPY $vgpr0
 241     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(s32) = G_BITCAST [[COPY]](<2 x s16>)
 242     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST]](s32)
 243     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 244     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST]], [[C]](s32)
 245     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR]](s32)
 246     ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = nnan G_FPEXT [[TRUNC]](s16)
 247     ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s64) = G_FPEXT [[FPEXT]](s32)
 248     ; CHECK-NEXT: [[FPEXT2:%[0-9]+]]:_(s32) = nnan G_FPEXT [[TRUNC1]](s16)
 249     ; CHECK-NEXT: [[FPEXT3:%[0-9]+]]:_(s64) = G_FPEXT [[FPEXT2]](s32)
 250     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[FPEXT1]](s64), [[FPEXT3]](s64)
 251     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x s64>)
 252     %0:_(<2 x s16>) = COPY $vgpr0
 253     %1:_(<2 x s64>) = nnan G_FPEXT %0
 254     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 255 ...