87 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 32; RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx906 -O0 --stop-after=regallocfast,2 -o - %s | FileCheck -check-prefix=REGALLOC %s3 4; Test to check if the bb prolog spills are inserted correctly during regalloc.5define i32 @prolog_spill(i32 %arg0, i32 %arg1, i32 %arg2) {6 ; REGALLOC-LABEL: name: prolog_spill7 ; REGALLOC: bb.0.bb.0:8 ; REGALLOC-NEXT: successors: %bb.3(0x40000000), %bb.1(0x40000000)9 ; REGALLOC-NEXT: liveins: $vgpr0, $vgpr1, $vgpr210 ; REGALLOC-NEXT: {{ $}}11 ; REGALLOC-NEXT: SI_SPILL_V32_SAVE killed $vgpr2, %stack.4, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.4, addrspace 5)12 ; REGALLOC-NEXT: SI_SPILL_V32_SAVE killed $vgpr1, %stack.3, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.3, addrspace 5)13 ; REGALLOC-NEXT: renamable $sgpr4 = S_MOV_B32 4914 ; REGALLOC-NEXT: renamable $sgpr4_sgpr5 = V_CMP_GT_I32_e64 killed $vgpr0, killed $sgpr4, implicit $exec15 ; REGALLOC-NEXT: renamable $vgpr0 = IMPLICIT_DEF16 ; REGALLOC-NEXT: renamable $sgpr6_sgpr7 = COPY $exec, implicit-def $exec17 ; REGALLOC-NEXT: renamable $sgpr4_sgpr5 = S_AND_B64 renamable $sgpr6_sgpr7, killed renamable $sgpr4_sgpr5, implicit-def dead $scc18 ; REGALLOC-NEXT: renamable $sgpr6_sgpr7 = S_XOR_B64 renamable $sgpr4_sgpr5, killed renamable $sgpr6_sgpr7, implicit-def dead $scc19 ; REGALLOC-NEXT: $vgpr63 = IMPLICIT_DEF20 ; REGALLOC-NEXT: $vgpr63 = SI_SPILL_S32_TO_VGPR killed $sgpr6, 0, $vgpr63, implicit-def $sgpr6_sgpr7, implicit $sgpr6_sgpr721 ; REGALLOC-NEXT: $vgpr63 = SI_SPILL_S32_TO_VGPR killed $sgpr7, 1, $vgpr63, implicit killed $sgpr6_sgpr722 ; REGALLOC-NEXT: SI_SPILL_WWM_V32_SAVE killed $vgpr63, %stack.2, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.2, addrspace 5)23 ; REGALLOC-NEXT: $exec = S_MOV_B64_term killed renamable $sgpr4_sgpr524 ; REGALLOC-NEXT: S_CBRANCH_EXECZ %bb.1, implicit $exec25 ; REGALLOC-NEXT: S_BRANCH %bb.326 ; REGALLOC-NEXT: {{ $}}27 ; REGALLOC-NEXT: bb.1.Flow:28 ; REGALLOC-NEXT: successors: %bb.2(0x40000000), %bb.4(0x40000000)29 ; REGALLOC-NEXT: {{ $}}30 ; REGALLOC-NEXT: $vgpr63 = SI_SPILL_WWM_V32_RESTORE %stack.2, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.2, addrspace 5)31 ; REGALLOC-NEXT: $sgpr4 = SI_RESTORE_S32_FROM_VGPR $vgpr63, 0, implicit-def $sgpr4_sgpr532 ; REGALLOC-NEXT: $sgpr5 = SI_RESTORE_S32_FROM_VGPR $vgpr63, 133 ; REGALLOC-NEXT: renamable $sgpr4_sgpr5 = S_OR_SAVEEXEC_B64 killed renamable $sgpr4_sgpr5, implicit-def $exec, implicit-def dead $scc, implicit $exec34 ; REGALLOC-NEXT: $vgpr0 = SI_SPILL_V32_RESTORE %stack.6, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.6, addrspace 5)35 ; REGALLOC-NEXT: SI_SPILL_V32_SAVE killed $vgpr0, %stack.5, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.5, addrspace 5)36 ; REGALLOC-NEXT: renamable $sgpr4_sgpr5 = S_AND_B64 $exec, killed renamable $sgpr4_sgpr5, implicit-def dead $scc37 ; REGALLOC-NEXT: $vgpr63 = SI_SPILL_S32_TO_VGPR killed $sgpr4, 2, $vgpr63, implicit-def $sgpr4_sgpr5, implicit $sgpr4_sgpr538 ; REGALLOC-NEXT: $vgpr63 = SI_SPILL_S32_TO_VGPR $sgpr5, 3, $vgpr63, implicit $sgpr4_sgpr539 ; REGALLOC-NEXT: SI_SPILL_WWM_V32_SAVE killed $vgpr63, %stack.2, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.2, addrspace 5)40 ; REGALLOC-NEXT: $exec = S_XOR_B64_term $exec, killed renamable $sgpr4_sgpr5, implicit-def dead $scc41 ; REGALLOC-NEXT: S_CBRANCH_EXECZ %bb.4, implicit $exec42 ; REGALLOC-NEXT: S_BRANCH %bb.243 ; REGALLOC-NEXT: {{ $}}44 ; REGALLOC-NEXT: bb.2.bb.1:45 ; REGALLOC-NEXT: successors: %bb.4(0x80000000)46 ; REGALLOC-NEXT: {{ $}}47 ; REGALLOC-NEXT: $vgpr0 = SI_SPILL_V32_RESTORE %stack.3, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.3, addrspace 5)48 ; REGALLOC-NEXT: renamable $sgpr4 = S_MOV_B32 1049 ; REGALLOC-NEXT: renamable $vgpr0 = V_ADD_U32_e64 $vgpr0, killed $sgpr4, 0, implicit $exec50 ; REGALLOC-NEXT: SI_SPILL_V32_SAVE killed $vgpr0, %stack.5, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.5, addrspace 5)51 ; REGALLOC-NEXT: S_BRANCH %bb.452 ; REGALLOC-NEXT: {{ $}}53 ; REGALLOC-NEXT: bb.3.bb.2:54 ; REGALLOC-NEXT: successors: %bb.1(0x80000000)55 ; REGALLOC-NEXT: {{ $}}56 ; REGALLOC-NEXT: $vgpr0 = SI_SPILL_V32_RESTORE %stack.4, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.4, addrspace 5)57 ; REGALLOC-NEXT: renamable $sgpr4 = S_MOV_B32 2058 ; REGALLOC-NEXT: renamable $vgpr0 = V_ADD_U32_e64 $vgpr0, killed $sgpr4, 0, implicit $exec59 ; REGALLOC-NEXT: SI_SPILL_V32_SAVE killed $vgpr0, %stack.6, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.6, addrspace 5)60 ; REGALLOC-NEXT: S_BRANCH %bb.161 ; REGALLOC-NEXT: {{ $}}62 ; REGALLOC-NEXT: bb.4.bb.3:63 ; REGALLOC-NEXT: $vgpr63 = SI_SPILL_WWM_V32_RESTORE %stack.2, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.2, addrspace 5)64 ; REGALLOC-NEXT: $sgpr4 = SI_RESTORE_S32_FROM_VGPR $vgpr63, 2, implicit-def $sgpr4_sgpr565 ; REGALLOC-NEXT: $sgpr5 = SI_RESTORE_S32_FROM_VGPR killed $vgpr63, 366 ; REGALLOC-NEXT: $exec = S_OR_B64 $exec, killed renamable $sgpr4_sgpr5, implicit-def dead $scc67 ; REGALLOC-NEXT: $vgpr0 = SI_SPILL_V32_RESTORE %stack.5, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.5, addrspace 5)68 ; REGALLOC-NEXT: renamable $vgpr0 = V_LSHL_ADD_U32_e64 killed $vgpr0, 2, $vgpr0, implicit $exec69 ; REGALLOC-NEXT: SI_RETURN implicit killed $vgpr070bb.0:71 %cmp = icmp slt i32 %arg0, 5072 br i1 %cmp, label %bb.1, label %bb.273 74bb.1:75 %val1 = add i32 %arg1, 1076 br label %bb.377 78bb.2:79 %val2 = add i32 %arg2, 2080 br label %bb.381 82bb.3:83 %val = phi i32 [ %val1, %bb.1 ], [ %val2, %bb.2 ]84 %ret = mul i32 %val, 5;85 ret i32 %ret86}87