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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
package org.checkerframework.dataflow.constantpropagation;
import org.checkerframework.dataflow.analysis.ConditionalTransferResult;
import org.checkerframework.dataflow.analysis.RegularTransferResult;
import org.checkerframework.dataflow.analysis.TransferFunction;
import org.checkerframework.dataflow.analysis.TransferInput;
import org.checkerframework.dataflow.analysis.TransferResult;
import org.checkerframework.dataflow.cfg.UnderlyingAST;
import org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor;
import org.checkerframework.dataflow.cfg.node.AssignmentNode;
import org.checkerframework.dataflow.cfg.node.EqualToNode;
import org.checkerframework.dataflow.cfg.node.IntegerLiteralNode;
import org.checkerframework.dataflow.cfg.node.LocalVariableNode;
import org.checkerframework.dataflow.cfg.node.Node;
import java.util.List;
public class ConstantPropagationTransfer
extends
AbstractNodeVisitor<TransferResult<Constant, ConstantPropagationStore>, TransferInput<Constant, ConstantPropagationStore>>
implements TransferFunction<Constant, ConstantPropagationStore> {
@Override
public ConstantPropagationStore initialStore(UnderlyingAST underlyingAST,
List<LocalVariableNode> parameters) {
ConstantPropagationStore store = new ConstantPropagationStore();
return store;
}
@Override
public TransferResult<Constant, ConstantPropagationStore> visitLocalVariable(
LocalVariableNode node, TransferInput<Constant, ConstantPropagationStore> before) {
ConstantPropagationStore store = before.getRegularStore();
Constant value = store.getInformation(node);
return new RegularTransferResult<>(value, store);
}
@Override
public TransferResult<Constant, ConstantPropagationStore> visitNode(Node n,
TransferInput<Constant, ConstantPropagationStore> p) {
return new RegularTransferResult<>(null, p.getRegularStore());
}
@Override
public TransferResult<Constant, ConstantPropagationStore> visitAssignment(
AssignmentNode n,
TransferInput<Constant, ConstantPropagationStore> pi) {
ConstantPropagationStore p = pi.getRegularStore();
Node target = n.getTarget();
Constant info = null;
if (target instanceof LocalVariableNode) {
LocalVariableNode t = (LocalVariableNode) target;
info = p.getInformation(n.getExpression());
p.setInformation(t, info);
}
return new RegularTransferResult<>(info, p);
}
@Override
public TransferResult<Constant, ConstantPropagationStore> visitIntegerLiteral(
IntegerLiteralNode n,
TransferInput<Constant, ConstantPropagationStore> pi) {
ConstantPropagationStore p = pi.getRegularStore();
Constant c = new Constant(n.getValue());
p.setInformation(n, c);
return new RegularTransferResult<>(c, p);
}
@Override
public TransferResult<Constant, ConstantPropagationStore> visitEqualTo(
EqualToNode n, TransferInput<Constant, ConstantPropagationStore> pi) {
ConstantPropagationStore p = pi.getRegularStore();
ConstantPropagationStore old = p.copy();
Node left = n.getLeftOperand();
Node right = n.getRightOperand();
process(p, left, right);
process(p, right, left);
return new ConditionalTransferResult<>(null, p, old);
}
protected void process(ConstantPropagationStore p, Node a, Node b) {
Constant val = p.getInformation(a);
if (b instanceof LocalVariableNode && val.isConstant()) {
p.setInformation(b, val);
}
}
}
|