Ignore:
Timestamp:
Jul 23, 2015, 11:17:02 PM (4 years ago)
Author:
nmedfort
Message:

Bug fixes for last check in.

File:
1 edited

Legend:

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

    r4692 r4695  
    9393
    9494PabloAST * PabloBuilder::createAnd(PabloAST * expr1, PabloAST * expr2) {
    95     if (expr1 < expr2) {
     95    if (isa<Not>(expr1) || expr1 > expr2) {
    9696        std::swap(expr1, expr2);
    9797    }
     
    101101
    102102PabloAST * PabloBuilder::createAnd(PabloAST * expr1, PabloAST * expr2, const std::string prefix) {
    103     if (expr1 < expr2) {
     103    if (isa<Not>(expr1) || expr1 > expr2) {
    104104        std::swap(expr1, expr2);
    105105    }
     
    109109
    110110PabloAST * PabloBuilder::createOr(PabloAST * expr1, PabloAST * expr2) {
    111     if (expr1 < expr2) {
     111    if (expr1 > expr2) {
    112112        std::swap(expr1, expr2);
    113113    }
     
    117117
    118118PabloAST * PabloBuilder::createOr(PabloAST * expr1, PabloAST * expr2, const std::string prefix) {
    119     if (expr1 < expr2) {
     119    if (expr1 > expr2) {
    120120        std::swap(expr1, expr2);
    121121    }
     
    125125
    126126PabloAST * PabloBuilder::createXor(PabloAST * expr1, PabloAST * expr2) {
    127     if (expr1 < expr2) {
     127    if (expr1 > expr2) {
    128128        std::swap(expr1, expr2);
    129129    }
     
    133133
    134134PabloAST * PabloBuilder::createXor(PabloAST * expr1, PabloAST * expr2, const std::string prefix) {
    135     if (expr1 < expr2) {
     135    if (expr1 > expr2) {
    136136        std::swap(expr1, expr2);
    137137    }
Note: See TracChangeset for help on using the changeset viewer.