Lines Matching defs:ring

24                          Value input, RingAttr ring) {
29   Type resultType = PolynomialType::get(builder.getContext(), ring);
35   RingAttr ring = getOutput().getType().getRing();
36   IntPolynomialAttr polyMod = ring.getPolynomialModulus();
48              "the output type's ring attribute";
54   if (inputBitWidth > ring.getCoefficientType().getIntOrFloatBitWidth()) {
86            "the input type's ring attribute";
136 static LogicalResult verifyNTTOp(Operation *op, RingAttr ring,
142            << "expects a ring encoding to be provided to the tensor";
147            << "the provided tensor encoding is not a ring attribute";
150   if (encodedRing != ring) {
152            << "encoded ring type " << encodedRing
153            << " is not equivalent to the polynomial ring " << ring;
156   unsigned polyDegree = ring.getPolynomialModulus().getPolynomial().getDegree();
162                               << " does not match output type " << ring;
165                          "the polynomial type's ring attribute";
172     APInt cmod = ring.getCoefficientModulus().getValue();