maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[mlir][Math] Add constant folder for TanhOp. 

This patch adds constant folder for TanhOp which only supports single and double precision floating-point.

Differential Revision: https://reviews.llvm.org/D130960
This commit is contained in:
jacquesguan 2022-08-02 11:36:50 +08:00
parent 29f97ec845
commit 008ea1c201
3 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
mlir/include/mlir/Dialect/Math/IR/MathOps.td
View File

@ -677,6 +677,7 @@ def Math_TanhOp : Math_FloatUnaryOp<"tanh"> {
%a = math.tanh %b : f64
```
}];
let hasFolder = 1;
}
//===----------------------------------------------------------------------===//

18
mlir/lib/Dialect/Math/IR/MathOps.cpp
View File

@ -282,6 +282,24 @@ OpFoldResult math::TanOp::fold(ArrayRef<Attribute> operands) {
});
}
//===----------------------------------------------------------------------===//
// TanhOp folder
//===----------------------------------------------------------------------===//
OpFoldResult math::TanhOp::fold(ArrayRef<Attribute> operands) {
return constFoldUnaryOpConditional<FloatAttr>(
operands, [](const APFloat &a) -> Optional<APFloat> {
switch (a.getSizeInBits(a.getSemantics())) {
case 64:
return APFloat(tanh(a.convertToDouble()));
case 32:
return APFloat(tanhf(a.convertToFloat()));
default:
return {};
}
});
}
/// Materialize an integer or floating point constant.
Operation *math::MathDialect::materializeConstant(OpBuilder &builder,
Attribute value, Type type,

18
mlir/test/Dialect/Math/canonicalize.mlir
View File

@ -302,3 +302,21 @@ func.func @tan_fold_vec() -> (vector<4xf32>) {
return %0 : vector<4xf32>
}
// CHECK-LABEL: @tanh_fold
// CHECK-NEXT: %[[cst:.+]] = arith.constant 0.761594176 : f32
// CHECK-NEXT: return %[[cst]]
func.func @tanh_fold() -> f32 {
%c = arith.constant 1.0 : f32
%r = math.tanh %c : f32
return %r : f32
}
// CHECK-LABEL: @tanh_fold_vec
// CHECK-NEXT: %[[cst:.+]] = arith.constant dense<[0.000000e+00, 0.761594176, 0.000000e+00, 0.761594176]> : vector<4xf32>
// CHECK-NEXT: return %[[cst]]
func.func @tanh_fold_vec() -> (vector<4xf32>) {
%v1 = arith.constant dense<[0.0, 1.0, 0.0, 1.0]> : vector<4xf32>
%0 = math.tanh %v1 : vector<4xf32>
return %0 : vector<4xf32>
}