OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

(simplify_set): Move call to make_field_assignment to end; if SRC or DEST is a (clobber (const_int 0)), return it.

Browse Source 
(simplify_set): Move call to make_field_assignment to end; if SRC or DEST is
a (clobber (const_int 0)), return it.
(force_to_mode): If X is a CALL, just return it.

From-SVN: r7323
This commit is contained in:
Richard Kenner 1994-05-17 18:51:25 -04:00
parent c0d3ac4db6
commit 246e00f2ff
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gcc/combine.c
View File

@ -4196,9 +4196,6 @@ simplify_set (x)
if (GET_MODE_CLASS (mode) == MODE_INT)
src = force_to_mode (src, mode, GET_MODE_MASK (mode), NULL_RTX, 0);
/* Convert this into a field assignment operation, if possible. */
x = make_field_assignment (x);
/* If we are setting CC0 or if the source is a COMPARE, look for the use of
the comparison result and try to simplify it unless we already have used
undobuf.other_insn. */
@ -4435,7 +4432,15 @@ simplify_set (x)
}
#endif
return x;
/* If either SRC or DEST is a CLOBBER of (const_int 0), make this
whole thing fail. */
if (GET_CODE (src) == CLOBBER && XEXP (src, 0) == const0_rtx)
return src;
else if (GET_CODE (dest) == CLOBBER && XEXP (dest, 0) == const0_rtx)
return dest;
else
/* Convert this into a field assignment operation, if possible. */
return make_field_assignment (x);
}
/* Simplify, X, and AND, IOR, or XOR operation, and return the simplified
@ -5632,6 +5637,11 @@ force_to_mode (x, mode, mask, reg, just_select)
unsigned HOST_WIDE_INT fuller_mask, nonzero;
rtx op0, op1, temp;
/* If this is a CALL, don't do anything. Some of the code below
will do the wrong thing since the mode of a CALL is VOIDmode. */
if (code == CALL)
return x;
/* We want to perform the operation is its present mode unless we know
that the operation is valid in MODE, in which case we do the operation
in MODE. */