| /llvm-project-15.0.7/flang/lib/Evaluate/ |
| H A D | shape.cpp | 81 for (int dimension{0}; dimension < rank; ++dimension) { in CreateShape() local 433 CHECK(dimension >= 0); in GetExtent() 458 if (j++ == dimension) { in GetExtent() 537 if (dimension < rank) { in GetRawUpperBound() 545 GetRawLowerBound(base, dimension), GetExtent(base, dimension)); in GetRawUpperBound() 553 GetRawLowerBound(base, dimension), std::move(shape->at(dimension))); in GetRawUpperBound() 588 if (dimension < rank) { in GetUBOUND() 731 int dimension{0}; in operator ()() local 737 ++dimension; in operator ()() 753 int dimension{0}; in operator ()() local [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Linalg/Transforms/ |
| H A D | Split.cpp | 30 unsigned dimension, Value offset = nullptr) { in getOperandSlices() argument 40 if (!type || dimension >= indexing.getNumDims() || in getOperandSlices() 41 !indexing.isFunctionOfDim(dimension)) { in getOperandSlices() 57 offsets[dimension] = offset; in getOperandSlices() 81 unsigned dimension, OpFoldResult size, in createSplitPart() argument 84 splitIterationSpace[dimension] = materializeOpFoldResult(implicit, size); in createSplitPart() 90 dimension, offset); in createSplitPart() 101 if (dimension >= op.getNumLoops()) in splitOp() 115 OpFoldResult dimSize = getAsOpFoldResult(iterationSpaceShapes[dimension]); in splitOp() 127 splitIterationSpace, dimension, in splitOp() [all …]
|
| /llvm-project-15.0.7/flang/runtime/ |
| H A D | inquiry.cpp | 29 const Dimension &dimension{array.GetDimension(dim - 1)}; in RTNAME() local 30 return static_cast<std::int64_t>(dimension.LowerBound()); in RTNAME() 53 const Dimension &dimension{array.GetDimension(i)}; in RTNAME() local 54 storeIntegerAt(i, dimension.UpperBound()); in RTNAME() 62 const Dimension &dimension{array.GetDimension(i)}; in RTNAME() local 63 result *= dimension.Extent(); in RTNAME() 75 const Dimension &dimension{array.GetDimension(dim - 1)}; in RTNAME() local 76 return static_cast<std::int64_t>(dimension.Extent()); in RTNAME()
|
| /llvm-project-15.0.7/flang/include/flang/Evaluate/ |
| H A D | shape.h | 73 ExtentExpr GetRawLowerBound(const NamedEntity &, int dimension); 75 FoldingContext &, const NamedEntity &, int dimension); 76 MaybeExtentExpr GetLBOUND(const NamedEntity &, int dimension); 77 MaybeExtentExpr GetLBOUND(FoldingContext &, const NamedEntity &, int dimension); 78 MaybeExtentExpr GetRawUpperBound(const NamedEntity &, int dimension); 80 FoldingContext &, const NamedEntity &, int dimension); 81 MaybeExtentExpr GetUBOUND(const NamedEntity &, int dimension); 82 MaybeExtentExpr GetUBOUND(FoldingContext &, const NamedEntity &, int dimension); 92 MaybeExtentExpr GetExtent(const NamedEntity &, int dimension); 95 const Subscript &, const NamedEntity &, int dimension); [all …]
|
| /llvm-project-15.0.7/mlir/test/Dialect/SparseTensor/ |
| H A D | invalid_encoding.mlir | 9 …ensor<8xi32, #a>) -> () // expected-error {{expected an array of size 1 for dimension level types}} 13 …p<(i) -> (i)>}> // expected-error {{unexpected mismatch in ordering and dimension level types size… 18 …coding<{dimLevelType = [1]}> // expected-error {{expected a string value in dimension level types}} 23 #a = #sparse_tensor.encoding<{dimLevelType = ["strange"]}> // expected-error {{unexpected dimension… 28 …coding<{dimOrdering = "wrong"}> // expected-error {{expected an affine map for dimension ordering}} 33 …ap<(i,j) -> (i,i)>}> // expected-error {{expected a permutation affine map for dimension ordering}}
|
| /llvm-project-15.0.7/mlir/test/Transforms/ |
| H A D | memref-bound-check.mlir | 20 // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}} 21 // expected-error@-2 {{'affine.load' op memref out of lower bound access along dimension #1}} 22 // expected-error@-3 {{'affine.load' op memref out of upper bound access along dimension #2}} 23 // expected-error@-4 {{'affine.load' op memref out of lower bound access along dimension #2}} 52 // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}} 53 // expected-error@-2 {{'affine.load' op memref out of upper bound access along dimension #2}} 54 // expected-error@-3 {{'affine.load' op memref out of upper bound access along dimension #3}} 80 // accessed along first memref dimension would have come out as d0 <= 318 101 // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}} 102 // expected-error@-2 {{'affine.load' op memref out of upper bound access along dimension #2}} [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/SparseTensor/IR/ |
| H A D | SparseTensorAttrDefs.td | 52 // A dimension level type for each dimension of a tensor type. 53 // The choices are `dense` (dimension should be stored in its entirety), 58 "Per-dimension level type" 60 // A dimension order on the indices of this tensor type. 87 // Dense - dimension is dense, every entry is stored 88 // Compressed - dimension is sparse, only nonzeros are stored 89 // Singleton - dimension contains single coordinate, no siblings
|
| /llvm-project-15.0.7/mlir/python/mlir/dialects/ |
| H A D | _structured_transform_ops_ext.py | 119 dimension: Union[int, IntegerAttr], 129 dimension=_get_int64_attr(dimension), 183 dimension: Union[int, Attribute], 188 dimension = _get_int64_attr(dimension) 204 dimension=dimension,
|
| /llvm-project-15.0.7/mlir/lib/Dialect/GPU/Transforms/ |
| H A D | ParallelLoopMapper.cpp | 68 static Processor getHardwareIdForMapping(MappingLevel level, int dimension) { in getHardwareIdForMapping() argument 70 if (dimension >= kNumHardwareIds || level == Sequential) in getHardwareIdForMapping() 74 switch (dimension) { in getHardwareIdForMapping() 86 switch (dimension) { in getHardwareIdForMapping()
|
| /llvm-project-15.0.7/llvm/test/Transforms/ConstraintElimination/ |
| H A D | geps-pointers-to-structs.ll | 6 define i1 @test.ult.true.due.to.first.dimension(%struct.1* %start, i8* %high) { 7 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension( 38 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.0( 75 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.1( 112 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.2( 147 ; CHECK-LABEL: @test.ult.unknown.due.to.first.dimension( 178 ; CHECK-LABEL: @test.ult.true.due.to.second.dimension( 207 ; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension( 234 ; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension.var.index.0( 267 ; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension.var.index.1( [all …]
|
| /llvm-project-15.0.7/mlir/test/Dialect/Linalg/ |
| H A D | conv-interface-invalid.mlir | 102 // Convolution op illegal if a loop dimension is used to access 106 // expected-error @+1 {{unexpected loop dimension for convolution op}} 122 // Convolution op illegal if a loop dimension is used only in the output. 125 // expected-error @+1 {{unexpected loop dimension for convolution op}} 141 // Convolution op illegal if a loop dimension is used only in the filter. 144 // expected-error @+1 {{unexpected loop dimension for convolution op}} 160 // Convolution op illegal if a loop dimension is used only in the input. 163 // expected-error @+1 {{unexpected loop dimension for convolution op}} 179 // Convolution op illegal if a loop dimension accessing output is not parallel.
|
| H A D | transform-op-split.mlir | 9 %1:2 = transform.structured.split %0 after 42 { dimension = 0 } 108 transform.structured.split %0 after %1 { dimension = 0 } 157 %1:2 = transform.structured.split %0 after 4 { dimension = 0} 158 %2:2 = transform.structured.split %1#1 after 16 { dimension = 1 } 167 // Check the overall structure: split along the dimension 0, and then split 168 // the second half only along the dimension 1. 225 transform.structured.split %0 after %1 { dimension = 0 } 254 transform.structured.split %0 after %1 { dimension = 0 } 287 transform.structured.split %0 after 16 { dimension = 1 } 310 // expected-error @below {{dimension 1 does not exist in target op}} [all …]
|
| H A D | transform-op-multitile-sizes.mlir | 10 transform.structured.multitile_sizes %0 { target_size = 3, dimension = 0 } 37 transform.structured.multitile_sizes %0 { target_size = 3, divisor = 2, dimension = 0 } 51 // For matmul, the extent of the first iteration space dimension is equal to 52 // the size of the first dimension of the first tensor. The indexing map was
|
| H A D | multisize-tiling-full.mlir | 9 %1:3 = transform.structured.multitile_sizes %0 { dimension = 0, target_size = 3} 10 %t:3 = transform.structured.multitile_sizes %0 { dimension = 1, target_size = 10} 11 %2:2 = transform.structured.split %0 after %1#2 { dimension = 0 } 16 %6:2 = transform.structured.split %5 after %tt#2 { dimension = 1 }
|
| H A D | transform-op-scalarize.mlir | 6 // The op is first tiled by 10 in the first dimension, which creates a 7 // dynamic size, and then scalarized, which brings the dimension to static 1.
|
| /llvm-project-15.0.7/mlir/test/Dialect/ |
| H A D | traits.mlir | 22 // Check only one dimension has size 1 40 // Check leading unknown dimension 49 // Check unknown dimension in the middle 68 // Check incompatible operand types with known dimension 78 // Check incompatible result type with known dimension 88 // Check incompatible result type with known dimension
|
| /llvm-project-15.0.7/mlir/test/Dialect/Affine/ |
| H A D | load-store-invalid.mlir | 69 // expected-error@+1 {{op index must be a dimension or symbol identifier}} 82 // expected-error@+1 {{op index must be a dimension or symbol identifier}} 116 // expected-error@+1 {{op src index must be a dimension or symbol identifier}} 133 // expected-error@+1 {{op dst index must be a dimension or symbol identifier}} 150 // expected-error@+1 {{op tag index must be a dimension or symbol identifier}} 167 // expected-error@+1 {{op index must be a dimension or symbol identifier}}
|
| H A D | invalid.mlir | 31 // expected-error@+1 {{operand cannot be used as a dimension id}} 46 // expected-error@+1 {{operand cannot be used as a dimension id}} 58 // expected-error@-1 {{index must be a dimension or symbol identifier}} 100 // expected-error@+1 {{operand cannot be used as a dimension id}} 155 // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} 164 // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} 173 // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} 182 // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} 191 // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} 200 // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Linalg/TransformOps/ |
| H A D | LinalgTransformOps.td | 255 tiles for a statically known dimension. 267 { target_size = 10, dimension = 1 } 274 { target_size = 42, dimension = 0 } 276 structured.split %common after %splitr { dimension = 0 } 282 I64Attr:$dimension, 440 I64Attr:$dimension, 456 reduction into a parallel and reduction dimension. 463 which the new parallel dimension is inserted. 527 rewrites a reduction dimension `k` into `k * split_factor + kk`. 528 The dimension `kk` is added as an extra parallel dimension to the [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Linalg/IR/ |
| H A D | LinalgOps.td | 81 // the tensor at dimension `idx`. Asserts that the shape is 96 // Return the Value of the dynamic size of the tensor at dimension 155 enclosing linalg structured operation for the iteration dimension `dim`. The 156 `dim` attribute specifies the position of the accessed dimension in the 167 // Access the outer iteration dimension i 169 // Access the inner iteration dimension j
|
| /llvm-project-15.0.7/mlir/test/python/dialects/ |
| H A D | transform_structured_ext.py | 62 sequence.bodyTarget, dimension=1, target_size=42) 105 split = structured.SplitOp(sequence.bodyTarget, dimension=1, split_point=42) 107 split.results[0], dimension=3, split_point=split.results[1])
|
| /llvm-project-15.0.7/polly/test/ScopInfo/ |
| H A D | multidim_fold_constant_dim_zero.ll | 6 ; when trying to fold the constant dimension into outer dimension. 9 ; invalidated due to the zero size dimension.
|
| /llvm-project-15.0.7/flang/include/flang/Optimizer/Builder/ |
| H A D | Factory.h | 196 const auto dimension = seqTy.getDimension(); in originateIndices() local 198 assert(dimension == mlir::cast<fir::ShapeOp>(shapeVal.getDefiningOp()) in originateIndices() 203 if (i.index() < dimension) { in originateIndices() 213 const auto dimension = origins.size(); in originateIndices() local 216 if (i.index() < dimension) in originateIndices()
|
| /llvm-project-15.0.7/mlir/include/mlir/IR/ |
| H A D | BuiltinTypes.td | 281 memref-type ::= `memref` `<` dimension-list-ranked type 284 stride-list ::= `[` (dimension (`,` dimension)*)? `]` 285 strided-layout ::= `offset:` dimension `,` `strides: ` stride-list 402 // the third dimension. 404 // %N here binds to the size of the third dimension. 499 between successive entries along a particular dimension. A stride 512 the outer dimension is `64` elements. 646 dimension-list ::= (dimension `x`)* 647 dimension ::= `?` | decimal-literal 662 dimension from a value of tensor type. [all …]
|
| H A D | BuiltinTypeInterfaces.td | 58 size of the dimension is dynamic, or not statically known). 94 /// Whether the given dimension size indicates a dynamic dimension. 147 /// Returns true if this dimension has a dynamic size (for ranked types); 173 /// If this is ranked type, return the size of the specified dimension. 180 /// Returns the position of the dynamic dimension relative to just the dynamic
|