Function legacy::PRE::partialRedundancyEliminationOne

Function legacy::PRE::partialRedundancyEliminationOne#

Function Documentation#

void legacy::PRE::partialRedundancyEliminationOne(SgExpression *expr, SgBasicBlock *root, const myControlFlowGraph &cfg)#

Do partial redundancy elimination, looking for copies of one expression expr within the basic block root. A control flow graph for root must be provided in cfg, with a map from nodes to their statements in node_statements, a map from edges to their CFG

edge types in edge_type, and a map from edges to their insertion points in edge_insertion_point. The algorithm used is that of Paleri, Srikant, and Shankar (“Partial redundancy elimination: a simple,

pragmatic, and provably correct algorithm”, Science of Computer Programming 48 (2003) 1

—20).