Searched defs:AssumeBuilderState (Results 1 – 1 of 1) sorted by relevance
103 struct AssumeBuilderState { struct104 Module *M;108 Instruction *InstBeingModified = nullptr;109 AssumptionCache* AC = nullptr;110 DominatorTree* DT = nullptr;112 AssumeBuilderState(Module *M, Instruction *I = nullptr, in AssumeBuilderState() argument172 void addKnowledge(RetainedKnowledge RK) { in addKnowledge()195 void addAttribute(Attribute Attr, Value *WasOn) { in addAttribute()206 void addCall(const CallBase *Call) { in addCall()223 AssumeInst *build() { in build()[all …]