Critical paths in cycles, under list-scheduling's latencies (loads and stores 3, add 1). Green is the shorter of the two shapes; gold is the selected k.
make regen in tracer/Trees and listings are decaf-ref's. Dependence graphs, critical paths, and live values are this demo's model (list-scheduling's), computed from those listings.