157 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=x86_64-- -mattr=+amx-int8,avx512f -run-pass=fastpretileconfig -o - %s | FileCheck %s3 4# Test spill/reload across basic block.5 6---7name: foo8alignment: 169tracksRegLiveness: true10registers:11 - { id: 0, class: gr16 }12 - { id: 1, class: gr16 }13 - { id: 2, class: tile }14 - { id: 3, class: gr64_nosp }15 - { id: 4, class: gr64 }16 - { id: 5, class: tile }17 - { id: 6, class: tile }18 - { id: 7, class: tile }19 - { id: 8, class: gr32 }20 - { id: 9, class: vr512 }21frameInfo:22 maxAlignment: 1623stack:24 - { id: 0, size: 1024, alignment: 16 }25 - { id: 1, size: 64, alignment: 4 }26machineFunctionInfo:27 amxProgModel: ManagedRA28body: |29 ; CHECK-LABEL: name: foo30 ; CHECK: bb.0.entry:31 ; CHECK-NEXT: successors: %bb.1(0x80000000)32 ; CHECK-NEXT: {{ $}}33 ; CHECK-NEXT: [[AVX512_512_SET0_:%[0-9]+]]:vr512 = AVX512_512_SET034 ; CHECK-NEXT: VMOVUPSZmr %stack.4, 1, $noreg, 0, $noreg, [[AVX512_512_SET0_]] :: (store (s512) into %stack.4, align 4)35 ; CHECK-NEXT: MOV8mi %stack.4, 1, $noreg, 0, $noreg, 1 :: (store (s512) into %stack.4, align 4)36 ; CHECK-NEXT: [[MOV16ri:%[0-9]+]]:gr16 = MOV16ri 3237 ; CHECK-NEXT: [[MOV16ri1:%[0-9]+]]:gr16 = MOV16ri 838 ; CHECK-NEXT: PLDTILECFGV %stack.4, 1, $noreg, 0, $noreg, implicit-def $tmm0, implicit-def $tmm1, implicit-def $tmm2, implicit-def $tmm3, implicit-def $tmm4, implicit-def $tmm5, implicit-def $tmm6, implicit-def $tmm7 :: (load (s512) from %stack.4, align 4)39 ; CHECK-NEXT: [[PTILEZEROV:%[0-9]+]]:tile = PTILEZEROV [[MOV16ri1]], [[MOV16ri]]40 ; CHECK-NEXT: [[MOV64ri:%[0-9]+]]:gr64_nosp = MOV64ri 6441 ; CHECK-NEXT: TILESTORED %stack.3, 1, killed [[MOV64ri]], 0, $noreg, [[PTILEZEROV]] :: (store (s8192) into %stack.3)42 ; CHECK-NEXT: [[MOV32ri64_:%[0-9]+]]:gr64_nosp = MOV32ri64 3243 ; CHECK-NEXT: [[LEA64r:%[0-9]+]]:gr64 = LEA64r %stack.0, 1, $noreg, 0, $noreg44 ; CHECK-NEXT: [[PTILELOADDV:%[0-9]+]]:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], [[LEA64r]], 1, [[MOV32ri64_]], 0, $noreg45 ; CHECK-NEXT: [[MOV64ri1:%[0-9]+]]:gr64_nosp = MOV64ri 6446 ; CHECK-NEXT: TILESTORED %stack.2, 1, killed [[MOV64ri1]], 0, $noreg, [[PTILELOADDV]] :: (store (s8192) into %stack.2)47 ; CHECK-NEXT: %row:gr16 = MOV16ri 3248 ; CHECK-NEXT: %col:gr16 = MOV16ri 849 ; CHECK-NEXT: JMP_1 %bb.150 ; CHECK-NEXT: {{ $}}51 ; CHECK-NEXT: bb.1:52 ; CHECK-NEXT: PLDTILECFGV %stack.4, 1, $noreg, 0, $noreg, implicit-def $tmm0, implicit-def $tmm1, implicit-def $tmm2, implicit-def $tmm3, implicit-def $tmm4, implicit-def $tmm5, implicit-def $tmm6, implicit-def $tmm7 :: (load (s512) from %stack.4, align 4)53 ; CHECK-NEXT: [[PTILELOADDV1:%[0-9]+]]:tile = PTILELOADDV %row, %col, [[LEA64r]], 1, [[MOV32ri64_]], 0, $noreg54 ; CHECK-NEXT: [[MOV64ri2:%[0-9]+]]:gr64_nosp = MOV64ri 6455 ; CHECK-NEXT: [[PTILELOADDV2:%[0-9]+]]:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], %stack.2, 1, killed [[MOV64ri2]], 0, $noreg :: (load (s8192) from %stack.2)56 ; CHECK-NEXT: [[MOV64ri3:%[0-9]+]]:gr64_nosp = MOV64ri 6457 ; CHECK-NEXT: [[PTILELOADDV3:%[0-9]+]]:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], %stack.3, 1, killed [[MOV64ri3]], 0, $noreg :: (load (s8192) from %stack.3)58 ; CHECK-NEXT: [[PTDPBSSDV:%[0-9]+]]:tile = PTDPBSSDV [[MOV16ri1]], [[MOV16ri]], [[MOV16ri]], killed [[PTILELOADDV1]], killed [[PTILELOADDV3]], killed [[PTILELOADDV2]]59 ; CHECK-NEXT: PTILESTOREDV killed [[MOV16ri1]], killed [[MOV16ri]], killed [[LEA64r]], 1, killed [[MOV32ri64_]], 0, $noreg, killed [[PTDPBSSDV]]60 ; CHECK-NEXT: [[MOV32r0_:%[0-9]+]]:gr32 = MOV32r0 implicit-def dead $eflags61 ; CHECK-NEXT: $eax = COPY killed [[MOV32r0_]]62 ; CHECK-NEXT: RET 0, killed $eax63 bb.0.entry:64 %0:gr16 = MOV16ri 3265 %1:gr16 = MOV16ri 866 %2:tile = PTILEZEROV %1, %067 %3:gr64_nosp = MOV32ri64 3268 %4:gr64 = LEA64r %stack.0, 1, $noreg, 0, $noreg69 %5:tile = PTILELOADDV %1, %0, %4, 1, %3, 0, $noreg70 %row:gr16 = MOV16ri 3271 %col:gr16 = MOV16ri 872 JMP_1 %bb.173 bb.1:74 %6:tile = PTILELOADDV %row, %col, %4, 1, %3, 0, $noreg75 %7:tile = PTDPBSSDV %1, %0, %0, killed %6, killed %2, killed %576 PTILESTOREDV killed %1, killed %0, killed %4, 1, killed %3, 0, $noreg, killed %777 %8:gr32 = MOV32r0 implicit-def dead $eflags78 $eax = COPY killed %879 RET 0, killed $eax80 81...82 83# Test tile copy fold84---85name: copy86alignment: 1687tracksRegLiveness: true88registers:89 - { id: 0, class: gr16 }90 - { id: 1, class: gr16 }91 - { id: 2, class: tile }92 - { id: 3, class: gr64_nosp }93 - { id: 4, class: gr64 }94 - { id: 5, class: tile }95 - { id: 6, class: tile }96 - { id: 7, class: tile }97 - { id: 8, class: gr32 }98 - { id: 9, class: vr512 }99frameInfo:100 maxAlignment: 16101stack:102 - { id: 0, size: 1024, alignment: 16 }103 - { id: 1, size: 64, alignment: 4 }104machineFunctionInfo:105 amxProgModel: ManagedRA106body: |107 ; CHECK-LABEL: name: copy108 ; CHECK: bb.0.entry:109 ; CHECK-NEXT: successors: %bb.1(0x80000000)110 ; CHECK-NEXT: {{ $}}111 ; CHECK-NEXT: [[AVX512_512_SET0_:%[0-9]+]]:vr512 = AVX512_512_SET0112 ; CHECK-NEXT: VMOVUPSZmr %stack.4, 1, $noreg, 0, $noreg, [[AVX512_512_SET0_]] :: (store (s512) into %stack.4, align 4)113 ; CHECK-NEXT: MOV8mi %stack.4, 1, $noreg, 0, $noreg, 1 :: (store (s512) into %stack.4, align 4)114 ; CHECK-NEXT: [[MOV16ri:%[0-9]+]]:gr16 = MOV16ri 32115 ; CHECK-NEXT: [[MOV16ri1:%[0-9]+]]:gr16 = MOV16ri 8116 ; CHECK-NEXT: PLDTILECFGV %stack.4, 1, $noreg, 0, $noreg, implicit-def $tmm0, implicit-def $tmm1, implicit-def $tmm2, implicit-def $tmm3, implicit-def $tmm4, implicit-def $tmm5, implicit-def $tmm6, implicit-def $tmm7 :: (load (s512) from %stack.4, align 4)117 ; CHECK-NEXT: [[PTILEZEROV:%[0-9]+]]:tile = PTILEZEROV [[MOV16ri1]], [[MOV16ri]]118 ; CHECK-NEXT: [[MOV64ri:%[0-9]+]]:gr64_nosp = MOV64ri 64119 ; CHECK-NEXT: TILESTORED %stack.3, 1, killed [[MOV64ri]], 0, $noreg, [[PTILEZEROV]] :: (store (s8192) into %stack.3)120 ; CHECK-NEXT: [[MOV32ri64_:%[0-9]+]]:gr64_nosp = MOV32ri64 32121 ; CHECK-NEXT: [[LEA64r:%[0-9]+]]:gr64 = LEA64r %stack.0, 1, $noreg, 0, $noreg122 ; CHECK-NEXT: [[PTILELOADDV:%[0-9]+]]:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], [[LEA64r]], 1, [[MOV32ri64_]], 0, $noreg123 ; CHECK-NEXT: [[MOV64ri1:%[0-9]+]]:gr64_nosp = MOV64ri 64124 ; CHECK-NEXT: TILESTORED %stack.2, 1, killed [[MOV64ri1]], 0, $noreg, [[PTILELOADDV]] :: (store (s8192) into %stack.2)125 ; CHECK-NEXT: JMP_1 %bb.1126 ; CHECK-NEXT: {{ $}}127 ; CHECK-NEXT: bb.1:128 ; CHECK-NEXT: PLDTILECFGV %stack.4, 1, $noreg, 0, $noreg, implicit-def $tmm0, implicit-def $tmm1, implicit-def $tmm2, implicit-def $tmm3, implicit-def $tmm4, implicit-def $tmm5, implicit-def $tmm6, implicit-def $tmm7 :: (load (s512) from %stack.4, align 4)129 ; CHECK-NEXT: [[PTILELOADDV1:%[0-9]+]]:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], [[LEA64r]], 1, [[MOV32ri64_]], 0, $noreg130 ; CHECK-NEXT: [[MOV64ri2:%[0-9]+]]:gr64_nosp = MOV64ri 64131 ; CHECK-NEXT: %t:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], %stack.2, 1, killed [[MOV64ri2]], 0, $noreg :: (load (s8192) from %stack.2)132 ; CHECK-NEXT: [[MOV64ri3:%[0-9]+]]:gr64_nosp = MOV64ri 64133 ; CHECK-NEXT: [[PTILELOADDV2:%[0-9]+]]:tile = PTILELOADDV [[MOV16ri1]], [[MOV16ri]], %stack.3, 1, killed [[MOV64ri3]], 0, $noreg :: (load (s8192) from %stack.3)134 ; CHECK-NEXT: [[PTDPBSSDV:%[0-9]+]]:tile = PTDPBSSDV [[MOV16ri1]], [[MOV16ri]], [[MOV16ri]], killed [[PTILELOADDV1]], killed [[PTILELOADDV2]], killed %t135 ; CHECK-NEXT: PTILESTOREDV killed [[MOV16ri1]], killed [[MOV16ri]], killed [[LEA64r]], 1, killed [[MOV32ri64_]], 0, $noreg, killed [[PTDPBSSDV]]136 ; CHECK-NEXT: [[MOV32r0_:%[0-9]+]]:gr32 = MOV32r0 implicit-def dead $eflags137 ; CHECK-NEXT: $eax = COPY killed [[MOV32r0_]]138 ; CHECK-NEXT: RET 0, killed $eax139 bb.0.entry:140 %0:gr16 = MOV16ri 32141 %1:gr16 = MOV16ri 8142 %2:tile = PTILEZEROV %1, %0143 %3:gr64_nosp = MOV32ri64 32144 %4:gr64 = LEA64r %stack.0, 1, $noreg, 0, $noreg145 %5:tile = PTILELOADDV %1, %0, %4, 1, %3, 0, $noreg146 JMP_1 %bb.1147 bb.1:148 %6:tile = PTILELOADDV %1, %0, %4, 1, %3, 0, $noreg149 %t:tile = COPY %5150 %7:tile = PTDPBSSDV %1, %0, %0, killed %6, killed %2, killed %t151 PTILESTOREDV killed %1, killed %0, killed %4, 1, killed %3, 0, $noreg, killed %7152 %8:gr32 = MOV32r0 implicit-def dead $eflags153 $eax = COPY killed %8154 RET 0, killed $eax155 156...157