From: Kyrill Tkachov <kyrylo.tkachov@foss.arm.com>
To: Jeff Law <law@redhat.com>,
"ams@codesourcery.com" <ams@codesourcery.com>,
"gcc-patches@gcc.gnu.org" <gcc-patches@gcc.gnu.org>,
"richard.henderson@linaro.org" <richard.henderson@linaro.org>
Subject: Re: [PATCH 02/25] Propagate address spaces to builtins.
Date: Wed, 04 Sep 2019 15:29:00 -0000 [thread overview]
Message-ID: <613f8b36-e961-bcfd-f5f7-3e8f5653643c@foss.arm.com> (raw)
In-Reply-To: <c311abb2-6e94-bc32-abae-3e4e6f17781d@foss.arm.com>
On 9/4/19 3:21 PM, Kyrill Tkachov wrote:
>
> On 9/3/19 4:00 PM, Jeff Law wrote:
> > On 9/3/19 8:01 AM, Kyrill Tkachov wrote:
> >> Hi all,
> >>
> >> On 9/5/18 12:48 PM, ams@codesourcery.com wrote:
> >>> At present, pointers passed to builtin functions, including atomic
> >>> operators,
> >>> are stripped of their address space properties. This doesn't seem
> to be
> >>> deliberate, it just omits to copy them.
> >>>
> >>> Not only that, but it forces pointer sizes to Pmode, which isn't
> >>> appropriate
> >>> for all address spaces.
> >>>
> >>> This patch attempts to correct both issues. It works for GCN
> atomics and
> >>> GCN OpenACC gang-private variables.
> >>>
> >>> 2018-09-05Â Andrew Stubbs <ams@codesourcery.com>
> >>>Â Â Â Â Â Â Â Â Â Â Â Â Julian Brown <julian@codesourcery.com>
> >>>
> >>>Â Â Â Â Â Â Â Â gcc/
> >>>Â Â Â Â Â Â Â Â * builtins.c (get_builtin_sync_mem): Handle address spaces.
> >>
> >> Sorry for responding to this so late. I'm testing a rebased version of
> >> Richard's OOL atomic patches [1] and am hitting an ICE building the
> >> -mabi=ilp32 libgfortran multilib for aarch64-none-elf:
> >>
> >> 0x7284db emit_library_call_value_1(int, rtx_def*, rtx_def*,
> >> libcall_type, machine_mode, int, std::pair<rtx_def*, machine_mode>*)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/calls.c:4915
> >> 0x1037817 emit_library_call_value(rtx_def*, rtx_def*, libcall_type,
> >> machine_mode, rtx_def*, machine_mode, rtx_def*, machine_mode, rtx_def*,
> >> machine_mode)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/rtl.h:4240
> >> 0x1037817 aarch64_expand_compare_and_swap(rtx_def**)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/config/aarch64/aarch64.c:16981
> >> 0x1353a43 gen_atomic_compare_and_swapsi(rtx_def*, rtx_def*, rtx_def*,
> >> rtx_def*, rtx_def*, rtx_def*, rtx_def*, rtx_def*)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/config/aarch64/atomics.md:34
> >> 0xb1f9f1 insn_gen_fn::operator()(rtx_def*, rtx_def*, rtx_def*,
> rtx_def*,
> >> rtx_def*, rtx_def*, rtx_def*, rtx_def*) const
> >>Â Â Â Â Â Â Â Â $SRC/gcc/recog.h:324
> >> 0xb1f9f1 maybe_gen_insn(insn_code, unsigned int, expand_operand*)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/optabs.c:7443
> >> 0xb1fa78 maybe_expand_insn(insn_code, unsigned int, expand_operand*)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/optabs.c:7459
> >> 0xb21024 expand_atomic_compare_and_swap(rtx_def**, rtx_def**, rtx_def*,
> >> rtx_def*, rtx_def*, bool, memmodel, memmodel)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/optabs.c:6448
> >> 0x709bd3 expand_builtin_atomic_compare_exchange
> >>Â Â Â Â Â Â Â Â $SRC/gcc/builtins.c:6379
> >> 0x71a4e9 expand_builtin(tree_node*, rtx_def*, rtx_def*,
> machine_mode, int)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/builtins.c:8147
> >> 0x88b746 expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
> >> expand_modifier, rtx_def**, bool)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/expr.c:11052
> >> 0x88cce6 expand_expr_real(tree_node*, rtx_def*, machine_mode,
> >> expand_modifier, rtx_def**, bool)
> >>Â Â Â Â Â Â Â Â $SRC/gcc/expr.c:8289
> >> 0x74cb47 expand_expr
> >>Â Â Â Â Â Â Â Â $SRC/gcc/expr.h:281
> >> 0x74cb47 expand_call_stmt
> >>Â Â Â Â Â Â Â Â $SRC/gcc/cfgexpand.c:2731
> >> 0x74cb47 expand_gimple_stmt_1
> >>Â Â Â Â Â Â Â Â $SRC/gcc/cfgexpand.c:3710
> >> 0x74cb47 expand_gimple_stmt
> >>Â Â Â Â Â Â Â Â $SRC/gcc/cfgexpand.c:3875
> >> 0x75439b expand_gimple_basic_block
> >>Â Â Â Â Â Â Â Â $SRC/gcc/cfgexpand.c:5915
> >> 0x7563ab execute
> >>Â Â Â Â Â Â Â Â $SRC/gcc/cfgexpand.c:6538
> >> Please submit a full bug report,
> >> with preprocessed source if appropriate.
> >> Please include the complete backtrace with any bug report.
> >> See <https://gcc.gnu.org/bugs/> for instructions.
> >>
> >> A MEM rtx now uses a DImode address where for ILP32 we expect SImode.
> >>
> >> This looks to be because....
> >>
> >> [1] https://gcc.gnu.org/ml/gcc-patches/2018-11/msg00062.html
> >>
> >>
> >>> ---
> >>>Â Â gcc/builtins.c | 13 ++++++++++---
> >>>Â Â 1 file changed, 10 insertions(+), 3 deletions(-)
> >>>
> >> 0002-Propagate-address-spaces-to-builtins.patch
> >>
> >> diff --git a/gcc/builtins.c b/gcc/builtins.c
> >> index 58ea747..361361c 100644
> >> --- a/gcc/builtins.c
> >> +++ b/gcc/builtins.c
> >> @@ -5781,14 +5781,21 @@ static rtx
> >>Â Â get_builtin_sync_mem (tree loc, machine_mode mode)
> >>Â Â {
> >>Â Â Â rtx addr, mem;
> >> +Â int addr_space = TYPE_ADDR_SPACE (POINTER_TYPE_P (TREE_TYPE (loc))
> >> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â ? TREE_TYPE (TREE_TYPE (loc))
> >> +Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â : TREE_TYPE (loc));
> >> +Â scalar_int_mode addr_mode = targetm.addr_space.address_mode
> >> (addr_space);
> >>
> >> ... This now returns Pmode (the default for the hook) for aarch64
> ILP32,
> >> which is always DImode.
> >>
> >> -Â addr = expand_expr (loc, NULL_RTX, ptr_mode, EXPAND_SUM);
> >>
> >> Before this patch we used ptr_mode, which does the right thing for
> >> AArch64 ILP32.
> >> Do you think we should just be implementing
> >> targetm.addr_space.address_mode for AArch64 to return SImode for ILP32?
> > Possibly.  Is there any fallout from making that change?
>
> Unfortunately some ICEs when building libgcc with POST_INC arguments
> output :(
>
> I'll need to dig further.
Adding a convert_memory_address to ptr_mode before each call to
emit_library_call_value in the OOL atomics code to convert the addresses
does fix it the ICEs.
Let's see what testing shows.
Kyrill
>
> Thanks,
>
> Kyrill
>
>
> >
> > Jeff
next prev parent reply other threads:[~2019-09-04 15:29 UTC|newest]
Thread overview: 187+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-09-05 11:49 [PATCH 00/25] AMD GCN Port ams
2018-09-05 11:49 ` [PATCH 02/25] Propagate address spaces to builtins ams
2018-09-20 13:09 ` Richard Biener
2018-09-22 19:22 ` Andreas Schwab
2018-09-24 16:53 ` Andrew Stubbs
2018-09-24 17:40 ` Andreas Schwab
2018-09-25 14:27 ` [patch] Fix AArch64 ILP ICE Andrew Stubbs
2018-09-26 8:55 ` Andreas Schwab
2018-09-26 13:39 ` Richard Biener
2018-09-26 16:17 ` Andrew Stubbs
2019-09-03 14:01 ` [PATCH 02/25] Propagate address spaces to builtins Kyrill Tkachov
2019-09-03 15:00 ` Jeff Law
2019-09-04 14:21 ` Kyrill Tkachov
2019-09-04 15:29 ` Kyrill Tkachov [this message]
2019-09-03 15:43 ` Andrew Stubbs
2018-09-05 11:49 ` [PATCH 04/25] SPECIAL_REGNO_P ams
2018-09-05 12:21 ` Joseph Myers
2018-09-11 22:42 ` Jeff Law
2018-09-12 11:30 ` Andrew Stubbs
2018-09-13 10:03 ` Andrew Stubbs
2018-09-13 14:14 ` Andrew Stubbs
2018-09-13 14:39 ` Paul Koning
2018-09-13 14:49 ` Andrew Stubbs
2018-09-13 14:58 ` Paul Koning
2018-09-13 15:22 ` Andrew Stubbs
2018-09-13 17:13 ` Paul Koning
2018-09-17 22:59 ` Jeff Law
2018-10-04 19:13 ` Jeff Law
2018-09-12 15:31 ` Richard Henderson
2018-09-12 16:14 ` Andrew Stubbs
2018-09-05 11:49 ` [PATCH 05/25] Add sorry_at diagnostic function ams
2018-09-05 13:39 ` David Malcolm
2018-09-05 13:41 ` David Malcolm
2018-09-11 10:30 ` Andrew Stubbs
2018-09-05 11:49 ` [PATCH 01/25] Handle vectors that don't fit in an integer ams
2018-09-05 11:54 ` Jakub Jelinek
2018-09-14 16:03 ` Richard Sandiford
2018-11-15 17:20 ` Andrew Stubbs
2018-09-05 11:50 ` [PATCH 07/25] [pr82089] Don't sign-extend SFV 1 in BImode ams
2018-09-17 8:46 ` Richard Sandiford
2018-09-26 15:52 ` Andrew Stubbs
2018-09-26 16:49 ` Richard Sandiford
2018-09-27 12:20 ` Andrew Stubbs
2018-09-05 11:50 ` [PATCH 08/25] Fix co-array allocation ams
[not found] ` <7f5064c3-afc6-b7b5-cade-f03af5b86331@moene.org>
2018-09-05 18:07 ` Janne Blomqvist
2018-09-19 16:38 ` Andrew Stubbs
2018-09-19 22:27 ` Damian Rouson
2018-09-19 22:55 ` Andrew Stubbs
2018-09-20 1:21 ` Damian Rouson
2018-09-20 20:49 ` Thomas Koenig
2018-09-20 20:59 ` Damian Rouson
2018-09-21 7:38 ` Toon Moene
2018-09-23 11:57 ` Janne Blomqvist
2018-09-21 16:37 ` OpenCoarrays integration with gfortran Jerry DeLisle
2018-09-21 19:37 ` Janne Blomqvist
2018-09-21 19:44 ` Richard Biener
2018-09-21 20:25 ` Damian Rouson
2018-09-22 3:47 ` Jerry DeLisle
2018-09-23 10:41 ` Toon Moene
2018-09-23 18:03 ` Bernhard Reutner-Fischer
2018-09-24 11:14 ` Alastair McKinstry
2018-09-27 12:51 ` Richard Biener
2018-09-20 15:59 ` [PATCH 08/25] Fix co-array allocation Janne Blomqvist
2018-09-20 16:37 ` Andrew Stubbs
2018-09-05 11:50 ` [PATCH 06/25] Remove constant vec_select restriction ams
2018-09-11 22:44 ` Jeff Law
2018-09-05 11:50 ` [PATCH 09/25] Elide repeated RTL elements ams
2018-09-11 22:46 ` Jeff Law
2018-09-12 8:47 ` Andrew Stubbs
2018-09-12 15:14 ` Jeff Law
2018-09-19 17:25 ` Andrew Stubbs
2018-09-20 11:42 ` Andrew Stubbs
2018-09-26 16:23 ` Andrew Stubbs
2018-10-04 18:24 ` Jeff Law
2018-10-11 14:28 ` Andrew Stubbs
2018-09-05 11:50 ` [PATCH 10/25] Convert BImode vectors ams
2018-09-05 11:56 ` Jakub Jelinek
2018-09-05 12:05 ` Richard Biener
2018-09-05 12:40 ` Andrew Stubbs
2018-09-05 12:44 ` Richard Biener
2018-09-11 14:36 ` Andrew Stubbs
2018-09-12 14:37 ` Richard Biener
2018-09-17 8:51 ` Richard Sandiford
2018-09-05 11:50 ` [PATCH 03/25] Improve TARGET_MANGLE_DECL_ASSEMBLER_NAME ams
2018-09-11 22:56 ` Jeff Law
2018-09-12 14:43 ` Richard Biener
2018-09-12 15:07 ` Jeff Law
2018-09-12 15:16 ` Richard Biener
2018-09-12 16:32 ` Andrew Stubbs
2018-09-12 17:39 ` Julian Brown
2018-09-15 6:01 ` Julian Brown
2018-09-19 15:23 ` Julian Brown
2018-09-20 12:36 ` Richard Biener
2018-09-05 11:50 ` [PATCH 12/25] Make default_static_chain return NULL in non-static functions ams
2018-09-17 18:55 ` Richard Sandiford
2018-09-28 14:23 ` Andrew Stubbs
2018-09-05 11:51 ` [PATCH 13/25] Create TARGET_DISABLE_CURRENT_VECTOR_SIZE ams
2018-09-17 19:31 ` Richard Sandiford
2018-09-18 9:02 ` Andrew Stubbs
2018-09-18 11:30 ` Richard Sandiford
2018-09-18 20:27 ` Andrew Stubbs
2018-09-19 13:46 ` Richard Biener
2018-09-28 12:48 ` Andrew Stubbs
2018-10-01 8:05 ` Richard Biener
2018-09-05 11:51 ` [PATCH 14/25] Disable inefficient vectorization of elementwise loads/stores ams
2018-09-17 9:16 ` Richard Sandiford
2018-09-17 9:54 ` Andrew Stubbs
2018-09-17 12:40 ` Richard Sandiford
2018-09-17 12:46 ` Andrew Stubbs
2018-09-20 13:01 ` Richard Biener
2018-09-20 13:51 ` Richard Sandiford
2018-09-20 14:14 ` Richard Biener
2018-09-20 14:22 ` Richard Sandiford
2018-09-05 11:51 ` [PATCH 17/25] Fix Fortran STOP ams
[not found] ` <c0630914-1252-1391-9bf9-f03434d46f5a@moene.org>
2018-09-05 18:09 ` Janne Blomqvist
2018-09-12 13:56 ` Andrew Stubbs
2018-09-05 11:51 ` [PATCH 18/25] Fix interleaving of Fortran stop messages ams
[not found] ` <994a9ec6-2494-9a83-cc84-bd8a551142c5@moene.org>
2018-09-05 18:11 ` Janne Blomqvist
2018-09-12 13:55 ` Andrew Stubbs
2018-09-05 11:51 ` [PATCH 15/25] Don't double-count early-clobber matches ams
2018-09-17 9:22 ` Richard Sandiford
2018-09-27 22:54 ` Andrew Stubbs
2018-10-04 22:43 ` Richard Sandiford
2018-10-22 15:36 ` Andrew Stubbs
2018-09-05 11:51 ` [PATCH 11/25] Simplify vec_merge according to the mask ams
2018-09-17 9:08 ` Richard Sandiford
2018-09-20 15:44 ` Andrew Stubbs
2018-09-26 16:26 ` Andrew Stubbs
2018-09-26 16:50 ` Richard Sandiford
2018-09-26 17:06 ` Andrew Stubbs
2018-09-27 7:28 ` Richard Sandiford
2018-09-27 14:13 ` Andrew Stubbs
2018-09-27 16:28 ` Richard Sandiford
2018-09-27 21:14 ` Andrew Stubbs
2018-09-28 8:42 ` Richard Sandiford
2018-09-28 13:50 ` Andrew Stubbs
2019-02-22 3:40 ` H.J. Lu
2018-09-05 11:51 ` [PATCH 16/25] Fix IRA ICE ams
2018-09-17 9:36 ` Richard Sandiford
2018-09-18 22:00 ` Andrew Stubbs
2018-09-20 12:47 ` Richard Sandiford
2018-09-20 13:36 ` Andrew Stubbs
2018-09-05 11:52 ` [PATCH 22/25] Add dg-require-effective-target exceptions ams
2018-09-17 9:40 ` Richard Sandiford
2018-09-17 17:53 ` Mike Stump
2018-09-20 16:10 ` Andrew Stubbs
2018-09-05 11:52 ` [PATCH 24/25] Ignore LLVM's blank lines ams
2018-09-14 16:19 ` Jeff Law
2020-03-23 15:29 ` Thomas Schwinge
2020-03-24 21:05 ` Thomas Schwinge
2018-09-05 11:52 ` [PATCH 20/25] GCN libgcc ams
2018-09-05 12:32 ` Joseph Myers
2018-11-09 18:49 ` Jeff Law
2018-11-12 12:01 ` Andrew Stubbs
2018-09-05 11:52 ` [PATCH 19/25] GCN libgfortran ams
[not found] ` <41281e27-ad85-e50c-8fed-6f4f6f18289c@moene.org>
2018-09-05 18:14 ` Janne Blomqvist
2018-09-06 12:37 ` Andrew Stubbs
2018-09-11 22:47 ` Jeff Law
2018-09-05 11:52 ` [PATCH 23/25] Testsuite: GCN is always PIE ams
2018-09-14 16:39 ` Jeff Law
2018-09-05 11:53 ` [PATCH 25/25] Port testsuite to GCN ams
2018-09-05 13:40 ` [PATCH 21/25] GCN Back-end (part 1/2) Andrew Stubbs
2018-11-09 19:11 ` Jeff Law
2018-11-12 12:13 ` Andrew Stubbs
2018-09-05 13:43 ` [PATCH 21/25] GCN Back-end (part 2/2) Andrew Stubbs
2018-09-05 14:22 ` Joseph Myers
2018-09-05 14:35 ` Andrew Stubbs
2018-09-05 14:44 ` Joseph Myers
2018-09-11 16:25 ` Andrew Stubbs
2018-09-11 16:41 ` Joseph Myers
2018-09-12 13:42 ` Andrew Stubbs
2018-09-12 15:32 ` Joseph Myers
2018-09-12 16:46 ` Andrew Stubbs
2018-09-12 16:50 ` Joseph Myers
2018-11-09 19:40 ` Jeff Law
2018-11-12 12:53 ` Andrew Stubbs
2018-11-12 17:20 ` Segher Boessenkool
2018-11-12 17:52 ` Andrew Stubbs
2018-11-12 18:33 ` Segher Boessenkool
2018-11-12 18:55 ` Jeff Law
2018-11-13 10:23 ` Andrew Stubbs
2018-11-13 10:33 ` Segher Boessenkool
2018-11-16 16:10 ` Segher Boessenkool
2018-11-17 14:07 ` Segher Boessenkool
2018-11-14 22:31 ` Jeff Law
2018-11-15 9:55 ` Andrew Stubbs
2018-11-16 13:33 ` Andrew Stubbs
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=613f8b36-e961-bcfd-f5f7-3e8f5653643c@foss.arm.com \
--to=kyrylo.tkachov@foss.arm.com \
--cc=ams@codesourcery.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=law@redhat.com \
--cc=richard.henderson@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).