source: icGREP/icgrep-devel/icgrep/pablo/pe_or.cpp @ 4416

Last change on this file since 4416 was 4416, checked in by nmedfort, 5 years ago

Many use def info changes; removed dependency on boost system library. More work still needed on CSE.

File size: 2.4 KB
Line 
1/*
2 *  Copyright (c) 2014 International Characters.
3 *  This software is licensed to the public under the Open Software License 3.0.
4 *  icgrep is a trademark of International Characters.
5 */
6
7#include <pablo/pe_or.h>
8#include <pablo/codegenstate.h>
9#include <pablo/pe_ones.h>
10#include <pablo/pe_zeroes.h>
11#include <pablo/pe_not.h>
12#include <pablo/pe_and.h>
13
14namespace pablo {
15
16Or::Or(PabloAST * expr1, PabloAST * expr2, PabloBlock * parent)
17: Statement(ClassTypeId::Or, {{expr1, expr2}}, parent->makeName("or"), parent)
18{
19
20}
21
22PabloAST * OptimizeOr::operator ()(PabloAST * expr1, PabloAST * expr2, PabloBlock * pb) {
23
24    assert (expr1 && expr2 && pb);
25
26    if (isa<Zeroes>(expr2) || isa<Ones>(expr1)) {
27        return expr1;
28    }
29    else if (isa<Zeroes>(expr1) || isa<Ones>(expr2)){
30        return expr2;
31    }
32    else if (equals(expr1, expr2)) {
33        return expr1;
34    }
35    else if (Not * not1 = dyn_cast<Not>(expr1)) {
36        // ¬a√b = ¬¬(¬a√b) = ¬(a ∧ ¬b)
37        return pb->createNot(pb->createAnd(not1->getExpr(), pb->createNot(expr2)));
38    }
39    else if (Not * not2 = dyn_cast<Not>(expr2)) {
40        // a√¬b = ¬¬(¬b√a) = ¬(b ∧ ¬a)
41        return pb->createNot(pb->createAnd(not2->getExpr(), pb->createNot(expr1)));
42    }
43    else if (equals(expr1, expr2)) {
44        return expr1;
45    }
46    else if (And * and_expr1 = dyn_cast<And>(expr1)) {
47        if (And * and_expr2 = dyn_cast<And>(expr2)) {
48            PabloAST * const expr1a = and_expr1->getExpr1();
49            PabloAST * const expr1b = and_expr1->getExpr2();
50            PabloAST * const expr2a = and_expr2->getExpr1();
51            PabloAST * const expr2b = and_expr2->getExpr2();
52            //These optimizations factor out common components that can occur when sets are formed by union
53            //(e.g., union of [a-z] and [A-Z].
54            if (equals(expr1a, expr2a)) {
55                return pb->createAnd(expr1a, pb->createOr(expr1b, expr2b));
56            }
57            else if (equals(expr1b, expr2b)) {
58                return pb->createAnd(expr1b, pb->createOr(expr1a, expr2a));
59            }
60            else if (equals(expr1a, expr2b)) {
61                return pb->createAnd(expr1a, pb->createOr(expr1b, expr2a));
62            }
63            else if (equals(expr1b, expr2a)) {
64                return pb->createAnd(expr1b, pb->createOr(expr1a, expr2b));
65            }
66        }
67    }
68    return pb->createOrImm(expr1, expr2);
69}
70
71}
Note: See TracBrowser for help on using the repository browser.