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