DeclareOpInterfaceMethods<VectorUnrollOpInterface>] #
ElementwiseMappable.traits>;
+// Base class for unary math operations on integer types. Require a operand and
+// result of the same type. This type can be an integer type, or vector or tensor
+// thereof.
+class Math_IntegerUnaryOp<string mnemonic, list<OpTrait> traits = []> :
+ Math_Op<mnemonic, traits # [SameOperandsAndResultType]> {
+ let arguments = (ins SignlessIntegerLike:$operand);
+ let results = (outs SignlessIntegerLike:$result);
+
+ let assemblyFormat = "$operand attr-dict `:` type($result)";
+}
+
// Base class for unary math operations on floating point types. Require a
// operand and result of the same type. This type can be a floating point type,
// or vector or tensor thereof.
}
//===----------------------------------------------------------------------===//
+// CtPopOp
+//===----------------------------------------------------------------------===//
+
+def Math_CtPopOp : Math_IntegerUnaryOp<"ctpop"> {
+ let summary = "counts the number of set bits of an integer value";
+ let description = [{
+ The `ctpop` operation computes the number of set bits of an integer value.
+
+ Example:
+
+ ```mlir
+ // Scalar ctpop function value.
+ %a = math.ctpop %b : i32
+
+ // SIMD vector element-wise ctpop function value.
+ %f = math.ctpop %g : vector<4xi16>
+
+ // Tensor element-wise ctpop function value.
+ %x = math.ctpop %y : tensor<4x?xi8>
+ ```
+ }];
+}
+
+//===----------------------------------------------------------------------===//
// ErfOp
//===----------------------------------------------------------------------===//
using CopySignOpLowering =
VectorConvertToLLVMPattern<math::CopySignOp, LLVM::CopySignOp>;
using CosOpLowering = VectorConvertToLLVMPattern<math::CosOp, LLVM::CosOp>;
+using CtPopFOpLowering =
+ VectorConvertToLLVMPattern<math::CtPopOp, LLVM::CtPopOp>;
using ExpOpLowering = VectorConvertToLLVMPattern<math::ExpOp, LLVM::ExpOp>;
using Exp2OpLowering = VectorConvertToLLVMPattern<math::Exp2Op, LLVM::Exp2Op>;
using FloorOpLowering =
CeilOpLowering,
CopySignOpLowering,
CosOpLowering,
+ CtPopFOpLowering,
ExpOpLowering,
Exp2OpLowering,
ExpM1OpLowering,
// -----
+// CHECK-LABEL: func @ctpop(
+// CHECK-SAME: i32
+func @ctpop(%arg0 : i32) {
+ // CHECK: "llvm.intr.ctpop"(%arg0) : (i32) -> i32
+ %0 = math.ctpop %arg0 : i32
+ std.return
+}
+
+// -----
+
+// CHECK-LABEL: func @ctpop_vector(
+// CHECK-SAME: vector<3xi32>
+func @ctpop_vector(%arg0 : vector<3xi32>) {
+ // CHECK: "llvm.intr.ctpop"(%arg0) : (vector<3xi32>) -> vector<3xi32>
+ %0 = math.ctpop %arg0 : vector<3xi32>
+ std.return
+}
+
+// -----
+
// CHECK-LABEL: func @rsqrt_double(
// CHECK-SAME: f64
func @rsqrt_double(%arg0 : f64) {