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
65
66
67
68
69
70
71
72
73
74
75
76
77
|
import json
from isl import *
class Scop:
def __init__(self, filename):
f = open(filename, "r")
self.json = json.load(f)
return
def __str__(self):
return json.dumps(self.json, indent=2)
def __repr__(self):
return str(self)
@property
def statements(self):
return self.json["statements"]
class Transforms:
"""
Create a map that interchanges two dimensions 'A' and 'B'
numberDimensions: The overall number of dimensions
dimensionA: The dimension of dimension 'A'
dimensionB: The dimension of dimension 'B'
getInterchange(2, 0, 1):
{[d0, d1] -> [d1, d0]}
"""
@staticmethod
def getInterchange(numberDimensions, dimensionA, dimensionB):
dims = ["d" + str(i) for i in range(numberDimensions)]
dimString = ",".join(dims)
changedDims = dims
first = dims[dimensionA]
second = dims[dimensionB]
changedDims[dimensionA] = second
changedDims[dimensionB] = first
changedDimString = ",".join(changedDims)
return Map("{[%s] -> [%s]}" % (dimString, changedDimString))
"""
Create a map that strip mines one dimension
numberDimensions: The overall number of dimensions
stripMineDim: The dimension to strip mine
factor: The strip mining factor
getStripMine(2, 1, 64):
{[d0, d1] -> [d0, o, d1] : o % 64 = 0 and o <= d1 <= d1 + 63}
"""
@staticmethod
def getStripMine(numberDimensions, stripMineDim, factor):
dims = ["d" + str(i) for i in range(numberDimensions)]
dimString = ",".join(dims)
changedDims = dims
smd = dims[stripMineDim]
changedDims[stripMineDim] = "o,%s" % smd
changedDimString = ",".join(changedDims)
string = "{[%s] -> [%s]: o %% %i = 0 and o <= %s <= o + %i}" % (
dimString,
changedDimString,
factor,
smd,
factor - 1,
)
return Map(string)
|
