[Bug tree-optimization/86707] Missed optimization: optimizing set of if statements

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86707

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2018-07-30
             Blocks|                            |85316
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  This requires conditional bit set/unset propagation.  CCP handles
this unconditional only and since it is a SSA propagator things cannot be
easily improved there.  EVRP could handle this but it doesn't track set
bits.

We might have a duplicate bugreport for this.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases