__isl_give isl_set *addNonEmptyDomainConstraints(__isl_take isl_set *C) const;
/// @brief Simplify the SCoP representation
- void simplifySCoP(bool AfterHoisting, DominatorTree &DT, LoopInfo &LI);
+ void simplifySCoP(bool AfterHoisting);
/// @brief Return the access for the base ptr of @p MA if any.
MemoryAccess *lookupBasePtrAccess(MemoryAccess *MA);
// Remove empty statements.
// Exit early in case there are no executable statements left in this scop.
- simplifySCoP(false, DT, LI);
+ simplifySCoP(false);
if (Stmts.empty())
return;
hoistInvariantLoads();
verifyInvariantLoads();
- simplifySCoP(true, DT, LI);
+ simplifySCoP(true);
// Check late for a feasible runtime context because profitability did not
// change.
Access->updateDimensionality();
}
-void Scop::simplifySCoP(bool AfterHoisting, DominatorTree &DT, LoopInfo &LI) {
+void Scop::simplifySCoP(bool AfterHoisting) {
for (auto StmtIt = Stmts.begin(), StmtEnd = Stmts.end(); StmtIt != StmtEnd;) {
ScopStmt &Stmt = *StmtIt;