diff options
Diffstat (limited to 'ia32/PrintAsm.ml')
-rw-r--r-- | ia32/PrintAsm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml index f3cb519e..7d75048e 100644 --- a/ia32/PrintAsm.ml +++ b/ia32/PrintAsm.ml @@ -86,7 +86,7 @@ let int8_reg_name = function let int16_reg_name = function | EAX -> "%ax" | EBX -> "%bx" | ECX -> "%cx" | EDX -> "%dx" - | _ -> assert false + | ESI -> "%si" | EDI -> "%di" | EBP -> "%bp" | ESP -> "%sp" let float_reg_name = function | XMM0 -> "%xmm0" | XMM1 -> "%xmm1" | XMM2 -> "%xmm2" | XMM3 -> "%xmm3" |