64 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=fiji -run-pass=peephole-opt,si-fold-operands -o - %s | FileCheck %s3 4# Check for assert when trying later folds after commuting an5# instruction where both operands are the same register. This depended6# on use list ordering, so we need to run peephole-opt first to7# reproduce.8 9---10name: commute_add_same_inputs_assert11tracksRegLiveness: true12body: |13 bb.0:14 liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr315 16 ; CHECK-LABEL: name: commute_add_same_inputs_assert17 ; CHECK: liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr318 ; CHECK-NEXT: {{ $}}19 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr020 ; CHECK-NEXT: [[V_ADD_CO_U32_e32_:%[0-9]+]]:vgpr_32 = V_ADD_CO_U32_e32 0, killed [[COPY]], implicit-def $vcc, implicit $exec21 ; CHECK-NEXT: [[V_MOV_B32_e32_:%[0-9]+]]:vgpr_32 = V_MOV_B32_e32 0, implicit $exec22 ; CHECK-NEXT: [[V_ADDC_U32_e32_:%[0-9]+]]:vgpr_32 = V_ADDC_U32_e32 0, [[V_MOV_B32_e32_]], implicit-def $vcc, implicit $vcc, implicit $exec23 ; CHECK-NEXT: $vgpr4 = COPY [[V_ADDC_U32_e32_]]24 ; CHECK-NEXT: SI_RETURN implicit $vgpr425 %0:vgpr_32 = COPY $vgpr026 %1:sreg_64 = S_MOV_B64 027 %2:sreg_32 = COPY %1.sub028 %3:vgpr_32 = V_ADD_CO_U32_e32 %2, killed %0, implicit-def $vcc, implicit $exec29 %4:vgpr_32 = COPY %230 %5:vgpr_32 = COPY %231 %6:vgpr_32 = V_ADDC_U32_e32 %4, %5, implicit-def $vcc, implicit $vcc, implicit $exec32 $vgpr4 = COPY %633 SI_RETURN implicit $vgpr434 35...36 37---38name: commute_sub_same_inputs_assert39tracksRegLiveness: true40body: |41 bb.0:42 liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr343 44 ; CHECK-LABEL: name: commute_sub_same_inputs_assert45 ; CHECK: liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr346 ; CHECK-NEXT: {{ $}}47 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr048 ; CHECK-NEXT: [[V_SUB_CO_U32_e32_:%[0-9]+]]:vgpr_32 = V_SUB_CO_U32_e32 0, killed [[COPY]], implicit-def $vcc, implicit $exec49 ; CHECK-NEXT: [[V_MOV_B32_e32_:%[0-9]+]]:vgpr_32 = V_MOV_B32_e32 0, implicit $exec50 ; CHECK-NEXT: [[V_SUBB_U32_e32_:%[0-9]+]]:vgpr_32 = V_SUBB_U32_e32 0, [[V_MOV_B32_e32_]], implicit-def $vcc, implicit $vcc, implicit $exec51 ; CHECK-NEXT: $vgpr4 = COPY [[V_SUBB_U32_e32_]]52 ; CHECK-NEXT: SI_RETURN implicit $vgpr453 %0:vgpr_32 = COPY $vgpr054 %1:sreg_64 = S_MOV_B64 055 %2:sreg_32 = COPY %1.sub056 %3:vgpr_32 = V_SUB_CO_U32_e32 %2, killed %0, implicit-def $vcc, implicit $exec57 %4:vgpr_32 = COPY %258 %5:vgpr_32 = COPY %259 %6:vgpr_32 = V_SUBB_U32_e32 %5, %4, implicit-def $vcc, implicit $vcc, implicit $exec60 $vgpr4 = COPY %661 SI_RETURN implicit $vgpr462 63...64