Searched refs:addClause (Results 1 – 10 of 10) sorted by relevance
46 void addClause(ArrayRef<Literal> Literals) { in addClause() function71 Formula.addClause(Simplified); in addClause()83 Formula.addClause(Simplified); in addClause()104 void CNFFormula::addClause(ArrayRef<Literal> lits) { in addClause() function in clang::dataflow::CNFFormula160 builder.addClause(posLit(GetVar(F))); in buildCNF()180 CNF.addClause(F->literal() ? posLit(Var) : negLit(Var)); in buildCNF()190 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()191 builder.addClause({posLit(Var), negLit(LHS)}); in buildCNF()196 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()197 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()
646 InlinedLPad->addClause(OuterLPad->getClause(OuterIdx)); in HandleInlinedLandingPad()
2931 LLVM_ABI void addClause(Constant *ClauseVal);
290 void LandingPadInst::addClause(Constant *Val) { in addClause() function in LandingPadInst
3544 unwrap<LandingPadInst>(LandingPad)->addClause(unwrap<Constant>(ClauseVal)); in LLVMAddClause()
4845 NLI->addClause(C); in visitLandingPadInst()
6203 LP->addClause(cast<Constant>(Val)); in parseFunctionBody()
8272 LP->addClause(CV); in parseLandingPad()