Searched refs:MultiplyFactor (Results 1 – 1 of 1) sorted by relevance
1020 APInt MultiplyFactor = OddFactorial.zext(W+1); in BinomialCoefficient() local1021 MultiplyFactor = MultiplyFactor.multiplicativeInverse(Mod); in BinomialCoefficient()1022 MultiplyFactor = MultiplyFactor.trunc(W); in BinomialCoefficient()1039 return SE.getMulExpr(SE.getConstant(MultiplyFactor), in BinomialCoefficient()