Node child = res.parent();
holder[pos] = res.getForest();
if (pos>0) child.reduce(r, pos-1, target, null);
- else {
- Reduction reduction =
- new Reduction(child, r, r.rewrite(child.phase().getLocation().createRegion(target.getLocation())), target);
- target.reductionQueue.add(reduction);
- }
+ else new Reduction(child, r, r.rewrite(child.phase().getLocation().createRegion(target.getLocation())), target);
}
holder[pos] = old;