Addressed comments
GitOrigin-RevId: d82a6762272fd341fe1901a438d2920bf4155840
diff --git a/lib/Analysis/AffineStructures.cpp b/lib/Analysis/AffineStructures.cpp
index dbbe786..16d270e 100644
--- a/lib/Analysis/AffineStructures.cpp
+++ b/lib/Analysis/AffineStructures.cpp
@@ -1970,9 +1970,10 @@
fac1.getLocalReprs(divs1, denoms1);
fac2.getLocalReprs(divs2, denoms2);
- // Copy division information from fac2 to fac1. Since newly added local
- // variables in fac1 and fac2 have no constraints, they will not have any
- // division representation.
+ // Copy division information for fac2 into `divs1` and `denoms1`, so that
+ // these have the combined division information of both FACs. Since newly
+ // added local variables in fac1 and fac2 have no constraints, they will not
+ // have any division representation.
std::copy(divs2.begin() + initLocals, divs2.end(),
divs1.begin() + initLocals);
std::copy(denoms2.begin() + initLocals, denoms2.end(),
@@ -1983,8 +1984,8 @@
// a constant.
// TODO: Add division ordering such that a division representation for local
// identifier at position `i` only depends on local identifiers at position <
- // `i`. This makes sure that all divisions depending on other local variables
- // that can be merged, are merged.
+ // `i`. This would make sure that all divisions depending on other local
+ // variables that can be merged, are merged.
unsigned localOffset = getIdKindOffset(IdKind::Local);
for (unsigned i = 0; i < divs1.size(); ++i) {
// Check if a division representation exists for the `i^th` local id.