Lines Matching defs:canonicalize

527   void canonicalize(const Loop &L);
619   canonicalize(*L);
658 void Formula::canonicalize(const Loop &L) {
688   assert(isCanonical(L) && "Failed to canonicalize?");
3998     F.canonicalize(*L);
4072     F.canonicalize(*L);
4147         F.canonicalize(*L);
4201     F.canonicalize(*L);
4384               F.canonicalize(*L);
4471       F.canonicalize(*L);
4655         NewF.canonicalize(*this->L);
4700           NewF.canonicalize(*this->L);
5564 /// canonicalize the insert position, which encourages sharing.