diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-09-10 07:49:49 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-09-10 07:49:49 +0000 |
commit | 637334181f54154f6c5598073c60f3f2c3ab5e87 (patch) | |
tree | 8789da87f5c26ecf09eda0d38ad44d58df60ad78 /ia32/PrintAsm.ml | |
parent | c9acadca7c8d5d29dd57b9acba99369067f93ae1 (diff) |
Improvements for int8 and int16 stores
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1507 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
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 f3cb519..7d75048 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" |