[guipsp]

You have for sure seen this in constant propagation.

[Findecanor]

Pruning the data-flow graph depth-first, sure, but moving edges in it is beyond anything I've read so far.