Ignore:
Timestamp:
Jul 2, 2015, 9:28:21 AM (4 years ago)
Author:
nmedfort
Message:

Couple modifications to the UCD compiler. Splitting Multiplexing from BDD Minimization.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/compiler.cpp

    r4626 r4629  
    6161                                      cl::cat(cPabloOptimizationsOptions));
    6262#ifdef ENABLE_MULTIPLEXING
    63 static cl::opt<bool> PabloMutualExclusionPass("csme", cl::init(true),
    64                                       cl::desc("Multiplex Advances whose inputs are mutual exclusive and replace any contradictory stream with Zero."),
     63static cl::opt<bool> PabloMutualExclusionPass("disable-multiplexing", cl::init(true),
     64                                      cl::desc("Disable combining Advances whose inputs are mutual exclusive."),
    6565                                      cl::cat(cPabloOptimizationsOptions));
    6666#endif
Note: See TracChangeset for help on using the changeset viewer.