On 11/09/2015 05:23 AM, Kyrill Tkachov wrote:
Hi all,
This is a rebase of the patch I posted at:
https://gcc.gnu.org/ml/gcc-patches/2015-09/msg00154.html
The patch has been ok'd by Jeff but I wanted to hold off committing it
until
my fixes for the ifcvt regressions on sparc and x86_64 were fixed.
The rebase conflicts were due to Richard's optabs splitting patch.
I've also noticed that in my original patch I had a comparison of branch
cost with
the magic number '2'. I removed it from this version as it's not really
meaningful.
The transformation this patch enables is, at the moment, only supported
for arm
and aarch64 where it is always beneficial. If/when we have a proper
ifcvt costing
model (perhaps for GCC 7?) we'll update this accordingly if needed.
Jeff, sorry for taking so long to commit this, I just wanted to fix the
other
ifcvt fallout before proceeding with more new functionality.
I have also uncovered a bug in the arm implementation of these optabs
(patch 3/3 in the series), so I'll post an updated version of that patch
as well soon.
Ok to commit this updated version instead?
Bootstrapped and tested on arm, aarch64 and x86_64.
It has been sitting in my tree for a couple of months now with no issues.
Thanks,
Kyrill
2015-11-09 Kyrylo Tkachov <kyrylo.tkac...@arm.com>
* ifcvt.c (noce_try_inverse_constants): New function.
(noce_process_if_block): Call it.
* optabs.h (emit_conditional_neg_or_complement): Declare prototype.
* optabs.def (negcc_optab, notcc_optab): Declare.
* optabs.c (emit_conditional_neg_or_complement): New function.
* doc/tm.texi (Standard Names): Document negcc, notcc names.
Thanks for addressing the ifcvt fallout first, then making sure this
didn't get lost.
Yes, this is fine for the trunk.
jeff
