Searched refs:MultiplyFactor (Results 1 – 1 of 1) sorted by relevance
1210 APInt MultiplyFactor = OddFactorial.zext(W+1); in BinomialCoefficient() local1211 MultiplyFactor = MultiplyFactor.multiplicativeInverse(Mod); in BinomialCoefficient()1212 MultiplyFactor = MultiplyFactor.trunc(W); in BinomialCoefficient()1229 return SE.getMulExpr(SE.getConstant(MultiplyFactor), in BinomialCoefficient()