X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTAnalyses%2FEncoding%2Fencodinggraph.cc;h=5416ed0e2d7778444bff22640de8f127dd6ef187;hp=abbaf29fbcf41745eb8f055ffac8ff5cdfb45f45;hb=3840b262ca90a6cbbb24a4073adb2318e62905a2;hpb=fb8c93b8273647234690b5f02f0ef818d17944c0

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
index abbaf29..5416ed0 100644
--- a/src/ASTAnalyses/Encoding/encodinggraph.cc
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -73,12 +73,15 @@ void EncodingGraph::encode() {
 					EncodingSubGraph *subgraph = graphMap.get(n);
 					if (subgraph == NULL)
 						continue;
-					uint encodingSize = subgraph->getEncodingSize(n);
+					uint encodingSize = subgraph->getEncodingMaxVal(n)+1;
 					uint paddedSize = encoding->getSizeEncodingArray(encodingSize);
+					model_print("encoding size=%u\n", encodingSize);
+					model_print("padded=%u\n", paddedSize);
 					encoding->allocInUseArrayElement(paddedSize);
 					encoding->allocEncodingArrayElement(paddedSize);
 					Set *s = e->getRange();
 					for (uint i = 0; i < s->getSize(); i++) {
+						model_print("index=%u\n", i);
 						uint64_t value = s->getElement(i);
 						uint encodingIndex = subgraph->getEncoding(n, value);
 						encoding->setInUseElement(encodingIndex);