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

Polybench marche

parent f28a4517
......@@ -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
......
......@@ -1006,7 +1006,9 @@ PPLDomain PPLDomain::onMerge(const PPLDomain &r, bool widen) const {
for (elm::genstruct::Vector<Ident>::Iterator it(r1._summary->_damaged); it; it++) {
bool found = false;
for (elm::genstruct::Vector<Ident>::Iterator it2(l1._summary->_damaged); it2; it2++) {
#ifdef POLY_DEBUG
cout << "compare " << (*it2) << " avec: " << (*it) << endl;
#endif
if (l1.getVar(*it2).id() == r1.getVar(*it).id()) {
found = true;
break;
......
......@@ -141,8 +141,20 @@ void PolyAnalysis::processBB(PPLManager *man, ai::CFGGraph &graph,
cout << s << endl;
#endif
} else { // no summarizing
processCFG(*subCFG, s, false, false);
cout << "Return from " << subCFG->name() << " to " << (*ana)->toSynth()->caller()->name() << endl;
if ((*ana)->toSynth()->callee()->name() == "gsignal" ||
(*ana)->toSynth()->callee()->name() == "__divsi3" ||
(*ana)->toSynth()->callee()->name() == "__aeabi_i2d" ||
(*ana)->toSynth()->callee()->name() == "__muldf3" ||
(*ana)->toSynth()->callee()->name() == "__divdf3" ||
(*ana)->toSynth()->callee()->name() == "__adddf3" ||
(*ana)->toSynth()->callee()->name() == "__fixdfsi" ||
(*ana)->toSynth()->callee()->name() == "__aeabi_dsub" ||
(*ana)->toSynth()->callee()->name() == "gsignal") {
cout << "[FIXME] Ignoring call to function: " << (*ana)->toSynth()->callee()->name() << endl;
} else {
processCFG(*subCFG, s, false, false);
cout << "Return from " << subCFG->name() << " to " << (*ana)->toSynth()->caller()->name() << endl;
}
}
for (ai::CFGGraph::Successor e(graph, *ana); e; e++) {
......
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