Searched refs:addClause (Results 1 – 12 of 12) sorted by relevance
258 Formula.addClause(posLit(GetVar(Val))); in buildBooleanFormula()282 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()283 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()291 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()307 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()308 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()330 Formula.addClause(negLit(Var), negLit(SubVar)); in buildBooleanFormula()331 Formula.addClause(posLit(Var), posLit(SubVar)); in buildBooleanFormula()343 Formula.addClause(posLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()344 Formula.addClause(posLit(Var), negLit(RightSubVar)); in buildBooleanFormula()[all …]
900 LPadInst->addClause(handler.Type.RTTI); in EmitLandingPad()908 LPadInst->addClause(getCatchAllValue(*this)); in EmitLandingPad()925 LPadInst->addClause(FilterArray); in EmitLandingPad()1528 LPadInst->addClause(getCatchAllValue(*this)); in getTerminateLandingPad()
401 lpi->addClause(constOperand); in convertOperationImpl()
1227 caughtResult->addClause(module.getGlobalVariable( in createCatchWrappedInvokeFunction()
630 InlinedLPad->addClause(OuterLPad->getClause(OuterIdx)); in HandleInlinedLandingPad()
3724 NLI->addClause(NewClauses[i]); in visitLandingPadInst()
2969 void addClause(Constant *ClauseVal);
243 void LandingPadInst::addClause(Constant *Val) { in addClause() function in LandingPadInst
3270 addClause(cast<Constant>(unwrap(ClauseVal))); in LLVMAddClause()
2129 See the method [llvm::LandingPadInst::addClause]. *)
5721 LP->addClause(cast<Constant>(Val)); in parseFunctionBody()
7064 LP->addClause(CV); in parseLandingPad()