On February 1, 2014 12:56:45 AM GMT+01:00, Steven Bosscher <stevenb....@gmail.com> wrote: >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?
AND should be handled as well. I can't think of any others that might be used with symbol refs. But yes, in principle you are right. Richard. >Ciao! >Steven
