Skip to content

Commit 864cbc0

Browse files
kito-chengkito-cheng
committed
RISC-V: Adding R_RISCV_LPAD relocation type
We introduce a new relocation type[1] for landing pad, that used for linker relaxation used, the relaxation part will be a seperated patch. [1] riscv-non-isa/riscv-elf-psabi-doc#452
1 parent 48324fd commit 864cbc0

File tree

16 files changed

+122
-3
lines changed

16 files changed

+122
-3
lines changed

‎bfd/bfd-in2.h‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5451,6 +5451,7 @@ enum bfd_reloc_code_real
54515451
BFD_RELOC_RISCV_32_PCREL,
54525452
BFD_RELOC_RISCV_SET_ULEB128,
54535453
BFD_RELOC_RISCV_SUB_ULEB128,
5454+
BFD_RELOC_RISCV_LPAD,
54545455

54555456
/* Renesas RL78 Relocations. */
54565457
BFD_RELOC_RL78_NEG8,

‎bfd/elfnn-riscv.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2776,6 +2776,7 @@ riscv_elf_relocate_section (bfd *output_bfd,
27762776
case R_RISCV_COPY:
27772777
case R_RISCV_JUMP_SLOT:
27782778
case R_RISCV_RELATIVE:
2779+
case R_RISCV_LPAD:
27792780
/* These require nothing of us at all. */
27802781
continue;
27812782

‎bfd/elfxx-riscv.c‎

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -876,7 +876,20 @@ static reloc_howto_type howto_table[] =
876876
false, /* partial_inplace */
877877
0, /* src_mask */
878878
ENCODE_ITYPE_IMM (-1U), /* dst_mask */
879-
false) /* pcrel_offset */
879+
false), /* pcrel_offset */
880+
HOWTO (R_RISCV_LPAD, /* type */
881+
0, /* rightshift */
882+
0, /* size */
883+
0, /* bitsize */
884+
false, /* pc_relative */
885+
0, /* bitpos */
886+
complain_overflow_dont, /* complain_on_overflow */
887+
bfd_elf_generic_reloc, /* special_function */
888+
"R_RISCV_LPAD", /* name */
889+
false, /* partial_inplace */
890+
0, /* src_mask */
891+
0, /* dst_mask */
892+
false) /* pcrel_offset */
880893
};
881894

882895
static reloc_howto_type howto_table_internal[] =
@@ -1020,6 +1033,7 @@ static const struct elf_reloc_map riscv_reloc_map[] =
10201033
{ BFD_RELOC_RISCV_32_PCREL, R_RISCV_32_PCREL },
10211034
{ BFD_RELOC_RISCV_SET_ULEB128, R_RISCV_SET_ULEB128 },
10221035
{ BFD_RELOC_RISCV_SUB_ULEB128, R_RISCV_SUB_ULEB128 },
1036+
{ BFD_RELOC_RISCV_LPAD, R_RISCV_LPAD },
10231037
};
10241038

10251039
struct riscv_profiles

‎bfd/libbfd.h‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2464,6 +2464,7 @@ static const char *const bfd_reloc_code_real_names[] = { "@@uninitialized@@",
24642464
"BFD_RELOC_RISCV_32_PCREL",
24652465
"BFD_RELOC_RISCV_SET_ULEB128",
24662466
"BFD_RELOC_RISCV_SUB_ULEB128",
2467+
"BFD_RELOC_RISCV_LPAD",
24672468
"BFD_RELOC_RL78_NEG8",
24682469
"BFD_RELOC_RL78_NEG16",
24692470
"BFD_RELOC_RL78_NEG24",

‎bfd/reloc.c‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5036,6 +5036,8 @@ ENUMX
50365036
BFD_RELOC_RISCV_SET_ULEB128
50375037
ENUMX
50385038
BFD_RELOC_RISCV_SUB_ULEB128
5039+
ENUMX
5040+
BFD_RELOC_RISCV_LPAD
50395041
ENUMDOC
50405042
RISC-V relocations.
50415043

‎gas/config/tc-riscv.c‎

Lines changed: 26 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1958,6 +1958,9 @@ riscv_apply_const_reloc (bfd_reloc_code_real_type reloc_type, bfd_vma value)
19581958
case BFD_RELOC_RISCV_LO12_I:
19591959
return ENCODE_ITYPE_IMM (value);
19601960

1961+
case BFD_RELOC_RISCV_LPAD:
1962+
return ENCODE_UTYPE_IMM (value << RISCV_IMM_BITS);
1963+
19611964
default:
19621965
abort ();
19631966
}
@@ -3680,6 +3683,16 @@ riscv_ip (char *str, struct riscv_cl_insn *ip, expressionS *imm_expr,
36803683
*imm_reloc = BFD_RELOC_RISCV_HI20;
36813684
imm_expr->X_add_number <<= RISCV_IMM_BITS;
36823685
}
3686+
{
3687+
bool is_lpad = strcmp (str, "lpad") == 0;
3688+
if (is_lpad)
3689+
{
3690+
/* Always insert a lpad relocation for lpad instruction. */
3691+
*imm_reloc = BFD_RELOC_RISCV_LPAD;
3692+
/* And recover the immediate format to unshift value. */
3693+
imm_expr->X_add_number >>= RISCV_IMM_BITS;
3694+
}
3695+
}
36833696
asarg = expr_parse_end;
36843697
continue;
36853698

@@ -4673,6 +4686,14 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg)
46734686

46744687
switch (fixP->fx_r_type)
46754688
{
4689+
case BFD_RELOC_RISCV_LPAD:
4690+
bfd_putl32 (riscv_apply_const_reloc (fixP->fx_r_type, *valP)
4691+
| bfd_getl32 (buf), buf);
4692+
fixP->fx_done = false;
4693+
fixP->fx_addnumber = 0;
4694+
fixP->fx_offset = 0;
4695+
relaxable = true;
4696+
break;
46764697
case BFD_RELOC_RISCV_HI20:
46774698
case BFD_RELOC_RISCV_LO12_I:
46784699
case BFD_RELOC_RISCV_LO12_S:
@@ -4998,8 +5019,11 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg)
49985019
if (fixP->fx_subsy != NULL)
49995020
as_bad_subtract (fixP);
50005021

5001-
/* Add an R_RISCV_RELAX reloc if the reloc is relaxable. */
5002-
if (relaxable && fixP->fx_tcbit && fixP->fx_addsy != NULL)
5022+
/* Add an R_RISCV_RELAX reloc if the reloc is relaxable,
5023+
and we need that for R_RISCV_LPAD as well. */
5024+
if (relaxable && fixP->fx_tcbit
5025+
&& (fixP->fx_addsy != NULL
5026+
|| (fixP->fx_r_type == BFD_RELOC_RISCV_LPAD)))
50035027
{
50045028
fixP->fx_next = xmemdup (fixP, sizeof (*fixP), sizeof (*fixP));
50055029
fixP->fx_next->fx_addsy = fixP->fx_next->fx_subsy = NULL;

‎gas/testsuite/gas/riscv/lpad_reloc-norelax.d‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
#as: -march=rv64izicfilp -mno-relax
2+
#source: lpad_reloc.s
3+
#objdump: -dr
4+
5+
.*:[ ]+file format .*
6+
7+
8+
Disassembly of section .text:
9+
10+
0+000 <foo>:
11+
[ ]+0:[ ]+00000017[ ]+lpad[ ]+0x0
12+
[ ]+0:[ ]+R_RISCV_LPAD[ ]+\*ABS\*
13+
[ ]+4:[ ]+00001017[ ]+lpad[ ]+0x1
14+
[ ]+4:[ ]+R_RISCV_LPAD[ ]+\*ABS\*
15+
[ ]+8:[ ]+00064017[ ]+lpad[ ]+0x64
16+
[ ]+8:[ ]+R_RISCV_LPAD[ ]+\*ABS\*

‎gas/testsuite/gas/riscv/lpad_reloc.d‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
#as: -march=rv64izicfilp
2+
#source: lpad_reloc.s
3+
#objdump: -dr
4+
5+
.*:[ ]+file format .*
6+
7+
8+
Disassembly of section .text:
9+
10+
0+000 <foo>:
11+
[ ]+0:[ ]+00000017[ ]+lpad[ ]+0x0
12+
[ ]+0:[ ]+R_RISCV_LPAD[ ]+\*ABS\*
13+
[ ]+0:[ ]+R_RISCV_RELAX[ ]+\*ABS\*
14+
[ ]+4:[ ]+00001017[ ]+lpad[ ]+0x1
15+
[ ]+4:[ ]+R_RISCV_LPAD[ ]+\*ABS\*
16+
[ ]+4:[ ]+R_RISCV_RELAX[ ]+\*ABS\*
17+
[ ]+8:[ ]+00064017[ ]+lpad[ ]+0x64
18+
[ ]+8:[ ]+R_RISCV_LPAD[ ]+\*ABS\*
19+
[ ]+8:[ ]+R_RISCV_RELAX[ ]+\*ABS\*

‎gas/testsuite/gas/riscv/lpad_reloc.s‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
foo:
2+
lpad 0
3+
lpad 1
4+
lpad 100

‎gas/testsuite/gas/riscv/zicfisslp-32.d‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,5 @@ Disassembly of section .text:
2525
[ ]+[0-9a-f]+:[ ]+6281[ ]+sspopchk[ ]+t0
2626
[ ]+[0-9a-f]+:[ ]+6281[ ]+sspopchk[ ]+t0
2727
[ ]+[0-9a-f]+:[ ]+00111017[ ]+lpad[ ]+0x111
28+
[ ]+[0-9a-f]+:[ ]+R_RISCV_LPAD[ ]+\*ABS\*
29+
[ ]+[0-9a-f]+:[ ]+R_RISCV_RELAX[ ]+\*ABS\*

0 commit comments

Comments
 (0)