Change Details

This is the logic for keeping PDT's up-to-date across LoopSimplify. It is mostly straight forward uses of splitBlocks and applyUpdates. The interface I'm not sure about.

This extends DeferredDominance to hold an optional PostDomTree, and apply the same set of updated to both dom trees. Loop Simplify is then switched over to use DeferredDominance, and applies the correct set of edge updates to preserve the two trees at once.

This is the logic for keeping PDT's up-to-date across LoopSimplify.extends DeferredDominance to hold an optional PostDomTree, It is mostly straight forward uses of splitBlocks and applyUpdates. The interface I'm not sure aboutand apply the same set of updated to both dom trees. Loop Simplify is then switched over to use DeferredDominance, and applies the correct set of edge updates to preserve the two trees at once.