docs: va_list on win64 and darwin
docs: scope i128, widen operand check and drop register-return budget
docs: cmpxchg orderings, refusal lists and opt-level spelling
docs: i686 traps narrow division overflow
docs: normative ir semantics