* Daniel Verkamp dverkamp@chromium.org wrote:
The x86-64 memmove code has two ALTERNATIVE statements in a row, one to handle FSRM ("Fast Short REP MOVSB"), and one to handle ERMS ("Enhanced REP MOVSB"). If either of these features is present, the goal is to jump directly to a REP MOVSB; otherwise, some setup code that handles short lengths is executed. The first comparison of a sequence of specific small sizes is included in the first ALTERNATIVE, so it will be replaced by NOPs if FSRM is set, and then (assuming ERMS is also set) execution will fall through to the JMP to a REP MOVSB in the next ALTERNATIVE.
The two ALTERNATIVE invocations can be combined into a single instance of ALTERNATIVE_2 to simplify and slightly shorten the code. If either FSRM or ERMS is set, the first instruction in the memmove_begin_forward path will be replaced with a jump to the REP MOVSB.
This also prevents a problem when FSRM is set but ERMS is not; in this case, the previous code would have replaced both ALTERNATIVEs with NOPs and skipped the first check for sizes less than 0x20 bytes. This combination of CPU features is arguably a firmware bug, but this patch makes the function robust against this badness.
Fixes: f444a5ff95dc ("x86/cpufeatures: Add support for fast short REP; MOVSB") Signed-off-by: Daniel Verkamp dverkamp@chromium.org
Could you please extend the changelog with the information about the guest and baremetal firmware tthat Jiri Slaby pointed out?
Ie. acknowledging Boris's point that these are technically invalid CPUID combinations, but emphasizing that the x86 memcpy routines should not behave in an undefined fashion while other OSs boot fine under the same firmware environment ...
[ Also, please Cc: lkml and don't Cc: -stable. ]
Thanks,
Ingo