src/main/java/com/seaofnodes/simple/node/OrNode.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

package com.seaofnodes.simple.node;

import com.seaofnodes.simple.Parser;
import com.seaofnodes.simple.type.Type;
import com.seaofnodes.simple.type.TypeInteger;

public class OrNode extends ArithNode {
    public OrNode( Parser.Lexer loc, Node lhs, Node rhs) { super(loc,lhs, rhs, (byte)1); }
    @Override public Tag serialTag() { return Tag.Or; }

    @Override public String label() { return "Or"; }
    @Override public String op() { return "|"; }
    @Override long doOp( long x, long y ) { return x | y; }
    @Override TypeInteger doOp(TypeInteger x, TypeInteger y) {
        return TypeInteger.BOT;
    }

    @Override
    public Node idealize() {
        Node lhs = in(1);
        Node rhs = in(2);

        Type t1 = lhs._type;
        Type t2 = rhs._type;

        // Or of 0.  We do not check for (0|x) because this will already
        // canonicalize to (x|0)
        if( t2.isConstant() && t2 instanceof TypeInteger i && i.value()==0 && t1.isa(TypeInteger.BOT) && forceInt(lhs) )
            return lhs;

        // Move constants to RHS: con*arg becomes arg*con
        if ( t1.isConstant() && !t2.isConstant() )
            return swap12();

        // Do we have ((x | (phi cons)) | con) ?
        // Do we have ((x | (phi cons)) | (phi cons)) ?
        // Push constant up through the phi: x | (phi con0|con0 con1|con1...)
        Node phicon = AddNode.phiCon(this,true);
        if( phicon!=null ) return phicon;

        return super.idealize();
    }
    @Override Node copy(Node lhs, Node rhs) { return new OrNode(_loc,lhs,rhs); }
}