combine.c (simplify_set): When generating a CC set...

* 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.

From-SVN: r223146
This commit is contained in:
Segher Boessenkool 2015-05-13 13:26:45 +02:00 committed by Segher Boessenkool
parent a540dfabf4
commit 313b2cc050
2 changed files with 12 additions and 10 deletions

View File

@ -1,3 +1,9 @@
2015-05-13 Segher Boessenkool <segher@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.
2015-05-13 Richard Biener <rguenther@suse.de>
PR tree-optimization/66123

View File

@ -6705,20 +6705,16 @@ simplify_set (rtx x)
if (other_changed)
undobuf.other_insn = other_insn;
/* Otherwise, if we didn't previously have a COMPARE in the
correct mode, we need one. */
if (GET_CODE (src) != COMPARE || GET_MODE (src) != compare_mode)
{
SUBST (SET_SRC (x), gen_rtx_COMPARE (compare_mode, op0, op1));
src = SET_SRC (x);
}
else if (GET_MODE (op0) == compare_mode && op1 == const0_rtx)
/* Don't generate a compare of a CC with 0, just use that CC. */
if (GET_MODE (op0) == compare_mode && op1 == const0_rtx)
{
SUBST (SET_SRC (x), op0);
src = SET_SRC (x);
}
/* Otherwise, update the COMPARE if needed. */
else if (XEXP (src, 0) != op0 || XEXP (src, 1) != op1)
/* Otherwise, if we didn't previously have the same COMPARE we
want, create it from scratch. */
else if (GET_CODE (src) != COMPARE || GET_MODE (src) != compare_mode
|| XEXP (src, 0) != op0 || XEXP (src, 1) != op1)
{
SUBST (SET_SRC (x), gen_rtx_COMPARE (compare_mode, op0, op1));
src = SET_SRC (x);