[Mlir-commits] [mlir] [mlir][math] Add constant folding for `math.fpowi` (PR #193761)

[Longsheng Mou]

================
@@ -36,13 +36,14 @@ class PoisonAttr;
 /// Uses `resultType` for the type of the returned attribute.
 /// Optional PoisonAttr template argument allows to specify 'poison' attribute
 /// which will be directly propagated to result.
-template <class AttrElementT, //
-          class ElementValueT = typename AttrElementT::ValueType,
+template <class LAttrElementT, class RAttrElementT = LAttrElementT,
+          class LElementValueT = typename LAttrElementT::ValueType,
+          class RElementValueT = typename RAttrElementT::ValueType,
           class PoisonAttr = ub::PoisonAttr,
-          class ResultAttrElementT = AttrElementT,
+          class ResultAttrElementT = LAttrElementT,
----------------
CoTinker wrote:

I support binary operations where the left and right operands have different attribute element types, for example, left is float and right is integer.

https://github.com/llvm/llvm-project/pull/193761