fn lower(mut m mir.Module, arch pref.Arch)
lower annotates MIR with ABI classification metadata. Current scope is intentionally conservative: it classifies which arguments and return values must be passed indirectly for each function.