A single moderately complex shader. Compiled to multiple targets by the harness (same source, varying -target) to isolate generateOutput cost. ``n`` scales the amount of straight-line math the backend must emit. Scaling null: n scales op count and the emitted output is O(n); ideal codegen cost is O(n).
bucket: codegen_source · mode: target · flags: -target hlsl -entry computeMain
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.89 | 0.997 | 75 | 3299 | 4.25× |
compileInner grows by 3224 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 |
|---|---|---|---|---|---|---|
| emitEntryPointsSourceFromIR | 27 | 1619 | +1592 | 49% | 4.73× | 1.97 |
| legalizeExistentialTypeLayout | 8 | 621 | +614 | 19% | 5.37× | 2.11 |
| legalizeResourceTypes | 8 | 616 | +608 | 19% | 5.54× | 2.11 |
| simplifyIR | 5 | 249 | +244 | 8% | 4.08× | 1.85 |
| specializeModule | 4 | 81 | +77 | 2% | 2.45× | 1.48 |
Near-constant (≤2% of growth each): SemanticChecking (15→61 ms), generateIR (6→47 ms), parseTranslationUnit (0→2 ms), linkIR (1→2 ms), performMandatoryEarlyInlining (0→1 ms), performForceInlining (0→0 ms), frontEndExecute (self) (0→0 ms), compileInner (self) (1→0 ms), unrollLoopsInModule (0→0 ms).
| N | compileInner | emitEntryPointsSourceFromIR | generateOutput |
|---|---|---|---|
| 100 | 75 | 52 | 52 |
| 200 | 213 | 183 | 183 |
| 400 | 777 | 724 | 724 |
| 800 | 3299 | 3188 | 3189 |