Ignore:
Timestamp:
Sep 27, 2015, 1:32:27 AM (4 years ago)
Author:
nmedfort
Message:

Progress on multi-target UCD compiler.

File:
1 edited

Legend:

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

    r4788 r4797  
    4646#include <re/printer_re.h>
    4747#include <pablo/printer_pablos.h>
     48#include <pablo/analysis/pabloverifier.hpp>
    4849
    4950#include "do_grep.h"
     
    249250    if (EnableMultiplexing) {
    250251        pablo::BDDMinimizationPass::optimize(*function);
    251         pablo::AutoMultiplexing::optimize(*function);       
     252        pablo::AutoMultiplexing::optimize(*function);
    252253    }   
    253254    if (EnableReassociation) {
     
    357358       
    358359        pablo::PabloFunction * function = re2pablo_compiler(encoding, re_ast);
     360        #ifndef NDEBUG
     361        pablo::PabloVerifier::verify(*function, "creation");
     362        #endif
    359363
    360364        pablo_function_passes(function);
Note: See TracChangeset for help on using the changeset viewer.