This does require an extra two checks within the slow paths
to replace the assert that we're moving.
Reviewed-by: NAlex Bennée <alex.bennee@linaro.org>
Signed-off-by: NRichard Henderson <richard.henderson@linaro.org>