Ignore:
Timestamp:
Sep 23, 2016, 4:12:41 PM (3 years ago)
Author:
nmedfort
Message:

Initial work for incorporating Types into Pablo AST.

File:
1 edited

Legend:

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

    r5156 r5160  
    7070void MultiplexingPass::optimize() {
    7171    // Map the constants and input variables
    72     add(PabloBlock::createZeroes(), Z3_mk_false(mContext), -1);
    73     add(PabloBlock::createOnes(), Z3_mk_true(mContext), -1);
     72    PabloBlock * entryBlock = mFunction.getEntryBlock();
     73    add(entryBlock->createZeroes(), Z3_mk_false(mContext), -1);
     74    add(entryBlock->createOnes(), Z3_mk_true(mContext), -1);
    7475    for (unsigned i = 0; i < mFunction.getNumOfParameters(); ++i) {
    7576        add(mFunction.getParameter(i), makeVar(), -1);
Note: See TracChangeset for help on using the changeset viewer.