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/pablo/optimizers/pablo_automultiplexing.cpp

    r4788 r4797  
    107107bool AutoMultiplexing::optimize(PabloFunction & function) {
    108108
    109     // std::random_device rd;
     109//    std::random_device rd;
     110//    const auto seed = rd();
    110111    const auto seed = 83234827342;
    111112    RNG rng(seed);
     
    158159        RECORD_TIMESTAMP(end_select_independent_sets);
    159160        LOG("SelectedIndependentSets: " << (end_select_independent_sets - start_select_independent_sets));
     161
     162        #ifndef NDEBUG
     163        PabloVerifier::verify(function, "post-multiplexing");
     164        #endif
    160165
    161166        Simplifier::optimize(function);
     
    842847
    843848        for (auto i = m; i != n; ++i) {
    844             graph_traits<MultiplexSetGraph>::out_edge_iterator ei, ei_end;
    845849            // For each member of a "set vertex" ...
    846850            for (auto e : make_iterator_range(out_edges(i, mMultiplexSetGraph))) {
Note: See TracChangeset for help on using the changeset viewer.