Searched defs:Knowledge (Results 1 – 1 of 1) sorted by relevance
307 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge, in buildAssumeFromKnowledge()401 Knowledge; in dropRedundantKnowledge() local