+2015-07-13 Renlin Li <renlin.li@arm.com>
+
+ PR rtl/66556
+ * simplify-rtx.c (simplify_const_relational_operation): Add
+ side_effects_p checks.
+
2015-07-12 Aldy Hernandez <aldyh@redhat.com>
* bitmap.h: Fix double word typos.
/* Optimize comparisons with upper and lower bounds. */
if (HWI_COMPUTABLE_MODE_P (mode)
- && CONST_INT_P (trueop1))
+ && CONST_INT_P (trueop1)
+ && !side_effects_p (trueop0))
{
int sign;
unsigned HOST_WIDE_INT nonzero = nonzero_bits (trueop0, mode);
}
/* Optimize integer comparisons with zero. */
- if (trueop1 == const0_rtx)
+ if (trueop1 == const0_rtx && !side_effects_p (trueop0))
{
/* Some addresses are known to be nonzero. We don't know
their sign, but equality comparisons are known. */
}
/* Optimize comparison of ABS with zero. */
- if (trueop1 == CONST0_RTX (mode)
+ if (trueop1 == CONST0_RTX (mode) && !side_effects_p (trueop0)
&& (GET_CODE (trueop0) == ABS
|| (GET_CODE (trueop0) == FLOAT_EXTEND
&& GET_CODE (XEXP (trueop0, 0)) == ABS)))
+2015-07-13 Renlin Li <renlin.li@arm.com>
+
+ PR rtl/66556
+ * gcc.c-torture/execute/pr66556.c: New.
+
2015-07-12 Aldy Hernandez <aldyh@redhat.com>
* gcc.dg/20020219-1.c: Fix double word typos.
--- /dev/null
+/* { dg-do run } */
+
+extern void abort (void);
+
+struct {
+ unsigned f2;
+ unsigned f3 : 15;
+ unsigned f5 : 3;
+ short f6;
+} b = {0x7f8000, 6, 5, 0}, g = {8, 0, 5, 0};
+
+short d, l;
+int a, c, h = 8;
+volatile char e[237] = {4};
+short *f = &d;
+short i[5] = {3};
+char j;
+int *k = &c;
+
+int
+fn1 (unsigned p1) { return -p1; }
+
+void
+fn2 (char p1)
+{
+ a = p1;
+ e[0];
+}
+
+short
+fn3 ()
+{
+ *k = 4;
+ return *f;
+}
+
+int
+main ()
+{
+
+ unsigned m;
+ short *n = &i[4];
+
+ m = fn1 ((h && j) <= b.f5);
+ l = m > g.f3;
+ *n = 3;
+ fn2 (b.f2 >> 15);
+ if ((a & 0xff) != 0xff)
+ abort ();
+
+ return 0;
+}