[Bug tree-optimization/19105] fold does not spot anti-range test

[Bug tree-optimization/19105] fold does not spot anti-range test

[nathan at gcc dot gnu dot org]

------- Additional Comments From nathan at gcc dot gnu dot org  2004-12-21 12:22 -------
Created an attachment (id=7793)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7793&action=view)
testcase


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

[Bug tree-optimization/19105] New: fold does not spot anti-range test

[nathan at gcc dot gnu dot org]

The attached test case shows two equivalent functions, unfortunately the
first is not optimized as best as the second.  Notice the only different is the
placement of some superfluous parentheses.

Death to fold-const!

-- 
           Summary: fold does not spot anti-range test
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: nathan at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

[Bug tree-optimization/19105] fold does not spot anti-range test

[nathan at gcc dot gnu dot org]

------- Additional Comments From nathan at gcc dot gnu dot org  2004-12-21 12:23 -------
Created an attachment (id=7794)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7794&action=view)
assembly produced at -O2


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

[Bug tree-optimization/19105] fold does not spot anti-range test

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-21 15:52 -------
Fold unlike simplify_rtx does not do as re-association (or really as much as re-association).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |missed-optimization
   Last reconfirmed|0000-00-00 00:00:00         |2004-12-21 15:52:02
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

[Bug tree-optimization/19105] fold does not spot anti-range test

[dberlin at gcc dot gnu dot org]

-- 
Bug 19105 depends on bug 21445, which changed state.

Bug 21445 Summary: [meta-bug] we need a reassociate pass
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21445

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

[Bug tree-optimization/19105] fold does not spot anti-range test

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
         Resolution|                            |FIXED
   Target Milestone|---                         |4.8.0

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-31 08:52:45 UTC ---
Fixed.

[Bug tree-optimization/19105] fold does not spot anti-range test

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-31 08:45:38 UTC ---
Author: jakub
Date: Wed Oct 31 08:45:27 2012
New Revision: 193028

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193028
Log:
    PR tree-optimization/19105
    PR tree-optimization/21643
    PR tree-optimization/46309
    * tree-ssa-reassoc.c (init_range_entry): Add STMT argument
    and use it if EXP is NULL.
    (update_range_test): Handle OPCODE equal to ERROR_MARK
    and oe->op NULL.
    (optimize_range_tests): Likewise.
    (final_range_test_p, suitable_cond_bb, no_side_effect_bb, get_ops,
    maybe_optimize_range_tests): New functions.
    (reassociate_bb): Call maybe_optimize_range_tests if last
    stmt of bb is GIMPLE_COND that hasn't been visited yet.

    * gcc.dg/pr19105.c: New test.
    * gcc.dg/pr21643.c: New test.
    * gcc.dg/pr46309-2.c: New test.
    * gcc.c-torture/execute/pr46309.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr46309.c
    trunk/gcc/testsuite/gcc.dg/pr19105.c
    trunk/gcc/testsuite/gcc.dg/pr21643.c
    trunk/gcc/testsuite/gcc.dg/pr46309-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/19105] fold does not spot anti-range test

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19105

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-12-21 03:57:03         |2012-01-19
                 CC|gcc-bugs at gcc dot gnu.org |
             Blocks|                            |46309

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-20 03:15:49 UTC ---
Related to PR 46309.