Being able to optimize at the tree level. I disbelieve we'll
be able to do that properly given the less than precise
semantics of SAVE_EXPR.
I don't follow. For most purposes of tree-level optimization they are
nops, except that they aren't invalidated by stores to things that are in
the expression in their operand.