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

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

Minor changes towards maintaining UseDef? information.

File size: 2.2 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
10namespace pablo {
11
12Or::Or(PabloAST * expr1, PabloAST * expr2, PabloBlock * parent)
13: Statement(ClassTypeId::Or, {{expr1, expr2}}, parent->makeName("or"), parent)
14{
15
16}
17
18PabloAST * OptimizeOr::operator ()(PabloAST * expr1, PabloAST * expr2, PabloBlock * pb) {
19    if (isa<Zeroes>(expr2) || isa<Ones>(expr1)) {
20        return expr1;
21    }
22    else if (isa<Zeroes>(expr1) || isa<Ones>(expr2)){
23        return expr2;
24    }
25    else if (equals(expr1, expr2)) {
26        return expr1;
27    }
28    else if (Not * not1 = dyn_cast<Not>(expr1)) {
29        // ¬a√b = ¬¬(¬a√b) = ¬(a ∧ ¬b)
30        return pb->createNot(pb->createAnd(not1->getExpr(), pb->createNot(expr2)));
31    }
32    else if (Not * not2 = dyn_cast<Not>(expr2)) {
33        // a√¬b = ¬¬(¬b√a) = ¬(b ∧ ¬a)
34        return pb->createNot(pb->createAnd(not2->getExpr(), pb->createNot(expr1)));
35    }
36    else if (equals(expr1, expr2)) {
37        return expr1;
38    }
39    else if (And * and_expr1 = dyn_cast<And>(expr1)) {
40        if (And * and_expr2 = dyn_cast<And>(expr2)) {
41            PabloAST * const expr1a = and_expr1->getExpr1();
42            PabloAST * const expr1b = and_expr1->getExpr2();
43            PabloAST * const expr2a = and_expr2->getExpr1();
44            PabloAST * const expr2b = and_expr2->getExpr2();
45            //These optimizations factor out common components that can occur when sets are formed by union
46            //(e.g., union of [a-z] and [A-Z].
47            if (equals(expr1a, expr2a)) {
48                return pb->createAnd(expr1a, pb->createOr(expr1b, expr2b));
49            }
50            else if (equals(expr1b, expr2b)) {
51                return pb->createAnd(expr1b, pb->createOr(expr1a, expr2a));
52            }
53            else if (equals(expr1a, expr2b)) {
54                return pb->createAnd(expr1a, pb->createOr(expr1b, expr2a));
55            }
56            else if (equals(expr1b, expr2a)) {
57                return pb->createAnd(expr1b, pb->createOr(expr1a, expr2b));
58            }
59        }
60    }
61    return pb->createOrImm(expr1, expr2);
62}
63
64}
Note: See TracBrowser for help on using the repository browser.