[ARM/FDPIC v5 10/21] [ARM] FDPIC: Implement TLS support.
Kyrill Tkachov
kyrylo.tkachov@foss.arm.com
Wed Sep 4 14:16:00 GMT 2019
Hi Christophe,
On 5/15/19 1:39 PM, Christophe Lyon wrote:
> Support additional relocations: TLS_GD32_FDPIC, TLS_LDM32_FDPIC, and
> TLS_IE32_FDPIC.
>
> We do not support the GNU2 TLS dialect.
>
> 2019-XX-XX Christophe Lyon <christophe.lyon@st.com>
>        Mickaël Guêné <mickael.guene@st.com>
>
> Â Â Â Â Â Â Â gcc/
> Â Â Â Â Â Â Â * config/arm/arm.c (tls_reloc): Add TLS_GD32_FDPIC,
> Â Â Â Â Â Â Â TLS_LDM32_FDPIC and TLS_IE32_FDPIC.
> Â Â Â Â Â Â Â (arm_call_tls_get_addr): Add FDPIC support.
> Â Â Â Â Â Â Â (legitimize_tls_address): Likewise.
> Â Â Â Â Â Â Â (arm_emit_tls_decoration): Likewise.
>
> Change-Id: I4ea5034ff654540c4658d0a79fb92f70550cdf4a
>
> diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
> index 99d13bf..5fc7a20 100644
> --- a/gcc/config/arm/arm.c
> +++ b/gcc/config/arm/arm.c
> @@ -2379,9 +2379,12 @@ char arm_arch_name[] = "__ARM_ARCH_PROFILE__";
>
> Â enum tls_reloc {
> Â Â TLS_GD32,
> +Â TLS_GD32_FDPIC,
> Â Â TLS_LDM32,
> +Â TLS_LDM32_FDPIC,
> Â Â TLS_LDO32,
> Â Â TLS_IE32,
> +Â TLS_IE32_FDPIC,
> Â Â TLS_LE32,
> Â Â TLS_DESCSEQÂ /* GNU scheme */
> Â };
> @@ -8760,20 +8763,34 @@ arm_call_tls_get_addr (rtx x, rtx reg, rtx
> *valuep, int reloc)
> Â Â gcc_assert (reloc != TLS_DESCSEQ);
> Â Â start_sequence ();
>
> -Â labelno = GEN_INT (pic_labelno++);
> -Â label = gen_rtx_UNSPEC (Pmode, gen_rtvec (1, labelno),
> UNSPEC_PIC_LABEL);
> -Â label = gen_rtx_CONST (VOIDmode, label);
> +Â if (TARGET_FDPIC)
> +Â Â Â {
> +Â Â Â Â Â sum = gen_rtx_UNSPEC (Pmode,
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â gen_rtvec (2, x, GEN_INT (reloc)),
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â UNSPEC_TLS);
> +Â Â Â }
> +Â else
> +Â Â Â {
> +Â Â Â Â Â labelno = GEN_INT (pic_labelno++);
> +Â Â Â Â Â label = gen_rtx_UNSPEC (Pmode, gen_rtvec (1, labelno),
> UNSPEC_PIC_LABEL);
> +Â Â Â Â Â label = gen_rtx_CONST (VOIDmode, label);
>
> -Â sum = gen_rtx_UNSPEC (Pmode,
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â gen_rtvec (4, x, GEN_INT (reloc), label,
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â GEN_INT (TARGET_ARM ? 8 : 4)),
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â UNSPEC_TLS);
> +Â Â Â Â Â sum = gen_rtx_UNSPEC (Pmode,
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â gen_rtvec (4, x, GEN_INT (reloc), label,
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â GEN_INT (TARGET_ARM ? 8 : 4)),
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â UNSPEC_TLS);
> +Â Â Â }
> Â Â reg = load_tls_operand (sum, reg);
>
> -Â if (TARGET_ARM)
> -Â Â Â emit_insn (gen_pic_add_dot_plus_eight (reg, reg, labelno));
> +Â if (TARGET_FDPIC)
> +Â Â Â {
> +Â Â Â Â Â emit_insn (gen_addsi3 (reg, reg, gen_rtx_REG (Pmode,
> FDPIC_REGNUM)));
> +Â Â Â }
No {} around single statement.
> Â Â else
> -Â Â Â emit_insn (gen_pic_add_dot_plus_four (reg, reg, labelno));
> +Â Â Â if (TARGET_ARM)
> +Â Â Â Â Â emit_insn (gen_pic_add_dot_plus_eight (reg, reg, labelno));
Merge that "if" with the "else" in an "else if"
> +Â Â Â else
> +Â Â Â Â Â emit_insn (gen_pic_add_dot_plus_four (reg, reg, labelno));
>
> Â Â *valuep = emit_library_call_value (get_tls_get_addr (), NULL_RTX,
>                                      LCT_PURE, /* LCT_CONST? */
> @@ -8808,6 +8825,7 @@ arm_tls_descseq_addr (rtx x, rtx reg)
> Â Â return reg;
> Â }
>
> +
> Â rtx
> Â legitimize_tls_address (rtx x, rtx reg)
> Â {
> @@ -8820,6 +8838,9 @@ legitimize_tls_address (rtx x, rtx reg)
> Â Â Â Â case TLS_MODEL_GLOBAL_DYNAMIC:
> Â Â Â Â Â Â if (TARGET_GNU2_TLS)
> Â Â Â Â Â Â Â Â {
> +Â Â Â Â Â Â Â Â if (TARGET_FDPIC)
> +Â Â Â Â Â Â Â Â Â Â gcc_unreachable();
> +
Use gcc_assert (TARGET_FDPIC)
> Â Â Â Â Â Â Â Â Â Â reg = arm_tls_descseq_addr (x, reg);
>
> Â Â Â Â Â Â Â Â Â Â tp = arm_load_tp (NULL_RTX);
> @@ -8829,7 +8850,10 @@ legitimize_tls_address (rtx x, rtx reg)
> Â Â Â Â Â Â else
> Â Â Â Â Â Â Â Â {
> Â Â Â Â Â Â Â Â Â Â /* Original scheme */
> -Â Â Â Â Â Â Â Â insns = arm_call_tls_get_addr (x, reg, &ret, TLS_GD32);
> +Â Â Â Â Â Â Â Â if (TARGET_FDPIC)
> +Â Â Â Â Â Â Â Â Â Â insns = arm_call_tls_get_addr (x, reg, &ret, TLS_GD32_FDPIC);
> +Â Â Â Â Â Â Â Â else
> +Â Â Â Â Â Â Â Â Â Â insns = arm_call_tls_get_addr (x, reg, &ret, TLS_GD32);
> Â Â Â Â Â Â Â Â Â Â dest = gen_reg_rtx (Pmode);
> Â Â Â Â Â Â Â Â Â Â emit_libcall_block (insns, dest, ret, x);
> Â Â Â Â Â Â Â Â }
> @@ -8838,6 +8862,9 @@ legitimize_tls_address (rtx x, rtx reg)
> Â Â Â Â case TLS_MODEL_LOCAL_DYNAMIC:
> Â Â Â Â Â Â if (TARGET_GNU2_TLS)
> Â Â Â Â Â Â Â Â {
> +Â Â Â Â Â Â Â Â if (TARGET_FDPIC)
> +Â Â Â Â Â Â Â Â Â Â gcc_unreachable();
> +
Likewise.
Ok with those changes.
Thanks,
Kyrill
> Â Â Â Â Â Â Â Â Â Â reg = arm_tls_descseq_addr (x, reg);
>
> Â Â Â Â Â Â Â Â Â Â tp = arm_load_tp (NULL_RTX);
> @@ -8846,7 +8873,10 @@ legitimize_tls_address (rtx x, rtx reg)
> Â Â Â Â Â Â Â Â }
> Â Â Â Â Â Â else
> Â Â Â Â Â Â Â Â {
> -Â Â Â Â Â Â Â Â insns = arm_call_tls_get_addr (x, reg, &ret, TLS_LDM32);
> +Â Â Â Â Â Â Â Â if (TARGET_FDPIC)
> +Â Â Â Â Â Â Â Â Â Â insns = arm_call_tls_get_addr (x, reg, &ret, TLS_LDM32_FDPIC);
> +Â Â Â Â Â Â Â Â else
> +Â Â Â Â Â Â Â Â Â Â insns = arm_call_tls_get_addr (x, reg, &ret, TLS_LDM32);
>
> Â Â Â Â Â Â Â Â Â Â /* Attach a unique REG_EQUIV, to allow the RTL optimizers to
>              share the LDM result with other LD model accesses. */
> @@ -8865,23 +8895,35 @@ legitimize_tls_address (rtx x, rtx reg)
> Â Â Â Â Â Â return dest;
>
> Â Â Â Â case TLS_MODEL_INITIAL_EXEC:
> -Â Â Â Â Â labelno = GEN_INT (pic_labelno++);
> -Â Â Â Â Â label = gen_rtx_UNSPEC (Pmode, gen_rtvec (1, labelno),
> UNSPEC_PIC_LABEL);
> -Â Â Â Â Â label = gen_rtx_CONST (VOIDmode, label);
> -Â Â Â Â Â sum = gen_rtx_UNSPEC (Pmode,
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â gen_rtvec (4, x, GEN_INT (TLS_IE32), label,
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â GEN_INT (TARGET_ARM ? 8 : 4)),
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â UNSPEC_TLS);
> -Â Â Â Â Â reg = load_tls_operand (sum, reg);
> -
> -Â Â Â Â Â if (TARGET_ARM)
> -Â Â Â Â Â Â emit_insn (gen_tls_load_dot_plus_eight (reg, reg, labelno));
> -Â Â Â Â Â else if (TARGET_THUMB2)
> -Â Â Â Â Â Â emit_insn (gen_tls_load_dot_plus_four (reg, NULL, reg, labelno));
> +Â Â Â Â Â if (TARGET_FDPIC)
> +Â Â Â Â Â Â {
> +Â Â Â Â Â Â Â Â sum = gen_rtx_UNSPEC (Pmode,
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â gen_rtvec (2, x, GEN_INT
> (TLS_IE32_FDPIC)),
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â UNSPEC_TLS);
> +Â Â Â Â Â Â Â Â reg = load_tls_operand (sum, reg);
> +Â Â Â Â Â Â Â Â emit_insn (gen_addsi3 (reg, reg, gen_rtx_REG (Pmode,
> FDPIC_REGNUM)));
> +Â Â Â Â Â Â Â Â emit_move_insn (reg, gen_rtx_MEM (Pmode, reg));
> +Â Â Â Â Â Â }
> Â Â Â Â Â Â else
> Â Â Â Â Â Â Â Â {
> -Â Â Â Â Â Â Â Â emit_insn (gen_pic_add_dot_plus_four (reg, reg, labelno));
> -Â Â Â Â Â Â Â Â emit_move_insn (reg, gen_const_mem (SImode, reg));
> +Â Â Â Â Â Â Â Â labelno = GEN_INT (pic_labelno++);
> +Â Â Â Â Â Â Â Â label = gen_rtx_UNSPEC (Pmode, gen_rtvec (1, labelno),
> UNSPEC_PIC_LABEL);
> +Â Â Â Â Â Â Â Â label = gen_rtx_CONST (VOIDmode, label);
> +Â Â Â Â Â Â Â Â sum = gen_rtx_UNSPEC (Pmode,
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â gen_rtvec (4, x, GEN_INT (TLS_IE32),
> label,
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â GEN_INT (TARGET_ARM ? 8 : 4)),
> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â UNSPEC_TLS);
> +Â Â Â Â Â Â Â Â reg = load_tls_operand (sum, reg);
> +
> +Â Â Â Â Â Â Â Â if (TARGET_ARM)
> +Â Â Â Â Â Â Â Â Â Â emit_insn (gen_tls_load_dot_plus_eight (reg, reg, labelno));
> +Â Â Â Â Â Â Â Â else if (TARGET_THUMB2)
> +Â Â Â Â Â Â Â Â Â Â emit_insn (gen_tls_load_dot_plus_four (reg, NULL, reg,
> labelno));
> +Â Â Â Â Â Â Â Â else
> +Â Â Â Â Â Â Â Â Â Â {
> +Â Â Â Â Â Â Â Â Â Â Â Â emit_insn (gen_pic_add_dot_plus_four (reg, reg, labelno));
> +Â Â Â Â Â Â Â Â Â Â Â Â emit_move_insn (reg, gen_const_mem (SImode, reg));
> +Â Â Â Â Â Â Â Â Â Â }
> Â Â Â Â Â Â Â Â }
>
> Â Â Â Â Â Â tp = arm_load_tp (NULL_RTX);
> @@ -28218,15 +28260,24 @@ arm_emit_tls_decoration (FILE *fp, rtx x)
> Â Â Â Â case TLS_GD32:
> Â Â Â Â Â Â fputs ("(tlsgd)", fp);
> Â Â Â Â Â Â break;
> +Â Â Â case TLS_GD32_FDPIC:
> +Â Â Â Â Â fputs ("(tlsgd_fdpic)", fp);
> +Â Â Â Â Â break;
> Â Â Â Â case TLS_LDM32:
> Â Â Â Â Â Â fputs ("(tlsldm)", fp);
> Â Â Â Â Â Â break;
> +Â Â Â case TLS_LDM32_FDPIC:
> +Â Â Â Â Â fputs ("(tlsldm_fdpic)", fp);
> +Â Â Â Â Â break;
> Â Â Â Â case TLS_LDO32:
> Â Â Â Â Â Â fputs ("(tlsldo)", fp);
> Â Â Â Â Â Â break;
> Â Â Â Â case TLS_IE32:
> Â Â Â Â Â Â fputs ("(gottpoff)", fp);
> Â Â Â Â Â Â break;
> +Â Â Â case TLS_IE32_FDPIC:
> +Â Â Â Â Â fputs ("(gottpoff_fdpic)", fp);
> +Â Â Â Â Â break;
> Â Â Â Â case TLS_LE32:
> Â Â Â Â Â Â fputs ("(tpoff)", fp);
> Â Â Â Â Â Â break;
> --
> 2.6.3
>
More information about the Gcc-patches
mailing list