Ignore:
Timestamp:
Nov 22, 2014, 2:36:26 PM (5 years ago)
Author:
cameron
Message:

Intersect and Diff support

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/re/re_simplifier.cpp

    r4249 r4308  
    77#include "re_alt.h"
    88#include "re_rep.h"
     9#include "re_diff.h"
     10#include "re_intersect.h"
    911#include <algorithm>
    1012#include <memory>
     
    3335        re = makeRep(simplify(rep->getRE()), rep->getLB(), rep->getUB());
    3436    }
     37    else if (Diff * diff = dyn_cast<Diff>(re)) {
     38        re = makeDiff(simplify(diff->getLH()), diff->getRH());
     39    }
     40    else if (Intersect * e = dyn_cast<Intersect>(re)) {
     41        re = makeIntersect(simplify(e->getLH()), e->getRH());
     42    }
    3543    return re;
    3644}
Note: See TracChangeset for help on using the changeset viewer.