Home
last modified time | relevance | path

Searched refs:ranked (Results 1 – 25 of 41) sorted by relevance

12

/llvm-project-15.0.7/mlir/include/mlir/Interfaces/
H A DInferTypeOpInterface.h109 : elementType(elementType), attr(nullptr), ranked(false) {} in ShapedTypeComponents()
111 ranked = shapedType.hasRank(); in ShapedTypeComponents()
113 if (ranked) in ShapedTypeComponents()
117 ranked = adaptor.hasRank(); in ShapedTypeComponents()
119 if (ranked) in ShapedTypeComponents()
127 ranked(true) {} in dims()
131 ranked(true) {}
136 assert(ranked && "requires ranked shape"); in getDims()
141 bool hasRank() const { return ranked; }; in hasRank()
155 bool ranked{false};
H A DVectorInterfaces.td86 /*desc=*/"Return the memref or ranked tensor operand.",
H A DInferTypeOpInterface.td206 the result is a ranked shape type, i.e. `RankedTensorType` or
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DBuiltinTypeInterfaces.td29 memref type indicating that this type can be used as element of ranked or
56 If the number of dimensions is known, the shape "ranked". The sizes of the
76 Returns if this type is ranked, i.e. it has a known number of dimensions.
81 Returns the shape of this type if it is ranked, otherwise asserts.
135 /// If this is a ranked type, return the rank. Otherwise, abort.
147 /// Returns true if this dimension has a dynamic size (for ranked types);
154 /// Returns if this type has a static shape, i.e. if the type is ranked and
167 /// If this is a ranked type, return the number of dimensions with dynamic
173 /// If this is ranked type, return the size of the specified dimension.
H A DBuiltinTypes.td281 memref-type ::= `memref` `<` dimension-list-ranked type
320 possible path is to cast into a static ranked type based on the dynamic
335 to a ranked memref as a prerequisite to codegen.
1015 /// Returns if this type is ranked (always true).
/llvm-project-15.0.7/mlir/test/Dialect/Tosa/
H A Dinvalid.mlir14 …// expected-error@+1 {{expect a ranked tensor for input, got <block argument> of type 'tensor<*xi8…
23 …// expected-error@+1 {{expect a ranked tensor for weight, got <block argument> of type 'tensor<*xi…
/llvm-project-15.0.7/mlir/test/mlir-cpu-runner/
H A Dunranked-memref.mlir112 %ranked = memref.alloca() : memref<4x3xf32>
113 %unranked = memref.cast %ranked: memref<4x3xf32> to memref<*xf32>
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Tosa/IR/
H A DTosaTypesBase.td104 // Either ranked or unranked tensor of TOSA supported element types.
106 // Must be ranked but no further constraints
/llvm-project-15.0.7/flang/runtime/
H A Dderived.cpp98 if (const auto *ranked{derived.FindSpecialBinding( in FindFinal() local
100 return ranked; in FindFinal()
/llvm-project-15.0.7/mlir/docs/
H A DTargetLLVMIR.md154 2. a type-erased pointer (`!llvm.ptr<i8>`) to a ranked memref descriptor with
158 library functions. The pointer to the ranked memref descriptor points to some
179 - the structs corresponding to `memref` types, both ranked and unranked,
235 // For nD ranked memref descriptors:
353 [defined above](TargetLLVMIR.md#ranked-memref-types) before unbundling them into
429 type-erased (`!llvm<"i8*">`) pointer to the ranked memref descriptor. Note that
432 the ranked memref, which must be stored in some memory instead. The caller is in
481 some memory in which the ranked memref descriptor is stored. By convention, this
485 be returned from a function, the ranked descriptor it points to is copied into
489 default conversion of `func.call` and `func.call_indirect` copies the ranked
[all …]
/llvm-project-15.0.7/mlir/test/Dialect/
H A Dtraits.mlir121 // Unranked operands but ranked result
130 // Unranked operand and compatible ranked result
/llvm-project-15.0.7/mlir/include/mlir/Dialect/MemRef/Transforms/
H A DPasses.td148 Pass<"resolve-ranked-shaped-type-result-dims"> {
149 let summary = "Resolve memref.dim of result values of ranked shape type";
/llvm-project-15.0.7/mlir/lib/Interfaces/
H A DInferTypeOpInterface.cpp64 res.ranked = true; in getDims()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/SparseTensor/IR/
H A DSparseTensorAttrDefs.td108 : RankedTensorOf<allowedTypes, [IsSparseTensorPred], "ranked sparse tensor">;
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Tensor/IR/
H A DTensorOps.td54 with the same element type. If both are ranked, then the rank should be the
670 a. Source type is ranked or unranked. Shape argument has static size.
671 Result type is ranked.
684 b. Source type is ranked or unranked. Shape argument has dynamic size.
772 The operand tensor type of a reshape can be zero-ranked if the result
821 The result tensor type of a reshape can be zero-ranked if the operand
/llvm-project-15.0.7/mlir/include/mlir/Dialect/MemRef/IR/
H A DMemRefOps.td324 a. Both are ranked memref types with the same element type, address space,
997 Modify offset, sizes and strides of an unranked/ranked memref.
1001 memref.reinterpret_cast %ranked to
1055 // The result of the op is always a ranked memref.
1117 a. Source type is ranked or unranked. Shape argument has static size.
1118 Result type is ranked.
1131 b. Source type is ranked or unranked. Shape argument has dynamic size.
1237 The source memref can be zero-ranked. In that case, the reassociation
1302 The result memref type can be zero-ranked if the source memref type is
/llvm-project-15.0.7/mlir/lib/Dialect/Shape/IR/
H A DShape.cpp44 auto ranked = type.dyn_cast<RankedTensorType>(); in isExtentTensorType() local
45 return ranked && ranked.getRank() == 1 && ranked.getElementType().isIndex(); in isExtentTensorType()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Shape/IR/
H A DShapeBase.td53 `shape.shape` represents either an unranked shape, a ranked shape with
/llvm-project-15.0.7/mlir/test/mlir-tblgen/
H A Dtypes.mlir207 // expected-error @+1 {{must be ranked tensor of any type values}}
215 // expected-error @+1 {{must be ranked tensor of any type values}}
/llvm-project-15.0.7/mlir/docs/Dialects/Linalg/
H A DOpDSL.md302 arbitrary ranked operands - all of them need to have the same rank - with a
318 `fill` with arbitrary ranked output tensors:
/llvm-project-15.0.7/mlir/docs/Tutorials/Toy/
H A DCh-4.md232 must both be tensor types with the same element type. If both are ranked,
260 // The shape is required to match if both types are ranked.
/llvm-project-15.0.7/mlir/test/IR/
H A Dinvalid-builtin-attributes.mlir4 …"foo"(){bar = dense<[4]> : i32} : () -> () // expected-error {{elements literal must be a ranked t…
/llvm-project-15.0.7/mlir/examples/toy/Ch4/include/toy/
H A DOps.td129 both be tensor types with the same element type. If both are ranked, then
/llvm-project-15.0.7/mlir/examples/toy/Ch6/include/toy/
H A DOps.td129 both be tensor types with the same element type. If both are ranked, then
/llvm-project-15.0.7/mlir/examples/toy/Ch5/include/toy/
H A DOps.td129 both be tensor types with the same element type. If both are ranked, then

12