only check for $esi mutation on x86 in validate_args