On Sun, May 13, 2012 at 11:11 PM, Eric Botcazou <ebotca...@adacore.com> wrote: >> I'd say simply test gimple_has_side_effects instead. > > We could go one step farther then and do the replacement in > > if (gimple_has_volatile_ops (stmt) > || stmt_could_throw_p (stmt)) > continue; > > I think that's equivalent. Revised patch attached.
Indeed. Ok. Thanks, Richard. > > * stor-layout.c (bit_from_pos): Distribute conversion to bitsizetype > in a PLUS_EXPR byte offset. > > * tree-ssa-pre.c (can_value_number_call): Delete. > (compute_avail): Skip all statements with side effects. > <GIMPLE_CALL>: Skip calls to internal functions. > > > -- > Eric Botcazou