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

Last change on this file since 4388 was 4247, checked in by cameron, 5 years ago

All -> Zeroes, Ones

File size: 2.1 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
12PabloAST * OptimizeOr::operator ()(PabloAST * expr1, PabloAST * expr2) {
13    if (isa<Ones>(expr1)) {
14        return expr1;
15    }
16    else if (isa<Zeroes>(expr1)){
17        return expr2;       
18    }
19    else if (isa<Ones>(expr2)) {
20        return expr2;
21    }
22    else if (isa<Zeroes>(expr2)){
23        return expr1;
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 cg.createNot(cg.createAnd(not1->getExpr(), cg.createNot(expr2)));
31    }
32    else if (Not * not2 = dyn_cast<Not>(expr2)) {
33        // a√¬b = ¬¬(¬b√a) = ¬(b ∧ ¬a)
34        return cg.createNot(cg.createAnd(not2->getExpr(), cg.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 cg.createAnd(expr1a, cg.createOr(expr1b, expr2b));
49            }
50            else if (equals(expr1b, expr2b)) {
51                return cg.createAnd(expr1b, cg.createOr(expr1a, expr2a));
52            }
53            else if (equals(expr1a, expr2b)) {
54                return cg.createAnd(expr1a, cg.createOr(expr1b, expr2a));
55            }
56            else if (equals(expr1b, expr2a)) {
57                return cg.createAnd(expr1b, cg.createOr(expr1a, expr2b));
58            }
59        }
60    }
61    return new Or(expr1, expr2);
62}
63
64}
Note: See TracBrowser for help on using the repository browser.