From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-oo1-xc33.google.com (mail-oo1-xc33.google.com [IPv6:2607:f8b0:4864:20::c33]) by sourceware.org (Postfix) with ESMTPS id 0FA31386583C for ; Tue, 28 Nov 2023 08:51:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 0FA31386583C Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 0FA31386583C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::c33 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701161497; cv=none; b=i6b4js+LUJ/R49odMAKsFgPCXmLxqKw3dsGnKbviJNXcS/By5C297ZkFTgDXMXKX1dnY1vLGvpXX4JVjeDv/OybvehHDktUHqWpdZJGSyULdbNaqD30UqHnK4Y/ZfKra+nPgpcKRhhdtH5+Hm1CtYLLYCKkMZTIwo2LwqnP9EEY= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701161497; c=relaxed/simple; bh=joqgW4A9qJku2ArCpoA+mDdtdG+4ZC6TsbZx5TcaRDE=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=he1G08WBMYezX8G0tu9IlWNwIpfoFy06OgmrL2k8V7onL3F6luuvwl3MrPxJ3BCXJfiYVjC9LzACxQORGQf3cxhQeJxG9+piyR4kWE2vdW0RFuN0HOwZfwL0gsBQBxTuk9n77SJDkiKDm3LnhqTPmfCRZWQnSndEJS/NQM5XB/I= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-oo1-xc33.google.com with SMTP id 006d021491bc7-5841a3ffd50so470234eaf.1 for ; Tue, 28 Nov 2023 00:51:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1701161494; x=1701766294; darn=sourceware.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=FUXOuEwEjhApc9RBXqLnwljTR4Su9ibK06wJ6jXmu5M=; b=JqDHu5UTGLRNhDMZNmMOeCGd1dMbVLKqFbTQp+QF9Bb5XElIUJmpxiTOS+rBzUl/rm p4C9ewjj8oWTf4K63Sq0BwT8fWc5Fs4J9HdHUYzeP7sKpi9zc7kJ3EltG/Og2OhrH3Ex RsNcQjCpjRpbcTftfYQmbaAK9Zdx39zY82fF39gVQoZ5R/b1idPhlAF2rTk4fPNpfXcQ cHuaConRwQ/RlFF5r4flQpOBgtsiSF8yZ4bSwJC2deqDEdSi1pLbjv4BIa7v9BHCtP+E VuEYK7DA0thx8FzHly5iTSYjSqfb/HTXn3Dj6AuPu+vT7q/0U58zW8pQJREWZakbxoMS uRuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701161494; x=1701766294; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=FUXOuEwEjhApc9RBXqLnwljTR4Su9ibK06wJ6jXmu5M=; b=LU/SsyuPh1WFr0FZyYKVWdL0o6DMyGQSKEiblTT3L3rRs+zWtDJEQIA9SX6rookTUG 3Fjd7BkpU176L45TNjolE7g0dAjEa4CQor1QQgqslIVfioJWdthCZnxKZ224y07Dfq8J SDvmxBb0H2fNEHA+f/M1YaDFhGTEy6nbrFm3n/P36QX+joi+JT1Olny8vzfWEhdvUt4h 76zIxbxAo1T2PJDMhHdirNHdXLyoBEfjtyqsOhoRJyLkDew3vWNMwLx5a2pnxZpevrlv Mw775a4COBsT5qKN8nkm1eE1YBQVdZaEYzB6ShFxbSej4c41pd+lHHAO/R822/Es3zgk 6wKg== X-Gm-Message-State: AOJu0YxK0ulPPmKm9N+FgnmmHovEaGVjLRqEivDx371qRulHcYEGmCC0 iA5kw7HRGDh4CiXt0JQd/qulIVNG9VgmqAxi X-Google-Smtp-Source: AGHT+IEBwB2ompYLV6sGG3UmvrTVBf2vAVO5EQC7IJvPSGXW/oAw1OC4yoc60cTDvtEHv70z7VsyYA== X-Received: by 2002:a05:6808:f86:b0:3b6:d0f3:29d0 with SMTP id o6-20020a0568080f8600b003b6d0f329d0mr16611849oiw.2.1701161494230; Tue, 28 Nov 2023 00:51:34 -0800 (PST) Received: from localhost (zz20184013906F627101.userreverse.dion.ne.jp. [111.98.113.1]) by smtp.gmail.com with ESMTPSA id d25-20020aa78159000000b006cbae51f335sm8769535pfn.144.2023.11.28.00.51.33 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Nov 2023 00:51:33 -0800 (PST) From: Tatsuyuki Ishi To: binutils@sourceware.org Cc: i@maskray.me, nelson@rivosinc.com, rui314@gmail.com, ruiu@bluewhale.systems, Tatsuyuki Ishi Subject: [PATCH v3 3/9] RISC-V: Add assembly support for TLSDESC. Date: Tue, 28 Nov 2023 17:51:03 +0900 Message-ID: <20231128085109.28422-4-ishitatsuyuki@gmail.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20231128085109.28422-1-ishitatsuyuki@gmail.com> References: <20230817180852.121628-2-ishitatsuyuki@gmail.com> <20231128085109.28422-1-ishitatsuyuki@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-11.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: gas/ * tc-riscv.c (percent_op_*): Add support for %tlsdesc_hi, %tlsdesc_load_lo, %tlsdesc_add_lo and %tlsdesc_call. percent_op_rtype renamed to percent_op_relax_only as this matcher is extended to handle jalr as well which is not R-type. (riscv_ip): Apply the percent_op_relax_only rename and update comment. (md_apply_fix): Add TLSDESC_* to relaxable list. Add TLSDESC_HI20 to TLS relocation check list. * testsuite/gas/riscv/tlsdesc.*: New test cases for TLSDESC relocation generation. opcodes/ * riscv-opc.c (riscv_opcodes): Add a new syntax for jalr with %tlsdesc_call annotations. --- gas/config/tc-riscv.c | 18 +++++++++++++----- gas/testsuite/gas/riscv/tlsdesc.d | 22 ++++++++++++++++++++++ gas/testsuite/gas/riscv/tlsdesc.s | 24 ++++++++++++++++++++++++ opcodes/riscv-opc.c | 1 + 4 files changed, 60 insertions(+), 5 deletions(-) create mode 100644 gas/testsuite/gas/riscv/tlsdesc.d create mode 100644 gas/testsuite/gas/riscv/tlsdesc.s diff --git a/gas/config/tc-riscv.c b/gas/config/tc-riscv.c index 04738d5e00c..376d2a34530 100644 --- a/gas/config/tc-riscv.c +++ b/gas/config/tc-riscv.c @@ -2113,6 +2113,7 @@ static const struct percent_op_match percent_op_utype[] = {"tprel_hi", BFD_RELOC_RISCV_TPREL_HI20}, {"pcrel_hi", BFD_RELOC_RISCV_PCREL_HI20}, {"got_pcrel_hi", BFD_RELOC_RISCV_GOT_HI20}, + {"tlsdesc_hi", BFD_RELOC_RISCV_TLSDESC_HI20}, {"tls_ie_pcrel_hi", BFD_RELOC_RISCV_TLS_GOT_HI20}, {"tls_gd_pcrel_hi", BFD_RELOC_RISCV_TLS_GD_HI20}, {"hi", BFD_RELOC_RISCV_HI20}, @@ -2124,6 +2125,8 @@ static const struct percent_op_match percent_op_itype[] = {"lo", BFD_RELOC_RISCV_LO12_I}, {"tprel_lo", BFD_RELOC_RISCV_TPREL_LO12_I}, {"pcrel_lo", BFD_RELOC_RISCV_PCREL_LO12_I}, + {"tlsdesc_load_lo", BFD_RELOC_RISCV_TLSDESC_LOAD_LO12}, + {"tlsdesc_add_lo", BFD_RELOC_RISCV_TLSDESC_ADD_LO12}, {0, 0} }; @@ -2135,8 +2138,9 @@ static const struct percent_op_match percent_op_stype[] = {0, 0} }; -static const struct percent_op_match percent_op_rtype[] = +static const struct percent_op_match percent_op_relax_only[] = { + {"tlsdesc_call", BFD_RELOC_RISCV_TLSDESC_CALL}, {"tprel_add", BFD_RELOC_RISCV_TPREL_ADD}, {0, 0} }; @@ -3244,10 +3248,10 @@ riscv_ip (char *str, struct riscv_cl_insn *ip, expressionS *imm_expr, *imm_reloc = BFD_RELOC_RISCV_LO12_I; goto load_store; case '1': - /* This is used for TLS, where the fourth operand is - %tprel_add, to get a relocation applied to an add - instruction, for relaxation to use. */ - p = percent_op_rtype; + /* This is used for TLS relocations that acts as relaxation + markers and do not change the instruction encoding, + i.e. %tprel_add and %tlsdesc_call. */ + p = percent_op_relax_only; goto alu_op; case '0': /* AMO displacement, which must be zero. */ load_store: @@ -4036,6 +4040,7 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED) case BFD_RELOC_RISCV_TPREL_LO12_I: case BFD_RELOC_RISCV_TPREL_LO12_S: case BFD_RELOC_RISCV_TPREL_ADD: + case BFD_RELOC_RISCV_TLSDESC_HI20: relaxable = true; /* Fall through. */ @@ -4209,6 +4214,9 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED) case BFD_RELOC_RISCV_CALL: case BFD_RELOC_RISCV_CALL_PLT: + case BFD_RELOC_RISCV_TLSDESC_LOAD_LO12: + case BFD_RELOC_RISCV_TLSDESC_ADD_LO12: + case BFD_RELOC_RISCV_TLSDESC_CALL: relaxable = true; break; diff --git a/gas/testsuite/gas/riscv/tlsdesc.d b/gas/testsuite/gas/riscv/tlsdesc.d new file mode 100644 index 00000000000..11872953d23 --- /dev/null +++ b/gas/testsuite/gas/riscv/tlsdesc.d @@ -0,0 +1,22 @@ +#as: -march=rv32ia +#source: tlsdesc.s +#readelf: -Wr + +Relocation section '.rela.text' at offset 0x[0-9a-f]+ contains 16 entries: + +Offset +Info +Type +Sym. Value +Symbol's Name \+ Addend +0+ +0+a3e +R_RISCV_TLSDESC_HI20 +0+ +sg1 \+ 0 +0+ +0+33 +R_RISCV_RELAX + 0 +0+4 +0+63f +R_RISCV_TLSDESC_LOAD_LO12 0+ +\.desc1 \+ 0 +0+4 +0+33 +R_RISCV_RELAX + 0 +0+8 +0+640 +R_RISCV_TLSDESC_ADD_LO12 0+ +\.desc1 \+ 0 +0+8 +0+33 +R_RISCV_RELAX + 0 +0+c +0+641 +R_RISCV_TLSDESC_CALL +0+ +\.desc1 \+ 0 +0+c +0+33 +R_RISCV_RELAX + 0 +0+10 +0+53e +R_RISCV_TLSDESC_HI20 +0+4 +sl1 \+ 0 +0+10 +0+33 +R_RISCV_RELAX + 0 +0+14 +0+83f +R_RISCV_TLSDESC_LOAD_LO12 0+10 +\.desc2 \+ 0 +0+14 +0+33 +R_RISCV_RELAX + 0 +0+18 +0+840 +R_RISCV_TLSDESC_ADD_LO12 0+10 +\.desc2 \+ 0 +0+18 +0+33 +R_RISCV_RELAX +0 +0+1c +0+841 +R_RISCV_TLSDESC_CALL +0+10 +\.desc2 \+ 0 +0+1c +0+33 +R_RISCV_RELAX +0 diff --git a/gas/testsuite/gas/riscv/tlsdesc.s b/gas/testsuite/gas/riscv/tlsdesc.s new file mode 100644 index 00000000000..15468d5f947 --- /dev/null +++ b/gas/testsuite/gas/riscv/tlsdesc.s @@ -0,0 +1,24 @@ + .section .tbss,"awT",@nobits + .global sg1 +sg1: + .zero 4 +sl1: + .zero 4 + + .text + .globl _start + .type _start,@function +_start: +.desc1: + auipc a0, %tlsdesc_hi(sg1) + lw t0, %tlsdesc_load_lo(.desc1)(a0) + addi a0, a0, %tlsdesc_add_lo(.desc1) + jalr t0, t0, %tlsdesc_call(.desc1) + +.desc2: + auipc a0, %tlsdesc_hi(sl1) + lw t0, %tlsdesc_load_lo(.desc2)(a0) + addi a0, a0, %tlsdesc_add_lo(.desc2) + jalr t0, t0, %tlsdesc_call(.desc2) + + ret diff --git a/opcodes/riscv-opc.c b/opcodes/riscv-opc.c index bf19978e025..edaf4b0c8b5 100644 --- a/opcodes/riscv-opc.c +++ b/opcodes/riscv-opc.c @@ -372,6 +372,7 @@ const struct riscv_opcode riscv_opcodes[] = {"jalr", 0, INSN_CLASS_I, "s,j", MATCH_JALR|(X_RA << OP_SH_RD), MASK_JALR|MASK_RD, match_opcode, INSN_ALIAS|INSN_JSR }, {"jalr", 0, INSN_CLASS_I, "d,s", MATCH_JALR, MASK_JALR|MASK_IMM, match_opcode, INSN_ALIAS|INSN_JSR }, {"jalr", 0, INSN_CLASS_I, "d,o(s)", MATCH_JALR, MASK_JALR, match_opcode, INSN_JSR }, +{"jalr", 0, INSN_CLASS_I, "d,s,1", MATCH_JALR, MASK_JALR|MASK_IMM, match_opcode, INSN_JSR }, {"jalr", 0, INSN_CLASS_I, "d,s,j", MATCH_JALR, MASK_JALR, match_opcode, INSN_JSR }, {"j", 0, INSN_CLASS_C, "Ca", MATCH_C_J, MASK_C_J, match_opcode, INSN_ALIAS|INSN_BRANCH }, {"j", 0, INSN_CLASS_I, "a", MATCH_JAL, MASK_JAL|MASK_RD, match_opcode, INSN_ALIAS|INSN_BRANCH }, -- 2.43.0