Lines Matching refs:polynomial

2 #ntt_poly = #polynomial.int_polynomial<-1 + x**8>
3 #ntt_ring = #polynomial.ring<coefficientType=i32, coefficientModulus=256, polynomialModulus=#ntt_poly>
4 #root = #polynomial.primitive_root<value=31:i32, degree=8:index>
5 !ntt_poly_ty = !polynomial.polynomial<ring=#ntt_ring>
11   // CHECK-NOT: polynomial.ntt
12   // CHECK-NOT: polynomial.intt
13   // CHECK: %[[RESULT:.+]] = polynomial.add %[[P]], %[[P]]  : [[T]]
14   %t0 = polynomial.ntt %p0 {root=#root} : !ntt_poly_ty -> !tensor_ty
15   %p1 = polynomial.intt %t0 {root=#root} : !tensor_ty -> !ntt_poly_ty
16   %p2 = polynomial.add %p1, %p1 : !ntt_poly_ty
24   // CHECK-NOT: polynomial.intt
25   // CHECK-NOT: polynomial.ntt
27   %p0 = polynomial.intt %t0 {root=#root} : !tensor_ty -> !ntt_poly_ty
28   %t1 = polynomial.ntt %p0 {root=#root} : !ntt_poly_ty -> !tensor_ty
34 #cycl_2048 = #polynomial.int_polynomial<1 + x**1024>
35 #ring = #polynomial.ring<coefficientType=i32, coefficientModulus=256:i32, polynomialModulus=#cycl_2048>
36 !sub_ty = !polynomial.polynomial<ring=#ring>
41   %0 = polynomial.sub %poly0, %poly1  : !sub_ty
43   // CHECK: %[[p1neg:.+]] = polynomial.mul_scalar %[[p1]], %[[minus_one]]
44   // CHECK: [[ADD:%.+]] = polynomial.add %[[p0]], %[[p1neg]]