Ignore:
Timestamp:
Sep 15, 2015, 4:41:40 PM (4 years ago)
Author:
nmedfort
Message:

Minor clean-up revisions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/optimizers/pablo_automultiplexing.cpp

    r4770 r4772  
    1717#include <unordered_set>
    1818#include <pablo/optimizers/pablo_simplifier.hpp>
    19 #include <pablo/optimizers/pablo_bddminimization.h>
    20 
    2119
    2220using namespace llvm;
     
    104102namespace pablo {
    105103
     104using TypeId = PabloAST::ClassTypeId;
     105
    106106bool AutoMultiplexing::optimize(PabloFunction & function) {
    107 
    108     BDDMinimizationPass::optimize(function);
    109107
    110108    // std::random_device rd;
     
    202200
    203201            switch (stmt->getClassTypeId()) {
    204                 case PabloAST::ClassTypeId::Advance:
     202                case TypeId::Advance:
    205203                    mAdvanceMap.emplace(stmt, m);
    206204                    map.emplace(stmt, m++);
    207                 case PabloAST::ClassTypeId::Call:
    208                 case PabloAST::ClassTypeId::ScanThru:
    209                 case PabloAST::ClassTypeId::MatchStar:
     205                case TypeId::Call:
     206                case TypeId::ScanThru:
     207                case TypeId::MatchStar:
    210208                    variableCount++;
    211209                    break;
     
    401399
    402400    switch (stmt->getClassTypeId()) {
    403         case PabloAST::ClassTypeId::Assign:
    404         case PabloAST::ClassTypeId::Next:
     401        case TypeId::Assign:
     402        case TypeId::Next:
    405403            bdd = input[0];
    406404            break;
    407         case PabloAST::ClassTypeId::And:
     405        case TypeId::And:
    408406            bdd = And(input[0], input[1]);
    409407            break;       
    410         case PabloAST::ClassTypeId::Or:
     408        case TypeId::Or:
    411409            bdd = Or(input[0], input[1]);
    412410            break;
    413         case PabloAST::ClassTypeId::Xor:
     411        case TypeId::Xor:
    414412            bdd = Xor(input[0], input[1]);
    415413            break;
    416         case PabloAST::ClassTypeId::Not:
     414        case TypeId::Not:
    417415            bdd = Not(input[0]);
    418416            break;
    419         case PabloAST::ClassTypeId::Sel:
     417        case TypeId::Sel:
    420418            bdd = Ite(input[0], input[1], input[2]);
    421419            break;
    422         case PabloAST::ClassTypeId::ScanThru:
     420        case TypeId::ScanThru:
    423421            // It may be possible use "Not(input[1])" for ScanThrus if we rule out the possibility
    424422            // of a contradition being erroneously calculated later. An example of this
    425423            // would be ¬(ScanThru(c,m) √ m)
    426         case PabloAST::ClassTypeId::MatchStar:
    427         case PabloAST::ClassTypeId::Call:
     424        case TypeId::MatchStar:
     425        case TypeId::Call:
    428426            bdd = NewVar();
    429427            mRecentCharacterizations.emplace_back(stmt, bdd);
    430428            return bdd;
    431         case PabloAST::ClassTypeId::Advance:
     429        case TypeId::Advance:
    432430            // This returns so that it doesn't mistakeningly replace the Advance with 0 or add it
    433431            // to the list of recent characterizations.
Note: See TracChangeset for help on using the changeset viewer.