|
 |
727081 |
2005-10-02 Jakub Jelinek <jakub@redhat.com>
|
|
|
727081 |
|
|
|
727081 |
PR optimization/12799
|
|
|
727081 |
* gcc.c-torture/execute/20051002-1.c: New test.
|
|
|
727081 |
|
|
|
727081 |
2003-11-02 Eric Botcazou <ebotcazou@libertysurf.fr>
|
|
|
727081 |
|
|
|
727081 |
PR optimization/12799
|
|
|
727081 |
* reload1.c (reload_cse_move2add): Generate the add2
|
|
|
727081 |
patterns manually.
|
|
|
727081 |
|
|
|
727081 |
* gcc.dg/20031102-1.c: New test.
|
|
|
727081 |
|
|
|
727081 |
--- gcc/reload1.c.jj 2003-10-31 11:42:15.000000000 +0100
|
|
|
727081 |
+++ gcc/reload1.c 2005-10-02 21:52:08.000000000 +0200
|
|
|
727081 |
@@ -9176,8 +9176,13 @@ reload_cse_move2add (first)
|
|
|
727081 |
success = validate_change (insn, &SET_SRC (pat), reg, 0);
|
|
|
727081 |
else if (rtx_cost (new_src, PLUS) < rtx_cost (src, SET)
|
|
|
727081 |
&& have_add2_insn (reg, new_src))
|
|
|
727081 |
- success = validate_change (insn, &PATTERN (insn),
|
|
|
727081 |
- gen_add2_insn (reg, new_src), 0);
|
|
|
727081 |
+ {
|
|
|
727081 |
+ rtx newpat = gen_rtx_SET (VOIDmode, reg,
|
|
|
727081 |
+ gen_rtx_PLUS (GET_MODE (reg),
|
|
|
727081 |
+ reg, new_src));
|
|
|
727081 |
+ success
|
|
|
727081 |
+ = validate_change (insn, &PATTERN (insn), newpat, 0);
|
|
|
727081 |
+ }
|
|
|
727081 |
reg_set_luid[regno] = move2add_luid;
|
|
|
727081 |
reg_mode[regno] = GET_MODE (reg);
|
|
|
727081 |
reg_offset[regno] = INTVAL (src);
|
|
|
727081 |
@@ -9227,9 +9232,15 @@ reload_cse_move2add (first)
|
|
|
727081 |
else if ((rtx_cost (new_src, PLUS)
|
|
|
727081 |
< COSTS_N_INSNS (1) + rtx_cost (src3, SET))
|
|
|
727081 |
&& have_add2_insn (reg, new_src))
|
|
|
727081 |
- success
|
|
|
727081 |
- = validate_change (next, &PATTERN (next),
|
|
|
727081 |
- gen_add2_insn (reg, new_src), 0);
|
|
|
727081 |
+ {
|
|
|
727081 |
+ rtx newpat
|
|
|
727081 |
+ = gen_rtx_SET (VOIDmode, reg,
|
|
|
727081 |
+ gen_rtx_PLUS (GET_MODE (reg),
|
|
|
727081 |
+ reg, new_src));
|
|
|
727081 |
+ success
|
|
|
727081 |
+ = validate_change (next, &PATTERN (next),
|
|
|
727081 |
+ newpat, 0);
|
|
|
727081 |
+ }
|
|
|
727081 |
if (success)
|
|
|
727081 |
delete_insn (insn);
|
|
|
727081 |
insn = next;
|
|
|
727081 |
--- gcc/testsuite/gcc.dg/20031102-1.c.jj 1 Jan 1970 00:00:00 -0000
|
|
|
727081 |
+++ gcc/testsuite/gcc.dg/20031102-1.c 2 Nov 2003 08:32:23 -0000 1.1
|
|
|
727081 |
@@ -0,0 +1,37 @@
|
|
|
727081 |
+/* PR optimization/12799 */
|
|
|
727081 |
+/* Origin: Pratap Subrahmanyam <pratap@vmware.com> */
|
|
|
727081 |
+
|
|
|
727081 |
+/* { dg-do run } */
|
|
|
727081 |
+/* { dg-options "-O2" } */
|
|
|
727081 |
+/* { dg-options "-O2 -march=i686" { target i686-*-* } } */
|
|
|
727081 |
+
|
|
|
727081 |
+/* Verify that reload_cse_move2add doesn't add unexpected CLOBBERs. */
|
|
|
727081 |
+
|
|
|
727081 |
+extern void abort(void);
|
|
|
727081 |
+
|
|
|
727081 |
+int loo = 1;
|
|
|
727081 |
+
|
|
|
727081 |
+__inline__ char InlineFunc(void)
|
|
|
727081 |
+{
|
|
|
727081 |
+ return __builtin_expect(!!(loo == 1), 1);
|
|
|
727081 |
+}
|
|
|
727081 |
+
|
|
|
727081 |
+int FooBar(void)
|
|
|
727081 |
+{
|
|
|
727081 |
+ int i;
|
|
|
727081 |
+ int var1 = InlineFunc() ? 2046 : 1023;
|
|
|
727081 |
+ int var2 = InlineFunc() ? 512 : 1024;
|
|
|
727081 |
+
|
|
|
727081 |
+ for (i = 0; i < var1; i++)
|
|
|
727081 |
+ ;
|
|
|
727081 |
+
|
|
|
727081 |
+ if (InlineFunc() && var2 != 512)
|
|
|
727081 |
+ abort();
|
|
|
727081 |
+
|
|
|
727081 |
+ return 0;
|
|
|
727081 |
+}
|
|
|
727081 |
+
|
|
|
727081 |
+int main(void)
|
|
|
727081 |
+{
|
|
|
727081 |
+ return FooBar();
|
|
|
727081 |
+}
|
|
|
727081 |
--- gcc/testsuite/gcc.c-torture/execute/20051002-1.c.jj 2005-09-19 08:33:21.659531528 +0200
|
|
|
727081 |
+++ gcc/testsuite/gcc.c-torture/execute/20051002-1.c 2005-10-02 20:38:54.000000000 +0200
|
|
|
727081 |
@@ -0,0 +1,18 @@
|
|
|
727081 |
+/* PR optimization/12799 */
|
|
|
727081 |
+extern void abort (void);
|
|
|
727081 |
+
|
|
|
727081 |
+unsigned int
|
|
|
727081 |
+foo (unsigned long a)
|
|
|
727081 |
+{
|
|
|
727081 |
+ if (a >= 0xffffffffUL)
|
|
|
727081 |
+ return 0xffffffff;
|
|
|
727081 |
+ return a;
|
|
|
727081 |
+}
|
|
|
727081 |
+
|
|
|
727081 |
+int
|
|
|
727081 |
+main ()
|
|
|
727081 |
+{
|
|
|
727081 |
+ if (foo (0) != 0)
|
|
|
727081 |
+ abort ();
|
|
|
727081 |
+ return 0;
|
|
|
727081 |
+}
|