1 #include "encodinggraph.h"
11 #include "elementencoding.h"
13 EncodingGraph::EncodingGraph(CSolver * _solver) :
17 int sortEncodingEdge(const void * p1, const void *p2) {
18 const EncodingEdge * e1 = * (const EncodingEdge **) p1;
19 const EncodingEdge * e2 = * (const EncodingEdge **) p2;
20 uint64_t v1 = e1->getValue();
21 uint64_t v2 = e2->getValue();
30 void EncodingGraph::buildGraph() {
31 ElementIterator it(solver);
33 Element * e = it.next();
45 bsdqsort(edgeVector.expose(), edgeVector.getSize(), sizeof(EncodingEdge *), sortEncodingEdge);
49 void EncodingGraph::encode() {
50 SetIteratorEncodingSubGraph * itesg=subgraphs.iterator();
51 while(itesg->hasNext()) {
52 EncodingSubGraph *sg=itesg->next();
57 ElementIterator it(solver);
59 Element * e = it.next();
62 case ELEMFUNCRETURN: {
63 ElementEncoding *encoding=e->getElementEncoding();
64 if (encoding->getElementEncodingType() == ELEM_UNASSIGNED) {
65 EncodingNode *n = getNode(e);
68 ElementEncodingType encodetype=n->getEncoding();
69 encoding->setElementEncodingType(encodetype);
70 if (encodetype == UNARY || encodetype == ONEHOT) {
71 encoding->encodingArrayInitialization();
72 } else if (encodetype == BINARYINDEX) {
73 EncodingSubGraph * subgraph = graphMap.get(n);
76 uint encodingSize = subgraph->getEncodingSize(n);
77 uint paddedSize = encoding->getSizeEncodingArray(encodingSize);
78 encoding->allocInUseArrayElement(paddedSize);
79 encoding->allocEncodingArrayElement(paddedSize);
80 Set * s=e->getRange();
81 for(uint i=0;i<s->getSize();i++) {
82 uint64_t value=s->getElement(i);
83 uint encodingIndex=subgraph->getEncoding(n, value);
84 encoding->setInUseElement(encodingIndex);
85 encoding->encodingArray[encodingIndex] = value;
98 void EncodingGraph::encodeParent(Element *e) {
99 uint size=e->parents.getSize();
100 for(uint i=0;i<size;i++) {
101 ASTNode * n = e->parents.get(i);
102 if (n->type==PREDICATEOP) {
103 BooleanPredicate *b=(BooleanPredicate *)n;
104 FunctionEncoding *fenc=b->getFunctionEncoding();
105 if (fenc->getFunctionEncodingType() != FUNC_UNASSIGNED)
107 Predicate *p=b->getPredicate();
108 if (p->type==OPERATORPRED) {
109 PredicateOperator *po=(PredicateOperator *)p;
110 ASSERT(b->inputs.getSize()==2);
111 EncodingNode *left=createNode(b->inputs.get(0));
112 EncodingNode *right=createNode(b->inputs.get(1));
113 if (left == NULL || right == NULL)
115 EncodingEdge *edge=getEdge(left, right, NULL);
116 if (edge != NULL && edge->getEncoding() == EDGE_MATCH) {
117 fenc->setFunctionEncodingType(CIRCUIT);
124 void EncodingGraph::mergeNodes(EncodingNode *first, EncodingNode *second) {
125 EncodingSubGraph *graph1=graphMap.get(first);
126 EncodingSubGraph *graph2=graphMap.get(second);
127 if (graph1 == NULL && graph2 == NULL) {
128 graph1 = new EncodingSubGraph();
129 subgraphs.add(graph1);
130 graphMap.put(first, graph1);
131 graph1->addNode(first);
133 if (graph1 == NULL && graph2 != NULL) {
136 EncodingNode *tmp = second;
140 if (graph1 != NULL && graph2 != NULL) {
141 SetIteratorEncodingNode * nodeit=graph2->nodeIterator();
142 while(nodeit->hasNext()) {
143 EncodingNode *node=nodeit->next();
144 graph1->addNode(node);
145 graphMap.put(node, graph1);
147 subgraphs.remove(graph2);
151 ASSERT(graph1 != NULL && graph2 == NULL);
152 graph1->addNode(second);
153 graphMap.put(second, graph1);
157 void EncodingGraph::processElement(Element *e) {
158 uint size=e->parents.getSize();
159 for(uint i=0;i<size;i++) {
160 ASTNode * n = e->parents.get(i);
163 processPredicate((BooleanPredicate *)n);
166 processFunction((ElementFunction *)n);
174 void EncodingGraph::processFunction(ElementFunction *ef) {
175 Function *f=ef->getFunction();
176 if (f->type==OPERATORFUNC) {
177 FunctionOperator *fo=(FunctionOperator*)f;
178 ASSERT(ef->inputs.getSize() == 2);
179 EncodingNode *left=createNode(ef->inputs.get(0));
180 EncodingNode *right=createNode(ef->inputs.get(1));
181 if (left == NULL && right == NULL)
183 EncodingNode *dst=createNode(ef);
184 EncodingEdge *edge=createEdge(left, right, dst);
189 void EncodingGraph::processPredicate(BooleanPredicate *b) {
190 Predicate *p=b->getPredicate();
191 if (p->type==OPERATORPRED) {
192 PredicateOperator *po=(PredicateOperator *)p;
193 ASSERT(b->inputs.getSize()==2);
194 EncodingNode *left=createNode(b->inputs.get(0));
195 EncodingNode *right=createNode(b->inputs.get(1));
196 if (left == NULL || right == NULL)
198 EncodingEdge *edge=createEdge(left, right, NULL);
199 CompOp op=po->getOp();
208 edge->numComparisons++;
216 uint convertSize(uint cost) {
217 cost = 1.2 * cost; // fudge factor
218 return NEXTPOW2(cost);
221 void EncodingGraph::decideEdges() {
222 uint size=edgeVector.getSize();
223 for(uint i=0; i<size; i++) {
224 EncodingEdge *ee = edgeVector.get(i);
225 EncodingNode *left = ee->left;
226 EncodingNode *right = ee->right;
228 if (ee->encoding != EDGE_UNASSIGNED ||
229 left->encoding != BINARYINDEX ||
230 right->encoding != BINARYINDEX)
233 uint64_t eeValue = ee->getValue();
237 EncodingSubGraph *leftGraph = graphMap.get(left);
238 EncodingSubGraph *rightGraph = graphMap.get(right);
239 if (leftGraph == NULL && rightGraph !=NULL) {
240 EncodingNode *tmp = left; left=right; right=tmp;
241 EncodingSubGraph *tmpsg = leftGraph; leftGraph = rightGraph; rightGraph = tmpsg;
244 uint leftSize=0, rightSize=0, newSize=0;
245 uint64_t totalCost=0;
246 if (leftGraph == NULL && rightGraph == NULL) {
247 leftSize=convertSize(left->getSize());
248 rightSize=convertSize(right->getSize());
249 newSize=convertSize(left->s->getUnionSize(right->s));
250 newSize=(leftSize > newSize) ? leftSize: newSize;
251 newSize=(rightSize > newSize) ? rightSize: newSize;
252 totalCost = (newSize - leftSize) * left->elements.getSize() +
253 (newSize - rightSize) * right->elements.getSize();
254 } else if (leftGraph != NULL && rightGraph == NULL) {
255 leftSize=convertSize(leftGraph->encodingSize);
256 rightSize=convertSize(right->getSize());
257 newSize=convertSize(leftGraph->estimateNewSize(right));
258 newSize=(leftSize > newSize) ? leftSize: newSize;
259 newSize=(rightSize > newSize) ? rightSize: newSize;
260 totalCost = (newSize - leftSize) * leftGraph->numElements +
261 (newSize - rightSize) * right->elements.getSize();
264 leftSize=convertSize(leftGraph->encodingSize);
265 rightSize=convertSize(rightGraph->encodingSize);
266 newSize=convertSize(leftGraph->estimateNewSize(rightGraph));
267 newSize=(leftSize > newSize) ? leftSize: newSize;
268 newSize=(rightSize > newSize) ? rightSize: newSize;
269 totalCost = (newSize - leftSize) * leftGraph->numElements +
270 (newSize - rightSize) * rightGraph->numElements;
272 double conversionfactor = 0.5;
273 if ((totalCost * conversionfactor) < eeValue) {
275 mergeNodes(left, right);
280 static TunableDesc EdgeEncodingDesc(EDGE_UNASSIGNED, EDGE_MATCH, EDGE_UNASSIGNED);
282 EncodingEdge * EncodingGraph::getEdge(EncodingNode *left, EncodingNode *right, EncodingNode *dst) {
283 EncodingEdge e(left, right, dst);
284 EncodingEdge *result = edgeMap.get(&e);
288 EncodingEdge * EncodingGraph::createEdge(EncodingNode *left, EncodingNode *right, EncodingNode *dst) {
289 EncodingEdge e(left, right, dst);
290 EncodingEdge *result = edgeMap.get(&e);
291 if (result == NULL) {
292 result=new EncodingEdge(left, right, dst);
293 VarType v1=left->getType();
294 VarType v2=right->getType();
301 if ((left != NULL && left->encoding==BINARYINDEX) &&
302 (right != NULL) && right->encoding==BINARYINDEX) {
303 EdgeEncodingType type=(EdgeEncodingType)solver->getTuner()->getVarTunable(v1, v2, EDGEENCODING, &EdgeEncodingDesc);
304 result->setEncoding(type);
305 if (type == EDGE_MATCH) {
306 mergeNodes(left, right);
309 edgeMap.put(result, result);
310 edgeVector.push(result);
312 left->edges.add(result);
314 right->edges.add(result);
316 dst->edges.add(result);
321 EncodingNode::EncodingNode(Set *_s) :
325 uint EncodingNode::getSize() const {
329 VarType EncodingNode::getType() const {
333 static TunableDesc NodeEncodingDesc(ELEM_UNASSIGNED, BINARYINDEX, ELEM_UNASSIGNED);
335 EncodingNode * EncodingGraph::createNode(Element *e) {
336 if (e->type == ELEMCONST)
338 Set *s = e->getRange();
339 EncodingNode *n = encodingMap.get(s);
341 n = new EncodingNode(s);
342 n->setEncoding((ElementEncodingType)solver->getTuner()->getVarTunable(n->getType(), NODEENCODING, &NodeEncodingDesc));
343 encodingMap.put(s, n);
349 EncodingNode * EncodingGraph::getNode(Element *e) {
350 if (e->type == ELEMCONST)
352 Set *s = e->getRange();
353 EncodingNode *n = encodingMap.get(s);
357 void EncodingNode::addElement(Element *e) {
361 EncodingEdge::EncodingEdge(EncodingNode *_l, EncodingNode *_r) :
365 encoding(EDGE_UNASSIGNED),
372 EncodingEdge::EncodingEdge(EncodingNode *_left, EncodingNode *_right, EncodingNode *_dst) :
376 encoding(EDGE_UNASSIGNED),
383 uint hashEncodingEdge(EncodingEdge *edge) {
384 uintptr_t hash=(((uintptr_t) edge->left) >> 2) ^ (((uintptr_t)edge->right) >> 4) ^ (((uintptr_t)edge->dst) >> 6);
388 bool equalsEncodingEdge(EncodingEdge *e1, EncodingEdge *e2) {
389 return e1->left == e2->left && e1->right == e2->right && e1->dst == e2->dst;
392 uint64_t EncodingEdge::getValue() const {
393 uint lSize = (left != NULL) ? left->getSize() : 1;
394 uint rSize = (right != NULL) ? right->getSize() : 1;
395 uint min = (lSize < rSize) ? lSize : rSize;
396 return numEquals * min + numComparisons * lSize * rSize;