Searched refs:addClause (Results 1 – 9 of 9) sorted by relevance
155 void addClause(ArrayRef<Literal> lits) { in addClause() function205 void addClause(ArrayRef<Literal> Literals) { in addClause() function234 Formula.addClause(Literals[0]); in addClause()246 Formula.addClause(Simplified); in addClause()306 builder.addClause(posLit(GetVar(Val))); in buildCNF()336 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()337 builder.addClause({posLit(Var), negLit(LHS)}); in buildCNF()386 builder.addClause({posLit(Var), posLit(LHS)}); in buildCNF()387 builder.addClause({posLit(Var), negLit(RHS)}); in buildCNF()399 builder.addClause(posLit(Var)); in buildCNF()[all …]
918 LPadInst->addClause(handler.Type.RTTI); in EmitLandingPad()926 LPadInst->addClause(getCatchAllValue(*this)); in EmitLandingPad()943 LPadInst->addClause(FilterArray); in EmitLandingPad()1550 LPadInst->addClause(getCatchAllValue(*this)); in getTerminateLandingPad()
624 InlinedLPad->addClause(OuterLPad->getClause(OuterIdx)); in HandleInlinedLandingPad()
3915 NLI->addClause(NewClauses[i]); in visitLandingPadInst()
3023 void addClause(Constant *ClauseVal);
3276 unwrap<LandingPadInst>(LandingPad)->addClause(unwrap<Constant>(ClauseVal)); in LLVMAddClause()
287 void LandingPadInst::addClause(Constant *Val) { in addClause() function in LandingPadInst
5930 LP->addClause(cast<Constant>(Val)); in parseFunctionBody()
7524 LP->addClause(CV); in parseLandingPad()