Searched refs:MultiplyFactor (Results 1 – 1 of 1) sorted by relevance
1014 APInt MultiplyFactor = OddFactorial.zext(W+1); in BinomialCoefficient() local1015 MultiplyFactor = MultiplyFactor.multiplicativeInverse(Mod); in BinomialCoefficient()1016 MultiplyFactor = MultiplyFactor.trunc(W); in BinomialCoefficient()1033 return SE.getMulExpr(SE.getConstant(MultiplyFactor), in BinomialCoefficient()