Home
last modified time | relevance | path

Searched defs:Formula (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DWatchedLiteralsSolver.cpp252 BooleanFormula Formula(NextVar - 1, std::move(Atomics)); in buildBooleanFormula() local
384 BooleanFormula Formula; member in clang::dataflow::WatchedLiteralsSolverImpl
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DLoopStrengthReduce.cpp341 struct Formula { struct
343 GlobalValue *BaseGV = nullptr;
346 int64_t BaseOffset = 0;
349 bool HasBaseReg = false;
352 int64_t Scale = 0;
368 SmallVector<const SCEV *, 4> BaseRegs;
372 const SCEV *ScaledReg = nullptr;
377 int64_t UnfoldedOffset = 0;