[mlir] Add std op for X raised to the power of Y

[tpopp]

Summary

Proposal:
https://llvm.discourse.group/t/rfc-standard-add-powop-to-std-dialect/2377

[tpopp]

Remove powi

[tpopp]

Add link to RFC and test case.

[herhut]

mlir/include/mlir/Dialect/StandardOps/IR/Ops.td

2432

I'd drop the reference to SSE

mlir/include/mlir/Dialect/StandardOps/IR/Ops.td

let description = [{
     // Tensor element-wise bitwise integer or.
     %x = or %y, %z : tensor<4x?xi8>
     ```
   }];
   let hasFolder = 1;
 }
 
 //===----------------------------------------------------------------------===//
+// PowFOp
+//===----------------------------------------------------------------------===//
+
+def PowFOp : FloatArithmeticOp<"powf"> {
+  let summary = "floating point raised to the power of operation";
+  let description = [{
+    Syntax:
+
+    ```
+    operation ::= ssa-id `=` `std.powf` ssa-use `,` ssa-use `:` type
+    ```
+
+    The `powf` operation takes two operands and returns one result, each of
+    these is required to be the same type. This type may be a floating point
+    scalar type, a vector whose element type is a floating point type, or a
+    floating point tensor.
+
+    Example:
+
+    ```mlir
+    // Scalar exponentiation.
+    %a = powf %b, %c : f64
+
+    // SIMD pointwise vector exponentiation, e.g. for Intel SSE.
+    %f = powf %g, %h : vector<4xf32>
+
+    // Tensor pointwise exponentiation.
+    %x = powf %y, %z : tensor<4x?xbf16>
+    ```
+  }];
+}
+
+//===----------------------------------------------------------------------===//
+// PowIOp
+//===----------------------------------------------------------------------===//
+
+def PowIOp : IntArithmeticOp<"powi"> {
+  let summary = "integer raised to the power of operation";
+  let description = [{
+    Syntax:
+
+    ```
+    operation ::= ssa-id `=` `std.powi` ssa-use `,` ssa-use `:` type
+    ```
+
+    The `powi` operation takes two operands and returns one result, each of
+    these is required to be the same type. This type may be an integer scalar
+    type, a vector whose element type is an integer type, or an integral tensor.
+
+    Example:
+
+    ```mlir
+    // Scalar exponentiation.
+    %a = powi %b, %c : f64
+
+    // SIMD pointwise vector exponentiation, e.g. for Intel SSE.
+    %f = powi %g, %h : vector<4xf32>
+
+    // Tensor pointwise exponentiation.
+    %x = powi %y, %z : tensor<4x?xbf16>
+    ```
+  }];
+}
+
+//===----------------------------------------------------------------------===//
 // PrefetchOp
 //===----------------------------------------------------------------------===//
 
 def PrefetchOp : Std_Op<"prefetch"> {
   let summary = "prefetch operation";
   let description = [{
     The "prefetch" op prefetches data from a memref location described with
     subscript indices similar to std.load, and with three attributes: a