Interprocedural Conditional Branch Elimination (1997)

by Rastislav Bodik, Rajiv Gupta, Mary Lou Soffa