Ignore:
Timestamp:
Aug 10, 2015, 3:30:31 PM (4 years ago)
Author:
nmedfort
Message:

Misc. changes and start of dependency chain analysis in ucd generator.

File:
1 edited

Legend:

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

    r4718 r4722  
    103103
    104104PabloAST * PabloBuilder::createAnd(PabloAST * expr1, PabloAST * expr2) {
     105    assert (expr1);
     106    assert (expr2);
    105107    if (isa<Not>(expr1) || expr1 > expr2) {
    106108        std::swap(expr1, expr2);
     
    111113
    112114PabloAST * PabloBuilder::createAnd(PabloAST * expr1, PabloAST * expr2, const std::string prefix) {
     115    assert (expr1);
     116    assert (expr2);
    113117    if (isa<Not>(expr1) || expr1 > expr2) {
    114118        std::swap(expr1, expr2);
     
    119123
    120124PabloAST * PabloBuilder::createOr(PabloAST * expr1, PabloAST * expr2) {
     125    assert (expr1);
     126    assert (expr2);
    121127    if (expr1 > expr2) {
    122128        std::swap(expr1, expr2);
     
    127133
    128134PabloAST * PabloBuilder::createOr(PabloAST * expr1, PabloAST * expr2, const std::string prefix) {
     135    assert (expr1);
     136    assert (expr2);
    129137    if (expr1 > expr2) {
    130138        std::swap(expr1, expr2);
     
    135143
    136144PabloAST * PabloBuilder::createXor(PabloAST * expr1, PabloAST * expr2) {
     145    assert (expr1);
     146    assert (expr2);
    137147    if (expr1 > expr2) {
    138148        std::swap(expr1, expr2);
     
    143153
    144154PabloAST * PabloBuilder::createXor(PabloAST * expr1, PabloAST * expr2, const std::string prefix) {
     155    assert (expr1);
     156    assert (expr2);
    145157    if (expr1 > expr2) {
    146158        std::swap(expr1, expr2);
Note: See TracChangeset for help on using the changeset viewer.