fn select(mut m mir.Module, arch pref.Arch)
select performs target-specific instruction selection on MIR. The selected opcode is currently encoded as a stable textual tag so later layers can consume it without changing existing backend contracts.