MLIR  19.0.0git
VectorPattern.h
Go to the documentation of this file.
1 //===- VectorPattern.h - Conversion pattern to the LLVM dialect -*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #ifndef MLIR_CONVERSION_LLVMCOMMON_VECTORPATTERN_H
10 #define MLIR_CONVERSION_LLVMCOMMON_VECTORPATTERN_H
11 
14 
15 namespace mlir {
16 
17 namespace LLVM {
18 namespace detail {
19 // Helper struct to "unroll" operations on n-D vectors in terms of operations on
20 // 1-D LLVM vectors.
22  // LLVM array struct which encodes n-D vectors.
24  // LLVM vector type which encodes the inner 1-D vector type.
26  // Multiplicity of llvmNDVectorTy to llvm1DVectorTy.
28 };
29 
30 // For >1-D vector types, extracts the necessary information to iterate over all
31 // 1-D subvectors in the underlying llrepresentation of the n-D vector
32 // Iterates on the llvm array type until we hit a non-array type (which is
33 // asserted to be an llvm vector type).
34 NDVectorTypeInfo extractNDVectorTypeInfo(VectorType vectorType,
35  const LLVMTypeConverter &converter);
36 
37 // Express `linearIndex` in terms of coordinates of `basis`.
38 // Returns the empty vector when linearIndex is out of the range [0, P] where
39 // P is the product of all the basis coordinates.
40 //
41 // Prerequisites:
42 // Basis is an array of nonnegative integers (signed type inherited from
43 // vector shape type).
45  unsigned linearIndex);
46 
47 // Iterate of linear index, convert to coords space and insert splatted 1-D
48 // vector in each position.
49 void nDVectorIterate(const NDVectorTypeInfo &info, OpBuilder &builder,
50  function_ref<void(ArrayRef<int64_t>)> fun);
51 
53  Operation *op, ValueRange operands, const LLVMTypeConverter &typeConverter,
54  std::function<Value(Type, ValueRange)> createOperand,
55  ConversionPatternRewriter &rewriter);
56 
57 LogicalResult vectorOneToOneRewrite(Operation *op, StringRef targetOp,
58  ValueRange operands,
59  ArrayRef<NamedAttribute> targetAttrs,
60  const LLVMTypeConverter &typeConverter,
61  ConversionPatternRewriter &rewriter);
62 } // namespace detail
63 } // namespace LLVM
64 
65 // Default attribute conversion class, which passes all source attributes
66 // through to the target op, unmodified.
67 template <typename SourceOp, typename TargetOp>
69 public:
70  AttrConvertPassThrough(SourceOp srcOp) : srcAttrs(srcOp->getAttrs()) {}
71 
72  ArrayRef<NamedAttribute> getAttrs() const { return srcAttrs; }
73 
74 private:
75  ArrayRef<NamedAttribute> srcAttrs;
76 };
77 
78 /// Basic lowering implementation to rewrite Ops with just one result to the
79 /// LLVM Dialect. This supports higher-dimensional vector types.
80 /// The AttrConvert template template parameter should be a template class
81 /// with SourceOp and TargetOp type parameters, a constructor that takes
82 /// a SourceOp instance, and a getAttrs() method that returns
83 /// ArrayRef<NamedAttribute>.
84 template <typename SourceOp, typename TargetOp,
85  template <typename, typename> typename AttrConvert =
86  AttrConvertPassThrough>
88 public:
91 
93  matchAndRewrite(SourceOp op, typename SourceOp::Adaptor adaptor,
94  ConversionPatternRewriter &rewriter) const override {
95  static_assert(
96  std::is_base_of<OpTrait::OneResult<SourceOp>, SourceOp>::value,
97  "expected single result op");
98  // Determine attributes for the target op
99  AttrConvert<SourceOp, TargetOp> attrConvert(op);
100 
102  op, TargetOp::getOperationName(), adaptor.getOperands(),
103  attrConvert.getAttrs(), *this->getTypeConverter(), rewriter);
104  }
105 };
106 } // namespace mlir
107 
108 #endif // MLIR_CONVERSION_LLVMCOMMON_VECTORPATTERN_H
AttrConvertPassThrough(SourceOp srcOp)
Definition: VectorPattern.h:70
ArrayRef< NamedAttribute > getAttrs() const
Definition: VectorPattern.h:72
This class implements a pattern rewriter for use with ConversionPatterns.
Utility class for operation conversions targeting the LLVM dialect that match exactly one source oper...
Definition: Pattern.h:139
Conversion from types to the LLVM IR dialect.
Definition: TypeConverter.h:34
This class helps build Operations.
Definition: Builders.h:209
This class provides return value APIs for ops that are known to have a single result.
Definition: OpDefinition.h:663
Operation is the basic unit of execution within MLIR.
Definition: Operation.h:88
Instances of the Type class are uniqued, have an immutable identifier and an optional mutable compone...
Definition: Types.h:74
This class provides an abstraction over the different types of ranges over Values.
Definition: ValueRange.h:381
This class represents an instance of an SSA value in the MLIR system, representing a computable value...
Definition: Value.h:96
Basic lowering implementation to rewrite Ops with just one result to the LLVM Dialect.
Definition: VectorPattern.h:87
LogicalResult matchAndRewrite(SourceOp op, typename SourceOp::Adaptor adaptor, ConversionPatternRewriter &rewriter) const override
Definition: VectorPattern.h:93
LogicalResult handleMultidimensionalVectors(Operation *op, ValueRange operands, const LLVMTypeConverter &typeConverter, std::function< Value(Type, ValueRange)> createOperand, ConversionPatternRewriter &rewriter)
LogicalResult vectorOneToOneRewrite(Operation *op, StringRef targetOp, ValueRange operands, ArrayRef< NamedAttribute > targetAttrs, const LLVMTypeConverter &typeConverter, ConversionPatternRewriter &rewriter)
void nDVectorIterate(const NDVectorTypeInfo &info, OpBuilder &builder, function_ref< void(ArrayRef< int64_t >)> fun)
NDVectorTypeInfo extractNDVectorTypeInfo(VectorType vectorType, const LLVMTypeConverter &converter)
SmallVector< int64_t, 4 > getCoordinates(ArrayRef< int64_t > basis, unsigned linearIndex)
Include the generated interface declarations.
SmallVector< int64_t, 4 > arraySizes
Definition: VectorPattern.h:27
This class represents an efficient way to signal success or failure.
Definition: LogicalResult.h:26