summaryrefslogtreecommitdiff
path: root/chapter17a/src/main/java/com/seaofnodes
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-10-28 16:14:30 -0700
committerCliff Click <cliffc@acm.org>2026-10-28 16:14:30 -0700
commit3df967056bf48bd9f87900f3a1ad9af2aedce948 (patch)
treefdbdac5e5919deabb08d353147da32b7ccb741d8 /chapter17a/src/main/java/com/seaofnodes
parent50924bbe7cfeecfe7aec1885dae9bbda0013ac1b (diff)
downloadSimple-3df967056bf48bd9f87900f3a1ad9af2aedce948.tar.gz
Simple-3df967056bf48bd9f87900f3a1ad9af2aedce948.zip
Backport some minor speedups
Diffstat (limited to 'chapter17a/src/main/java/com/seaofnodes')
-rw-r--r--chapter17a/src/main/java/com/seaofnodes/simple/GlobalCodeMotion.java56
-rw-r--r--chapter17a/src/main/java/com/seaofnodes/simple/IterPeeps.java4
-rw-r--r--chapter17a/src/main/java/com/seaofnodes/simple/node/CFGNode.java6
3 files changed, 49 insertions, 17 deletions
diff --git a/chapter17a/src/main/java/com/seaofnodes/simple/GlobalCodeMotion.java b/chapter17a/src/main/java/com/seaofnodes/simple/GlobalCodeMotion.java
index c6d02b27..8dc1a626 100644
--- a/chapter17a/src/main/java/com/seaofnodes/simple/GlobalCodeMotion.java
+++ b/chapter17a/src/main/java/com/seaofnodes/simple/GlobalCodeMotion.java
@@ -73,24 +73,41 @@ public abstract class GlobalCodeMotion {
}
// ------------------------------------------------------------------------
+ private static final BitSet WAKE_VISIT = new BitSet();
+
+ // Scheduling is not recursive. Retain scratch capacity between schedules,
+ // but release graph references and reset only the entries we used.
+ private static CFGNode[] LATE = new CFGNode[1];
+ // Load NIDs at their CFG block choices, checked against Store blocks.
+ private static int[] ANTI = new int[1];
+ private static final ArrayList<Node> TOUCHED = new ArrayList<>();
+ private static final ArrayList<Node> PLACED = new ArrayList<>();
+ private static final WorkList<Node> WORK = new WorkList<>();
+
private static void schedLate( StopNode stop) {
- CFGNode[] late = new CFGNode[Node.UID()];
- Node[] ns = new Node[Node.UID()];
- // Record Load NIDs at all their CFG block choices, then check against
- // Store block choices to force a Load above an anti-dependent Store.
- int[] anti = new int[Node.UID()];
+ assert TOUCHED.isEmpty() && PLACED.isEmpty() && WORK.isEmpty();
+ if( Node.UID() > LATE.length ) {
+ int len = Math.max(Node.UID(),LATE.length<<1);
+ LATE = new CFGNode[len];
+ ANTI = new int[len];
+ }
+ WORK.clear();
// Breadth-first scheduling
- breadth(stop,ns,late,anti);
+ breadth(stop,PLACED,LATE,ANTI,WAKE_VISIT);
// Copy the best placement choice into the control slot
- for( int i=0; i<late.length; i++ )
- if( ns[i] != null && !(ns[i] instanceof ProjNode) )
- ns[i].setDef(0,late[i]);
+ for( Node n : PLACED )
+ if( !(n instanceof ProjNode) )
+ n.setDef(0,LATE[n._nid]);
+ for( Node n : TOUCHED )
+ LATE[n._nid] = null;
+ TOUCHED.clear();
+ PLACED.clear();
}
- private static void breadth(Node stop, Node[] ns, CFGNode[] late, int[] anti) {
+ private static void breadth(Node stop, ArrayList<Node> placed, CFGNode[] late, int[] anti, BitSet visit) {
// Things on the worklist have some (but perhaps not all) uses done.
- WorkList<Node> work = new WorkList<>();
+ WorkList<Node> work = WORK;
work.push(stop);
Node n;
outer:
@@ -114,16 +131,19 @@ public abstract class GlobalCodeMotion {
continue outer;
// All uses done, schedule
- _doSchedLate(n,ns,late,anti);
+ _doSchedLate(n,placed,late,anti);
}
+ TOUCHED.add(n);
+
// A use just finished; reconsider its inputs and waiting loads,
// even when the shared memory input was already scheduled.
for( Node def : n._inputs ) {
if( def==null ) continue;
if( late[def._nid]==null ) work.push(def);
- wakeLoads(def,late,work,new BitSet());
+ wakeLoads(def,late,work,visit);
}
+ visit.clear();
if( n instanceof LoopNode loop )
for( Node phi : loop._outputs )
if( phi instanceof PhiNode && late[phi._nid]==null )
@@ -131,7 +151,7 @@ public abstract class GlobalCodeMotion {
}
}
- private static void _doSchedLate(Node n, Node[] ns, CFGNode[] late, int[] anti) {
+ private static void _doSchedLate(Node n, ArrayList<Node> placed, CFGNode[] late, int[] anti) {
// Walk uses, gathering the LCA (Least Common Ancestor) of uses
CFGNode early = n.in(0) instanceof CFGNode cfg ? cfg : n.in(0).cfg0();
assert early != null;
@@ -153,7 +173,7 @@ public abstract class GlobalCodeMotion {
if( better(lca,best) )
best = lca;
assert !(best instanceof IfNode);
- ns [n._nid] = n;
+ placed.add(n);
late[n._nid] = best;
}
@@ -193,7 +213,8 @@ public abstract class GlobalCodeMotion {
private static CFGNode find_anti_dep(CFGNode lca, LoadNode load, CFGNode early, CFGNode[] late, int[] anti) {
// We could skip final-field loads here.
// Walk LCA->early, flagging Load's block location choices
- for( CFGNode cfg=lca; early!=null && cfg!=early.idom(); cfg = cfg.idom() )
+ CFGNode marked = lca;
+ for( CFGNode cfg = marked; early!=null && cfg!=early.idom(); cfg = cfg.idom() )
anti[cfg._nid] = load._nid;
// Walk load->mem uses, looking for Stores causing an anti-dep
for( Node mem : load.antiDeps() ) {
@@ -217,6 +238,9 @@ public abstract class GlobalCodeMotion {
default: throw Utils.TODO();
}
}
+ // Release this load's marks before another compilation reuses IDs.
+ for( CFGNode cfg = marked; early!=null && cfg!=early.idom(); cfg = cfg.idom() )
+ anti[cfg._nid] = 0;
return lca;
}
diff --git a/chapter17a/src/main/java/com/seaofnodes/simple/IterPeeps.java b/chapter17a/src/main/java/com/seaofnodes/simple/IterPeeps.java
index 5a80698a..792fd507 100644
--- a/chapter17a/src/main/java/com/seaofnodes/simple/IterPeeps.java
+++ b/chapter17a/src/main/java/com/seaofnodes/simple/IterPeeps.java
@@ -197,11 +197,15 @@ public abstract class IterPeeps {
int idx = _R.nextInt(_len);
E x = (E)_es[idx];
_es[idx] = _es[--_len]; // Compress array
+ _es[_len] = null;
_on.clear(x._nid);
return x;
}
+ public boolean isEmpty() { return _len==0; }
+
public void clear() {
+ Arrays.fill(_es,0,_len,null);
_len = 0;
_on.clear();
_R.setSeed(_seed);
diff --git a/chapter17a/src/main/java/com/seaofnodes/simple/node/CFGNode.java b/chapter17a/src/main/java/com/seaofnodes/simple/node/CFGNode.java
index e85fc6ae..37240b18 100644
--- a/chapter17a/src/main/java/com/seaofnodes/simple/node/CFGNode.java
+++ b/chapter17a/src/main/java/com/seaofnodes/simple/node/CFGNode.java
@@ -84,9 +84,13 @@ public abstract class CFGNode extends Node {
// Tag all CFG Nodes with their containing LoopNode; LoopNodes themselves
// also refer to *their* containing LoopNode, as well as have their depth.
// Start is a LoopNode which contains all at depth 1.
+ private static final BitSet POST = new BitSet();
+
public void buildLoopTree(StopNode stop) {
_ltree = stop._ltree = Parser.XCTRL._ltree = new LoopTree((StartNode)this);
- _bltWalk(2,stop, new BitSet());
+ BitSet post = POST;
+ _bltWalk(2,stop, post);
+ post.clear();
}
private int _bltWalk(int pre, StopNode stop, BitSet post) {
// Pre-walked?