Searched refs:MultiplyFactor (Results 1 – 1 of 1) sorted by relevance
1171 APInt MultiplyFactor = OddFactorial.zext(W+1); in BinomialCoefficient() local1172 MultiplyFactor = MultiplyFactor.multiplicativeInverse(Mod); in BinomialCoefficient()1173 MultiplyFactor = MultiplyFactor.trunc(W); in BinomialCoefficient()1190 return SE.getMulExpr(SE.getConstant(MultiplyFactor), in BinomialCoefficient()