N functions with distinct compile-time constants, no errors. Scaling null: n scales independent declarations; ideal cost is O(n).
bucket: diagnostics · mode: target · flags: -target spirv -emit-spirv-directly
compileInner split into phase buckets (named leaves + (self) residuals) stacked across the sweep sizes — the top edge is compileInner, so you can see which phase drives the scaling.
floor-subtracted power-law fit (t − floor) = a·Nk; floor = the minimal workload (fixed per-compile cost), k the global exponent, top-2× the local high-end doubling ratio.
| N range | floor (ms) | k (work) | fit R² | t(Nmin) | t(Nmax) | top-2× |
|---|---|---|---|---|---|---|
| 400–3200 | 10 | 0.95 | 1.000 | 25 | 118 | 1.82× |
compileInner grows by 92 ms across the sweep; the mutually-exclusive phase buckets below partition that growth exactly (no nested-timer double counting). × lin is the same metric as the top-level panels, per bucket: the end point vs a linear expectation anchored to the bucket's share of the minimal floor and fitted on the low-N half — 1.0 = grew exactly linearly, >1 bends up. The super-linearity lives where × lin (and k) are red.
| bucket | t@N=400 | t@N=3200 | Δ ms | share | × lin | ∝Nk |
|---|---|---|---|---|---|---|
| generateIR | 8 | 57 | +49 | 53% | 0.99× | 0.98 |
| SemanticChecking | 11 | 38 | +27 | 29% | 0.86× | 0.87 |
| parseTranslationUnit | 2 | 18 | +16 | 17% | 1.11× | 1.06 |
Near-constant (≤2% of growth each): generateOutput (self) (2→3 ms), performMandatoryEarlyInlining (0→1 ms), frontEndExecute (self) (0→0 ms), linkIR (0→0 ms), compileInner (self) (0→0 ms), simplifyIR (0→0 ms), specializeModule (0→0 ms), legalizeExistentialTypeLayout (0→0 ms), legalizeResourceTypes (0→0 ms), performForceInlining (0→0 ms), linkAndOptimizeIR (self) (0→0 ms).
| N | compileInner | frontEndExecute | SemanticChecking |
|---|---|---|---|
| 400 | 25 | 21 | 11 |
| 800 | 38 | 34 | 15 |
| 1600 | 65 | 60 | 23 |
| 3200 | 118 | 113 | 38 |