| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -verify-machineinstrs --stress-regalloc=2 -start-before=greedy -stop-after=virtregrewriter -o - %s | FileCheck -check-prefix=GCN %s |
| |
| --- |
| name: test_remat_s_mov_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_mov_b32 |
| ; GCN: renamable $sgpr0 = S_MOV_B32 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_MOV_B32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_MOV_B32 1 |
| %1:sreg_32 = S_MOV_B32 2 |
| %2:sreg_32 = S_MOV_B32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_no_remat_s_mov_b32_impuse_exec |
| tracksRegLiveness: true |
| machineFunctionInfo: |
| stackPtrOffsetReg: $sgpr32 |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_no_remat_s_mov_b32_impuse_exec |
| ; GCN: $exec = IMPLICIT_DEF |
| ; GCN-NEXT: renamable $sgpr0 = S_MOV_B32 1, implicit $exec |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr0, %stack.1, implicit $exec, implicit $sgpr32 :: (store (s32) into %stack.1, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 2, implicit $exec |
| ; GCN-NEXT: renamable $sgpr0 = S_MOV_B32 3, implicit $exec |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr0, %stack.0, implicit $exec, implicit $sgpr32 :: (store (s32) into %stack.0, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.1, implicit $exec, implicit $sgpr32 :: (load (s32) from %stack.1, addrspace 5) |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.0, implicit $exec, implicit $sgpr32 :: (load (s32) from %stack.0, addrspace 5) |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| $exec = IMPLICIT_DEF |
| %0:sreg_32 = S_MOV_B32 1, implicit $exec |
| %1:sreg_32 = S_MOV_B32 2, implicit $exec |
| %2:sreg_32 = S_MOV_B32 3, implicit $exec |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| # The liverange of %0 covers a point of rematerialization, source value is |
| # available. |
| --- |
| name: test_remat_s_mov_b32_vreg_src_long_lr |
| tracksRegLiveness: true |
| machineFunctionInfo: |
| stackPtrOffsetReg: $sgpr32 |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_mov_b32_vreg_src_long_lr |
| ; GCN: renamable $sgpr0 = IMPLICIT_DEF |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = IMPLICIT_DEF |
| %1:sreg_32 = S_MOV_B32 %0:sreg_32 |
| %2:sreg_32 = S_MOV_B32 %0:sreg_32 |
| %3:sreg_32 = S_MOV_B32 %0:sreg_32 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_NOP 0, implicit %3 |
| S_NOP 0, implicit %0 |
| S_ENDPGM 0 |
| ... |
| # The liverange of %0 does not cover a point of rematerialization, source value is |
| # unavailable and we do not want to artificially extend the liverange. |
| --- |
| name: test_no_remat_s_mov_b32_vreg_src_short_lr |
| tracksRegLiveness: true |
| machineFunctionInfo: |
| stackPtrOffsetReg: $sgpr32 |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_no_remat_s_mov_b32_vreg_src_short_lr |
| ; GCN: renamable $sgpr0 = IMPLICIT_DEF |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 renamable $sgpr0 |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr1, %stack.1, implicit $exec, implicit $sgpr32 :: (store (s32) into %stack.1, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = S_MOV_B32 renamable $sgpr0 |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr1, %stack.0, implicit $exec, implicit $sgpr32 :: (store (s32) into %stack.0, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr0 = S_MOV_B32 killed renamable $sgpr0 |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.1, implicit $exec, implicit $sgpr32 :: (load (s32) from %stack.1, addrspace 5) |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.0, implicit $exec, implicit $sgpr32 :: (load (s32) from %stack.0, addrspace 5) |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = IMPLICIT_DEF |
| %1:sreg_32 = S_MOV_B32 %0:sreg_32 |
| %2:sreg_32 = S_MOV_B32 %0:sreg_32 |
| %3:sreg_32 = S_MOV_B32 %0:sreg_32 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_NOP 0, implicit %3 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_mov_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_mov_b64 |
| ; GCN: renamable $sgpr0_sgpr1 = S_MOV_B64 1 |
| ; GCN-NEXT: renamable $sgpr2_sgpr3 = S_MOV_B64 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr2_sgpr3 |
| ; GCN-NEXT: renamable $sgpr0_sgpr1 = S_MOV_B64 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sgpr_64 = S_MOV_B64 1 |
| %1:sgpr_64 = S_MOV_B64 2 |
| %2:sgpr_64 = S_MOV_B64 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_brev_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_brev_b32 |
| ; GCN: renamable $sgpr0 = S_BREV_B32 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_BREV_B32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_BREV_B32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_BREV_B32 1 |
| %1:sreg_32 = S_BREV_B32 2 |
| %2:sreg_32 = S_BREV_B32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_brev_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_brev_b64 |
| ; GCN: renamable $sgpr0_sgpr1 = S_BREV_B64 1 |
| ; GCN-NEXT: renamable $sgpr2_sgpr3 = S_BREV_B64 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr2_sgpr3 |
| ; GCN-NEXT: renamable $sgpr0_sgpr1 = S_BREV_B64 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sgpr_64 = S_BREV_B64 1 |
| %1:sgpr_64 = S_BREV_B64 2 |
| %2:sgpr_64 = S_BREV_B64 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_ff0_i32_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_ff0_i32_b32 |
| ; GCN: renamable $sgpr0 = S_FF0_I32_B32 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FF0_I32_B32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FF0_I32_B32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FF0_I32_B32 1 |
| %1:sreg_32 = S_FF0_I32_B32 2 |
| %2:sreg_32 = S_FF0_I32_B32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_ff1_i32_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_ff1_i32_b32 |
| ; GCN: renamable $sgpr0 = S_FF1_I32_B32 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FF1_I32_B32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FF1_I32_B32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FF1_I32_B32 1 |
| %1:sreg_32 = S_FF1_I32_B32 2 |
| %2:sreg_32 = S_FF1_I32_B32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_ff0_i32_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_ff0_i32_b64 |
| ; GCN: renamable $sgpr0 = S_FF0_I32_B64 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FF0_I32_B64 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FF0_I32_B64 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FF0_I32_B64 1 |
| %1:sreg_32 = S_FF0_I32_B64 2 |
| %2:sreg_32 = S_FF0_I32_B64 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_ff1_i32_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_ff1_i32_b64 |
| ; GCN: renamable $sgpr0 = S_FF1_I32_B64 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FF1_I32_B64 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FF1_I32_B64 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FF1_I32_B64 1 |
| %1:sreg_32 = S_FF1_I32_B64 2 |
| %2:sreg_32 = S_FF1_I32_B64 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_flbit_i32_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_flbit_i32_b32 |
| ; GCN: renamable $sgpr0 = S_FLBIT_I32_B32 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FLBIT_I32_B32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FLBIT_I32_B32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FLBIT_I32_B32 1 |
| %1:sreg_32 = S_FLBIT_I32_B32 2 |
| %2:sreg_32 = S_FLBIT_I32_B32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_flbit_i32_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_flbit_i32_b64 |
| ; GCN: renamable $sgpr0 = S_FLBIT_I32_B64 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FLBIT_I32_B64 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FLBIT_I32_B64 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FLBIT_I32_B64 1 |
| %1:sreg_32 = S_FLBIT_I32_B64 2 |
| %2:sreg_32 = S_FLBIT_I32_B64 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_flbit_i32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_flbit_i32 |
| ; GCN: renamable $sgpr0 = S_FLBIT_I32 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FLBIT_I32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FLBIT_I32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FLBIT_I32 1 |
| %1:sreg_32 = S_FLBIT_I32 2 |
| %2:sreg_32 = S_FLBIT_I32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_flbit_i32_i64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_flbit_i32_i64 |
| ; GCN: renamable $sgpr0 = S_FLBIT_I32_I64 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_FLBIT_I32_I64 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_FLBIT_I32_I64 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_FLBIT_I32_I64 1 |
| %1:sreg_32 = S_FLBIT_I32_I64 2 |
| %2:sreg_32 = S_FLBIT_I32_I64 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_sext_i32_i8 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_sext_i32_i8 |
| ; GCN: renamable $sgpr0 = S_SEXT_I32_I8 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_SEXT_I32_I8 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_SEXT_I32_I8 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_SEXT_I32_I8 1 |
| %1:sreg_32 = S_SEXT_I32_I8 2 |
| %2:sreg_32 = S_SEXT_I32_I8 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_sext_i32_i16 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_sext_i32_i16 |
| ; GCN: renamable $sgpr0 = S_SEXT_I32_I16 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_SEXT_I32_I16 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_SEXT_I32_I16 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_SEXT_I32_I16 1 |
| %1:sreg_32 = S_SEXT_I32_I16 2 |
| %2:sreg_32 = S_SEXT_I32_I16 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_bitreplicate_b64_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_bitreplicate_b64_b32 |
| ; GCN: renamable $sgpr0_sgpr1 = S_BITREPLICATE_B64_B32 1 |
| ; GCN-NEXT: renamable $sgpr2_sgpr3 = S_BITREPLICATE_B64_B32 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr2_sgpr3 |
| ; GCN-NEXT: renamable $sgpr0_sgpr1 = S_BITREPLICATE_B64_B32 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sgpr_64 = S_BITREPLICATE_B64_B32 1 |
| %1:sgpr_64 = S_BITREPLICATE_B64_B32 2 |
| %2:sgpr_64 = S_BITREPLICATE_B64_B32 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_bfm_b32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_bfm_b32 |
| ; GCN: renamable $sgpr0 = S_BFM_B32 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_BFM_B32 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_BFM_B32 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_BFM_B32 1, 1 |
| %1:sreg_32 = S_BFM_B32 2, 2 |
| %2:sreg_32 = S_BFM_B32 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_bfm_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_bfm_b64 |
| ; GCN: renamable $sgpr0_sgpr1 = S_BFM_B64 1, 1 |
| ; GCN-NEXT: renamable $sgpr2_sgpr3 = S_BFM_B64 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr2_sgpr3 |
| ; GCN-NEXT: renamable $sgpr0_sgpr1 = S_BFM_B64 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sgpr_64 = S_BFM_B64 1, 1 |
| %1:sgpr_64 = S_BFM_B64 2, 2 |
| %2:sgpr_64 = S_BFM_B64 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_mul_i32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_mul_i32 |
| ; GCN: renamable $sgpr0 = S_MUL_I32 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_MUL_I32 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_MUL_I32 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_MUL_I32 1, 1 |
| %1:sreg_32 = S_MUL_I32 2, 2 |
| %2:sreg_32 = S_MUL_I32 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_mul_hi_i32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_mul_hi_i32 |
| ; GCN: renamable $sgpr0 = S_MUL_HI_I32 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_MUL_HI_I32 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_MUL_HI_I32 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_MUL_HI_I32 1, 1 |
| %1:sreg_32 = S_MUL_HI_I32 2, 2 |
| %2:sreg_32 = S_MUL_HI_I32 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_mul_hi_u32 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_mul_hi_u32 |
| ; GCN: renamable $sgpr0 = S_MUL_HI_U32 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_MUL_HI_U32 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_MUL_HI_U32 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_MUL_HI_U32 1, 1 |
| %1:sreg_32 = S_MUL_HI_U32 2, 2 |
| %2:sreg_32 = S_MUL_HI_U32 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_pack_ll_b32_b16 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_pack_ll_b32_b16 |
| ; GCN: renamable $sgpr0 = S_PACK_LL_B32_B16 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_PACK_LL_B32_B16 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_PACK_LL_B32_B16 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_PACK_LL_B32_B16 1, 1 |
| %1:sreg_32 = S_PACK_LL_B32_B16 2, 2 |
| %2:sreg_32 = S_PACK_LL_B32_B16 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_pack_lh_b32_b16 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_pack_lh_b32_b16 |
| ; GCN: renamable $sgpr0 = S_PACK_LH_B32_B16 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_PACK_LH_B32_B16 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_PACK_LH_B32_B16 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_PACK_LH_B32_B16 1, 1 |
| %1:sreg_32 = S_PACK_LH_B32_B16 2, 2 |
| %2:sreg_32 = S_PACK_LH_B32_B16 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| --- |
| name: test_remat_s_pack_hh_b32_b16 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; GCN-LABEL: name: test_remat_s_pack_hh_b32_b16 |
| ; GCN: renamable $sgpr0 = S_PACK_HH_B32_B16 1, 1 |
| ; GCN-NEXT: renamable $sgpr1 = S_PACK_HH_B32_B16 2, 2 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr1 |
| ; GCN-NEXT: renamable $sgpr0 = S_PACK_HH_B32_B16 3, 3 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_32 = S_PACK_HH_B32_B16 1, 1 |
| %1:sreg_32 = S_PACK_HH_B32_B16 2, 2 |
| %2:sreg_32 = S_PACK_HH_B32_B16 3, 3 |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| |
| --- |
| name: test_remat_s_getpc_b64 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| |
| ; GCN-LABEL: name: test_remat_s_getpc_b64 |
| ; GCN: renamable $sgpr0_sgpr1 = S_GETPC_B64_pseudo |
| ; GCN-NEXT: renamable $sgpr2_sgpr3 = S_GETPC_B64_pseudo |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr2_sgpr3 |
| ; GCN-NEXT: renamable $sgpr0_sgpr1 = S_GETPC_B64_pseudo |
| ; GCN-NEXT: S_NOP 0, implicit killed renamable $sgpr0_sgpr1 |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sgpr_64 = S_GETPC_B64_pseudo |
| %1:sgpr_64 = S_GETPC_B64_pseudo |
| %2:sgpr_64 = S_GETPC_B64_pseudo |
| S_NOP 0, implicit %0 |
| S_NOP 0, implicit %1 |
| S_NOP 0, implicit %2 |
| S_ENDPGM 0 |
| ... |
| |
| --- |
| name: test_remat_s_getpc_b64_2 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| |
| ; GCN-LABEL: name: test_remat_s_getpc_b64_2 |
| ; GCN: renamable $sgpr0_sgpr1 = S_GETPC_B64_pseudo |
| ; GCN-NEXT: renamable $sgpr2_sgpr3 = S_GETPC_B64_pseudo |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr0, %stack.3, implicit $exec, implicit $sp_reg :: (store (s32) into %stack.3, addrspace 5) |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr1, %stack.0, implicit $exec, implicit $sp_reg :: (store (s32) into %stack.0, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = COPY renamable $sgpr2 |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr1, %stack.1, implicit $exec, implicit $sp_reg :: (store (s32) into %stack.1, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = COPY killed renamable $sgpr3 |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr1, %stack.2, implicit $exec, implicit $sp_reg :: (store (s32) into %stack.2, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr0_sgpr1 = S_GETPC_B64_pseudo |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr0, %stack.5, implicit $exec, implicit $sp_reg :: (store (s32) into %stack.5, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr0 = COPY killed renamable $sgpr1 |
| ; GCN-NEXT: SI_SPILL_S32_SAVE killed renamable $sgpr0, %stack.4, implicit $exec, implicit $sp_reg :: (store (s32) into %stack.4, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.1, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.1, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.3, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.3, addrspace 5) |
| ; GCN-NEXT: dead renamable $sgpr0 = S_ADD_U32 killed renamable $sgpr1, killed renamable $sgpr0, implicit-def $scc |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.0, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.2, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.2, addrspace 5) |
| ; GCN-NEXT: dead renamable $sgpr0 = S_ADDC_U32 killed renamable $sgpr0, killed renamable $sgpr1, implicit-def $scc, implicit $scc |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.3, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.3, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.5, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.5, addrspace 5) |
| ; GCN-NEXT: dead renamable $sgpr0 = S_ADD_U32 killed renamable $sgpr0, killed renamable $sgpr1, implicit-def $scc |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.0, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.4, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.4, addrspace 5) |
| ; GCN-NEXT: dead renamable $sgpr0 = S_ADDC_U32 killed renamable $sgpr0, killed renamable $sgpr1, implicit-def $scc, implicit $scc |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.1, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.1, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.5, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.5, addrspace 5) |
| ; GCN-NEXT: dead renamable $sgpr0 = S_ADD_U32 killed renamable $sgpr0, killed renamable $sgpr1, implicit-def $scc |
| ; GCN-NEXT: renamable $sgpr0 = SI_SPILL_S32_RESTORE %stack.2, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.2, addrspace 5) |
| ; GCN-NEXT: renamable $sgpr1 = SI_SPILL_S32_RESTORE %stack.4, implicit $exec, implicit $sp_reg :: (load (s32) from %stack.4, addrspace 5) |
| ; GCN-NEXT: dead renamable $sgpr0 = S_ADDC_U32 killed renamable $sgpr0, killed renamable $sgpr1, implicit-def $scc, implicit $scc |
| ; GCN-NEXT: S_ENDPGM 0 |
| %0:sreg_64 = S_GETPC_B64_pseudo |
| %1:sreg_64 = S_GETPC_B64_pseudo |
| %2:sreg_64 = S_GETPC_B64_pseudo |
| %4:sreg_32 = COPY %0.sub0:sreg_64 |
| %5:sreg_32 = COPY %0.sub1:sreg_64 |
| %6:sreg_32 = COPY %1.sub0:sreg_64 |
| %7:sreg_32 = COPY %1.sub1:sreg_64 |
| %8:sreg_32 = COPY %2.sub0:sreg_64 |
| %9:sreg_32 = COPY %2.sub1:sreg_64 |
| %10:sreg_32 = S_ADD_U32 %4:sreg_32, %6:sreg_32, implicit-def $scc |
| %11:sreg_32 = S_ADDC_U32 %5:sreg_32, %7:sreg_32, implicit-def $scc, implicit $scc |
| %12:sreg_32 = S_ADD_U32 %4:sreg_32, %8:sreg_32, implicit-def $scc |
| %13:sreg_32 = S_ADDC_U32 %5:sreg_32, %9:sreg_32, implicit-def $scc, implicit $scc |
| %14:sreg_32 = S_ADD_U32 %6:sreg_32, %8:sreg_32, implicit-def $scc |
| %15:sreg_32 = S_ADDC_U32 %7:sreg_32, %9:sreg_32, implicit-def $scc, implicit $scc |
| S_ENDPGM 0 |
| ... |
| |
| |