Searched refs:Formula (Results 1 – 6 of 6) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 257 BooleanFormula Formula(NextVar - 1, std::move(Atomics)); in buildBooleanFormula() local
263 Formula.addClause(posLit(GetVar(Val))); in buildBooleanFormula()
287 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()
288 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()
296 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()
297 Formula.addClause(negLit(Var), posLit(RightSubVar)); in buildBooleanFormula()
298 Formula.addClause(posLit(Var), negLit(LeftSubVar), negLit(RightSubVar)); in buildBooleanFormula()
312 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()
313 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()
321 Formula.addClause(negLit(Var), posLit(LeftSubVar), posLit(RightSubVar)); in buildBooleanFormula()
[all …]
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Scalar/ |
| H A D | LoopStrengthReduce.cpp | 354 struct Formula { struct
392 Formula() = default;
474 void Formula::initialMatch(const SCEV *S, Loop *L, ScalarEvolution &SE) { in initialMatch()
502 bool Formula::isCanonical(const Loop &L) const { in isCanonical()
529 void Formula::canonicalize(const Loop &L) { in canonicalize()
566 bool Formula::unscale() { in unscale()
575 bool Formula::hasZeroEnd() const { in hasZeroEnd()
585 size_t Formula::getNumRegs() const { in getNumRegs()
591 Type *Formula::getType() const { in getType()
599 void Formula::deleteBaseReg(const SCEV *&S) { in deleteBaseReg()
[all …]
|
| /openbsd-src/usr.bin/file/magdir/ |
| H A D | archive | 687 >>>>80 byte !0x2d Formula
|
| /openbsd-src/gnu/usr.bin/perl/ |
| H A D | README.hpux | 616 Parameter item. Insert the new formula into the Formula/Value box.
|
| /openbsd-src/sys/dev/usb/ |
| H A D | usbdevs | 2801 product LOGITECH WMFFGP 0xc293 WingMan Formula Force GP (GT-Force)
|
| /openbsd-src/games/fortune/datfiles/ |
| H A D | fortunes2 | 10200 Bershere's Formula for Failure:
|