Searched refs:canonicalizedKnowledge (Results 1 – 1 of 1) sorted by relevance
71 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, in canonicalizedKnowledge() function174 RK = canonicalizedKnowledge(RK, M->getDataLayout()); in addKnowledge()321 RK = canonicalizedKnowledge(RK, Assume->getModule()->getDataLayout()); in simplifyRetainedKnowledge()