2004-02-16 Geoffrey Keating <geoffk@apple.com>
* doc/md.texi (Insn Canonicalizations): Document left-chaining
in associative operators.
* rtlanal.c (commutative_operand_precedence): Create some new
variables. Prefer a commutative operand on the left, then
binary expressions, then NEG and NOT.
Index: testsuite/ChangeLog
2004-02-16 Geoffrey Keating <geoffk@apple.com>
* gcc.c-torture/compile/
20040216-1.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@77945
138bc75d-0d04-0410-961f-
82ee72b054a4
+2004-02-16 Geoffrey Keating <geoffk@apple.com>
+
+ * doc/md.texi (Insn Canonicalizations): Document left-chaining
+ in associative operators.
+ * rtlanal.c (commutative_operand_precedence): Create some new
+ variables. Prefer a commutative operand on the left, then
+ binary expressions, then NEG and NOT.
+
2004-02-16 Matthias Klose <doko@debian.org>
* config/t-slibgcc-elf-ver: Define SHLIB_NAME and SHLIB_SONAME
operand, only patterns that match a constant in the second operand need
be supplied.
+@item
+For associative operators, a sequence of operators will always chain
+to the left; for instance, only the left operand of an integer @code{plus}
+can itself be a @code{plus}. @code{and}, @code{ior}, @code{xor},
+@code{plus}, @code{mult}, @code{smin}, @code{smax}, @code{umin}, and
+@code{umax} are associative when applied to integers, and sometimes to
+floating-point.
+
+@item
@cindex @code{neg}, canonicalization of
@cindex @code{not}, canonicalization of
@cindex @code{mult}, canonicalization of
int
commutative_operand_precedence (rtx op)
{
+ enum rtx_code code = GET_CODE (op);
+ char class;
+
/* Constants always come the second operand. Prefer "nice" constants. */
- if (GET_CODE (op) == CONST_INT)
+ if (code == CONST_INT)
return -7;
- if (GET_CODE (op) == CONST_DOUBLE)
+ if (code == CONST_DOUBLE)
return -6;
op = avoid_constant_pool_reference (op);
- if (GET_CODE (op) == CONST_INT)
+ if (code == CONST_INT)
return -5;
- if (GET_CODE (op) == CONST_DOUBLE)
+ if (code == CONST_DOUBLE)
return -4;
if (CONSTANT_P (op))
return -3;
/* SUBREGs of objects should come second. */
- if (GET_CODE (op) == SUBREG
+ if (code == SUBREG
&& GET_RTX_CLASS (GET_CODE (SUBREG_REG (op))) == 'o')
return -2;
- /* If only one operand is a `neg', `not',
- `mult', `plus', or `minus' expression, it will be the first
- operand. */
- if (GET_CODE (op) == NEG || GET_CODE (op) == NOT
- || GET_CODE (op) == MULT || GET_CODE (op) == PLUS
- || GET_CODE (op) == MINUS)
+ class = GET_RTX_CLASS (code);
+
+ /* Prefer operands that are themselves commutative to be first.
+ This helps to make things linear. In particular,
+ (and (and (reg) (reg)) (not (reg))) is canonical. */
+ if (class == 'c')
+ return 4;
+
+ /* If only one operand is a binary expression, it will be the first
+ operand. In particular, (plus (minus (reg) (reg)) (neg (reg)))
+ is canonical, although it will usually be further simplified. */
+ if (class == '2')
return 2;
+
+ /* Then prefer NEG and NOT. */
+ if (code == NEG || code == NOT)
+ return 1;
/* Complex expressions should be the first, so decrease priority
of objects. */
- if (GET_RTX_CLASS (GET_CODE (op)) == 'o')
+ if (GET_RTX_CLASS (code) == 'o')
return -1;
return 0;
}
+2004-02-16 Geoffrey Keating <geoffk@apple.com>
+
+ * gcc.c-torture/compile/20040216-1.c: New.
+
2004-02-16 Giovanni Bajo <giovannibajo@gcc.gnu.org>
- * g++.dg/tc1/dr101.C, g++.dg/tc1/dr135.C, g++.dg/tc1/dr142.C,\r
- g++.dg/tc1/dr152.C, g++.dg/tc1/dr159.C, g++.dg/tc1/dr161.C,\r
- g++.dg/tc1/dr166.C, g++.dg/tc1/dr176.C, g++.dg/tc1/dr188.C,\r
- g++.dg/tc1/dr193.C, g++.dg/tc1/dr194.C, g++.dg/tc1/dr217.C,\r
- g++.dg/tc1/dr48.C, g++.dg/tc1/dr56.C, g++.dg/tc1/dr68.C,\r
+ * g++.dg/tc1/dr101.C, g++.dg/tc1/dr135.C, g++.dg/tc1/dr142.C,
+ g++.dg/tc1/dr152.C, g++.dg/tc1/dr159.C, g++.dg/tc1/dr161.C,
+ g++.dg/tc1/dr166.C, g++.dg/tc1/dr176.C, g++.dg/tc1/dr188.C,
+ g++.dg/tc1/dr193.C, g++.dg/tc1/dr194.C, g++.dg/tc1/dr217.C,
+ g++.dg/tc1/dr48.C, g++.dg/tc1/dr56.C, g++.dg/tc1/dr68.C,
g++.dg/tc1/dr76.C, g++.dg/tc1/dr80.C, g++.dg/tc1/dr94.C: New tests.
2004-02-16 Eric Botcazou <ebotcazou@libertysurf.fr>
--- /dev/null
+int foo (int a, int b, int c, int d)
+{
+ return ~a & ~b & ~c & ~d;
+}