llvm/test/CodeGen/AMDGPU/GlobalISel/inst-select-extract.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -march=amdgcn -run-pass=instruction-select -verify-machineinstrs -o - %s | FileCheck %s
   3 ---
   4 name:            extract512
   5 legalized:       true
   6 regBankSelected: true
   7
   8 body: |
   9   bb.0:
  10     ; CHECK-LABEL: name: extract512
  11     ; CHECK: [[DEF:%[0-9]+]]:sgpr_512 = IMPLICIT_DEF
  12     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub0
  13     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1
  14     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub2
  15     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub3
  16     ; CHECK-NEXT: [[COPY4:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub4
  17     ; CHECK-NEXT: [[COPY5:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub5
  18     ; CHECK-NEXT: [[COPY6:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub6
  19     ; CHECK-NEXT: [[COPY7:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub7
  20     ; CHECK-NEXT: [[COPY8:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub8
  21     ; CHECK-NEXT: [[COPY9:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub9
  22     ; CHECK-NEXT: [[COPY10:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub10
  23     ; CHECK-NEXT: [[COPY11:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub11
  24     ; CHECK-NEXT: [[COPY12:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub12
  25     ; CHECK-NEXT: [[COPY13:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub13
  26     ; CHECK-NEXT: [[COPY14:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub14
  27     ; CHECK-NEXT: [[COPY15:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub15
  28     ; CHECK-NEXT: $sgpr0 = COPY [[COPY]]
  29     ; CHECK-NEXT: $sgpr1 = COPY [[COPY1]]
  30     ; CHECK-NEXT: $sgpr2 = COPY [[COPY2]]
  31     ; CHECK-NEXT: $sgpr3 = COPY [[COPY3]]
  32     ; CHECK-NEXT: $sgpr4 = COPY [[COPY4]]
  33     ; CHECK-NEXT: $sgpr5 = COPY [[COPY5]]
  34     ; CHECK-NEXT: $sgpr6 = COPY [[COPY6]]
  35     ; CHECK-NEXT: $sgpr7 = COPY [[COPY7]]
  36     ; CHECK-NEXT: $sgpr8 = COPY [[COPY8]]
  37     ; CHECK-NEXT: $sgpr9 = COPY [[COPY9]]
  38     ; CHECK-NEXT: $sgpr10 = COPY [[COPY10]]
  39     ; CHECK-NEXT: $sgpr11 = COPY [[COPY11]]
  40     ; CHECK-NEXT: $sgpr12 = COPY [[COPY12]]
  41     ; CHECK-NEXT: $sgpr13 = COPY [[COPY13]]
  42     ; CHECK-NEXT: $sgpr14 = COPY [[COPY14]]
  43     ; CHECK-NEXT: $sgpr15 = COPY [[COPY15]]
  44     ; CHECK-NEXT: SI_RETURN_TO_EPILOG $sgpr0, $sgpr1, $sgpr2, $sgpr3, $sgpr4, $sgpr5, $sgpr6, $sgpr7, $sgpr8, $sgpr9, $sgpr10, $sgpr11, $sgpr12, $sgpr13, $sgpr14, $sgpr15
  45     %0:sgpr(s512) = G_IMPLICIT_DEF
  46     %1:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 0
  47     %2:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 32
  48     %3:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 64
  49     %4:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 96
  50     %5:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 128
  51     %6:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 160
  52     %7:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 192
  53     %8:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 224
  54     %9:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 256
  55     %10:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 288
  56     %11:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 320
  57     %12:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 352
  58     %13:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 384
  59     %14:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 416
  60     %15:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 448
  61     %16:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 480
  62     $sgpr0 = COPY %1:sgpr(s32)
  63     $sgpr1 = COPY %2:sgpr(s32)
  64     $sgpr2 = COPY %3:sgpr(s32)
  65     $sgpr3 = COPY %4:sgpr(s32)
  66     $sgpr4 = COPY %5:sgpr(s32)
  67     $sgpr5 = COPY %6:sgpr(s32)
  68     $sgpr6 = COPY %7:sgpr(s32)
  69     $sgpr7 = COPY %8:sgpr(s32)
  70     $sgpr8 = COPY %9:sgpr(s32)
  71     $sgpr9 = COPY %10:sgpr(s32)
  72     $sgpr10 = COPY %11:sgpr(s32)
  73     $sgpr11 = COPY %12:sgpr(s32)
  74     $sgpr12 = COPY %13:sgpr(s32)
  75     $sgpr13 = COPY %14:sgpr(s32)
  76     $sgpr14 = COPY %15:sgpr(s32)
  77     $sgpr15 = COPY %16:sgpr(s32)
  78     SI_RETURN_TO_EPILOG $sgpr0, $sgpr1, $sgpr2, $sgpr3, $sgpr4, $sgpr5, $sgpr6, $sgpr7, $sgpr8, $sgpr9, $sgpr10, $sgpr11, $sgpr12, $sgpr13, $sgpr14, $sgpr15
  79 ...
  80
  81 ---
  82 name:            extract_s_s32_s1024
  83 legalized:       true
  84 regBankSelected: true
  85
  86 body: |
  87   bb.0:
  88     ; CHECK-LABEL: name: extract_s_s32_s1024
  89     ; CHECK: [[DEF:%[0-9]+]]:sgpr_1024 = IMPLICIT_DEF
  90     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub0
  91     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1
  92     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub2
  93     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub3
  94     ; CHECK-NEXT: [[COPY4:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub4
  95     ; CHECK-NEXT: [[COPY5:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub5
  96     ; CHECK-NEXT: [[COPY6:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub6
  97     ; CHECK-NEXT: [[COPY7:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub7
  98     ; CHECK-NEXT: [[COPY8:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub8
  99     ; CHECK-NEXT: [[COPY9:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub9
 100     ; CHECK-NEXT: [[COPY10:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub10
 101     ; CHECK-NEXT: [[COPY11:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub11
 102     ; CHECK-NEXT: [[COPY12:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub12
 103     ; CHECK-NEXT: [[COPY13:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub13
 104     ; CHECK-NEXT: [[COPY14:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub14
 105     ; CHECK-NEXT: [[COPY15:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub15
 106     ; CHECK-NEXT: [[COPY16:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub16
 107     ; CHECK-NEXT: [[COPY17:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub17
 108     ; CHECK-NEXT: [[COPY18:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub18
 109     ; CHECK-NEXT: [[COPY19:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub19
 110     ; CHECK-NEXT: [[COPY20:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub20
 111     ; CHECK-NEXT: [[COPY21:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub21
 112     ; CHECK-NEXT: [[COPY22:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub22
 113     ; CHECK-NEXT: [[COPY23:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub23
 114     ; CHECK-NEXT: [[COPY24:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub24
 115     ; CHECK-NEXT: [[COPY25:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub25
 116     ; CHECK-NEXT: [[COPY26:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub26
 117     ; CHECK-NEXT: [[COPY27:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub27
 118     ; CHECK-NEXT: [[COPY28:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub28
 119     ; CHECK-NEXT: [[COPY29:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub29
 120     ; CHECK-NEXT: [[COPY30:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub30
 121     ; CHECK-NEXT: [[COPY31:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub31
 122     ; CHECK-NEXT: S_ENDPGM 0, implicit [[DEF]], implicit [[COPY]], implicit [[COPY1]], implicit [[COPY2]], implicit [[COPY3]], implicit [[COPY4]], implicit [[COPY5]], implicit [[COPY6]], implicit [[COPY7]], implicit [[COPY8]], implicit [[COPY9]], implicit [[COPY10]], implicit [[COPY11]], implicit [[COPY12]], implicit [[COPY13]], implicit [[COPY14]], implicit [[COPY15]], implicit [[COPY16]], implicit [[COPY17]], implicit [[COPY18]], implicit [[COPY19]], implicit [[COPY20]], implicit [[COPY21]], implicit [[COPY22]], implicit [[COPY23]], implicit [[COPY24]], implicit [[COPY25]], implicit [[COPY26]], implicit [[COPY27]], implicit [[COPY28]], implicit [[COPY29]], implicit [[COPY30]], implicit [[COPY31]]
 123     %0:sgpr(s1024) = G_IMPLICIT_DEF
 124     %1:sgpr(s32) = G_EXTRACT %0:sgpr, 0
 125     %2:sgpr(s32) = G_EXTRACT %0:sgpr, 32
 126     %3:sgpr(s32) = G_EXTRACT %0:sgpr, 64
 127     %4:sgpr(s32) = G_EXTRACT %0:sgpr, 96
 128     %5:sgpr(s32) = G_EXTRACT %0:sgpr, 128
 129     %6:sgpr(s32) = G_EXTRACT %0:sgpr, 160
 130     %7:sgpr(s32) = G_EXTRACT %0:sgpr, 192
 131     %8:sgpr(s32) = G_EXTRACT %0:sgpr, 224
 132     %9:sgpr(s32) = G_EXTRACT %0:sgpr, 256
 133     %10:sgpr(s32) = G_EXTRACT %0:sgpr, 288
 134     %11:sgpr(s32) = G_EXTRACT %0:sgpr, 320
 135     %12:sgpr(s32) = G_EXTRACT %0:sgpr, 352
 136     %13:sgpr(s32) = G_EXTRACT %0:sgpr, 384
 137     %14:sgpr(s32) = G_EXTRACT %0:sgpr, 416
 138     %15:sgpr(s32) = G_EXTRACT %0:sgpr, 448
 139     %16:sgpr(s32) = G_EXTRACT %0:sgpr, 480
 140
 141     %17:sgpr(s32) = G_EXTRACT %0:sgpr, 512
 142     %18:sgpr(s32) = G_EXTRACT %0:sgpr, 544
 143     %19:sgpr(s32) = G_EXTRACT %0:sgpr, 576
 144     %20:sgpr(s32) = G_EXTRACT %0:sgpr, 608
 145     %21:sgpr(s32) = G_EXTRACT %0:sgpr, 640
 146     %22:sgpr(s32) = G_EXTRACT %0:sgpr, 672
 147     %23:sgpr(s32) = G_EXTRACT %0:sgpr, 704
 148     %24:sgpr(s32) = G_EXTRACT %0:sgpr, 736
 149     %25:sgpr(s32) = G_EXTRACT %0:sgpr, 768
 150     %26:sgpr(s32) = G_EXTRACT %0:sgpr, 800
 151     %27:sgpr(s32) = G_EXTRACT %0:sgpr, 832
 152     %28:sgpr(s32) = G_EXTRACT %0:sgpr, 864
 153     %29:sgpr(s32) = G_EXTRACT %0:sgpr, 896
 154     %30:sgpr(s32) = G_EXTRACT %0:sgpr, 928
 155     %31:sgpr(s32) = G_EXTRACT %0:sgpr, 960
 156     %32:sgpr(s32) = G_EXTRACT %0:sgpr, 992
 157
 158     S_ENDPGM 0, implicit %0, implicit %1, implicit %2, implicit %3, implicit %4, implicit %5, implicit %6, implicit %7, implicit %8, implicit %9, implicit %10, implicit %11, implicit %12, implicit %13, implicit %14, implicit %15, implicit %16, implicit %17, implicit %18, implicit %19, implicit %20, implicit %21, implicit %22, implicit %23, implicit %24, implicit %25, implicit %26, implicit %27, implicit %28, implicit %29, implicit %30, implicit %31, implicit %32
 159 ...
 160
 161 # TODO: Handle offset 32
 162 ---
 163 name:            extract_sgpr_s64_from_s128
 164 legalized:       true
 165 regBankSelected: true
 166
 167 body: |
 168   bb.0:
 169     ; CHECK-LABEL: name: extract_sgpr_s64_from_s128
 170     ; CHECK: [[DEF:%[0-9]+]]:sgpr_128 = IMPLICIT_DEF
 171     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sreg_64 = COPY [[DEF]].sub0_sub1
 172     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sreg_64 = COPY [[DEF]].sub2_sub3
 173     ; CHECK-NEXT: S_ENDPGM 0, implicit [[COPY]], implicit [[COPY1]]
 174     %0:sgpr(s128) = G_IMPLICIT_DEF
 175     %1:sgpr(s64) = G_EXTRACT %0, 0
 176     %2:sgpr(s64) = G_EXTRACT %0, 64
 177     S_ENDPGM 0, implicit %1, implicit %2
 178
 179 ...
 180
 181 ---
 182 name:            extract_sgpr_s96_from_s128
 183 legalized:       true
 184 regBankSelected: true
 185
 186 body: |
 187   bb.0:
 188     liveins: $sgpr0_sgpr1_sgpr2_sgpr3
 189     ; CHECK-LABEL: name: extract_sgpr_s96_from_s128
 190     ; CHECK: liveins: $sgpr0_sgpr1_sgpr2_sgpr3
 191     ; CHECK-NEXT: {{  $}}
 192     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr_128 = COPY $sgpr0_sgpr1_sgpr2_sgpr3
 193     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr_96 = COPY [[COPY]].sub0_sub1_sub2
 194     ; CHECK-NEXT: S_ENDPGM 0, implicit [[COPY1]]
 195     %0:sgpr(s128) = COPY $sgpr0_sgpr1_sgpr2_sgpr3
 196     %1:sgpr(s96) = G_EXTRACT %0, 0
 197     S_ENDPGM 0, implicit %1
 198
 199 ...