--- Comment #5 from dnovillo at gcc dot gnu dot org 2007-08-03 13:12
---
Fixed. http://gcc.gnu.org/ml/gcc-patches/2007-08/msg00174.html.
--
dnovillo at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #4 from dnovillo at gcc dot gnu dot org 2007-08-03 13:08
---
Subject: Bug 31521
Author: dnovillo
Date: Fri Aug 3 13:08:29 2007
New Revision: 127180
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127180
Log:
2007-08-03 Andrew Pinski <[EMAIL PROTECTED]>
--- Comment #3 from dean at arctic dot org 2007-04-10 09:38 ---
nice... that seems to do the trick on idiv-assert.c:
10: 89 df mov%ebx,%edi
12: 83 c3 01add$0x1,%ebx
15: c1 ff 02sar$0x2,%edi
18: e8 00 00 00 00
--- Comment #2 from pinskia at gcc dot gnu dot org 2007-04-10 08:58 ---
Patch which I need to test (but I won't have time until Thursday).
Index: tree-vrp.c
===
--- tree-vrp.c (revision 123691)
+++ tree-vrp.c (working copy
--- Comment #1 from pinskia at gcc dot gnu dot org 2007-04-10 08:39 ---
i_5 = ASSERT_EXPR ;
D.1607_6 = i_5 / 4;
i_5: [0, 2147483646] EQUIVALENCES: { i_1 } (1 elements)
We don't do the shifting if i's range includes 0 which is wrong as 0>>n is
always 0 so the reduced testcase is: