Это зависит. Все сохранения регистров происходят из-за Win64 ABI, когда они сохраняются вызываемыми и, следовательно, должны быть должным образом сохранены / восстановлены.
Причина, по которой они не исключают загрузки / сохранения, может быть связана с быстрым переключателем команд, используемым по умолчанию для JIT. Это даст вам бинарный код очень быстро, но жертвуя качеством.
Попробуйте переключиться на обычный кодовый код, чтобы проверить, сохраняется ли проблема.