A generic struct over a type parameter, instantiated at n distinct wrapper types. Forces specializeModule to clone the generic n ways. Scaling null: n scales instantiations of O(1) bodies; ideal specialization cost is O(n).
bucket: specialization · 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× |
|---|---|---|---|---|---|---|
| 75–600 | 10 | 1.38 | 0.994 | 40 | 543 | 2.99× |
compileInner grows by 502 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=75 | t@N=600 | Δ ms | share | × lin | ∝Nk |
|---|---|---|---|---|---|---|
| generateOutput (self) | 7 | 109 | +102 | 20% | 2.31× | 1.48 |
| legalizeExistentialTypeLayout | 1 | 96 | +95 | 19% | 5.58× | 2.06 |
| legalizeResourceTypes | 1 | 94 | +93 | 19% | 6.22× | 2.14 |
| linkAndOptimizeIR (self) | 5 | 90 | +84 | 17% | 2.08× | 1.41 |
| specializeModule | 5 | 44 | +39 | 8% | 1.01× | 1.01 |
Also growing (below top-5): simplifyIR (+29 ms, 6%), SemanticChecking (+25 ms, 5%), generateIR (+21 ms, 4%).
Near-constant (≤2% of growth each): performMandatoryEarlyInlining (0→5 ms), linkIR (1→5 ms), parseTranslationUnit (1→3 ms), performForceInlining (0→1 ms), unrollLoopsInModule (0→1 ms), frontEndExecute (self) (1→0 ms), compileInner (self) (0→0 ms).
| N | compileInner | specializeModule | linkAndOptimizeIR |
|---|---|---|---|
| 75 | 40 | 5 | 18 |
| 150 | 77 | 11 | 41 |
| 300 | 182 | 22 | 114 |
| 600 | 543 | 44 | 370 |