%%%
%%% %CopyrightBegin%
%%%
%%% Copyright Ericsson AB 2004-2016. All Rights Reserved.
%%%
%%% Licensed under the Apache License, Version 2.0 (the "License");
%%% you may not use this file except in compliance with the License.
%%% You may obtain a copy of the License at
%%%
%%% http://www.apache.org/licenses/LICENSE-2.0
%%%
%%% Unless required by applicable law or agreed to in writing, software
%%% distributed under the License is distributed on an "AS IS" BASIS,
%%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%%% See the License for the specific language governing permissions and
%%% limitations under the License.
%%%
%%% %CopyrightEnd%
%%%
%%% Copyright (C) 2000-2004 Mikael Pettersson
%%% Copyright (C) 2004 Daniel Luna
%%%
%%% This is the syntax of amd64 r/m operands:
%%%
%%% opnd ::= reg mod == 11
%%% | MEM[ea] mod != 11
%%%
%%% ea ::= disp32(reg) mod == 10, r/m != ESP
%%% | disp32 sib12 mod == 10, r/m == 100
%%% | disp8(reg) mod == 01, r/m != ESP
%%% | disp8 sib12 mod == 01, r/m == 100
%%% | (reg) mod == 00, r/m != ESP and EBP
%%% | sib0 mod == 00, r/m == 100
%%% | disp32(%rip) mod == 00, r/m == 101
%%%
%%% // sib0: mod == 00
%%% sib0 ::= disp32(,index,scale) base == EBP, index != ESP
%%% | disp32 base == EBP, index == 100
%%% | (base,index,scale) base != EBP, index != ESP
%%% | (base) base != EBP, index == 100
%%%
%%% // sib12: mod == 01 or 10
%%% sib12 ::= (base,index,scale) index != ESP
%%% | (base) index == 100
%%%
%%% scale ::= 00 | 01 | 10 | 11 index << scale
%%%
%%% Notes:
%%%
%%% 1. ESP cannot be used as index register.
%%% 2. Use of ESP as base register requires a SIB byte.
%%% 3. disp(reg), when reg != ESP, can be represented without
%%% [r/m == reg] or with [r/m == 100, base == reg] a SIB byte.
%%% 4. disp32 can be represented without [mod == 00, r/m == 101]
%%% or with [mod == 00, r/m == 100, base == 101, index == 100]
%%% a SIB byte.
%%% 5. AMD64 and x86 interpret mod==00b r/m==101b EAs differently:
%%% on x86 the disp32 is an absolute address, but on AMD64 the
%%% disp32 is relative to the %rip of the next instruction.
-module(hipe_amd64_encode).
-export([% condition codes
cc/1,
% 8-bit registers
%% al/0, cl/0, dl/0, bl/0, ah/0, ch/0, dh/0, bh/0,
% 32-bit registers
%% eax/0, ecx/0, edx/0, ebx/0, esp/0, ebp/0, esi/0, edi/0,
% operands
sindex/2, sib/1, sib/2,
ea_disp32_base/2, ea_disp32_sib/2,
ea_disp8_base/2, ea_disp8_sib/2,
ea_base/1,
ea_disp32_sindex/1, %%ea_disp32_sindex/2,
ea_sib/1, %ea_disp32_rip/1,
rm_reg/1, rm_mem/1,
% instructions
insn_encode/3, insn_sizeof/2]).
%%-define(DO_HIPE_AMD64_ENCODE_TEST,true).
-ifdef(DO_HIPE_AMD64_ENCODE_TEST).
-export([dotest/0, dotest/1]). % for testing, don't use
-endif.
-define(ASSERT(F,G), if G -> [] ; true -> exit({?MODULE,F}) end).
%-define(ASSERT(F,G), []).
%%% condition codes
-define(CC_O, 2#0000). % overflow
-define(CC_NO, 2#0001). % no overflow
-define(CC_B, 2#0010). % below, <u
-define(CC_AE, 2#0011). % above or equal, >=u
-define(CC_E, 2#0100). % equal
-define(CC_NE, 2#0101). % not equal
-define(CC_BE, 2#0110). % below or equal, <=u
-define(CC_A, 2#0111). % above, >u
-define(CC_S, 2#1000). % sign, +
-define(CC_NS, 2#1001). % not sign, -
-define(CC_PE, 2#1010). % parity even
-define(CC_PO, 2#1011). % parity odd
-define(CC_L, 2#1100). % less than, <s
-define(CC_GE, 2#1101). % greater or equal, >=s
-define(CC_LE, 2#1110). % less or equal, <=s
-define(CC_G, 2#1111). % greater than, >s
cc(o) -> ?CC_O;
cc(no) -> ?CC_NO;
cc(b) -> ?CC_B;
cc(ae) -> ?CC_AE;
cc(e) -> ?CC_E;
cc(ne) -> ?CC_NE;
cc(be) -> ?CC_BE;
cc(a) -> ?CC_A;
cc(s) -> ?CC_S;
cc(ns) -> ?CC_NS;
cc(pe) -> ?CC_PE;
cc(po) -> ?CC_PO;
cc(l) -> ?CC_L;
cc(ge) -> ?CC_GE;
cc(le) -> ?CC_LE;
cc(g) -> ?CC_G.
%%% 8-bit registers
-define(AL, 2#000).
-define(CL, 2#001).
-define(DL, 2#010).
-define(BL, 2#011).
-define(AH, 2#100).
-define(CH, 2#101).
-define(DH, 2#110).
-define(BH, 2#111).
%% al() -> ?AL.
%% cl() -> ?CL.
%% dl() -> ?DL.
%% bl() -> ?BL.
%% ah() -> ?AH.
%% ch() -> ?CH.
%% dh() -> ?DH.
%% bh() -> ?BH.
%%% 32-bit registers
-define(EAX, 2#000).
-define(ECX, 2#001).
-define(EDX, 2#010).
-define(EBX, 2#011).
-define(ESP, 2#100).
-define(EBP, 2#101).
-define(ESI, 2#110).
-define(EDI, 2#111).
%% eax() -> ?EAX.
%% ecx() -> ?ECX.
%% edx() -> ?EDX.
%% ebx() -> ?EBX.
%% esp() -> ?ESP.
%% ebp() -> ?EBP.
%% esi() -> ?ESI.
%% edi() -> ?EDI.
%%% r/m operands
sindex(Scale, Index) when is_integer(Scale), is_integer(Index) ->
?ASSERT(sindex, Scale >= 0),
?ASSERT(sindex, Scale =< 3),
?ASSERT(sindex, Index =/= ?ESP),
{sindex, Scale, Index}.
-record(sib, {sindex_opt, base :: integer()}).
sib(Base) when is_integer(Base) -> #sib{sindex_opt=none, base=Base}.
sib(Base, Sindex) when is_integer(Base) -> #sib{sindex_opt=Sindex, base=Base}.
ea_disp32_base(Disp32, Base) when is_integer(Base) ->
?ASSERT(ea_disp32_base, Base =/= ?ESP),
{ea_disp32_base, Disp32, Base}.
ea_disp32_sib(Disp32, SIB) -> {ea_disp32_sib, Disp32, SIB}.
ea_disp8_base(Disp8, Base) when is_integer(Base) ->
?ASSERT(ea_disp8_base, Base =/= ?ESP),
{ea_disp8_base, Disp8, Base}.
ea_disp8_sib(Disp8, SIB) -> {ea_disp8_sib, Disp8, SIB}.
ea_base(Base) when is_integer(Base) ->
?ASSERT(ea_base, Base =/= ?ESP),
?ASSERT(ea_base, Base =/= ?EBP),
{ea_base, Base}.
ea_disp32_sindex(Disp32) -> {ea_disp32_sindex, Disp32, none}.
%% ea_disp32_sindex(Disp32, Sindex) -> {ea_disp32_sindex, Disp32, Sindex}.
ea_sib(SIB) ->
?ASSERT(ea_sib, SIB#sib.base =/= ?EBP),
{ea_sib, SIB}.
%ea_disp32_rip(Disp32) -> {ea_disp32_rip, Disp32}.
rm_reg(Reg) -> {rm_reg, Reg}.
rm_mem(EA) -> {rm_mem, EA}.
mk_modrm(Mod, RO, RM) ->
{rex([{r,RO}, {b,RM}]),
(Mod bsl 6) bor ((RO band 2#111) bsl 3) bor (RM band 2#111)}.
mk_sib(Scale, Index, Base) ->
{rex([{x,Index}, {b,Base}]),
(Scale bsl 6) bor ((Index band 2#111) bsl 3) bor (Base band 2#111)}.
rex(REXs) -> {rex, rex_(REXs)}.
rex_([]) -> 0;
rex_([{r8, Reg8}| Rest]) -> % 8 bit registers
case Reg8 of
{rm_mem, _} -> rex_(Rest);
4 -> (1 bsl 8) bor rex_(Rest);
5 -> (1 bsl 8) bor rex_(Rest);
6 -> (1 bsl 8) bor rex_(Rest);
7 -> (1 bsl 8) bor rex_(Rest);
X when is_integer(X) -> rex_(Rest)
end;
rex_([{w, REXW}| Rest]) -> % 64-bit mode
(REXW bsl 3) bor rex_(Rest);
rex_([{r, ModRM_regRegister}| Rest]) when is_integer(ModRM_regRegister) ->
REXR = if (ModRM_regRegister > 7) -> 1;
true -> 0
end,
(REXR bsl 2) bor rex_(Rest);
rex_([{x, SIB_indexRegister}| Rest]) when is_integer(SIB_indexRegister) ->
REXX = if (SIB_indexRegister > 7) -> 1;
true -> 0
end,
(REXX bsl 1) bor rex_(Rest);
rex_([{b, OtherRegister}| Rest]) when is_integer(OtherRegister) ->
%% ModRM r/m, SIB base or opcode reg
REXB = if (OtherRegister > 7) -> 1;
true -> 0
end,
REXB bor rex_(Rest).
le16(Word, Tail) ->
[Word band 16#FF, (Word bsr 8) band 16#FF | Tail].
le32(Word, Tail) when is_integer(Word) ->
[Word band 16#FF, (Word bsr 8) band 16#FF,
(Word bsr 16) band 16#FF, (Word bsr 24) band 16#FF | Tail];
le32({Tag,Val}, Tail) -> % a relocatable datum
[{le32,Tag,Val} | Tail].
le64(Word, Tail) when is_integer(Word) ->
[ Word band 16#FF, (Word bsr 8) band 16#FF,
(Word bsr 16) band 16#FF, (Word bsr 24) band 16#FF,
(Word bsr 32) band 16#FF, (Word bsr 40) band 16#FF,
(Word bsr 48) band 16#FF, (Word bsr 56) band 16#FF | Tail];
le64({Tag,Val}, Tail) ->
[{le64,Tag,Val} | Tail].
enc_sindex_opt({sindex,Scale,Index}) -> {Scale, Index};
enc_sindex_opt(none) -> {2#00, 2#100}.
enc_sib(#sib{sindex_opt=SindexOpt, base=Base}) ->
{Scale, Index} = enc_sindex_opt(SindexOpt),
mk_sib(Scale, Index, Base).
enc_ea(EA, RO, Tail) ->
case EA of
{ea_disp32_base, Disp32, Base} ->
[mk_modrm(2#10, RO, Base) | le32(Disp32, Tail)];
{ea_disp32_sib, Disp32, SIB} ->
[mk_modrm(2#10, RO, 2#100), enc_sib(SIB) | le32(Disp32, Tail)];
{ea_disp8_base, Disp8, Base} ->
[mk_modrm(2#01, RO, Base), Disp8 | Tail];
{ea_disp8_sib, Disp8, SIB} ->
[mk_modrm(2#01, RO, 2#100), enc_sib(SIB), Disp8 | Tail];
{ea_base, Base} ->
[mk_modrm(2#00, RO, Base) | Tail];
{ea_disp32_sindex, Disp32, SindexOpt} ->
{Scale, Index} = enc_sindex_opt(SindexOpt),
SIB = mk_sib(Scale, Index, 2#101),
MODRM = mk_modrm(2#00, RO, 2#100),
[MODRM, SIB | le32(Disp32, Tail)];
{ea_sib, SIB} ->
[mk_modrm(2#00, RO, 2#100), enc_sib(SIB) | Tail];
{ea_disp32_rip, Disp32} ->
[mk_modrm(2#00, RO, 2#101) | le32(Disp32, Tail)]
end.
encode_rm(RM, RO, Tail) ->
case RM of
{rm_reg, Reg} -> [mk_modrm(2#11, RO, Reg) | Tail];
{rm_mem, EA} -> enc_ea(EA, RO, Tail)
end.
%% sizeof_ea(EA) ->
%% case element(1, EA) of
%% ea_disp32_base -> 5;
%% ea_disp32_sib -> 6;
%% ea_disp8_base -> 2;
%% ea_disp8_sib -> 3;
%% ea_base -> 1;
%% ea_disp32_sindex -> 6;
%% ea_sib -> 2;
%% ea_disp32_rip -> 5
%% end.
%% sizeof_rm(RM) ->
%% case RM of
%% {rm_reg, _} -> 1;
%% {rm_mem, EA} -> sizeof_ea(EA)
%% end.
%%% x87 stack postitions
-define(ST0, 2#000).
-define(ST1, 2#001).
-define(ST2, 2#010).
-define(ST3, 2#011).
-define(ST4, 2#100).
-define(ST5, 2#101).
-define(ST6, 2#110).
-define(ST7, 2#111).
st(0) -> ?ST0;
st(1) -> ?ST1;
st(2) -> ?ST2;
st(3) -> ?ST3;
st(4) -> ?ST4;
st(5) -> ?ST5;
st(6) -> ?ST6;
st(7) -> ?ST7.
%%% Instructions
%%%
%%% Insn ::= {Op,Opnds}
%%% Opnds ::= {Opnd1,...,Opndn} (n >= 0)
%%% Opnd ::= eax | ax | al | 1 | cl
%%% | {imm32,Imm32} | {imm16,Imm16} | {imm8,Imm8}
%%% | {rm32,RM32} | {rm16,RM16} | {rm8,RM8}
%%% | {rel32,Rel32} | {rel8,Rel8}
%%% | {moffs32,Moffs32} | {moffs16,Moffs16} | {moffs8,Moffs8}
%%% | {cc,CC}
%%% | {reg32,Reg32} | {reg16,Reg16} | {reg8,Reg8}
%%% | {ea,EA}
-define(PFX_OPND_16BITS, 16#66).
arith_binop_encode(SubOpcode, Opnds) ->
%% add, or, adc, sbb, and, sub, xor, cmp
case Opnds of
{eax, {imm32,Imm32}} ->
[16#05 bor (SubOpcode bsl 3) | le32(Imm32, [])];
{{rm32,RM32}, {imm32,Imm32}} ->
[16#81 | encode_rm(RM32, SubOpcode, le32(Imm32, []))];
{{rm32,RM32}, {imm8,Imm8}} ->
[16#83 | encode_rm(RM32, SubOpcode, [Imm8])];
{{rm32,RM32}, {reg32,Reg32}} ->
[16#01 bor (SubOpcode bsl 3) | encode_rm(RM32, Reg32, [])];
{{reg32,Reg32}, {rm32,RM32}} ->
[16#03 bor (SubOpcode bsl 3) | encode_rm(RM32, Reg32, [])];
%% Below starts amd64 stuff with rex prefix
{rax, {imm32,Imm32}} ->
[rex([{w,1}]), 16#05 bor (SubOpcode bsl 3) | le32(Imm32, [])];
{{rm64,RM64}, {imm32,Imm32}} ->
[rex([{w,1}]), 16#81
| encode_rm(RM64, SubOpcode, le32(Imm32, []))];
{{rm64,RM64}, {imm8,Imm8}} ->
[rex([{w,1}]), 16#83 | encode_rm(RM64, SubOpcode, [Imm8])];
{{rm64,RM64}, {reg64,Reg64}} ->
[rex([{w,1}]), 16#01 bor (SubOpcode bsl 3)
| encode_rm(RM64, Reg64, [])];
{{reg64,Reg64}, {rm64,RM64}} ->
[rex([{w,1}]), 16#03 bor (SubOpcode bsl 3)
| encode_rm(RM64, Reg64, [])]
end.
sse2_arith_binop_encode(Prefix, Opcode, {{xmm, XMM64}, {rm64fp, RM64}}) ->
%% addpd, cmpsd, divsd, maxsd, minsd, mulsd, sqrtsd, subsd
[Prefix, 16#0F, Opcode | encode_rm(RM64, XMM64, [])].
sse2_cvtsi2sd_encode({{xmm,XMM64}, {rm64,RM64}}) ->
[rex([{w, 1}]), 16#F2, 16#0F, 16#2A | encode_rm(RM64, XMM64, [])].
sse2_mov_encode(Opnds) ->
case Opnds of
{{xmm, XMM64}, {rm64fp, RM64}} -> % movsd
[16#F2, 16#0F, 16#10 | encode_rm(RM64, XMM64, [])];
{{rm64fp, RM64}, {xmm, XMM64}} -> % movsd
[16#F2, 16#0F, 16#11 | encode_rm(RM64, XMM64, [])]
% {{xmm, XMM64}, {rm64, RM64}} -> % cvtsi2sd
% [rex([{w, 1}]), 16#F2, 16#0F, 16#2A | encode_rm(RM64, XMM64, [])]
end.
%% arith_binop_sizeof(Opnds) ->
%% %% add, or, adc, sbb, and, sub, xor, cmp
%% case Opnds of
%% {eax, {imm32,_}} ->
%% 1 + 4;
%% {{rm32,RM32}, {imm32,_}} ->
%% 1 + sizeof_rm(RM32) + 4;
%% {{rm32,RM32}, {imm8,_}} ->
%% 1 + sizeof_rm(RM32) + 1;
%% {{rm32,RM32}, {reg32,_}} ->
%% 1 + sizeof_rm(RM32);
%% {{reg32,_}, {rm32,RM32}} ->
%% 1 + sizeof_rm(RM32)
%% end.
bs_op_encode(Opcode, {{reg32,Reg32}, {rm32,RM32}}) -> % bsf, bsr
[16#0F, Opcode | encode_rm(RM32, Reg32, [])].
%% bs_op_sizeof({{reg32,_}, {rm32,RM32}}) -> % bsf, bsr
%% 2 + sizeof_rm(RM32).
bswap_encode(Opnds) ->
case Opnds of
{{reg32,Reg32}} ->
[rex([{b, Reg32}]), 16#0F, 16#C8 bor (Reg32 band 2#111)];
{{reg64,Reg64}} ->
[rex([{w, 1}, {b, Reg64}]), 16#0F, 16#C8 bor (Reg64 band 2#111)]
end.
%% bswap_sizeof({{reg32,_}}) ->
%% 2.
bt_op_encode(SubOpcode, Opnds) -> % bt, btc, btr, bts
case Opnds of
{{rm32,RM32}, {reg32,Reg32}} ->
[16#0F, 16#A3 bor (SubOpcode bsl 3) | encode_rm(RM32, Reg32, [])];
{{rm32,RM32}, {imm8,Imm8}} ->
[16#0F, 16#BA | encode_rm(RM32, SubOpcode, [Imm8])]
end.
%% bt_op_sizeof(Opnds) -> % bt, btc, btr, bts
%% case Opnds of
%% {{rm32,RM32}, {reg32,_}} ->
%% 2 + sizeof_rm(RM32);
%% {{rm32,RM32}, {imm8,_}} ->
%% 2 + sizeof_rm(RM32) + 1
%% end.
call_encode(Opnds) ->
case Opnds of
{{rel32,Rel32}} ->
[16#E8 | le32(Rel32, [])];
%%% {{rm32,RM32}} ->
%%% [16#FF | encode_rm(RM32, 2#010, [])];
{{rm64,RM64}} -> % Defaults to 64 bits on amd64
[16#FF | encode_rm(RM64, 2#010, [])]
end.
%% call_sizeof(Opnds) ->
%% case Opnds of
%% {{rel32,_}} ->
%% 1 + 4;
%% {{rm32,RM32}} ->
%% 1 + sizeof_rm(RM32)
%% end.
cbw_encode({}) ->
[?PFX_OPND_16BITS, 16#98].
cbw_sizeof({}) ->
2.
nullary_op_encode(Opcode, {}) ->
%% cdq, clc, cld, cmc, cwde, into, leave, nop, prefix_fs, stc, std
[Opcode].
nullary_op_sizeof({}) ->
%% cdq, clc, cld, cmc, cwde, into, leave, nop, prefix_fs, stc, std
1.
cmovcc_encode({{cc,CC}, {reg32,Reg32}, {rm32,RM32}}) ->
[16#0F, 16#40 bor CC | encode_rm(RM32, Reg32, [])].
%% cmovcc_sizeof({{cc,_}, {reg32,_}, {rm32,RM32}}) ->
%% 2 + sizeof_rm(RM32).
incdec_encode(SubOpcode, Opnds) -> % SubOpcode is either 0 or 1
case Opnds of
{{rm32,RM32}} ->
[16#FF | encode_rm(RM32, SubOpcode, [])];
{{rm64,RM64}} ->
[rex([{w, 1}]), 16#FF | encode_rm(RM64, SubOpcode, [])]
end.
%% incdec_sizeof(Opnds) ->
%% case Opnds of
%% {{rm32,RM32}} ->
%% 1 + sizeof_rm(RM32);
%% {{reg32,_}} ->
%% 1
%% end.
arith_unop_encode(Opcode, Opnds) -> % div, idiv, mul, neg, not
case Opnds of
{{rm32,RM32}} ->
[16#F7 | encode_rm(RM32, Opcode, [])];
{{rm64,RM64}} ->
[rex([{w,1}]), 16#F7 | encode_rm(RM64, Opcode, [])]
end.
%% arith_unop_sizeof({{rm32,RM32}}) -> % div, idiv, mul, neg, not
%% 1 + sizeof_rm(RM32).
enter_encode({{imm16,Imm16}, {imm8,Imm8}}) ->
[16#C8 | le16(Imm16, [Imm8])].
enter_sizeof({{imm16,_}, {imm8,_}}) ->
1 + 2 + 1.
imul_encode(Opnds) ->
case Opnds of
{{rm32,RM32}} -> % <edx,eax> *= rm32
[16#F7 | encode_rm(RM32, 2#101, [])];
{{rm64,RM64}} ->
[rex([{w,1}]), 16#F7 | encode_rm(RM64, 2#101, [])];
{{reg32,Reg32}, {rm32,RM32}} -> % reg *= rm32
[16#0F, 16#AF | encode_rm(RM32, Reg32, [])];
{{reg64,Reg64}, {rm64,RM64}} ->
[rex([{w,1}]), 16#0F, 16#AF | encode_rm(RM64, Reg64, [])];
{{reg32,Reg32}, {rm32,RM32}, {imm8,Imm8}} -> % reg := rm32 * sext(imm8)
[16#6B | encode_rm(RM32, Reg32, [Imm8])];
{{reg64,Reg64}, {rm64,RM64}, {imm8,Imm8}} ->
[rex([{w,1}]), 16#6B | encode_rm(RM64, Reg64, [Imm8])];
{{reg32,Reg32}, {rm32,RM32}, {imm32,Imm32}} -> % reg := rm32 * imm32
[16#69 | encode_rm(RM32, Reg32, le32(Imm32, []))];
{{reg64,Reg64}, {rm64,RM64}, {imm32,Imm32}} ->
[rex([{w,1}]), 16#69 | encode_rm(RM64, Reg64, le32(Imm32, []))]
end.
%% imul_sizeof(Opnds) ->
%% case Opnds of
%% {{rm32,RM32}} ->
%% 1 + sizeof_rm(RM32);
%% {{reg32,_}, {rm32,RM32}} ->
%% 2 + sizeof_rm(RM32);
%% {{reg32,_}, {rm32,RM32}, {imm8,_}} ->
%% 1 + sizeof_rm(RM32) + 1;
%% {{reg32,_}, {rm32,RM32}, {imm32,_}} ->
%% 1 + sizeof_rm(RM32) + 4
%% end.
jcc_encode(Opnds) ->
case Opnds of
{{cc,CC}, {rel8,Rel8}} ->
[16#70 bor CC, Rel8];
{{cc,CC}, {rel32,Rel32}} ->
[16#0F, 16#80 bor CC | le32(Rel32, [])]
end.
jcc_sizeof(Opnds) ->
case Opnds of
{{cc,_}, {rel8,_}} ->
2;
{{cc,_}, {rel32,_}} ->
2 + 4
end.
jmp8_op_encode(Opcode, {{rel8,Rel8}}) -> % jecxz, loop, loope, loopne
[Opcode, Rel8].
jmp8_op_sizeof({{rel8,_}}) -> % jecxz, loop, loope, loopne
2.
jmp_encode(Opnds) ->
case Opnds of
{{rel8,Rel8}} ->
[16#EB, Rel8];
{{rel32,Rel32}} ->
[16#E9 | le32(Rel32, [])];
%%% {{rm32,RM32}} ->
%%% [16#FF | encode_rm(RM32, 2#100, [])]
{{rm64,RM64}} ->
[16#FF | encode_rm(RM64, 2#100, [])]
end.
%% jmp_sizeof(Opnds) ->
%% case Opnds of
%% {{rel8,_}} ->
%% 2;
%% {{rel32,_}} ->
%% 1 + 4;
%% {{rm32,RM32}} ->
%% 1 + sizeof_rm(RM32)
%% end.
lea_encode({{reg32,Reg32}, {ea,EA}}) ->
[16#8D | enc_ea(EA, Reg32, [])];
lea_encode({{reg64,Reg64}, {ea,EA}}) ->
[rex([{w, 1}]), 16#8D | enc_ea(EA, Reg64, [])].
%% lea_sizeof({{reg32,_}, {ea,EA}}) ->
%% 1 + sizeof_ea(EA).
mov_encode(Opnds) ->
case Opnds of
{{rm8,RM8}, {reg8,Reg8}} ->
[rex([{r8, RM8}, {r8, Reg8}]), 16#88 | encode_rm(RM8, Reg8, [])];
{{rm16,RM16}, {reg16,Reg16}} ->
[?PFX_OPND_16BITS, 16#89 | encode_rm(RM16, Reg16, [])];
{{rm32,RM32}, {reg32,Reg32}} ->
[16#89 | encode_rm(RM32, Reg32, [])];
{{rm64,RM64}, {reg64,Reg64}} ->
[rex([{w, 1}]), 16#89 | encode_rm(RM64, Reg64, [])];
{{reg8,Reg8}, {rm8,RM8}} ->
[rex([{r8, RM8}, {r8, Reg8}]), 16#8A |
encode_rm(RM8, Reg8, [])];
{{reg16,Reg16}, {rm16,RM16}} ->
[?PFX_OPND_16BITS, 16#8B | encode_rm(RM16, Reg16, [])];
{{reg32,Reg32}, {rm32,RM32}} ->
[16#8B | encode_rm(RM32, Reg32, [])];
{{reg64,Reg64}, {rm64,RM64}} ->
[rex([{w, 1}]), 16#8B | encode_rm(RM64, Reg64, [])];
{al, {moffs8,Moffs8}} ->
[16#A0 | le32(Moffs8, [])];
{ax, {moffs16,Moffs16}} ->
[?PFX_OPND_16BITS, 16#A1 | le32(Moffs16, [])];
{eax, {moffs32,Moffs32}} ->
[16#A1 | le32(Moffs32, [])];
{rax, {moffs32,Moffs32}} ->
[rex([{w, 1}]), 16#A1 | le32(Moffs32, [])];
{{moffs8,Moffs8}, al} ->
[16#A2 | le32(Moffs8, [])];
{{moffs16,Moffs16}, ax} ->
[?PFX_OPND_16BITS, 16#A3 | le32(Moffs16, [])];
{{moffs32,Moffs32}, eax} ->
[16#A3 | le32(Moffs32, [])];
{{moffs32,Moffs32}, rax} ->
[rex([{w, 1}]), 16#A3 | le32(Moffs32, [])];
{{reg8,Reg8}, {imm8,Imm8}} ->
[rex([{b, Reg8}, {r8, Reg8}]), 16#B0 bor (Reg8 band 2#111), Imm8];
{{reg16,Reg16}, {imm16,Imm16}} ->
[?PFX_OPND_16BITS, rex([{b, Reg16}]), 16#B8 bor (Reg16 band 2#111)
| le16(Imm16, [])];
{{reg32,Reg32}, {imm32,Imm32}} ->
[rex([{b, Reg32}]), 16#B8 bor (Reg32 band 2#111)
| le32(Imm32, [])];
{{reg64,Reg64}, {imm64,Imm64}} ->
[rex([{w, 1}, {b, Reg64}]), 16#B8 bor (Reg64 band 2#111)
| le64(Imm64, [])];
{{rm8,RM8}, {imm8,Imm8}} ->
[rex([{r8, RM8}]), 16#C6 | encode_rm(RM8, 2#000, [Imm8])];
{{rm16,RM16}, {imm16,Imm16}} ->
[?PFX_OPND_16BITS, 16#C7 |
encode_rm(RM16, 2#000, le16(Imm16, []))];
{{rm32,RM32}, {imm32,Imm32}} ->
[16#C7 | encode_rm(RM32, 2#000, le32(Imm32, []))];
{{rm64,RM64}, {imm32,Imm32}} ->
[rex([{w, 1}]), 16#C7 | encode_rm(RM64, 2#000, le32(Imm32, []))]
end.
%% mov_sizeof(Opnds) ->
%% case Opnds of
%% {{rm8,RM8}, {reg8,_}} ->
%% 1 + sizeof_rm(RM8);
%% {{rm16,RM16}, {reg16,_}} ->
%% 2 + sizeof_rm(RM16);
%% {{rm32,RM32}, {reg32,_}} ->
%% 1 + sizeof_rm(RM32);
%% {{reg8,_}, {rm8,RM8}} ->
%% 1 + sizeof_rm(RM8);
%% {{reg16,_}, {rm16,RM16}} ->
%% 2 + sizeof_rm(RM16);
%% {{reg32,_}, {rm32,RM32}} ->
%% 1 + sizeof_rm(RM32);
%% {al, {moffs8,_}} ->
%% 1 + 4;
%% {ax, {moffs16,_}} ->
%% 2 + 4;
%% {eax, {moffs32,_}} ->
%% 1 + 4;
%% {{moffs8,_}, al} ->
%% 1 + 4;
%% {{moffs16,_}, ax} ->
%% 2 + 4;
%% {{moffs32,_}, eax} ->
%% 1 + 4;
%% {{reg8,_}, {imm8,_}} ->
%% 2;
%% {{reg16,_}, {imm16,_}} ->
%% 2 + 2;
%% {{reg32,_}, {imm32,_}} ->
%% 1 + 4;
%% {{rm8,RM8}, {imm8,_}} ->
%% 1 + sizeof_rm(RM8) + 1;
%% {{rm16,RM16}, {imm16,_}} ->
%% 2 + sizeof_rm(RM16) + 2;
%% {{rm32,RM32}, {imm32,_}} ->
%% 1 + sizeof_rm(RM32) + 4
%% end.
movx_op_encode(Opcode, Opnds) -> % movsx, movzx
case Opnds of
{{reg16,Reg16}, {rm8,RM8}} ->
[?PFX_OPND_16BITS, rex([{r8, RM8}]), 16#0F, Opcode |
encode_rm(RM8, Reg16, [])];
{{reg32,Reg32}, {rm8,RM8}} ->
[rex([{r8, RM8}]), 16#0F, Opcode | encode_rm(RM8, Reg32, [])];
{{reg32,Reg32}, {rm16,RM16}} ->
[16#0F, Opcode bor 1 | encode_rm(RM16, Reg32, [])];
{{reg64,Reg64}, {rm8,RM8}} ->
[rex([{w,1}]), 16#0F, Opcode | encode_rm(RM8, Reg64, [])];
{{reg64,Reg64}, {rm16,RM16}} ->
[rex([{w,1}]), 16#0F, Opcode bor 1 | encode_rm(RM16, Reg64, [])];
{{reg64,Reg64}, {rm32,RM32}} ->
%% This is magic... /Luna
[rex([{w,(1 band (Opcode bsr 3))}]), 16#63 |
encode_rm(RM32, Reg64, [])]
end.
%% movx_op_sizeof(Opnds) ->
%% case Opnds of
%% {{reg16,_}, {rm8,RM8}} ->
%% 3 + sizeof_rm(RM8);
%% {{reg32,_}, {rm8,RM8}} ->
%% 1 + 2 + sizeof_rm(RM8);
%% {{reg32,_}, {rm16,RM16}} ->
%% 1 + 2 + sizeof_rm(RM16)
%% end.
pop_encode(Opnds) ->
case Opnds of
{{rm64,RM64}} ->
[16#8F | encode_rm(RM64, 2#000, [])];
{{reg64,Reg64}} ->
[rex([{b,Reg64}]),16#58 bor (Reg64 band 2#111)]
end.
%% pop_sizeof(Opnds) ->
%% case Opnds of
%% {{rm32,RM32}} ->
%% 1 + sizeof_rm(RM32);
%% {{reg32,_}} ->
%% 1
%% end.
push_encode(Opnds) ->
case Opnds of
%%% {{rm32,RM32}} ->
%%% [16#FF | encode_rm(RM32, 2#110, [])];
{{rm64,RM64}} ->
[16#FF | encode_rm(RM64, 2#110, [])];
%%% {{reg32,Reg32}} ->
%%% [rex([{b, 1}]), 16#50 bor (Reg32 band 2#111)];
{{reg64,Reg64}} ->
[rex([{b, Reg64}]), 16#50 bor (Reg64 band 2#111)];
{{imm8,Imm8}} -> % sign-extended
[16#6A, Imm8];
{{imm32,Imm32}} -> % Sign extended to 64 bits
[16#68 | le32(Imm32, [])]
end.
%% push_sizeof(Opnds) ->
%% case Opnds of
%% {{rm32,RM32}} ->
%% 1 + sizeof_rm(RM32);
%% {{reg32,_}} ->
%% 1;
%% {{imm8,_}} ->
%% 2;
%% {{imm32,_}} ->
%% 1 + 4
%% end.
shift_op_encode(SubOpcode, Opnds) -> % rol, ror, rcl, rcr, shl, shr, sar
case Opnds of
{{rm32,RM32}, 1} ->
[16#D1 | encode_rm(RM32, SubOpcode, [])];
{{rm32,RM32}, cl} ->
[16#D3 | encode_rm(RM32, SubOpcode, [])];
{{rm32,RM32}, {imm8,Imm8}} ->
[16#C1 | encode_rm(RM32, SubOpcode, [Imm8])];
{{rm64,RM64}, 1} ->
[rex([{w,1}]), 16#D1 | encode_rm(RM64, SubOpcode, [])];
{{rm64,RM64}, cl} ->
[rex([{w,1}]), 16#D3 | encode_rm(RM64, SubOpcode, [])];
{{rm64,RM64}, {imm8,Imm8}} ->
[rex([{w,1}]), 16#C1 | encode_rm(RM64, SubOpcode, [Imm8])]
end.
%% shift_op_sizeof(Opnds) -> % rcl, rcr, rol, ror, sar, shl, shr
%% case Opnds of
%% {{rm32,RM32}, 1} ->
%% 1 + sizeof_rm(RM32);
%% {{rm32,RM32}, cl} ->
%% 1 + sizeof_rm(RM32);
%% {{rm32,RM32}, {imm8,_Imm8}} ->
%% 1 + sizeof_rm(RM32) + 1
%% end.
ret_encode(Opnds) ->
case Opnds of
{} ->
[16#C3];
{{imm16,Imm16}} ->
[16#C2 | le16(Imm16, [])]
end.
ret_sizeof(Opnds) ->
case Opnds of
{} ->
1;
{{imm16,_}} ->
1 + 2
end.
setcc_encode({{cc,CC}, {rm8,RM8}}) ->
[rex([{r8, RM8}]), 16#0F, 16#90 bor CC | encode_rm(RM8, 2#000, [])].
%% setcc_sizeof({{cc,_}, {rm8,RM8}}) ->
%% 2 + sizeof_rm(RM8).
shd_op_encode(Opcode, Opnds) ->
case Opnds of
{{rm32,RM32}, {reg32,Reg32}, {imm8,Imm8}} ->
[16#0F, Opcode | encode_rm(RM32, Reg32, [Imm8])];
{{rm32,RM32}, {reg32,Reg32}, cl} ->
[16#0F, Opcode bor 1 | encode_rm(RM32, Reg32, [])]
end.
%% shd_op_sizeof(Opnds) ->
%% case Opnds of
%% {{rm32,RM32}, {reg32,_}, {imm8,_}} ->
%% 2 + sizeof_rm(RM32) + 1;
%% {{rm32,RM32}, {reg32,_}, cl} ->
%% 2 + sizeof_rm(RM32)
%% end.
test_encode(Opnds) ->
case Opnds of
{eax, {imm32,Imm32}} ->
[16#A9 | le32(Imm32, [])];
{{rm32,RM32}, {imm32,Imm32}} ->
[16#F7 | encode_rm(RM32, 2#000, le32(Imm32, []))];
{{rm32,RM32}, {reg32,Reg32}} ->
[16#85 | encode_rm(RM32, Reg32, [])]
end.
%% test_sizeof(Opnds) ->
%% case Opnds of
%% {eax, {imm32,_}} ->
%% 1 + 4;
%% {{rm32,RM32}, {imm32,_}} ->
%% 1 + sizeof_rm(RM32) + 4;
%% {{rm32,RM32}, {reg32,_}} ->
%% 1 + sizeof_rm(RM32)
%% end.
fild_encode(Opnds) ->
%% The operand cannot be a register!
{{rm64, RM64}} = Opnds,
[16#DB | encode_rm(RM64, 2#000, [])].
%% fild_sizeof(Opnds) ->
%% {{rm32, RM32}} = Opnds,
%% 1 + sizeof_rm(RM32).
fld_encode(Opnds) ->
case Opnds of
{{rm64fp, RM64fp}} ->
[16#DD | encode_rm(RM64fp, 2#000, [])];
{{fpst, St}} ->
[16#D9, 16#C0 bor st(St)]
end.
%% fld_sizeof(Opnds) ->
%% case Opnds of
%% {{rm64fp, RM64fp}} ->
%% 1 + sizeof_rm(RM64fp);
%% {{fpst, _}} ->
%% 2
%% end.
x87_comm_arith_encode(OpCode, Opnds) ->
%% fadd, fmul
case Opnds of
{{rm64fp, RM64fp}} ->
[16#DC | encode_rm(RM64fp, OpCode, [])];
{{fpst,0}, {fpst,St}} ->
[16#D8, (16#C0 bor (OpCode bsl 3)) bor st(St)];
{{fpst,St}, {fpst,0}} ->
[16#DC, (16#C0 bor (OpCode bsl 3)) bor st(St)]
end.
x87_comm_arith_pop_encode(OpCode, Opnds) ->
%% faddp, fmulp
case Opnds of
[] ->
[16#DE, 16#C0 bor (OpCode bsl 3) bor st(1)];
{{fpst,St},{fpst,0}} ->
[16#DE, 16#C0 bor (OpCode bsl 3) bor st(St)]
end.
x87_arith_encode(OpCode, Opnds) ->
%% fdiv, fsub
case Opnds of
{{rm64fp, RM64fp}} ->
[16#DC | encode_rm(RM64fp, OpCode, [])];
{{fpst,0}, {fpst,St}} ->
OpCode0 = OpCode band 2#110,
[16#D8, 16#C0 bor (OpCode0 bsl 3) bor st(St)];
{{fpst,St}, {fpst,0}} ->
OpCode0 = OpCode bor 1,
[16#DC, 16#C0 bor (OpCode0 bsl 3) bor st(St)]
end.
x87_arith_pop_encode(OpCode, Opnds) ->
%% fdivp, fsubp
OpCode0 = OpCode bor 1,
case Opnds of
[] ->
[16#DE, 16#C8 bor (OpCode0 bsl 3) bor st(1)];
{{fpst,St}, {fpst,0}} ->
[16#DE, 16#C8 bor (OpCode0 bsl 3) bor st(St)]
end.
x87_arith_rev_encode(OpCode, Opnds) ->
%% fdivr, fsubr
case Opnds of
{{rm64fp, RM64fp}} ->
[16#DC | encode_rm(RM64fp, OpCode, [])];
{{fpst,0}, {fpst,St}} ->
OpCode0 = OpCode bor 1,
[16#D8, 16#C0 bor (OpCode0 bsl 3) bor st(St)];
{{fpst,St}, {fpst,0}} ->
OpCode0 = OpCode band 2#110,
[16#DC, 16#C0 bor (OpCode0 bsl 3) bor st(St)]
end.
x87_arith_rev_pop_encode(OpCode, Opnds) ->
%% fdivrp, fsubrp
OpCode0 = OpCode band 2#110,
case Opnds of
[] ->
[16#DE, 16#C0 bor (OpCode0 bsl 3) bor st(1)];
{{fpst,St}, {fpst, 0}} ->
[16#DE, 16#C0 bor (OpCode0 bsl 3) bor st(St)]
end.
%% x87_arith_sizeof(Opnds) ->
%% case Opnds of
%% {{rm64fp, RM64fp}} ->
%% 1 + sizeof_rm(RM64fp);
%% {{fpst,0}, {fpst,_}} ->
%% 2;
%% {{fpst,_}, {fpst,0}} ->
%% 2
%% end.
fst_encode(OpCode, Opnds) ->
case Opnds of
{{rm64fp, RM64fp}} ->
[16#DD | encode_rm(RM64fp, OpCode, [])];
{{fpst, St}} ->
[16#DD, 16#C0 bor (OpCode bsl 3) bor st(St)]
end.
%% fst_sizeof(Opnds) ->
%% case Opnds of
%% {{rm64fp, RM64fp}} ->
%% 1 + sizeof_rm(RM64fp);
%% {{fpst, _}} ->
%% 2
%% end.
fchs_encode() ->
[16#D9, 16#E0].
fchs_sizeof() ->
2.
ffree_encode({{fpst, St}})->
[16#DD, 16#C0 bor st(St)].
ffree_sizeof() ->
2.
fwait_encode() ->
[16#9B].
fwait_sizeof() ->
1.
fxch_encode(Opnds) ->
case Opnds of
[] ->
[16#D9, 16#C8 bor st(1)];
{{fpst, St}} ->
[16#D9, 16#C8 bor st(St)]
end.
fxch_sizeof() ->
2.
insn_encode(Op, Opnds, Offset) ->
Bytes_and_REX = insn_encode_internal(Op, Opnds),
Bytes = fix_rex(Bytes_and_REX),
case has_relocs(Bytes) of
false -> % the common case
{Bytes, []};
_ ->
fix_relocs(Bytes, Offset, [], [])
end.
fix_rex(Bytes) ->
fix_rex(Bytes, 2#0100 bsl 4, []).
fix_rex([{rex, REX} | Rest], REXAcc, Bytes) ->
fix_rex(Rest, REXAcc bor REX, Bytes);
fix_rex([{{rex, REX}, Byte} | Rest], REXAcc, Bytes) ->
fix_rex(Rest, REXAcc bor REX, [Byte | Bytes]);
fix_rex([Byte | Rest], REXAcc, Bytes) ->
fix_rex(Rest, REXAcc, [Byte | Bytes]);
fix_rex([], 2#01000000, Bytes) -> % no rex prefix
lists:reverse(Bytes);
fix_rex([], REX0, Bytes) -> % rex prefix...
REX = REX0 band 16#FF, % for 8 bit registers
[Head|Tail] = lists:reverse(Bytes),
case Head of
16#66 -> % ...and 16 bit/sse2 prefix
[16#66, REX | Tail];
16#F2 -> % ...and sse2 prefix
[16#F2, REX | Tail];
_ -> % ...only
[REX, Head | Tail]
end.
has_relocs([{le32,_,_}|_]) -> true;
has_relocs([{le64,_,_}|_]) -> true;
has_relocs([_|Bytes]) -> has_relocs(Bytes);
has_relocs([]) -> false.
fix_relocs([{le32,Tag,Val}|Bytes], Offset, Code, Relocs) ->
fix_relocs(Bytes, Offset+4,
[16#00, 16#00, 16#00, 16#00 | Code],
[{Tag,Offset,Val}|Relocs]);
fix_relocs([{le64,Tag,Val}|Bytes], Offset, Code, Relocs) ->
fix_relocs(Bytes, Offset+8,
[16#00, 16#00, 16#00, 16#00,
16#00, 16#00, 16#00, 16#00 | Code],
[{Tag,Offset,Val}|Relocs]);
fix_relocs([Byte|Bytes], Offset, Code, Relocs) ->
fix_relocs(Bytes, Offset+1, [Byte|Code], Relocs);
fix_relocs([], _Offset, Code, Relocs) ->
{lists:reverse(Code), lists:reverse(Relocs)}.
insn_encode_internal(Op, Opnds) ->
case Op of
'adc' -> arith_binop_encode(2#010, Opnds);
'add' -> arith_binop_encode(2#000, Opnds);
'and' -> arith_binop_encode(2#100, Opnds);
'bsf' -> bs_op_encode(16#BC, Opnds);
'bsr' -> bs_op_encode(16#BD, Opnds);
'bswap' -> bswap_encode(Opnds);
'bt' -> bt_op_encode(2#100, Opnds);
'btc' -> bt_op_encode(2#111, Opnds);
'btr' -> bt_op_encode(2#110, Opnds);
'bts' -> bt_op_encode(2#101, Opnds);
'call' -> call_encode(Opnds);
'cbw' -> cbw_encode(Opnds);
'cdq' -> nullary_op_encode(16#99, Opnds);
'clc' -> nullary_op_encode(16#F8, Opnds);
'cld' -> nullary_op_encode(16#FC, Opnds);
'cmc' -> nullary_op_encode(16#F5, Opnds);
'cmovcc' -> cmovcc_encode(Opnds);
'cmp' -> arith_binop_encode(2#111, Opnds);
'cwde' -> nullary_op_encode(16#98, Opnds);
'dec' -> incdec_encode(2#001, Opnds);
'div' -> arith_unop_encode(2#110, Opnds);
'enter' -> enter_encode(Opnds);
'idiv' -> arith_unop_encode(2#111, Opnds);
'imul' -> imul_encode(Opnds);
'inc' -> incdec_encode(2#000, Opnds);
'into' -> case get(hipe_target_arch) of
x86 -> nullary_op_encode(16#CE, Opnds);
amd64 -> exit({invalid_amd64_opcode,
hipe_amd64_encode__erl})
end;
'jcc' -> jcc_encode(Opnds);
'jecxz' -> jmp8_op_encode(16#E3, Opnds);
'jmp' -> jmp_encode(Opnds);
'lea' -> lea_encode(Opnds);
'leave' -> nullary_op_encode(16#C9, Opnds);
'loop' -> jmp8_op_encode(16#E2, Opnds);
'loope' -> jmp8_op_encode(16#E1, Opnds);
'loopne' -> jmp8_op_encode(16#E0, Opnds);
'mov' -> mov_encode(Opnds);
'movsx' -> movx_op_encode(16#BE, Opnds);
'movzx' -> movx_op_encode(16#B6, Opnds);
'mul' -> arith_unop_encode(2#100, Opnds);
'neg' -> arith_unop_encode(2#011, Opnds);
'nop' -> nullary_op_encode(16#90, Opnds);
'not' -> arith_unop_encode(2#010, Opnds);
'or' -> arith_binop_encode(2#001, Opnds);
'pop' -> pop_encode(Opnds);
'prefix_fs' -> nullary_op_encode(16#64, Opnds);
'push' -> push_encode(Opnds);
'rcl' -> shift_op_encode(2#010, Opnds);
'rcr' -> shift_op_encode(2#011, Opnds);
'ret' -> ret_encode(Opnds);
'rol' -> shift_op_encode(2#000, Opnds);
'ror' -> shift_op_encode(2#001, Opnds);
'sar' -> shift_op_encode(2#111, Opnds);
'sbb' -> arith_binop_encode(2#011, Opnds);
'setcc' -> setcc_encode(Opnds);
'shl' -> shift_op_encode(2#100, Opnds);
'shld' -> shd_op_encode(16#A4, Opnds);
'shr' -> shift_op_encode(2#101, Opnds);
'shrd' -> shd_op_encode(16#AC, Opnds);
'stc' -> nullary_op_encode(16#F9, Opnds);
'std' -> nullary_op_encode(16#FD, Opnds);
'sub' -> arith_binop_encode(2#101, Opnds);
'test' -> test_encode(Opnds);
'xor' -> arith_binop_encode(2#110, Opnds);
%% sse2
'addsd' -> sse2_arith_binop_encode(16#F2, 16#58, Opnds);
'cmpsd' -> sse2_arith_binop_encode(16#F2, 16#C2, Opnds);
'comisd' -> sse2_arith_binop_encode(16#66, 16#2F, Opnds);
'cvtsi2sd' -> sse2_cvtsi2sd_encode(Opnds);
'divsd' -> sse2_arith_binop_encode(16#F2, 16#5E, Opnds);
'maxsd' -> sse2_arith_binop_encode(16#F2, 16#5F, Opnds);
'minsd' -> sse2_arith_binop_encode(16#F2, 16#5D, Opnds);
'movsd' -> sse2_mov_encode(Opnds);
'mulsd' -> sse2_arith_binop_encode(16#F2, 16#59, Opnds);
'sqrtsd' -> sse2_arith_binop_encode(16#F2, 16#51, Opnds);
'subsd' -> sse2_arith_binop_encode(16#F2, 16#5C, Opnds);
'ucomisd' -> sse2_arith_binop_encode(16#66, 16#2E, Opnds);
'xorpd' -> sse2_arith_binop_encode(16#66, 16#57, Opnds);
%% End of sse2
%% x87
'fadd' -> x87_comm_arith_encode(2#000, Opnds);
'faddp' -> x87_comm_arith_pop_encode(2#000, Opnds);
'fchs' -> fchs_encode();
'fdiv' -> x87_arith_encode(2#110, Opnds);
'fdivp' -> x87_arith_pop_encode(2#110, Opnds);
'fdivr' -> x87_arith_rev_encode(2#111, Opnds);
'fdivrp' -> x87_arith_rev_pop_encode(2#111, Opnds);
'ffree' -> ffree_encode(Opnds);
'fild' -> fild_encode(Opnds);
'fld' -> fld_encode(Opnds);
'fmul' -> x87_comm_arith_encode(2#001, Opnds);
'fmulp' -> x87_comm_arith_pop_encode(2#001, Opnds);
'fst' -> fst_encode(2#010, Opnds);
'fstp' -> fst_encode(2#011, Opnds);
'fsub' -> x87_arith_encode(2#100, Opnds);
'fsubp' -> x87_arith_pop_encode(2#100, Opnds);
'fsubr' -> x87_arith_rev_encode(2#101, Opnds);
'fsubrp' -> x87_arith_rev_pop_encode(2#101, Opnds);
'fwait' -> fwait_encode();
'fxch' -> fxch_encode(Opnds);
%% End of x87
_ -> exit({?MODULE,insn_encode,Op})
end.
insn_sizeof(Op, Opnds) ->
case Op of
'cbw' -> cbw_sizeof(Opnds);
'cdq' -> nullary_op_sizeof(Opnds);
'clc' -> nullary_op_sizeof(Opnds);
'cld' -> nullary_op_sizeof(Opnds);
'cmc' -> nullary_op_sizeof(Opnds);
'cwde' -> nullary_op_sizeof(Opnds);
'enter' -> enter_sizeof(Opnds);
'into' -> nullary_op_sizeof(Opnds);
'jcc' -> jcc_sizeof(Opnds);
'jecxz' -> jmp8_op_sizeof(Opnds);
'leave' -> nullary_op_sizeof(Opnds);
'loop' -> jmp8_op_sizeof(Opnds);
'loope' -> jmp8_op_sizeof(Opnds);
'loopne' -> jmp8_op_sizeof(Opnds);
'nop' -> nullary_op_sizeof(Opnds);
'prefix_fs' -> nullary_op_sizeof(Opnds);
'ret' -> ret_sizeof(Opnds);
'stc' -> nullary_op_sizeof(Opnds);
'std' -> nullary_op_sizeof(Opnds);
%% %% x87
%% 'fadd' -> x87_arith_sizeof(Opnds);
%% 'faddp' -> x87_arith_sizeof(Opnds);
'fchs' -> fchs_sizeof();
%% 'fdiv' -> x87_arith_sizeof(Opnds);
%% 'fdivp' -> x87_arith_sizeof(Opnds);
%% 'fdivr' -> x87_arith_sizeof(Opnds);
%% 'fdivrp' -> x87_arith_sizeof(Opnds);
'ffree' -> ffree_sizeof();
%% 'fild' -> fild_sizeof(Opnds);
%% 'fld' -> fld_sizeof(Opnds);
%% 'fmul' -> x87_arith_sizeof(Opnds);
%% 'fmulp' -> x87_arith_sizeof(Opnds);
%% 'fst' -> fst_sizeof(Opnds);
%% 'fstp' -> fst_sizeof(Opnds);
%% 'fsub' -> x87_arith_sizeof(Opnds);
%% 'fsubp' -> x87_arith_sizeof(Opnds);
%% 'fsubr' -> x87_arith_sizeof(Opnds);
%% 'fsubrp' -> x87_arith_sizeof(Opnds);
'fwait' -> fwait_sizeof();
'fxch' -> fxch_sizeof();
%% %% End of x87
_ -> %% Hack that is to be removed some day... Maybe...
{Bytes, _} = insn_encode(Op, Opnds, 0),
length(Bytes)
%% 'adc' -> arith_binop_sizeof(Opnds);
%% 'add' -> arith_binop_sizeof(Opnds);
%% 'and' -> arith_binop_sizeof(Opnds);
%% 'bsf' -> bs_op_sizeof(Opnds);
%% 'bsr' -> bs_op_sizeof(Opnds);
%% 'bswap' -> bswap_sizeof(Opnds);
%% 'bt' -> bt_op_sizeof(Opnds);
%% 'btc' -> bt_op_sizeof(Opnds);
%% 'btr' -> bt_op_sizeof(Opnds);
%% 'bts' -> bt_op_sizeof(Opnds);
%% 'call' -> call_sizeof(Opnds);
%% 'cmovcc' -> cmovcc_sizeof(Opnds);
%% 'cmp' -> arith_binop_sizeof(Opnds);
%% 'dec' -> incdec_sizeof(Opnds);
%% 'div' -> arith_unop_sizeof(Opnds);
%% 'idiv' -> arith_unop_sizeof(Opnds);
%% 'imul' -> imul_sizeof(Opnds);
%% 'inc' -> incdec_sizeof(Opnds);
%% 'jmp' -> jmp_sizeof(Opnds);
%% 'lea' -> lea_sizeof(Opnds);
%% 'mov' -> mov_sizeof(Opnds);
%% 'movsx' -> movx_op_sizeof(Opnds);
%% 'movzx' -> movx_op_sizeof(Opnds);
%% 'mul' -> arith_unop_sizeof(Opnds);
%% 'neg' -> arith_unop_sizeof(Opnds);
%% 'not' -> arith_unop_sizeof(Opnds);
%% 'or' -> arith_binop_sizeof(Opnds);
%% 'pop' -> pop_sizeof(Opnds);
%% 'push' -> push_sizeof(Opnds);
%% 'rcl' -> shift_op_sizeof(Opnds);
%% 'rcr' -> shift_op_sizeof(Opnds);
%% 'rol' -> shift_op_sizeof(Opnds);
%% 'ror' -> shift_op_sizeof(Opnds);
%% 'sar' -> shift_op_sizeof(Opnds);
%% 'sbb' -> arith_binop_sizeof(Opnds);
%% 'setcc' -> setcc_sizeof(Opnds);
%% 'shl' -> shift_op_sizeof(Opnds);
%% 'shld' -> shd_op_sizeof(Opnds);
%% 'shr' -> shift_op_sizeof(Opnds);
%% 'shrd' -> shd_op_sizeof(Opnds);
%% 'sub' -> arith_binop_sizeof(Opnds);
%% 'test' -> test_sizeof(Opnds);
%% 'xor' -> arith_binop_sizeof(Opnds);
%% _ -> exit({?MODULE,insn_sizeof,Op})
end.
%%=====================================================================
%% testing interface
%%=====================================================================
-ifdef(DO_HIPE_AMD64_ENCODE_TEST).
say(OS, Str) ->
file:write(OS, Str).
digit16(Dig0) ->
Dig = Dig0 band 16#F,
if Dig >= 16#A -> $A + (Dig - 16#A);
true -> $0 + Dig
end.
say_byte(OS, Byte) ->
say(OS, "0x"),
say(OS, [digit16(Byte bsr 4)]),
say(OS, [digit16(Byte)]).
init(OS) ->
say(OS, "\t.text\n").
say_bytes(OS, Byte0, Bytes0) ->
say_byte(OS, Byte0),
case Bytes0 of
[] ->
say(OS, "\n");
[Byte1|Bytes1] ->
say(OS, ","),
say_bytes(OS, Byte1, Bytes1)
end.
t(OS, Op, Opnds) ->
insn_sizeof(Op, Opnds),
{[Byte|Bytes],[]} = insn_encode(Op, Opnds, 0),
say(OS, "\t.byte "),
say_bytes(OS, Byte, Bytes).
dotest1(OS) ->
init(OS),
% exercise all rm32 types
t(OS,lea,{{reg32,?EAX},{ea,ea_disp32_rip(16#87654321)}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_sib(sib(?ECX))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_sib(sib(?ECX,sindex(2#10,?EDI)))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp32_sindex(16#87654321)}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp32_sindex(16#87654321,sindex(2#10,?EDI))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_base(?ECX)}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp8_sib(16#03,sib(?ECX))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp8_sib(16#03,sib(?ECX,sindex(2#10,?EDI)))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp8_base(16#3,?ECX)}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp32_sib(16#87654321,sib(?ECX))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp32_sib(16#87654321,sib(?ECX,sindex(2#10,?EDI)))}}),
t(OS,lea,{{reg32,?EAX},{ea,ea_disp32_base(16#87654321,?EBP)}}),
t(OS,call,{{rm32,rm_reg(?EAX)}}),
t(OS,call,{{rm32,rm_mem(ea_disp32_sindex(16#87654321,sindex(2#10,?EDI)))}}),
t(OS,call,{{rel32,-5}}),
% default parameters for the tests below
Word32 = 16#87654321,
Word16 = 16#F00F,
Word8 = 16#80,
Imm32 = {imm32,Word32},
Imm16 = {imm16,Word16},
Imm8 = {imm8,Word8},
RM32 = {rm32,rm_reg(?EDX)},
RM16 = {rm16,rm_reg(?EDX)},
RM8 = {rm8,rm_reg(?EDX)},
Rel32 = {rel32,Word32},
Rel8 = {rel8,Word8},
Moffs32 = {moffs32,Word32},
Moffs16 = {moffs16,Word32},
Moffs8 = {moffs8,Word32},
CC = {cc,?CC_G},
Reg32 = {reg32,?EAX},
Reg16 = {reg16,?EAX},
Reg8 = {reg8,?AH},
EA = {ea,ea_base(?ECX)},
% exercise each instruction definition
t(OS,'adc',{eax,Imm32}),
t(OS,'adc',{RM32,Imm32}),
t(OS,'adc',{RM32,Imm8}),
t(OS,'adc',{RM32,Reg32}),
t(OS,'adc',{Reg32,RM32}),
t(OS,'add',{eax,Imm32}),
t(OS,'add',{RM32,Imm32}),
t(OS,'add',{RM32,Imm8}),
t(OS,'add',{RM32,Reg32}),
t(OS,'add',{Reg32,RM32}),
t(OS,'and',{eax,Imm32}),
t(OS,'and',{RM32,Imm32}),
t(OS,'and',{RM32,Imm8}),
t(OS,'and',{RM32,Reg32}),
t(OS,'and',{Reg32,RM32}),
t(OS,'bsf',{Reg32,RM32}),
t(OS,'bsr',{Reg32,RM32}),
t(OS,'bswap',{Reg32}),
t(OS,'bt',{RM32,Reg32}),
t(OS,'bt',{RM32,Imm8}),
t(OS,'btc',{RM32,Reg32}),
t(OS,'btc',{RM32,Imm8}),
t(OS,'btr',{RM32,Reg32}),
t(OS,'btr',{RM32,Imm8}),
t(OS,'bts',{RM32,Reg32}),
t(OS,'bts',{RM32,Imm8}),
t(OS,'call',{Rel32}),
t(OS,'call',{RM32}),
t(OS,'cbw',{}),
t(OS,'cdq',{}),
t(OS,'clc',{}),
t(OS,'cld',{}),
t(OS,'cmc',{}),
t(OS,'cmovcc',{CC,Reg32,RM32}),
t(OS,'cmp',{eax,Imm32}),
t(OS,'cmp',{RM32,Imm32}),
t(OS,'cmp',{RM32,Imm8}),
t(OS,'cmp',{RM32,Reg32}),
t(OS,'cmp',{Reg32,RM32}),
t(OS,'cwde',{}),
t(OS,'dec',{RM32}),
t(OS,'dec',{Reg32}),
t(OS,'div',{RM32}),
t(OS,'enter',{Imm16,{imm8,3}}),
t(OS,'idiv',{RM32}),
t(OS,'imul',{RM32}),
t(OS,'imul',{Reg32,RM32}),
t(OS,'imul',{Reg32,RM32,Imm8}),
t(OS,'imul',{Reg32,RM32,Imm32}),
t(OS,'inc',{RM32}),
t(OS,'inc',{Reg32}),
t(OS,'into',{}),
t(OS,'jcc',{CC,Rel8}),
t(OS,'jcc',{CC,Rel32}),
t(OS,'jecxz',{Rel8}),
t(OS,'jmp',{Rel8}),
t(OS,'jmp',{Rel32}),
t(OS,'jmp',{RM32}),
t(OS,'lea',{Reg32,EA}),
t(OS,'leave',{}),
t(OS,'loop',{Rel8}),
t(OS,'loope',{Rel8}),
t(OS,'loopne',{Rel8}),
t(OS,'mov',{RM8,Reg8}),
t(OS,'mov',{RM16,Reg16}),
t(OS,'mov',{RM32,Reg32}),
t(OS,'mov',{Reg8,RM8}),
t(OS,'mov',{Reg16,RM16}),
t(OS,'mov',{Reg32,RM32}),
t(OS,'mov',{al,Moffs8}),
t(OS,'mov',{ax,Moffs16}),
t(OS,'mov',{eax,Moffs32}),
t(OS,'mov',{Moffs8,al}),
t(OS,'mov',{Moffs16,ax}),
t(OS,'mov',{Moffs32,eax}),
t(OS,'mov',{Reg8,Imm8}),
t(OS,'mov',{Reg16,Imm16}),
t(OS,'mov',{Reg32,Imm32}),
t(OS,'mov',{RM8,Imm8}),
t(OS,'mov',{RM16,Imm16}),
t(OS,'mov',{RM32,Imm32}),
t(OS,'movsx',{Reg16,RM8}),
t(OS,'movsx',{Reg32,RM8}),
t(OS,'movsx',{Reg32,RM16}),
t(OS,'movzx',{Reg16,RM8}),
t(OS,'movzx',{Reg32,RM8}),
t(OS,'movzx',{Reg32,RM16}),
t(OS,'mul',{RM32}),
t(OS,'neg',{RM32}),
t(OS,'nop',{}),
t(OS,'not',{RM32}),
t(OS,'or',{eax,Imm32}),
t(OS,'or',{RM32,Imm32}),
t(OS,'or',{RM32,Imm8}),
t(OS,'or',{RM32,Reg32}),
t(OS,'or',{Reg32,RM32}),
t(OS,'pop',{RM32}),
t(OS,'pop',{Reg32}),
t(OS,'push',{RM32}),
t(OS,'push',{Reg32}),
t(OS,'push',{Imm8}),
t(OS,'push',{Imm32}),
t(OS,'rcl',{RM32,1}),
t(OS,'rcl',{RM32,cl}),
t(OS,'rcl',{RM32,Imm8}),
t(OS,'rcr',{RM32,1}),
t(OS,'rcr',{RM32,cl}),
t(OS,'rcr',{RM32,Imm8}),
t(OS,'ret',{}),
t(OS,'ret',{Imm16}),
t(OS,'rol',{RM32,1}),
t(OS,'rol',{RM32,cl}),
t(OS,'rol',{RM32,Imm8}),
t(OS,'ror',{RM32,1}),
t(OS,'ror',{RM32,cl}),
t(OS,'ror',{RM32,Imm8}),
t(OS,'sar',{RM32,1}),
t(OS,'sar',{RM32,cl}),
t(OS,'sar',{RM32,Imm8}),
t(OS,'sbb',{eax,Imm32}),
t(OS,'sbb',{RM32,Imm32}),
t(OS,'sbb',{RM32,Imm8}),
t(OS,'sbb',{RM32,Reg32}),
t(OS,'sbb',{Reg32,RM32}),
t(OS,'setcc',{CC,RM8}),
t(OS,'shl',{RM32,1}),
t(OS,'shl',{RM32,cl}),
t(OS,'shl',{RM32,Imm8}),
t(OS,'shld',{RM32,Reg32,Imm8}),
t(OS,'shld',{RM32,Reg32,cl}),
t(OS,'shr',{RM32,1}),
t(OS,'shr',{RM32,cl}),
t(OS,'shr',{RM32,Imm8}),
t(OS,'shrd',{RM32,Reg32,Imm8}),
t(OS,'shrd',{RM32,Reg32,cl}),
t(OS,'stc',{}),
t(OS,'std',{}),
t(OS,'sub',{eax,Imm32}),
t(OS,'sub',{RM32,Imm32}),
t(OS,'sub',{RM32,Imm8}),
t(OS,'sub',{RM32,Reg32}),
t(OS,'sub',{Reg32,RM32}),
t(OS,'test',{eax,Imm32}),
t(OS,'test',{RM32,Imm32}),
t(OS,'test',{RM32,Reg32}),
t(OS,'xor',{eax,Imm32}),
t(OS,'xor',{RM32,Imm32}),
t(OS,'xor',{RM32,Imm8}),
t(OS,'xor',{RM32,Reg32}),
t(OS,'xor',{Reg32,RM32}),
t(OS,'prefix_fs',{}), t(OS,'add',{{reg32,?EAX},{rm32,rm_mem(ea_disp32_rip(16#20))}}),
[].
dotest() -> dotest1(group_leader()). % stdout == group_leader
dotest(File) ->
{ok,OS} = file:open(File, [write]),
dotest1(OS),
file:close(OS).
-endif.
