n [ForceInline] functions in bounded-depth groups. The inliner collapses each group into its group-top; the entry sums all group-tops, giving the SSA simplifier large bodies to chew on. Scales by breadth (bounded nesting). Scaling null: n scales call sites with bounded inlining depth; ideal cost is O(n).
bucket: inlining · 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× |
|---|---|---|---|---|---|---|
| 100–800 | 10 | 1.83 | 0.991 | 58 | 2154 | 4.64× |
compileInner grows by 2096 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=100 | t@N=800 | Δ ms | share | × lin | ∝Nk |
|---|---|---|---|---|---|---|
| simplifyIR | 23 | 1940 | +1917 | 91% | 6.29× | 2.13 |
| SemanticChecking | 16 | 71 | +55 | 3% | 0.89× | 0.90 |
| specializeModule | 4 | 58 | +53 | 3% | 1.65× | 1.26 |
Near-constant (≤2% of growth each): generateIR (6→32 ms), linkAndOptimizeIR (self) (3→29 ms), performForceInlining (1→5 ms), legalizeExistentialTypeLayout (0→4 ms), legalizeResourceTypes (0→4 ms), parseTranslationUnit (1→4 ms), linkIR (1→3 ms), performMandatoryEarlyInlining (0→2 ms), generateOutput (self) (2→1 ms), unrollLoopsInModule (0→0 ms), frontEndExecute (self) (1→0 ms), compileInner (self) (0→0 ms).
| N | compileInner | simplifyIR | linkAndOptimizeIR |
|---|---|---|---|
| 100 | 58 | 23 | 32 |
| 200 | 139 | 85 | 103 |
| 400 | 464 | 363 | 403 |
| 800 | 2154 | 1940 | 2045 |