360996ac5a
Since #72467, `@plt` in assembly output "call foo@plt" is omitted. We can trivially merge MO_PLT and MO_CALL without any functional change to assembly/relocatable file output. Earlier architectures use different call relocation types whether a PLT is potentially needed: R_386_PLT32/R_386_PC32, R_68K_PLT32/R_68K_PC32, R_SPARC_WDISP30/R_SPARC_WPLT320. However, as the PLT property is per-symbol instead of per-call-site and linkers can optimize out a PLT, the distinction has been confusing. Arm made good names R_ARM_CALL/R_AARCH64_CALL. Let's use MO_CALL instead of MO_PLT. As follow-ups, we can merge fixup_riscv_call/fixup_riscv_call_plt and VK_RISCV_CALL/VK_RISCV_CALL_PLT.
50 lines
2.7 KiB
LLVM
50 lines
2.7 KiB
LLVM
; RUN: llc -mtriple=riscv32 -stop-after finalize-isel < %s | FileCheck %s -check-prefix=RV32
|
|
; RUN: llc -mtriple=riscv64 -stop-after finalize-isel < %s | FileCheck %s -check-prefix=RV64
|
|
|
|
declare void @callee(<4 x i8> %v)
|
|
|
|
define void @caller() {
|
|
; RV32-LABEL: name: caller
|
|
; RV32: stack:
|
|
; RV32: - { id: 0, name: '', type: default, offset: 0, size: 16, alignment: 4,
|
|
; RV32-NEXT: stack-id: default, callee-saved-register: '', callee-saved-restored: true,
|
|
; RV32-NEXT: debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
|
|
; RV32: bb.0 (%ir-block.0):
|
|
; RV32: ADJCALLSTACKDOWN 0, 0, implicit-def dead $x2, implicit $x2
|
|
; RV32: [[ADDI:%[0-9]+]]:gpr = ADDI $x0, 7
|
|
; RV32: SW killed [[ADDI]], %stack.0, 12 :: (store (s32) into %stack.0)
|
|
; RV32: [[ADDI1:%[0-9]+]]:gpr = ADDI $x0, 6
|
|
; RV32: SW killed [[ADDI1]], %stack.0, 8 :: (store (s32) into %stack.0)
|
|
; RV32: [[ADDI2:%[0-9]+]]:gpr = ADDI $x0, 5
|
|
; RV32: SW killed [[ADDI2]], %stack.0, 4 :: (store (s32) into %stack.0)
|
|
; RV32: [[ADDI3:%[0-9]+]]:gpr = ADDI $x0, 4
|
|
; RV32: SW killed [[ADDI3]], %stack.0, 0 :: (store (s32) into %stack.0)
|
|
; RV32: [[ADDI4:%[0-9]+]]:gpr = ADDI %stack.0, 0
|
|
; RV32: $x10 = COPY [[ADDI4]]
|
|
; RV32: PseudoCALL target-flags(riscv-call) @callee, csr_ilp32_lp64, implicit-def dead $x1, implicit $x10, implicit-def $x2
|
|
; RV32: ADJCALLSTACKUP 0, 0, implicit-def dead $x2, implicit $x2
|
|
; RV32: PseudoRET
|
|
; RV64-LABEL: name: caller
|
|
; RV64: stack:
|
|
; RV64: - { id: 0, name: '', type: default, offset: 0, size: 32, alignment: 8,
|
|
; RV64-NEXT: stack-id: default, callee-saved-register: '', callee-saved-restored: true,
|
|
; RV64-NEXT: debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
|
|
; RV64: bb.0 (%ir-block.0):
|
|
; RV64: ADJCALLSTACKDOWN 0, 0, implicit-def dead $x2, implicit $x2
|
|
; RV64: [[ADDI:%[0-9]+]]:gpr = ADDI $x0, 7
|
|
; RV64: SD killed [[ADDI]], %stack.0, 24 :: (store (s64) into %stack.0)
|
|
; RV64: [[ADDI1:%[0-9]+]]:gpr = ADDI $x0, 6
|
|
; RV64: SD killed [[ADDI1]], %stack.0, 16 :: (store (s64) into %stack.0)
|
|
; RV64: [[ADDI2:%[0-9]+]]:gpr = ADDI $x0, 5
|
|
; RV64: SD killed [[ADDI2]], %stack.0, 8 :: (store (s64) into %stack.0)
|
|
; RV64: [[ADDI3:%[0-9]+]]:gpr = ADDI $x0, 4
|
|
; RV64: SD killed [[ADDI3]], %stack.0, 0 :: (store (s64) into %stack.0)
|
|
; RV64: [[ADDI4:%[0-9]+]]:gpr = ADDI %stack.0, 0
|
|
; RV64: $x10 = COPY [[ADDI4]]
|
|
; RV64: PseudoCALL target-flags(riscv-call) @callee, csr_ilp32_lp64, implicit-def dead $x1, implicit $x10, implicit-def $x2
|
|
; RV64: ADJCALLSTACKUP 0, 0, implicit-def dead $x2, implicit $x2
|
|
; RV64: PseudoRET
|
|
call void @callee(<4 x i8> <i8 4, i8 5, i8 6, i8 7>)
|
|
ret void
|
|
}
|