Lines Matching full:below

4 // expected-error@below {{polynomials must have one indeterminate, but there were multiple: x, y}}
9 // expected-error@below {{expected integer value}}
10 // expected-error@below {{expected a monomial}}
11 // expected-error@below {{found invalid integer exponent}}
18 // expected-error@below {{parsed polynomial must have unique exponents among monomials}}
23 // expected-error@below {{expected + and more monomials, or > to end polynomial attribute}}
29 // expected-error@below {{expected a monomial}}
37 // expected-error@below {{failed to parse Polynomial_RingAttr parameter 'coefficientModulus' which is to be a `::mlir::IntegerAttr`}}
38 // expected-error@below {{expected attribute value}}
43 // expected-error@below {{coefficientModulus specified but coefficientType is not integral}}
48 // expected-error@below {{coefficientModulus should not be 0}}
53 // expected-error@below {{coefficientModulus should be positive}}
58 // expected-error@below {{coefficientModulus needs bit width of 33 but coefficientType can only contain 32 bits}}
67 // expected-error@below {{coefficientModulus should be positive}}