Commit d7a866c1 authored by Ballabriga Clément's avatar Ballabriga Clément
Browse files

nettoyage

parent 4b73cf11
......@@ -2,7 +2,7 @@ CXXFLAGS=`otawa-config otawa/oslice --cflags`
LIBS=`otawa-config otawa/oslice --libs`
LIBS+=-lppl
CXXFLAGS+=-fPIC -Wall -DUSE_CLANG_COMPLETER -std=c++11 -march=native -O0 -g
CXXFLAGS+=-fPIC -Wall -DUSE_CLANG_COMPLETER -std=c++11 -march=native -O3
all: poly.so
......
......@@ -11,7 +11,7 @@
#include "MyHTable.h"
#define POLY_DEBUG 1
// #define POLY_DEBUG 1
namespace otawa {
namespace poly {
......
......@@ -162,6 +162,7 @@ void PolyAnalysis::processBB(PPLManager *man, ai::CFGGraph &graph, MyHTable<int,
cout << "Finished creating summary of " << subCFG->name() << ", returning to " << (*ana)->toSynth()->caller()->name() << endl;
SUMMARY(subCFG) = new PPLDomain(sum);
MAX_LINEAR(subCFG) = sublb;
#ifdef POLY_DEBUG
cout << "summary = " << endl;
cout << sum << endl;
cout << "parametric bounds = " << endl;
......@@ -169,7 +170,6 @@ void PolyAnalysis::processBB(PPLManager *man, ai::CFGGraph &graph, MyHTable<int,
cout << (*it).fst << " --> " << (*it).snd << endl;
}
cout << endl;
#ifdef POLY_DEBUG
#endif
} else {
cout << "Reusing to reusing existing summary." << endl;
......@@ -202,9 +202,9 @@ void PolyAnalysis::processBB(PPLManager *man, ai::CFGGraph &graph, MyHTable<int,
}
s = tmp;
#ifdef POLY_DEBUG
cout << "Composed state = " << endl;
cout << s << endl;
#ifdef POLY_DEBUG
#endif
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment