По ходу дела обнаружилось кое-что для меня новое. Во-первых, Windbg x64 не поддерживает ассемблирование x64 и не планирует этого делать. Ну с этим отношением от M$ давно все понятно. Во-вторых, оказывается, если общесистемный отладчик (который postmortem) поймал приложение с исключением, в том числе отладочным, то перед выполнением следующего опкода регистры rbx, rdi, rsi вернутся в состояние на момент исключения. Примерно так: Код (Text): test64+0x100e: 00007ff6`710d100e cc int 3 0:000> e rip 90 0:000> r rax=000000000000000a rbx=000000000000000b rcx=0000009c764b0000 rdx=00007ff6710d1000 rsi=0000000000000000 rdi=0000000000000000 rip=00007ff6710d100e rsp=0000009c763afef8 rbp=0000000000000000 r8=0000009c764b0000 r9=00007ff6710d1000 r10=0000000000000000 r11=0000000000000000 r12=0000000000000000 r13=0000000000000000 r14=0000000000000000 r15=0000000000000000 iopl=0 nv up ei pl zr na po nc cs=0033 ss=002b ds=002b es=002b fs=0053 gs=002b efl=00000244 test64+0x100e: 00007ff6`710d100e 90 nop 0:000> r rbx=AAAA 0:000> r rsi=BBBB 0:000> r rdi=CCCC 0:000> r rax=000000000000000a rbx=000000000000aaaa rcx=0000009c764b0000 rdx=00007ff6710d1000 rsi=000000000000bbbb rdi=000000000000cccc rip=00007ff6710d100e rsp=0000009c763afef8 rbp=0000000000000000 r8=0000009c764b0000 r9=00007ff6710d1000 r10=0000000000000000 r11=0000000000000000 r12=0000000000000000 r13=0000000000000000 r14=0000000000000000 r15=0000000000000000 iopl=0 nv up ei pl zr na po nc cs=0033 ss=002b ds=002b es=002b fs=0053 gs=002b efl=00000244 test64+0x100e: 00007ff6`710d100e 90 nop 0:000> tr rax=000000000000000a rbx=000000000000000b rcx=0000009c764b0000 rdx=00007ff6710d1000 rsi=0000000000000000 rdi=0000000000000000 rip=00007ff6710d100f rsp=0000009c763afef8 rbp=0000000000000000 r8=0000009c764b0000 r9=00007ff6710d1000 r10=0000000000000000 r11=0000000000000000 r12=0000000000000000 r13=0000000000000000 r14=0000000000000000 r15=0000000000000000 iopl=0 nv up ei pl zr na po nc cs=0033 ss=002b ds=002b es=002b fs=0053 gs=002b efl=00000246 test64+0x100f: 00007ff6`710d100f 4803c3 add rax,rbx Интересно почему так. Похоже на какой-то обработчик, который сохраняет только регистры которые требуются по стандарту, но вдруг кто в курсе подробностей.