Instr i = it.previous();
// System.out.println("TF: Processing: " + i);
// v is defined => It is no longer live before 'i'
if (i instanceof ResultInstr) {
Variable v = ((ResultInstr) i).getResult();
living.clear(lvp.getDFVar(v).getId());
}
// Check if 'i' is a call and uses a closure!
// If so, we need to process the closure for live variable info.
if (i instanceof CallBase) {
CallBase c = (CallBase) i;
Operand o = c.getClosureArg(null);
// System.out.println("Processing closure: " + o + "-------");
if (o != null && o instanceof WrappedIRClosure) {
IRClosure cl = ((WrappedIRClosure)o).getClosure();
LiveVariablesProblem cl_lvp = (LiveVariablesProblem)cl.getDataFlowSolution(DataFlowConstants.LVP_NAME);
if (cl_lvp == null) {
cl_lvp = new LiveVariablesProblem(cl, lvp.getNonSelfLocalVars());
cl.setDataFlowSolution(cl_lvp.getName(), cl_lvp);
}
// Collect live local variables at this point.
Set<LocalVariable> liveVars = new HashSet<LocalVariable>();
for (int j = 0; j < living.size(); j++) {
if (living.get(j)) {
Variable v = lvp.getVariable(j);
if (v instanceof LocalVariable) liveVars.add((LocalVariable)v);
}
}
// Collect variables live on entry of the closure -- they could all be live on exit as well (conservative, but safe).
//
// def foo
// i = 0;
// loop { i += 1; break if i > n }
// end
//
// Here, i is not live outside the closure, but it is clearly live on exit of the closure because
// it is reused on the next iteration. In the absence of information about the call accepting the closure,
// we have to assume that all vars live on exit from the closure will be live on entry into the closure as well
// because of looping.
List<Variable> liveOnEntryBefore = cl_lvp.getVarsLiveOnScopeEntry();
for (Variable y: liveOnEntryBefore) {
if (y instanceof LocalVariable) liveVars.add((LocalVariable)y);
}
// Collect variables live out of the exception target node. Since this call can directly jump to
// the rescue block (or scope exit) without executing the rest of the instructions in this bb, we
// have a control-flow edge from this call to that block. Since we dont want to add a
// control-flow edge from pretty much every call to the rescuer/exit BB, we are handling it
// implicitly here.
if (c.canRaiseException()) {
BitSet etOut = ((LiveVariableNode)getExceptionTargetNode()).out;
for (int k = 0; k < etOut.size(); k++) {
if (etOut.get(k)) {
Variable v = lvp.getVariable(k);
if (v instanceof LocalVariable) liveVars.add((LocalVariable)v);
}
}
}