Ignore:
Timestamp:
Oct 5, 2014, 5:27:31 PM (5 years ago)
Author:
nmedfort
Message:

Partial implementation of 'PabloBuilder?'.

File:
1 edited

Legend:

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

    r4211 r4214  
    114114    else if (const Sel * pablo_sel = dyn_cast<const Sel>(expr))
    115115    {
    116         retVal = "((" + ShowPabloE(pablo_sel->getIf_expr()) + "And " + ShowPabloE(pablo_sel->getT_expr()) +
    117                 ")|(Not(" + ShowPabloE(pablo_sel->getIf_expr()) + ") And " + ShowPabloE(pablo_sel->getF_expr()) + ")";
     116        retVal = "((" + ShowPabloE(pablo_sel->getCondition()) + "And " + ShowPabloE(pablo_sel->getTrueExpr()) +
     117                ")|(Not(" + ShowPabloE(pablo_sel->getCondition()) + ") And " + ShowPabloE(pablo_sel->getFalseExpr()) + ")";
    118118    }
    119119    else if (const Not * pablo_not = dyn_cast<const Not>(expr))
Note: See TracChangeset for help on using the changeset viewer.