Lines Matching defs:canonicalize

519   void canonicalize(const Loop &L);
611   canonicalize(*L);
653 void Formula::canonicalize(const Loop &L) {
683   assert(isCanonical(L) && "Failed to canonicalize?");
4000     F.canonicalize(*L);
4074     F.canonicalize(*L);
4149         F.canonicalize(*L);
4203     F.canonicalize(*L);
4386               F.canonicalize(*L);
4473       F.canonicalize(*L);
4657         NewF.canonicalize(*this->L);
4702           NewF.canonicalize(*this->L);
5566 /// canonicalize the insert position, which encourages sharing.