| SIMD spec transition progress |
| |
| Generated by archsimd/_gen/cmd/specstats; do not edit. |
| Regenerate with: go run ./cmd/specstats -w |
| |
| Every fraction heads for 100%; every count heads for zero. Bracketed |
| names are SPEC-TRANSITION.md tasks that move the figure. Indented, |
| untagged numbers are context breaking down the figure above them. |
| String, Len, ToArch, and FromArch are excluded throughout (§2.7). |
| |
| |
| ## Summary |
| |
| Heading for 100%: |
| |
| spec coverage, by (receiver, name) (§1) 1823 / 2929 62% [spec-common, spec-all] |
| docs sourced from spec (§3) 2958 / 3206 92% [gen-docs, comments-yaml, handwritten-fill, template-docs] |
| |
| Heading for zero: |
| |
| type mismatches with spec (§2) 0 -> 0 [fill-enforce] |
| type divergence across targets (§2) 0 -> 0 [fill-enforce] |
| spec coverage gaps in defined names (§5) 8 -> 0 [spec-all, convert-lo, mask-bits] |
| hand-written doc conflicts with spec (§3) 164 -> 0 [doc-triage] |
| simd mirror drift (§3) 0 -> 0 [comments-yaml] |
| categories.yaml entries (§4) 229 -> 0 [cat-rehome, compiler-ops-impl, cat-delete] |
| midway/comments.yaml entries spec covers (§4) 0 -> 0 [comments-yaml, spec-all] |
| |
| |
| ## 1. Spec coverage of API [spec-common, spec-all] |
| |
| by (target, receiver, name) 3934 / 5204 76% |
| by (receiver, name) 1823 / 2929 62% |
| by name 276 / 462 60% |
| |
| By build configuration: |
| |
| amd64 1737 / 2692 65% |
| arm64 1099 / 1311 84% |
| wasm 750 / 829 90% |
| portable 348 / 372 94% |
| |
| By generator (declarations per tool, counted once per tool per pair): |
| |
| hand-written 502 / 561 89% |
| midway 348 / 348 100% |
| simdgen 1293 / 2272 57% |
| tmplgen 373 / 421 89% |
| wasmgen 337 / 392 86% |
| |
| High-drift-risk names (emitted by >1 generator): |
| |
| covered 135 / 143 94% [spec-all] |
| portable core (comments.yaml .common_methods) 65 / 65 100% [spec-common] |
| |
| spec operations written so far 81 |
| expanding to distinct names 287 |
| expanding to (receiver, name) pairs 2672 |
| |
| |
| ## 2. Signatures and names [named-results, fill-enforce] |
| |
| Spec/API disagreement, for declarations spec covers. As in specdoc.Fill, |
| a named argument whose name differs from spec's is a mismatch; an unnamed |
| one (or _) is not, and is counted below as a name Fill fills in instead: |
| |
| type mismatches 0 -> 0 [fill-enforce] |
| parameter-name mismatches 0 -> 0 [named-results] |
| result-name mismatches 0 -> 0 [named-results] |
| |
| Names spec gives that the API leaves unnamed, for declarations spec covers: |
| |
| declarations with unnamed parameters 0 -> 0 [named-results] |
| declarations with unnamed results 0 -> 0 [named-results] |
| |
| API consistency across targets (the "one meaning" invariant), for |
| (receiver, name) pairs declared for more than one target. An unnamed |
| argument agrees with any name: |
| |
| divergent parameter or result types 0 -> 0 [fill-enforce] |
| divergent parameter names 0 -> 0 [fill-enforce, spec-all] |
| divergent result names 0 -> 0 [named-results] |
| |
| |
| ## 3. Documentation [gen-docs, comments-yaml, handwritten-fill, template-docs] |
| |
| A declaration counts as sourced from spec when its doc comment begins with |
| spec's text (a prefix test, because Fill leaves generator notes below). |
| |
| covered declarations whose doc comes from spec 2958 / 3206 92% [gen-docs, comments-yaml, handwritten-fill, template-docs] |
| |
| simd ∩ archsimd methods with matching docs 270 / 270 100% [gen-docs, comments-yaml] |
| |
| hand-written doc conflicts with spec 164 -> 0 [doc-triage] |
| archsimd/clmul_arm64.go 4 -> 0 [doc-triage] |
| archsimd/extra_amd64.go 6 -> 0 [doc-triage] |
| archsimd/maskrange_128.go 4 -> 0 [doc-triage] |
| archsimd/maskrange_amd64.go 12 -> 0 [doc-triage] |
| archsimd/ops_emulated_amd64.go 48 -> 0 [doc-triage] |
| archsimd/ops_emulated_arm64.go 1 -> 0 [doc-triage] |
| archsimd/ops_emulated_wasm.go 29 -> 0 [doc-triage] |
| archsimd/shuffles_amd64.go 12 -> 0 [doc-triage] |
| archsimd/slicepart_128.go 8 -> 0 [doc-triage] |
| archsimd/slicepart_amd64.go 4 -> 0 [doc-triage] |
| archsimd/slicepart_arm64.go 12 -> 0 [doc-triage] |
| archsimd/slicepart_wasm.go 12 -> 0 [doc-triage] |
| simd_emulated.go 12 -> 0 [doc-triage] |
| drifted docs in simd mirror (stubs vs emulated) 0 -> 0 [comments-yaml] |
| mirrored declarations 372 |
| |
| |
| ## 4. Retiring the old inputs |
| [comments-yaml, cat-rehome, compiler-ops-impl, cat-delete] |
| |
| categories.yaml's exported entries are emptied field by field: template-docs |
| removes documentation, cat-rehome removes the rest, sig-from-spec removes |
| commutative, and cat-delete removes the file. Compiler-only entries are |
| handled wholesale by compiler-ops-impl. |
| |
| categories.yaml entries 229 -> 0 [cat-rehome, compiler-ops-impl, cat-delete] |
| unique operation names 200 |
| exported 167 |
| compiler-only categories.yaml entries 42 -> 0 [compiler-ops-impl] |
| |
| exported entries, by field: |
| base 6 -> 0 [cat-rehome] |
| commutative 187 -> 0 [sig-from-spec] |
| constImm 22 -> 0 [cat-rehome] |
| documentation 186 -> 0 [cat-rehome] |
| elemBits 14 -> 0 [cat-rehome] |
| out 20 -> 0 [cat-rehome] |
| regexpTag 25 -> 0 [cat-rehome] |
| signed 6 -> 0 [cat-rehome] |
| |
| midway/comments.yaml entries spec covers 0 -> 0 [comments-yaml, spec-all] |
| |
| commutativity disagreements, spec vs categories.yaml 7 -> 0 [spec-all] |
| |
| |
| ## 5. Spec/API coverage disagreement detail [spec-all, convert-lo, mask-bits] |
| |
| Where both sides define a name, receivers only the API declares are spec |
| bugs (a constraint is wrong or a sibling function is missing). Receivers |
| only spec generates are a review queue -- spec is deliberately maximal. |
| |
| spec misses receivers of a name it defines 8 -> 0 [spec-all, convert-lo, mask-bits] |
| declarations affected, counting each target 8 -> 0 [spec-all, convert-lo, mask-bits] |
| spec operations implemented nowhere 1 -> 0 [spec-all] |
| TrailingZeros |
| |
| Every name either side defines, less the 186 spec has never defined at all |
| (1098 receivers, counted as coverage in §1 rather than disagreement): |
| |
| relation names Σ|api - spec| Σ|spec - api| |
| (-> 0) (review) |
| api = spec 219 0 0 |
| api ⊂ spec 51 0 799 |
| api ⊃ spec 0 0 0 |
| overlapping 0 0 0 |
| disjoint 6 8 16 |
| api = ∅ 11 0 34 |
| total 287 8 849 |
| |
| Names that disagree, with api - spec receivers (the defects): |
| |
| name relation |api| |spec| |api - spec| |spec - api| |
| AddSaturated api ⊂ spec 24 32 0 8 |
| Average api ⊂ spec 12 32 0 20 |
| CarrylessMultiplyEven api ⊂ spec 4 16 0 12 |
| CarrylessMultiplyEvenOdd api ⊂ spec 3 16 0 13 |
| CarrylessMultiplyOdd api ⊂ spec 4 16 0 12 |
| CarrylessMultiplyOddEven api ⊂ spec 3 16 0 13 |
| ConcatAddPairs api ⊂ spec 10 40 0 30 |
| ConcatAddPairsGrouped api ⊂ spec 6 40 0 34 |
| ConcatAddPairsSaturated api ⊂ spec 1 32 0 31 |
| ConcatAddPairsSaturatedGrouped api ⊂ spec 1 32 0 31 |
| ConcatSubPairs api ⊂ spec 6 40 0 34 |
| ConcatSubPairsGrouped api ⊂ spec 6 40 0 34 |
| ConcatSubPairsSaturated api ⊂ spec 1 32 0 31 |
| ConcatSubPairsSaturatedGrouped api ⊂ spec 1 32 0 31 |
| ConvertLo16ToFloat32 api = ∅ 0 4 0 4 |
| ConvertLo2ToFloat64 api ⊂ spec 3 7 0 4 |
| ConvertLo4ToFloat32 api = ∅ 0 4 0 4 |
| ConvertLo4ToFloat64 api = ∅ 0 7 0 7 |
| ConvertLo8ToFloat32 api = ∅ 0 4 0 4 |
| ConvertLo8ToFloat64 api = ∅ 0 7 0 7 |
| ConvertToFloat32 api ⊂ spec 16 23 0 7 |
| ConvertToFloat64 api ⊂ spec 12 16 0 4 |
| ConvertToInt16 api ⊂ spec 4 26 0 22 |
| ConvertToInt32 api ⊂ spec 11 23 0 12 |
| ConvertToInt64 api ⊂ spec 9 16 0 7 |
| ConvertToInt8 api ⊂ spec 4 28 0 24 |
| ConvertToUint16 api ⊂ spec 4 26 0 22 |
| ConvertToUint32 api ⊂ spec 10 23 0 13 |
| ConvertToUint64 api ⊂ spec 9 16 0 7 |
| ConvertToUint8 api ⊂ spec 4 28 0 24 |
| Div api ⊂ spec 12 40 0 28 |
| DotProductPairs api ⊂ spec 3 28 0 25 |
| DotProductPairsSaturated api ⊂ spec 3 12 0 9 |
| ExtendLo16ToInt16 api = ∅ 0 1 0 1 |
| ExtendLo16ToInt32 api = ∅ 0 2 0 2 |
| ExtendLo16ToUint16 api = ∅ 0 1 0 1 |
| ExtendLo16ToUint32 api = ∅ 0 2 0 2 |
| ExtendLo32ToInt16 api = ∅ 0 1 0 1 |
| ExtendLo32ToUint16 api = ∅ 0 1 0 1 |
| ExtendLo4ToInt64 disjoint 2 3 2 3 |
| api - spec = Int16x8 Int8x16 |
| ExtendLo4ToUint64 disjoint 2 3 2 3 |
| api - spec = Uint16x8 Uint8x16 |
| ExtendLo8ToInt32 disjoint 1 2 1 2 |
| api - spec = Int8x16 |
| ExtendLo8ToInt64 disjoint 1 3 1 3 |
| api - spec = Int8x16 |
| ExtendLo8ToUint32 disjoint 1 2 1 2 |
| api - spec = Uint8x16 |
| ExtendLo8ToUint64 disjoint 1 3 1 3 |
| api - spec = Uint8x16 |
| IsNaN api ⊂ spec 6 8 0 2 |
| LeadingZeros api ⊂ spec 16 32 0 16 |
| Less api ⊂ spec 39 40 0 1 |
| LessEqual api ⊂ spec 39 40 0 1 |
| MulAdd api ⊂ spec 22 40 0 18 |
| NotEqual api ⊂ spec 40 56 0 16 |
| OnesCount api ⊂ spec 26 32 0 6 |
| Permute api ⊂ spec 24 40 0 16 |
| ReduceMax api ⊂ spec 10 40 0 30 |
| ReduceSum api ⊂ spec 34 40 0 6 |
| RotateAllLeft api ⊂ spec 13 16 0 3 |
| RotateAllRight api ⊂ spec 13 16 0 3 |
| RotateLeft api ⊂ spec 6 16 0 10 |
| RotateRight api ⊂ spec 6 16 0 10 |
| ScaleSaturated api ⊂ spec 8 32 0 24 |
| ShiftAllLeft api ⊂ spec 28 32 0 4 |
| ShiftAllRight api ⊂ spec 25 32 0 7 |
| ShiftLeft api ⊂ spec 18 32 0 14 |
| ShiftRight api ⊂ spec 18 32 0 14 |
| StoreArrayMasked api ⊂ spec 22 30 0 8 |
| SubSaturated api ⊂ spec 24 32 0 8 |
| ToMask api ⊂ spec 16 40 0 24 |
| TrailingZeros api ⊂ spec 16 32 0 16 |
