200 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=amdgcn -run-pass=instruction-select -verify-machineinstrs -o - %s | FileCheck %s3---4name: extract5125legalized: true6regBankSelected: true7 8body: |9 bb.0:10 ; CHECK-LABEL: name: extract51211 ; CHECK: [[DEF:%[0-9]+]]:sgpr_512 = IMPLICIT_DEF12 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub013 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub114 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub215 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub316 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub417 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub518 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub619 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub720 ; CHECK-NEXT: [[COPY8:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub821 ; CHECK-NEXT: [[COPY9:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub922 ; CHECK-NEXT: [[COPY10:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1023 ; CHECK-NEXT: [[COPY11:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1124 ; CHECK-NEXT: [[COPY12:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1225 ; CHECK-NEXT: [[COPY13:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1326 ; CHECK-NEXT: [[COPY14:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1427 ; CHECK-NEXT: [[COPY15:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub1528 ; 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, $sgpr1545 %0:sgpr(s512) = G_IMPLICIT_DEF46 %1:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 047 %2:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 3248 %3:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 6449 %4:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 9650 %5:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 12851 %6:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 16052 %7:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 19253 %8:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 22454 %9:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 25655 %10:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 28856 %11:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 32057 %12:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 35258 %13:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 38459 %14:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 41660 %15:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 44861 %16:sgpr(s32) = G_EXTRACT %0:sgpr(s512), 48062 $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, $sgpr1579...80 81---82name: extract_s_s32_s102483legalized: true84regBankSelected: true85 86body: |87 bb.0:88 ; CHECK-LABEL: name: extract_s_s32_s102489 ; CHECK: [[DEF:%[0-9]+]]:sgpr_1024 = IMPLICIT_DEF90 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub091 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub192 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub293 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub394 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub495 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub596 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub697 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub798 ; CHECK-NEXT: [[COPY8:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub899 ; CHECK-NEXT: [[COPY9:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub9100 ; CHECK-NEXT: [[COPY10:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub10101 ; CHECK-NEXT: [[COPY11:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub11102 ; CHECK-NEXT: [[COPY12:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub12103 ; CHECK-NEXT: [[COPY13:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub13104 ; CHECK-NEXT: [[COPY14:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub14105 ; CHECK-NEXT: [[COPY15:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub15106 ; CHECK-NEXT: [[COPY16:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub16107 ; CHECK-NEXT: [[COPY17:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub17108 ; CHECK-NEXT: [[COPY18:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub18109 ; CHECK-NEXT: [[COPY19:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub19110 ; CHECK-NEXT: [[COPY20:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub20111 ; CHECK-NEXT: [[COPY21:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub21112 ; CHECK-NEXT: [[COPY22:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub22113 ; CHECK-NEXT: [[COPY23:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub23114 ; CHECK-NEXT: [[COPY24:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub24115 ; CHECK-NEXT: [[COPY25:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub25116 ; CHECK-NEXT: [[COPY26:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub26117 ; CHECK-NEXT: [[COPY27:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub27118 ; CHECK-NEXT: [[COPY28:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub28119 ; CHECK-NEXT: [[COPY29:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub29120 ; CHECK-NEXT: [[COPY30:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub30121 ; CHECK-NEXT: [[COPY31:%[0-9]+]]:sreg_32 = COPY [[DEF]].sub31122 ; 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_DEF124 %1:sgpr(s32) = G_EXTRACT %0:sgpr, 0125 %2:sgpr(s32) = G_EXTRACT %0:sgpr, 32126 %3:sgpr(s32) = G_EXTRACT %0:sgpr, 64127 %4:sgpr(s32) = G_EXTRACT %0:sgpr, 96128 %5:sgpr(s32) = G_EXTRACT %0:sgpr, 128129 %6:sgpr(s32) = G_EXTRACT %0:sgpr, 160130 %7:sgpr(s32) = G_EXTRACT %0:sgpr, 192131 %8:sgpr(s32) = G_EXTRACT %0:sgpr, 224132 %9:sgpr(s32) = G_EXTRACT %0:sgpr, 256133 %10:sgpr(s32) = G_EXTRACT %0:sgpr, 288134 %11:sgpr(s32) = G_EXTRACT %0:sgpr, 320135 %12:sgpr(s32) = G_EXTRACT %0:sgpr, 352136 %13:sgpr(s32) = G_EXTRACT %0:sgpr, 384137 %14:sgpr(s32) = G_EXTRACT %0:sgpr, 416138 %15:sgpr(s32) = G_EXTRACT %0:sgpr, 448139 %16:sgpr(s32) = G_EXTRACT %0:sgpr, 480140 141 %17:sgpr(s32) = G_EXTRACT %0:sgpr, 512142 %18:sgpr(s32) = G_EXTRACT %0:sgpr, 544143 %19:sgpr(s32) = G_EXTRACT %0:sgpr, 576144 %20:sgpr(s32) = G_EXTRACT %0:sgpr, 608145 %21:sgpr(s32) = G_EXTRACT %0:sgpr, 640146 %22:sgpr(s32) = G_EXTRACT %0:sgpr, 672147 %23:sgpr(s32) = G_EXTRACT %0:sgpr, 704148 %24:sgpr(s32) = G_EXTRACT %0:sgpr, 736149 %25:sgpr(s32) = G_EXTRACT %0:sgpr, 768150 %26:sgpr(s32) = G_EXTRACT %0:sgpr, 800151 %27:sgpr(s32) = G_EXTRACT %0:sgpr, 832152 %28:sgpr(s32) = G_EXTRACT %0:sgpr, 864153 %29:sgpr(s32) = G_EXTRACT %0:sgpr, 896154 %30:sgpr(s32) = G_EXTRACT %0:sgpr, 928155 %31:sgpr(s32) = G_EXTRACT %0:sgpr, 960156 %32:sgpr(s32) = G_EXTRACT %0:sgpr, 992157 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 %32159...160 161# TODO: Handle offset 32162---163name: extract_sgpr_s64_from_s128164legalized: true165regBankSelected: true166 167body: |168 bb.0:169 ; CHECK-LABEL: name: extract_sgpr_s64_from_s128170 ; CHECK: [[DEF:%[0-9]+]]:sgpr_128 = IMPLICIT_DEF171 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sreg_64 = COPY [[DEF]].sub0_sub1172 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sreg_64 = COPY [[DEF]].sub2_sub3173 ; CHECK-NEXT: S_ENDPGM 0, implicit [[COPY]], implicit [[COPY1]]174 %0:sgpr(s128) = G_IMPLICIT_DEF175 %1:sgpr(s64) = G_EXTRACT %0, 0176 %2:sgpr(s64) = G_EXTRACT %0, 64177 S_ENDPGM 0, implicit %1, implicit %2178 179...180 181---182name: extract_sgpr_s96_from_s128183legalized: true184regBankSelected: true185 186body: |187 bb.0:188 liveins: $sgpr0_sgpr1_sgpr2_sgpr3189 ; CHECK-LABEL: name: extract_sgpr_s96_from_s128190 ; CHECK: liveins: $sgpr0_sgpr1_sgpr2_sgpr3191 ; CHECK-NEXT: {{ $}}192 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr_128 = COPY $sgpr0_sgpr1_sgpr2_sgpr3193 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr_96 = COPY [[COPY]].sub0_sub1_sub2194 ; CHECK-NEXT: S_ENDPGM 0, implicit [[COPY1]]195 %0:sgpr(s128) = COPY $sgpr0_sgpr1_sgpr2_sgpr3196 %1:sgpr(s96) = G_EXTRACT %0, 0197 S_ENDPGM 0, implicit %1198 199...200