Home
last modified time | relevance | path

Searched refs:constantSum (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DUtils.cpp118 int64_t constantSum = cst.atIneq(lbIneq, cst.getNumCols() - 1) + in getDivRepr() local
120 int64_t c = divisor - 1 - constantSum; in getDivRepr()