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=d1c902c90f627d1...