Je crois que c'est à ce post que je pensais, mais en fait ça ne mentionne pas le JIT x64, juste le JIT x86 sur un processeur x64. Ma mémoire me joue des tours…
Dans la pratique, je viens de regarder le code assemleur généré pour un build x64 et je vois bien plein d'instructions sse(2).