虽然我赶时间，但还是要小心地对待这个作业。

看看 tai-e 的结构：我们这次要关注的有哪些？

要提交的包括

  • LiveVariableAnalysis.java
  • Solver.java
  • IterativeSolver.java

活跃变量分析，solver，和递归求解器

我估计：

活跃变量分析调用递归求解器，递归求解器调用求解器。

1
2
3
4
5
6
7
8
9
10
11
12
13
public class LiveVariableAnalysis {
	public SetFact<Var> newBoundaryFact(CFG<Stmt> cfg);
	
	public SetFact<Var> newInitialFact();
	
	public void meetInto(SetFact<Var> fact, SetFact<Var> target);
	
	public boolean transferNode(Stmt stme, SetFact<Var> in, SetFact<var> out);
}

IterativeSolver::doSolveBackward();

Solver<Node, Fact>::initializeBackward();

我做完了，事实证明我全猜反了