Originally in libfirm it was called "partial conditional evaluation" and then was renamed [0] into "path-sensitive jump threading". [0] http://pp.ipd.kit.edu/g

Originally in libfirm it was called "partial conditional evaluation" and then was renamed [0] into "path-sensitive jump threading". [0] http://pp.ipd.kit.edu/git/libfirm/commit/?id=d1c902c90f627d1f48017a6afb1212f0d1397cff http://pp.ipd.kit.edu/git/libfirm/commit/?id=d1c902c90f627d1...