source: icGREP/icgrep-devel/icgrep/pablo/pe_and.cpp @ 4272

Last change on this file since 4272 was 4247, checked in by cameron, 4 years ago

All -> Zeroes, Ones

File size: 1.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_and.h>
8#include <pablo/codegenstate.h>
9
10namespace pablo {
11
12PabloAST * OptimizeAnd::operator ()(PabloAST * expr1, PabloAST * expr2) {
13    if (isa<Ones>(expr1)) {
14        return expr2;
15    }
16    else if (isa<Zeroes>(expr1)){
17        return expr1;       
18    }
19    else if (isa<Ones>(expr2)) {
20        return expr1;
21    }
22    else if (isa<Zeroes>(expr2)){
23        return expr2;
24    }
25    else if (equals(expr1, expr2)) {
26        return expr1;
27    }
28    else if (Not * pe_not_e1 = dyn_cast<Not>(expr1)) {
29        if (Not * pe_not_e2 = dyn_cast<Not>(expr2)) {
30            return cg.createNot(cg.createOr(pe_not_e1->getExpr(), pe_not_e2->getExpr()));
31        }
32        else if (equals(pe_not_e1->getExpr(), expr2)) {
33            return cg.createZeroes();
34        }
35    }
36    else if (Not * pe_not_e2 = dyn_cast<Not>(expr2)) {
37        if (equals(expr1, pe_not_e2->getExpr())) {
38            return cg.createZeroes();
39        }
40    }
41    return new And(expr1, expr2);
42}
43
44}
Note: See TracBrowser for help on using the repository browser.