improve docs

Author: j2kun

lib/Transforms/PolynomialApproximation/PolynomialApproximation.td

@@ -9,36 +9,58 @@ def PolynomialApproximation : Pass<"polynomial-approximation"> {
     This pass replaces certain operations that are incompatible
     with the FHE computational model with polynomial approximations.
 
-    The pass applies to all `math` dialect ops except:
-
-    - `absi`
-    - `ctlz`
-    - `ctpop`
-    - `cttz`
-    - `isfinite`
-    - `isinf`
-    - `isnan`
-    - `isnormal`
-    // TODO(#1487): support these ops when all but one operand is constant
-    - `atan2`
-    - `copysign`
-    - `fpowi`
-    - `ipowi`
-    - `powf`
-    - `fma`
-
-    These ops are replaced with `polynomial.eval` ops with a static
-    polynomial attribute.
+    The pass applies to the following ops in the `math` dialect:
+
+
+    - `absf`
+    - `acos`
+    - `acosh`
+    - `asin`
+    - `asinh`
+    - `atan`
+    - `atanh`
+    - `cbrt`
+    - `ceil`
+    - `cos`
+    - `cosh`
+    - `erf`
+    - `erfc`
+    - `exp`
+    - `exp2`
+    - `expm1`
+    - `floor`
+    - `log`
+    - `log10`
+    - `log1p`
+    - `log2`
+    - `round`
+    - `roundeven`
+    - `rsqrt`
+    - `sin`
+    - `sinh`
+    - `sqrt`
+    - `tan`
+    - `tanh`
+    - `trunc`
+
+    These ops are replaced with `polynomial.eval` ops with a static polynomial
+    attribute.
 
     Examples:
 
     ```mlir
-    %0 = math.exp %x {degree = 3 : i32, domain_lower = -1.0 : f64, domain_upper = 1.0 : f64} : f32
+    %0 = math.exp %x {
+          degree = 3 : i32,
+          domain_lower = -1.0 : f64,
+          domain_upper = 1.0 : f64
+      } : f32
     ```
 
     is converted to
 
     ```mlir
+    #ring_f64_ = #polynomial.ring<coefficientType = f64>
+    !poly = !polynomial.polynomial<ring = #ring_f64_>
     %0 = polynomial.eval
            #polynomial<typed_float_polynomial <
              0.99458116404270657