49 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 22; RUN: llc -mtriple=m68k %s -stop-after=finalize-isel -o - | FileCheck %s3 4; We want to make sure caller doesn't pop the stack for callees using5; the M68k_RTD CC. However, we've implemented some frame optimization6; techniques to eliminate as many as frame setup/destroy instructions.7; Therefore, to make test case small and concise, we check the MIR generated8; after ISel instead.9 10declare dso_local m68k_rtdcc void @callee(i32 noundef)11declare dso_local m68k_rtdcc void @va_callee(i32 noundef, ...)12 13define dso_local i32 @caller(ptr noundef %y) {14 ; CHECK-LABEL: name: caller15 ; CHECK: bb.0.entry:16 ; CHECK-NEXT: [[MOV32rp:%[0-9]+]]:ar32 = MOV32rp 0, %fixed-stack.0, implicit-def dead $ccr :: (load (s32) from %fixed-stack.0, align 8)17 ; CHECK-NEXT: [[MOV32rj:%[0-9]+]]:xr32 = MOV32rj killed [[MOV32rp]], implicit-def dead $ccr :: (load (s32) from %ir.y)18 ; CHECK-NEXT: ADJCALLSTACKDOWN 4, 0, implicit-def dead $sp, implicit-def dead $ccr, implicit $sp19 ; CHECK-NEXT: [[COPY:%[0-9]+]]:ar32 = COPY $sp20 ; CHECK-NEXT: MOV32jr [[COPY]], [[MOV32rj]], implicit-def dead $ccr :: (store (s32) into stack, align 2)21 ; CHECK-NEXT: CALLb @callee, csr_std, implicit $sp, implicit-def $sp22 ; CHECK-NEXT: ADJCALLSTACKUP 4, 4, implicit-def dead $sp, implicit-def dead $ccr, implicit $sp23 ; CHECK-NEXT: $d0 = COPY [[MOV32rj]]24 ; CHECK-NEXT: RET 0, $d025entry:26 %0 = load i32, ptr %y, align 427 call m68k_rtdcc void @callee(i32 noundef %0)28 ret i32 %029}30 31define dso_local i32 @va_caller(ptr noundef %y) {32 ; CHECK-LABEL: name: va_caller33 ; CHECK: bb.0.entry:34 ; CHECK-NEXT: [[MOV32rp:%[0-9]+]]:ar32 = MOV32rp 0, %fixed-stack.0, implicit-def dead $ccr :: (load (s32) from %fixed-stack.0, align 8)35 ; CHECK-NEXT: [[MOV32rj:%[0-9]+]]:xr32 = MOV32rj killed [[MOV32rp]], implicit-def dead $ccr :: (load (s32) from %ir.y)36 ; CHECK-NEXT: ADJCALLSTACKDOWN 4, 0, implicit-def dead $sp, implicit-def dead $ccr, implicit $sp37 ; CHECK-NEXT: [[COPY:%[0-9]+]]:ar32 = COPY $sp38 ; CHECK-NEXT: MOV32jr [[COPY]], [[MOV32rj]], implicit-def dead $ccr :: (store (s32) into stack, align 2)39 ; CHECK-NEXT: CALLb @va_callee, csr_std, implicit $sp, implicit-def $sp40 ; CHECK-NEXT: ADJCALLSTACKUP 4, 0, implicit-def dead $sp, implicit-def dead $ccr, implicit $sp41 ; CHECK-NEXT: $d0 = COPY [[MOV32rj]]42 ; CHECK-NEXT: RET 0, $d043entry:44 %0 = load i32, ptr %y, align 445 call m68k_rtdcc void (i32, ...) @va_callee(i32 noundef %0)46 ret i32 %047}48 49