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