Message ID | 000101d79b8e$7d7d6470$78782d50$@nextmovesoftware.com |
---|---|
State | New |
Headers | show |
Series | Only simplify TRUNCATE to SUBREG on TRULY_NOOP_TRUNCATION targets | expand |
On 8/27/2021 3:57 PM, Roger Sayle wrote: > As recently remarked by Jeff Law, SUBREGs are the "forever chemicals" > of GCC's RTL; once created they persist in the environment. The problem, > according to the comment on lines 5428-5438 of combine.c is that > non-tieable SUBREGs interfere with reload/register allocation, so > combine often doesn't touch/clean-up instructions containing a SUBREG. Forever chemicals. I like that term. There's other places that have related hackery. cse.c in particular. > Alas currently, during combine the middle TRUNCATE is converted into > a lowpart SUBREG, which subst then turns into (clobber (const_int 0)), > abandoning the attempted combination, that then never reaches recog. > > This patch has been tested on x86_64-pc-linux-gnu with "make bootstrap" > and "make -k check" with no new failures, and also on nvptx-none. > But it only affects !TRULY_NOOP_TRUNCATION targets, and the motivating > example above is derived from the behaviour of backend patches not yet > in the tree [nvptx is currently a STORE_FLAG_VALUE=-1 target]. It's unfortunate that STORE_FLAG_VALUE is static. Many ports could store a variety of useful value as part of the scc insn rather than have the scc produce a value, then we manipulate it with shifts, negation, multiplication, whatever to get the value we ultimately wanted. We've run into this internally repeatedly on tachyum's port. They might be better modeled as an if-then-else. But I digress.... > Ok for mainline? > > > 2021-08-27 Roger Sayle <roger@nextmovesoftware.com> > > gcc/ChangeLog > * combine.c (combine_simplify_rtx): Avoid converting an explicit > TRUNCATE into a lowpart SUBREG on !TRULY_NOOP_TRUNCATION targets. > * simplify-rtx.c (simplify_unary_operation_1): Likewise. OK jeff
Hi! On Fri, Aug 27, 2021 at 05:20:22PM -0600, Jeff Law via Gcc-patches wrote: > On 8/27/2021 3:57 PM, Roger Sayle wrote: > >As recently remarked by Jeff Law, SUBREGs are the "forever chemicals" > >of GCC's RTL; once created they persist in the environment. The problem, > >according to the comment on lines 5428-5438 of combine.c is that > >non-tieable SUBREGs interfere with reload/register allocation, so > >combine often doesn't touch/clean-up instructions containing a SUBREG. > Forever chemicals. I like that term. It is a very clever name in its original meaning. Not only are PFAS and the like not degraded in the environment, but that is because the F-C bond is so strong... the "Forever-Chemical" bond. Chemists make even worse puns than compiler developers :-) SUBREGs are like perfluoralkyls in more ways: they have huge problems, but there is no real replacement for them either. > >Alas currently, during combine the middle TRUNCATE is converted into > >a lowpart SUBREG, which subst then turns into (clobber (const_int 0)), > >abandoning the attempted combination, that then never reaches recog. Yeah, combine notices it can optimise away the TRUNCATE (a SUBREG is free, is just a reinterpret_cast thingy, no machine operation). With this code disabled (for !TRULY_NOOP_TRUNCATION_MODES_P) you will get less optimised code. > >But it only affects !TRULY_NOOP_TRUNCATION targets, and the motivating > >example above is derived from the behaviour of backend patches not yet > >in the tree [nvptx is currently a STORE_FLAG_VALUE=-1 target]. Should the TARGET_TRULY_NOOP_TRUNCATION documentation be updated now? In particular the part that talks about TARGET_MODES_TIEABLE_P. Segher
diff --git a/gcc/combine.c b/gcc/combine.c index cb5fa40..290a366 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -5903,7 +5903,8 @@ combine_simplify_rtx (rtx x, machine_mode op0_mode, int in_dest, if (HWI_COMPUTABLE_MODE_P (mode) && (STORE_FLAG_VALUE & ~GET_MODE_MASK (mode)) == 0 && (temp = get_last_value (XEXP (x, 0))) - && COMPARISON_P (temp)) + && COMPARISON_P (temp) + && TRULY_NOOP_TRUNCATION_MODES_P (mode, GET_MODE (XEXP (x, 0)))) return gen_lowpart (mode, XEXP (x, 0)); break; diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index c81e27e..e431e0c 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -1249,7 +1249,8 @@ simplify_context::simplify_unary_operation_1 (rtx_code code, machine_mode mode, than HOST_BITS_PER_WIDE_INT. */ if (HWI_COMPUTABLE_MODE_P (mode) && COMPARISON_P (op) - && (STORE_FLAG_VALUE & ~GET_MODE_MASK (mode)) == 0) + && (STORE_FLAG_VALUE & ~GET_MODE_MASK (mode)) == 0 + && TRULY_NOOP_TRUNCATION_MODES_P (mode, GET_MODE (op))) { temp = rtl_hooks.gen_lowpart_no_emit (mode, op); if (temp)