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
|
package com.seaofnodes.simple.node;
import com.seaofnodes.simple.type.Type;
import com.seaofnodes.simple.type.TypeInteger;
import com.seaofnodes.simple.type.TypeFloat;
import java.util.BitSet;
public class DivNode extends ArithNode {
@Override boolean allowFloat() { return true; }
public DivNode(Node lhs, Node rhs) { super(null, lhs, rhs); }
public DivNode(Node lhs, Node rhs, byte mode) { super(null, lhs, rhs, mode); }
@Override public Tag serialTag() { return Tag.Div; }
@Override public String op() { return _mode==1 ? "//" : "/"; }
@Override long doOp( long x, long y ) { return y==0 ? 0 : x / y; }
@Override double doOp(double x, double y ) { return x / y; }
@Override TypeInteger doOp(TypeInteger x, TypeInteger y) {
return TypeInteger.BOT;
}
@Override
public Node idealize() {
// Div of 1.
if( in(2)._type == TypeInteger.TRUE && in(1)._type.isa(compute()) )
return in(1);
// Div of constant
if( _mode==2 ) {
if( in(2)._type == TypeFloat.constant(1.) && in(1)._type.isa(compute()) )
return in(1);
if( in(2)._type instanceof TypeFloat f && f.isConstant() )
return new MulNode(in(1),ConstantNode.make(TypeFloat.constant(1.0/f.value())).peephole(),_mode);
}
return super.idealize();
}
@Override Node copy(Node lhs, Node rhs) { return new DivNode(lhs,rhs,_mode); }
}
|
