On Fri, Jan 31, 2014 at 10:28 PM, Jakub Jelinek wrote: > Without this patch, cprop can propagate e.g. a SYMBOL_REF to former > (mem (plus (reg) (const_int))) > making it invalid RTL (as plus of CONSTANT_P arguments must be simplified > or surrounded by CONST).
But isn't this true for all non-unary operators? Is covering MINUS and PLUS enough? Ciao! Steven
