Durchsicht des Werkzeugsatzes MSVC 14.51.36256 (VS 2026) auf den
Runner-Disassemblaten in lu-301/bau/isa-review-14.51/, Bericht in
lu-301/bau/isa-review-1451.md.
Die zwei vpmullq in llama.dll (000000018007AA0D und 000000018007AA28,
Lambda in llama-kv-cache.obj) sind kein K1-Rueckfall, sondern ein
Falschrot der bekannten Form (i): davor steht
cmp dword ptr [__isa_available],6 und ein jl auf 000000018007AA4E,
also hinter beide Treffer in den skalaren Zweig, nur hat der Scheduler
ein mov r11,qword ptr [rcx] zwischen Vergleich und Sprung gelegt. Die
alte Regel verlangte den Sprung unmittelbar nach dem Vergleich.
checkDominance folgt dem Sprung jetzt ueber Befehle hinweg, die EFLAGS
nicht schreiben koennen (Allowlist FLAG_PRESERVING_MNEMONICS, Deckel
MAX_SCHEDULED_INSTRUCTIONS_BEFORE_JUMP). Das Loch aus N1 bleibt zu: die
Fehlgruen-Form A schreibt mit test rax,rax die Flaggen und bleibt
UNPROTECTED. Neue Fixtures scheduled-jump-own-code (die echte
14.51-Form, ALLOWED_PROTECTED) und scheduled-jump-no-guard-own-code
(dieselbe Form ohne den Sprung, bleibt UNPROTECTED).
Werkzeugsatz-Pin auf "14.44 14.51" erweitert, Kopfkommentar um den
Durchsichtsstand 21.09.2026 ergaenzt.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
