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
53
54
55
56
57
58
59
60
61
62
63
64
|
//===- MapRef.cpp - A dim2lvl/lvl2dim map reference wrapper ---------------===//
//
// Part of the LLVM 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/ExecutionEngine/SparseTensor/MapRef.h"
#include "mlir/Dialect/SparseTensor/IR/Enums.h"
mlir::sparse_tensor::MapRef::MapRef(uint64_t d, uint64_t l, const uint64_t *d2l,
const uint64_t *l2d)
: dimRank(d), lvlRank(l), dim2lvl(d2l), lvl2dim(l2d),
isPermutation(isPermutationMap()) {
if (isPermutation) {
for (uint64_t l = 0; l < lvlRank; l++)
assert(lvl2dim[dim2lvl[l]] == l);
}
}
bool mlir::sparse_tensor::MapRef::isPermutationMap() const {
if (dimRank != lvlRank)
return false;
std::vector<bool> seen(dimRank, false);
for (uint64_t l = 0; l < lvlRank; l++) {
const uint64_t d = dim2lvl[l];
if (d >= dimRank || seen[d])
return false;
seen[d] = true;
}
return true;
}
bool mlir::sparse_tensor::MapRef::isFloor(uint64_t l, uint64_t &i,
uint64_t &c) const {
if (isEncodedFloor(dim2lvl[l])) {
i = decodeIndex(dim2lvl[l]);
c = decodeConst(dim2lvl[l]);
return true;
}
return false;
}
bool mlir::sparse_tensor::MapRef::isMod(uint64_t l, uint64_t &i,
uint64_t &c) const {
if (isEncodedMod(dim2lvl[l])) {
i = decodeIndex(dim2lvl[l]);
c = decodeConst(dim2lvl[l]);
return true;
}
return false;
}
bool mlir::sparse_tensor::MapRef::isMul(uint64_t d, uint64_t &i, uint64_t &c,
uint64_t &ii) const {
if (isEncodedMul(lvl2dim[d])) {
i = decodeIndex(lvl2dim[d]);
c = decodeMulc(lvl2dim[d]);
ii = decodeMuli(lvl2dim[d]);
return true;
}
return false;
}
|
