On 05/11/2015 07:13 AM, Segher Boessenkool wrote:
There already was code to just use the original reg:CC, but it was
positioned incorrectly: if the original code (that this RTL is
simplified from) did not already start with a COMPARE (or not in
the right mode), it didn't trigger. But it is valid in that case
as well.
This then allows merging the other two arms of this conditional;
do so.
Bootstrapped and regression tested on powerpc64-linux and x86_64-linux;
no regressions. Also built toolchains and Linux kernels for every
arch where that works; no new failures on that.
Any objections?
Segher
2015-05-11 Segher Boessenkool <seg...@kernel.crashing.org>
* combine.c (simplify_set): When generating a CC set, if the
source already is in the correct mode, do not wrap it in a
compare. Simplify the rest of that code.
Seems reasonable. Might not hurt to do a little testing on a cc0 target
though.
jeff
