Searched refs:addClause (Results 1 – 10 of 10) sorted by relevance
46 void addClause(ArrayRef<Literal> Literals) { in addClause() function72 Formula.addClause(Simplified); in addClause()84 Formula.addClause(Simplified); in addClause()105 void CNFFormula::addClause(ArrayRef<Literal> lits) { in addClause() function in clang::dataflow::CNFFormula161 builder.addClause(posLit(GetVar(F))); in buildCNF()181 CNF.addClause(F->literal() ? posLit(Var) : negLit(Var)); in buildCNF()191 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()192 builder.addClause({posLit(Var), negLit(LHS)}); in buildCNF()197 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()198 builder.addClause({negLit(Var), posLit(RHS)}); in buildCNF()[all …]
108 void addClause(ArrayRef<Literal> lits);
918 LPadInst->addClause(handler.Type.RTTI); in EmitLandingPad()926 LPadInst->addClause(getCatchAllValue(*this)); in EmitLandingPad()943 LPadInst->addClause(FilterArray); in EmitLandingPad()1551 LPadInst->addClause(getCatchAllValue(*this)); in getTerminateLandingPad()
627 InlinedLPad->addClause(OuterLPad->getClause(OuterIdx)); in HandleInlinedLandingPad()
2793 void addClause(Constant *ClauseVal);
286 void LandingPadInst::addClause(Constant *Val) { in addClause() function in LandingPadInst
3489 unwrap<LandingPadInst>(LandingPad)->addClause(unwrap<Constant>(ClauseVal)); in LLVMAddClause()
4403 NLI->addClause(C); in visitLandingPadInst()
6107 LP->addClause(cast<Constant>(Val)); in parseFunctionBody()
7959 LP->addClause(CV); in parseLandingPad()