Helpers.cpp
1.64 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
//===- Helpers.cpp - MLIR Declarative Helper Functionality ----------------===//
//
// Part of the MLIR Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "mlir/EDSC/Helpers.h"
#include "mlir/Dialect/StandardOps/Ops.h"
#include "mlir/IR/AffineExpr.h"
using namespace mlir;
using namespace mlir::edsc;
static SmallVector<ValueHandle, 8> getMemRefSizes(Value memRef) {
MemRefType memRefType = memRef.getType().cast<MemRefType>();
assert(isStrided(memRefType) && "Expected strided MemRef type");
SmallVector<ValueHandle, 8> res;
res.reserve(memRefType.getShape().size());
const auto &shape = memRefType.getShape();
for (unsigned idx = 0, n = shape.size(); idx < n; ++idx) {
if (shape[idx] == -1) {
res.push_back(ValueHandle::create<DimOp>(memRef, idx));
} else {
res.push_back(static_cast<index_type>(shape[idx]));
}
}
return res;
}
mlir::edsc::MemRefView::MemRefView(Value v) : base(v) {
assert(v.getType().isa<MemRefType>() && "MemRefType expected");
auto memrefSizeValues = getMemRefSizes(v);
for (auto &size : memrefSizeValues) {
lbs.push_back(static_cast<index_type>(0));
ubs.push_back(size);
steps.push_back(1);
}
}
mlir::edsc::VectorView::VectorView(Value v) : base(v) {
auto vectorType = v.getType().cast<VectorType>();
for (auto s : vectorType.getShape()) {
lbs.push_back(static_cast<index_type>(0));
ubs.push_back(static_cast<index_type>(s));
steps.push_back(1);
}
}