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.
75 lines
3.1 KiB
LLVM
75 lines
3.1 KiB
LLVM
; RUN: llc -mtriple=riscv32 --code-model=small \
|
|
; RUN: -stop-after riscv-prera-expand-pseudo %s -o %t.mir
|
|
; RUN: llc -mtriple=riscv32 -run-pass riscv-expand-pseudo %t.mir -o - | \
|
|
; RUN: FileCheck %s -check-prefix=RV32-SMALL
|
|
;
|
|
; RUN: llc -mtriple=riscv32 --code-model=medium --relocation-model=pic \
|
|
; RUN: -stop-after riscv-prera-expand-pseudo %s -o %t.mir
|
|
; RUN: llc -mtriple=riscv32 -run-pass riscv-expand-pseudo %t.mir -o - | \
|
|
; RUN: FileCheck %s -check-prefix=RV32-MED
|
|
|
|
; This tests the RISC-V-specific serialization and deserialization of
|
|
; `target-flags(...)`
|
|
|
|
@g_e = external global i32
|
|
@g_i = internal global i32 0
|
|
@t_un = external thread_local global i32
|
|
@t_ld = external thread_local(localdynamic) global i32
|
|
@t_ie = external thread_local(initialexec) global i32
|
|
@t_le = external thread_local(localexec) global i32
|
|
|
|
declare i32 @callee(i32) nounwind
|
|
|
|
define i32 @caller(i32 %a) nounwind {
|
|
; RV32-SMALL-LABEL: name: caller
|
|
; RV32-SMALL: target-flags(riscv-hi) @g_e
|
|
; RV32-SMALL-NEXT: target-flags(riscv-lo) @g_e
|
|
; RV32-SMALL: target-flags(riscv-hi) @g_i
|
|
; RV32-SMALL-NEXT: target-flags(riscv-lo) @g_i
|
|
; RV32-SMALL: target-flags(riscv-tls-got-hi) @t_un
|
|
; RV32-SMALL-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi0>
|
|
; RV32-SMALL: target-flags(riscv-tls-got-hi) @t_ld
|
|
; RV32-SMALL-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi1>
|
|
; RV32-SMALL: target-flags(riscv-tls-got-hi) @t_ie
|
|
; RV32-SMALL-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi2>
|
|
; RV32-SMALL: target-flags(riscv-tprel-hi) @t_le
|
|
; RV32-SMALL-NEXT: target-flags(riscv-tprel-add) @t_le
|
|
; RV32-SMALL-NEXT: target-flags(riscv-tprel-lo) @t_le
|
|
; RV32-SMALL: target-flags(riscv-call) @callee
|
|
;
|
|
; RV32-MED-LABEL: name: caller
|
|
; RV32-MED: target-flags(riscv-got-hi) @g_e
|
|
; RV32-MED-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi0>
|
|
; RV32-MED: target-flags(riscv-pcrel-hi) @g_i
|
|
; RV32-MED-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi1>
|
|
; RV32-MED: target-flags(riscv-tls-gd-hi) @t_un
|
|
; RV32-MED-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi2>
|
|
; RV32-MED: target-flags(riscv-call) &__tls_get_addr
|
|
; RV32-MED: target-flags(riscv-tls-gd-hi) @t_ld
|
|
; RV32-MED-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi3>
|
|
; RV32-MED: target-flags(riscv-call) &__tls_get_addr
|
|
; RV32-MED: target-flags(riscv-tls-got-hi) @t_ie
|
|
; RV32-MED-NEXT: target-flags(riscv-pcrel-lo) <mcsymbol .Lpcrel_hi4>
|
|
; RV32-MED: target-flags(riscv-tprel-hi) @t_le
|
|
; RV32-MED-NEXT: target-flags(riscv-tprel-add) @t_le
|
|
; RV32-MED-NEXT: target-flags(riscv-tprel-lo) @t_le
|
|
; RV32-MED: target-flags(riscv-call) @callee
|
|
;
|
|
%b = load i32, ptr @g_e
|
|
%c = load i32, ptr @g_i
|
|
%d = load i32, ptr @t_un
|
|
%e = load i32, ptr @t_ld
|
|
%f = load i32, ptr @t_ie
|
|
%g = load i32, ptr @t_le
|
|
%sum = bitcast i32 0 to i32
|
|
%sum.a = add i32 %sum, %a
|
|
%sum.b = add i32 %sum.a, %b
|
|
%sum.c = add i32 %sum.b, %c
|
|
%sum.d = add i32 %sum.c, %d
|
|
%sum.e = add i32 %sum.d, %e
|
|
%sum.f = add i32 %sum.e, %f
|
|
%sum.g = add i32 %sum.f, %g
|
|
%retval = call i32 @callee(i32 %sum.g)
|
|
ret i32 %retval
|
|
}
|