← all workloads

specialization

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

Phase composition vs N (stacked sub-counters)

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.

specialization — phase composition vs N (v2026.12, median ms) specialization 14.2× over N 75→600 0.0 357 714 75 150 300 600 N specialization — parseTranslationUnit specialization — SemanticChecking specialization — generateIR specialization — frontEndExecute (self) specialization — specializeModule specialization — simplifyIR specialization — linkIR specialization — unrollLoopsInModule specialization — legalizeResourceTypes specialization — legalizeExistentialTypeLayout specialization — performMandatoryEarlyInlining specialization — performForceInlining specialization — linkAndOptimizeIR (self) specialization — generateOutput (self) specialization — compileInner (self) phase buckets parseTranslationUnit SemanticChecking generateIR frontEndExecute (self) specializeModule simplifyIR linkIR unrollLoopsInModule legalizeResourceTypes legalizeExistentialTypeLayout performMandatoryEarlyInlining performForceInlining linkAndOptimizeIR (self) emitEntryPointsSourceFromIR generateOutput (self) compileInner (self)

Scaling analysis

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 rangefloor (ms)k (work)fit R²t(Nmin)t(Nmax)top-2×
75–600141.440.995476612.99×

Growth attribution (N=75 → N=600)

compileInner grows by 615 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.

buckett@N=75t@N=600Δ msshare× lin∝Nk
simplifyIR7130+12320%2.07×1.43
generateOutput (self)7124+11619%2.41×1.50
legalizeExistentialTypeLayout2101+9916%5.26×2.02
legalizeResourceTypes198+9616%5.90×2.12
linkAndOptimizeIR (self)690+8414%2.23×1.46

Also growing (below top-5): specializeModule (+36 ms, 6%), SemanticChecking (+25 ms, 4%), generateIR (+21 ms, 3%).

Near-constant (≤2% of growth each): linkIR (1→5 ms), performMandatoryEarlyInlining (0→5 ms), parseTranslationUnit (1→3 ms), performForceInlining (0→1 ms), unrollLoopsInModule (0→0 ms), frontEndExecute (self) (0→0 ms), compileInner (self) (0→0 ms).

Sweep numbers (median ms)

NcompileInnerspecializeModulelinkAndOptimizeIR
7547724
150891152
30022122148
60066142473