118 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx90a -run-pass=si-fold-operands -o - %s | FileCheck %s3 4# This was attempting to look back through the REG_SEQUENCE source5# operands and trying to look for physreg defs.6 7---8name: fold_reg_sequence_of_copy_from_physreg_09tracksRegLiveness: true10machineFunctionInfo:11 isEntryFunction: true12 scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3'13 stackPtrOffsetReg: '$sgpr32'14 occupancy: 815body: |16 bb.0:17 ; CHECK-LABEL: name: fold_reg_sequence_of_copy_from_physreg_018 ; CHECK: $vgpr0 = V_MOV_B32_e32 0, implicit $exec19 ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 1, implicit $exec20 ; CHECK-NEXT: S_NOP 0, implicit-def $vgpr0, implicit-def $vgpr121 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr022 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr_32 = COPY $vgpr123 ; CHECK-NEXT: [[REG_SEQUENCE:%[0-9]+]]:vreg_64_align2 = REG_SEQUENCE [[COPY]], %subreg.sub0, [[COPY1]], %subreg.sub124 ; CHECK-NEXT: [[DEF:%[0-9]+]]:vreg_64_align2 = IMPLICIT_DEF25 ; CHECK-NEXT: FLAT_STORE_DWORDX2 killed [[DEF]], killed [[REG_SEQUENCE]], 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))26 ; CHECK-NEXT: S_ENDPGM 027 $vgpr0 = V_MOV_B32_e32 0, implicit $exec28 $vgpr1 = V_MOV_B32_e32 1, implicit $exec29 S_NOP 0, implicit-def $vgpr0, implicit-def $vgpr130 %0:vgpr_32 = COPY $vgpr031 %1:vgpr_32 = COPY $vgpr132 %2:vreg_64_align2 = REG_SEQUENCE %0, %subreg.sub0, %1, %subreg.sub133 %3:vreg_64_align2 = IMPLICIT_DEF34 FLAT_STORE_DWORDX2 killed %3, killed %2, 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))35 S_ENDPGM 036 37...38 39---40name: fold_reg_sequence_of_copy_from_physreg_141tracksRegLiveness: true42machineFunctionInfo:43 isEntryFunction: true44 scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3'45 stackPtrOffsetReg: '$sgpr32'46 occupancy: 847body: |48 bb.0:49 ; CHECK-LABEL: name: fold_reg_sequence_of_copy_from_physreg_150 ; CHECK: $vgpr0 = V_MOV_B32_e32 0, implicit $exec51 ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 1, implicit $exec52 ; CHECK-NEXT: S_NOP 0, implicit-def $vgpr0, implicit-def $vgpr153 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr054 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr_32 = COPY [[COPY]]55 ; CHECK-NEXT: [[REG_SEQUENCE:%[0-9]+]]:vreg_64_align2 = REG_SEQUENCE [[COPY]], %subreg.sub0, [[COPY1]], %subreg.sub156 ; CHECK-NEXT: [[DEF:%[0-9]+]]:vreg_64_align2 = IMPLICIT_DEF57 ; CHECK-NEXT: FLAT_STORE_DWORDX2 killed [[REG_SEQUENCE]], killed [[DEF]], 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))58 ; CHECK-NEXT: S_ENDPGM 059 $vgpr0 = V_MOV_B32_e32 0, implicit $exec60 $vgpr1 = V_MOV_B32_e32 1, implicit $exec61 S_NOP 0, implicit-def $vgpr0, implicit-def $vgpr162 %0:vgpr_32 = COPY $vgpr063 %1:vgpr_32 = V_MOV_B32_e32 2, implicit $exec64 %2:vgpr_32 = COPY %065 %3:vreg_64_align2 = REG_SEQUENCE %0, %subreg.sub0, %2, %subreg.sub166 %4:vreg_64_align2 = IMPLICIT_DEF67 FLAT_STORE_DWORDX2 killed %3, killed %4, 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))68 S_ENDPGM 069 70...71 72---73name: fold_reg_sequence_of_copy_from_physreg_274tracksRegLiveness: true75machineFunctionInfo:76 isEntryFunction: true77 scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3'78 stackPtrOffsetReg: '$sgpr32'79 occupancy: 880body: |81 bb.0:82 ; CHECK-LABEL: name: fold_reg_sequence_of_copy_from_physreg_283 ; CHECK: $vgpr0 = V_MOV_B32_e32 0, implicit $exec84 ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 1, implicit $exec85 ; CHECK-NEXT: S_NOP 0, implicit-def $vgpr0, implicit-def $vgpr186 ; CHECK-NEXT: [[V_MOV_B32_e32_:%[0-9]+]]:vgpr_32 = V_MOV_B32_e32 2, implicit $exec87 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr088 ; CHECK-NEXT: [[REG_SEQUENCE:%[0-9]+]]:vreg_64_align2 = REG_SEQUENCE [[V_MOV_B32_e32_]], %subreg.sub0, [[COPY]], %subreg.sub189 ; CHECK-NEXT: [[DEF:%[0-9]+]]:vreg_64_align2 = IMPLICIT_DEF90 ; CHECK-NEXT: FLAT_STORE_DWORDX2 killed [[DEF]], killed [[REG_SEQUENCE]], 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))91 ; CHECK-NEXT: S_ENDPGM 092 $vgpr0 = V_MOV_B32_e32 0, implicit $exec93 $vgpr1 = V_MOV_B32_e32 1, implicit $exec94 S_NOP 0, implicit-def $vgpr0, implicit-def $vgpr195 %0:vgpr_32 = V_MOV_B32_e32 2, implicit $exec96 %1:vgpr_32 = COPY $vgpr097 %2:vreg_64_align2 = REG_SEQUENCE %0, %subreg.sub0, %1, %subreg.sub198 %3:vreg_64_align2 = IMPLICIT_DEF99 FLAT_STORE_DWORDX2 killed %3, killed %2, 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))100 S_ENDPGM 0101 102...103 104# This would crash looking for a def in any mayLoad instruction105---106name: fold_inlineasm_def107tracksRegLiveness: true108body: |109 bb.0:110 111 ; CHECK-LABEL: name: fold_inlineasm_def112 ; CHECK: INLINEASM &"s_waitcnt vmcnt($0)", 41 /* sideeffect mayload isconvergent attdialect */, 13 /* imm */, 0113 ; CHECK-NEXT: S_ENDPGM 0114 INLINEASM &"s_waitcnt vmcnt($0)", 41 /* sideeffect mayload isconvergent attdialect */, 13 /* imm */, 0115 S_ENDPGM 0116 117...118