`n` functions, each a cascade of cross-type conversions: scalar widening (int/uint -> float), splats, mixed initializer lists (per-element coercion), vector compose/truncate, and explicit narrowing. Stresses the coercion / conversion-cost engine in semantic checking rather than operator overloading. Scaling null: n scales conversion sites against a FIXED type set; ideal cost is O(n).
bucket: typecheck · mode: module · flags: (none)
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× |
|---|---|---|---|---|---|---|
| 300–2400 | 9 | 0.97 | 1.000 | 74 | 499 | 1.97× |
compileInner grows by 426 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=300 | t@N=2400 | Δ ms | share | × lin | ∝Nk |
|---|---|---|---|---|---|---|
| SemanticChecking | 47 | 304 | +258 | 61% | 0.93× | 0.94 |
| generateIR | 19 | 144 | +125 | 29% | 0.99× | 0.98 |
| generateOutput (self) | 4 | 26 | +22 | 5% | 1.26× | 1.22 |
| parseTranslationUnit | 3 | 24 | +21 | 5% | 1.09× | 1.06 |
Near-constant (≤2% of growth each): frontEndExecute (self) (1→1 ms), compileInner (self) (0→0 ms).
| N | compileInner | SemanticChecking | frontEndExecute |
|---|---|---|---|
| 300 | 74 | 47 | 70 |
| 600 | 133 | 84 | 126 |
| 1200 | 254 | 158 | 241 |
| 2400 | 499 | 304 | 473 |