[PATCH][11/n] Merge from match-and-simplify, bit patterns from forwprop

[Marc Glisse]

On Thu, 6 Nov 2014, Richard Biener wrote:

> +/* Simplify (A & B) OP0 (C & B) to (A OP0 C) & B. */

> +/* (x | CST1) & CST2 -> (x & CST2) | (CST1 & CST2) */

As soon as there are 2+ operations in the result, this comment in 
fwprop_ssa_val becomes outdated, no?

   /* We continue matching along SSA use-def edges for SSA names
      that are not single-use.  Currently there are no patterns
      that would cause any issues with that.  */

(I am not opposing the patch, just trying to understand how things work 
for when I'll propose new patterns)

-- 
Marc Glisse