Commit cdee1306 authored by Julien Balette-Pape's avatar Julien Balette-Pape

add inlining option

parent 123a4262
......@@ -38,7 +38,8 @@ public:
"\t\t 5. Age based + Definitely Unknown + ZDD\n"
"\t\t 6. Age based + Definitely Unknown + Sharing ZDD\n"
).argDescription("ANALYSIS")),
_cache_opt(option::ValueOption<string>::Make(*this).cmd("-c").cmd("--cache").description("select cache configuration file").argDescription("CACHE_CONFIG"))
_cache_opt(option::ValueOption<string>::Make(*this).cmd("-c").cmd("--cache").description("select cache configuration file").argDescription("CACHE_CONFIG")),
_inlining(option::Switch::Make(*this).cmd("-i").cmd("--inline").description("enable inlining"))
// ferdinand(option::Switch::Make(*this).cmd("--ferdinand").description("perform usual May/Must analysis")),
// model_checking(option::Switch::Make(*this).cmd("--model-checking").description("perform exact analysis using model checking")),
// zdd(option::Switch::Make(*this).cmd("--zdd").description("perform exact analysis using ZDDs"))
......@@ -106,6 +107,9 @@ protected:
throw otawa::Exception(_ << "unexpected positional arguments \"" << a << "\".");
}
// Enable Inlining
if(_inlining)
execProcessor(props, "otawa::Virtualizer");
// Perform May/Must analysis
if(_analysis >= AGE_BASED) {
......@@ -239,6 +243,7 @@ private:
List<Processor*> processor_list;
enum Analysis _analysis;
option::Switch _inlining;
// option::Switch ferdinand;
// option::Switch model_checking;
// option::Switch zdd;
......
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