[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2010-09-24 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28632 Jakub Jelinek jakub at gcc dot gnu.org changed: What|Removed |Added Status|ASSIGNED|RESOLVED

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2010-07-09 Thread aldot at gcc dot gnu dot org
--- Comment #19 from aldot at gcc dot gnu dot org 2010-07-09 07:53 --- Created an attachment (id=21156) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21156action=view) gcc/testsuite/gcc.dg/tree-ssa/vrp50-PR28632.c -- aldot at gcc dot gnu dot org changed: What

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2010-07-09 Thread aldot at gcc dot gnu dot org
-- aldot at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|aldot at gcc dot gnu dot org|unassigned at gcc dot gnu |

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2010-07-09 Thread jakub at gcc dot gnu dot org
--- Comment #20 from jakub at gcc dot gnu dot org 2010-07-09 17:12 --- Created an attachment (id=21162) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21162action=view) gcc46-pr28632.patch Sorry, I haven't been aware of this PR. The attached patch brings in some of the ideas from

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2010-07-09 Thread jakub at gcc dot gnu dot org
--- Comment #21 from jakub at gcc dot gnu dot org 2010-07-09 19:40 --- Subject: Bug 28632 Author: jakub Date: Fri Jul 9 19:40:03 2010 New Revision: 162009 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=162009 Log: PR tree-optimization/28632 * tree-vrp.c

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2010-01-01 Thread steven at gcc dot gnu dot org
--- Comment #18 from steven at gcc dot gnu dot org 2010-01-02 01:00 --- Re. comment #17: Any plans to finish this for GCC 4.6 stage 1? -- steven at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2009-06-22 Thread aldot at gcc dot gnu dot org
--- Comment #17 from aldot at gcc dot gnu dot org 2009-06-22 08:28 --- Created an attachment (id=18044) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18044action=view) Bootstraps and regtests bootstrapped and regtested all default languages with no new regressions. TODO: - split

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2009-06-10 Thread aldot at gcc dot gnu dot org
-- aldot at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |aldot at gcc dot gnu dot org |dot org

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2009-06-05 Thread aldot at gcc dot gnu dot org
--- Comment #16 from aldot at gcc dot gnu dot org 2009-06-05 16:27 --- (In reply to comment #15) (In reply to comment #13) Created an attachment (id=16113) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16113action=view) [edit] Updated doubleint-based patch. DOES NOT PASS

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-20 Thread vda dot linux at googlemail dot com
--- Comment #13 from vda dot linux at googlemail dot com 2008-08-20 14:57 --- Created an attachment (id=16113) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16113action=view) Updated doubleint-based patch. DOES NOT PASS TESTSUITE. -- vda dot linux at googlemail dot com

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-20 Thread vda dot linux at googlemail dot com
--- Comment #14 from vda dot linux at googlemail dot com 2008-08-20 14:58 --- Created an attachment (id=16114) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16114action=view) Tree based patch. Passes bootstrap. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28632

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-20 Thread vda dot linux at googlemail dot com
--- Comment #15 from vda dot linux at googlemail dot com 2008-08-20 15:07 --- (In reply to comment #13) Created an attachment (id=16113) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16113action=view) [edit] Updated doubleint-based patch. DOES NOT PASS TESTSUITE. I meant does

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-18 Thread vda dot linux at googlemail dot com
--- Comment #12 from vda dot linux at googlemail dot com 2008-08-18 13:02 --- Bootstrap with -O2 on current svn fails. Bootstrap with -Os works. Bootstrap with -O2 on 4.3.1 works. Instrumented patch emits C code which can be used to test for incorrect VRP predictions. I ran such

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-11 Thread vda dot linux at googlemail dot com
--- Comment #11 from vda dot linux at googlemail dot com 2008-08-11 12:46 --- Created an attachment (id=16050) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16050action=view) Updated patch. Uses double_int calculations instead of trees. On Mon, 2008-08-04 at 14:26 +0200, Richard

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-04 Thread vda dot linux at googlemail dot com
--- Comment #7 from vda dot linux at googlemail dot com 2008-08-04 11:25 --- Created an attachment (id=16009) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16009action=view) Updated patch against current svn This patch is bootstrapping successfully on current gcc svn. -- vda

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-04 Thread vda dot linux at googlemail dot com
--- Comment #8 from vda dot linux at googlemail dot com 2008-08-04 11:28 --- Created an attachment (id=16010) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16010action=view) Example program which is compiled differently with this patch. The difference is here: movl

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-04 Thread vda dot linux at googlemail dot com
--- Comment #9 from vda dot linux at googlemail dot com 2008-08-04 11:34 --- Created an attachment (id=16011) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16011action=view) The instrumented version of the patch Set $VDA_DEBUG to the name of a file and gcc will append debug

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2008-08-04 Thread vda dot linux at googlemail dot com
--- Comment #10 from vda dot linux at googlemail dot com 2008-08-04 11:55 --- Created an attachment (id=16012) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16012action=view) Testcase to be added to testsuite This program is artificially made to not compile if VRP fails to

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2006-08-11 Thread vda dot linux at googlemail dot com
--- Comment #6 from vda dot linux at googlemail dot com 2006-08-11 14:17 --- Created an attachment (id=12067) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12067action=view) New version of the patch. 4.1.1 bootstraps with it. -- vda dot linux at googlemail dot com changed:

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2006-08-07 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Severity|normal |enhancement Keywords|

[Bug tree-optimization/28632] VRP should understand bitwise OR and AND

2006-08-07 Thread pinskia at gcc dot gnu dot org
--- Comment #5 from pinskia at gcc dot gnu dot org 2006-08-08 00:37 --- Confirmed. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added