decomp: Add ARM system intrinsic emission and robust userop handling#281

Merged

kumarak merged 10 commits into

mainfrom

kumarak/userop_classification

Jun 8, 2026

Commits on Jun 7, 2026

decomp: classify ARM system userops + spell as ACLE/CMSIS intrinsics

kumarak
and
claude
committed
decomp: spell coprocessor MCR/MRC/CDP as reordered ACLE intrinsics

kumarak
and
claude
committed
decomp: cast coprocessor LDC/STC address so __arm_ldc recompiles

kumarak
and
claude
committed
decomp: make intrinsic classification + spelling architecture-pluggable

kumarak
and
claude
committed
decomp: harden builtin-userop id range + unknown-builtin manifest flag

kumarak
and
claude
committed
decomp: drop intrinsic_manifest from serialized JSON (not an AST input)

kumarak
and
claude
committed
decomp: rename ArchSpeller -> ArchIntrinsicEmitter, drop header hook

kumarak
and
claude
committed
decomp: fix CMSIS sysreg accessor spelling + tighten intrinsic comments

kumarak
and
claude
committed
decomp: drop dead `mapped` flag and make sysreg register the single source of truth

kumarak
and
claude
committed
decomp: address PR review - LDC/STC arity guard + sysreg-class assert

kumarak
and
claude
committed