MLIR  15.0.0git
Go to the documentation of this file.
1 //===- OpToFuncCallLowering.h - GPU ops lowering to custom calls *- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
14 #include "mlir/IR/Builders.h"
16 namespace mlir {
18 /// Rewriting that replace SourceOp with a CallOp to `f32Func` or `f64Func`
19 /// depending on the element type that Op operates upon. The function
20 /// declaration is added in case it was not added before.
21 ///
22 /// If the input values are of f16 type, the value is first casted to f32, the
23 /// function called and then the result casted back.
24 ///
25 /// Example with NVVM:
26 /// %exp_f32 = math.exp %arg_f32 : f32
27 ///
28 /// will be transformed into
29 /// @__nv_expf(%arg_f32) : (f32) -> f32
30 template <typename SourceOp>
31 struct OpToFuncCallLowering : public ConvertOpToLLVMPattern<SourceOp> {
32 public:
33  explicit OpToFuncCallLowering(LLVMTypeConverter &lowering, StringRef f32Func,
34  StringRef f64Func)
35  : ConvertOpToLLVMPattern<SourceOp>(lowering), f32Func(f32Func),
36  f64Func(f64Func) {}
39  matchAndRewrite(SourceOp op, typename SourceOp::Adaptor adaptor,
40  ConversionPatternRewriter &rewriter) const override {
41  using LLVM::LLVMFuncOp;
43  static_assert(
44  std::is_base_of<OpTrait::OneResult<SourceOp>, SourceOp>::value,
45  "expected single result op");
47  static_assert(std::is_base_of<OpTrait::SameOperandsAndResultType<SourceOp>,
48  SourceOp>::value,
49  "expected op with same operand and result types");
51  SmallVector<Value, 1> castedOperands;
52  for (Value operand : adaptor.getOperands())
53  castedOperands.push_back(maybeCast(operand, rewriter));
55  Type resultType = castedOperands.front().getType();
56  Type funcType = getFunctionType(resultType, castedOperands);
57  StringRef funcName = getFunctionName(
59  if (funcName.empty())
60  return failure();
62  LLVMFuncOp funcOp = appendOrGetFuncOp(funcName, funcType, op);
63  auto callOp = rewriter.create<LLVM::CallOp>(
64  op->getLoc(), resultType, SymbolRefAttr::get(funcOp), castedOperands);
66  if (resultType == adaptor.getOperands().front().getType()) {
67  rewriter.replaceOp(op, {callOp.getResult(0)});
68  return success();
69  }
71  Value truncated = rewriter.create<LLVM::FPTruncOp>(
72  op->getLoc(), adaptor.getOperands().front().getType(),
73  callOp.getResult(0));
74  rewriter.replaceOp(op, {truncated});
75  return success();
76  }
78 private:
79  Value maybeCast(Value operand, PatternRewriter &rewriter) const {
80  Type type = operand.getType();
81  if (!type.isa<Float16Type>())
82  return operand;
84  return rewriter.create<LLVM::FPExtOp>(
85  operand.getLoc(), Float32Type::get(rewriter.getContext()), operand);
86  }
88  Type getFunctionType(Type resultType, ValueRange operands) const {
89  SmallVector<Type> operandTypes(operands.getTypes());
90  return LLVM::LLVMFunctionType::get(resultType, operandTypes);
91  }
93  StringRef getFunctionName(Type type) const {
94  if (type.isa<Float32Type>())
95  return f32Func;
96  if (type.isa<Float64Type>())
97  return f64Func;
98  return "";
99  }
101  LLVM::LLVMFuncOp appendOrGetFuncOp(StringRef funcName, Type funcType,
102  Operation *op) const {
103  using LLVM::LLVMFuncOp;
105  auto funcAttr = StringAttr::get(op->getContext(), funcName);
106  Operation *funcOp = SymbolTable::lookupNearestSymbolFrom(op, funcAttr);
107  if (funcOp)
108  return cast<LLVMFuncOp>(*funcOp);
110  mlir::OpBuilder b(op->getParentOfType<LLVMFuncOp>());
111  return b.create<LLVMFuncOp>(op->getLoc(), funcName, funcType);
112  }
114  const std::string f32Func;
115  const std::string f64Func;
116 };
118 } // namespace mlir
TODO: Remove this file when SCCP and integer range analysis have been ported to the new framework...
Utility class for operation conversions targeting the LLVM dialect that match exactly one source oper...
Definition: Pattern.h:132
MLIRContext * getContext() const
Definition: Builders.h:54
OpToFuncCallLowering(LLVMTypeConverter &lowering, StringRef f32Func, StringRef f64Func)
A special type of RewriterBase that coordinates the application of a rewrite pattern on the current I...
Definition: PatternMatch.h:600
Operation is a basic unit of execution within MLIR.
Definition: Operation.h:28
This class provides return value APIs for ops that are known to have a single result.
Definition: OpDefinition.h:598
LLVM dialect function type.
Definition: LLVMTypes.h:128
static LLVMFunctionType get(Type result, ArrayRef< Type > arguments, bool isVarArg=false)
Gets or creates an instance of LLVM dialect function in the same context as the result type...
Definition: LLVMTypes.cpp:107
OpTy getParentOfType()
Return the closest surrounding parent operation that is of type &#39;OpTy&#39;.
Definition: Operation.h:176
void replaceOp(Operation *op, ValueRange newValues) override
PatternRewriter hook for replacing the results of an operation.
static constexpr const bool value
MLIRContext * getContext()
Return the context this operation is associated with.
Definition: Operation.h:154
LogicalResult success(bool isSuccess=true)
Utility function to generate a LogicalResult.
Definition: LogicalResult.h:56
Operation * create(const OperationState &state)
Creates an operation given the fields represented as an OperationState.
Definition: Builders.cpp:380
This class represents an efficient way to signal success or failure.
Definition: LogicalResult.h:26
LogicalResult failure(bool isFailure=true)
Utility function to generate a LogicalResult.
Definition: LogicalResult.h:62
This class provides verification for ops that are known to have the same operand and result type...
Location getLoc()
The source location the operation was defined or derived from.
Definition: Operation.h:161
Location getLoc() const
Return the location of this value.
Definition: Value.cpp:26
Instances of the Type class are uniqued, have an immutable identifier and an optional mutable compone...
Definition: Types.h:72
static Operation * lookupNearestSymbolFrom(Operation *from, StringAttr symbol)
Returns the operation registered with the given symbol name within the closest parent operation of...
This class represents an instance of an SSA value in the MLIR system, representing a computable value...
Definition: Value.h:85
Type getType() const
Return the type of this value.
Definition: Value.h:118
type_range getTypes() const
Conversion from types to the LLVM IR dialect.
Definition: TypeConverter.h:30
This class implements a pattern rewriter for use with ConversionPatterns.
Type getReturnType() const
Returns the result type of the function.
Definition: LLVMTypes.cpp:128
bool isa() const
Definition: Types.h:246
LogicalResult matchAndRewrite(SourceOp op, typename SourceOp::Adaptor adaptor, ConversionPatternRewriter &rewriter) const override
This class helps build Operations.
Definition: Builders.h:184
This class provides an abstraction over the different types of ranges over Values.
Rewriting that replace SourceOp with a CallOp to f32Func or f64Func depending on the element type tha...
U cast() const
Definition: Types.h:262