C++用x86(IA-32), x64(AMD64, x86-64) JITアセンブラ Xbyak 5.65 ----------------------------------------------------------------------------- ◎概要 これはx86, x64(AMD64, x86-64)のマシン語命令を生成するC++のクラスライブラリです。 プログラム実行時に動的にアセンブルすることが可能です。 ----------------------------------------------------------------------------- ◎特徴 ・ヘッダファイルオンリー xbyak.hをインクルードするだけですぐ利用することができます。 C++の枠組み内で閉じているため、外部アセンブラは不要です。 32bit/64bit両対応です。 対応ニーモニック:特権命令除くx86, MMX/MMX2/SSE/SSE2/SSE3/SSSE3/SSE4/FPU(一部)/AVX/AVX2/FMA/VEX-encoded GPR ・Windows Xp(32bit, 64bit), Windows 7/Linux(32bit, 64bit)/Intel Mac対応 Windows Xp, Windows 7上ではVC2008, VC2010, VC2012 Linux (kernel 3.8)上ではgcc 4.7.3, clang 3.3 Intel Mac などで動作確認をしています。 ※ Xbyakはデフォルトでand(), or(), xor(), not()関数を使います。 gccではそれらを演算子として解釈してしまうため、-fno-operator-namesオプションを追加してコンパイルしてください。 あるいはXBYAK_NO_OP_NAMESを定義してand_(), or_(), xor_(), not_()を使ってください。 and_(), or_(), xor_(), not_()はXBYAK_NO_OP_NAMESされていないときでも使えます。 ----------------------------------------------------------------------------- ◎準備 xbyak.h xbyak_bin2hex.h xbyak_mnemonic.h これらを同一のパスに入れてインクルードパスに追加してください。 Linuxではmake installで/usr/local/include/xbyakにコピーされます。 ----------------------------------------------------------------------------- ◎下位互換性の破れ * Xbyak::Errorの型をenumからclassに変更 ** 従来のenumの値をとるにはintにキャストしてください。 * (古い)Reg32eクラスを(新しい)Reg32eとRegExpに分ける。 ** (新しい)Reg32eはReg32かReg64 ** (新しい)RegExpは'Reg32e + (Reg32e|Xmm|Ymm) * scale + disp'の型 ----------------------------------------------------------------------------- ◎新機能 MmapAllocator追加 これはUnix系OSでのみの仕様です。XBYAK_USE_MMAP_ALLOCATORを使うと利用できます。 デフォルトのAllocatorはメモリ確保時にposix_memalignを使います。 この領域に対するmprotectはmap countを減らします。 map countの最大値は/proc/sys/vm/max_map_countに書かれています。 デフォルトでは3万個ほどのXbyak::CodeGeneratorインスタンスを生成するとエラーになります。 test/mprotect_test.cppで確認できます。 これを避けるためにはmmapを使うMmapAllocatorを使ってください。 将来この挙動がデフォルトになるかもしれません。 AutoGrowモード追加 これはメモリ伸長を動的に行うモードです。 今まではXbyak::CodeGenerator()に渡したメモリサイズを超えると例外が発生して いましたが、このモードでは内部でメモリを再確保して伸長します。 ただし、getCode()を呼び出す前にジャンプ命令のアドレス解決をするためにready() 関数を呼ぶ必要があります。 次のように使います。 struct Code : Xbyak::CodeGenerator { Code() : Xbyak::CodeGenerator(, Xbyak::AutoGrow) { ... } }; Code c; c.ready(); // この呼び出しを忘れてはいけない 注意1. ready()を呼んで確定するまではgetCurr()で得たポインタは無効化されている 可能性があります。getSize()でoffsetを保持しておきready()のあとにgetCode()を 呼び出してからgetCode() + offsetで新しいポインタを取得してください。 注意2. AutoGrowモードでは64bitモードの相対アドレッシング[rip]は非サポートです。 ----------------------------------------------------------------------------- ◎文法 Xbyak::CodeGeneratorクラスを継承し、そのクラスメソッド内でx86, x64アセンブラを 記述します。そのメソッドを呼び出した後、getCode()メソッドを呼び出し、その戻 り値を自分が使いたい関数ポインタに変換して利用します。アセンブルエラーは例外 により通知されます(cf. main.cpp)。 ・基本的にnasmの命令で括弧をつければよいです。 mov eax, ebx --> mov(eax, ebx); inc ecx inc(ecx); ret --> ret(); ・アドレッシング (ptr|dword|word|byte) [base + index * (1|2|4|8) + displacement] [rip + 32bit disp] ; x64 only という形で指定します。サイズを指定する必要がない限りptrを使えばよいです。 セレクター(セグメントレジスタ)をサポートしました。 (注意)セグメントレジスタはOperandを継承していません。 mov eax, [fs:eax] --> putSeg(fs); mov(eax, ptr [eax]); mov ax, cs --> mov(ax, cs); mov eax, [ebx+ecx] --> mov (eax, ptr[ebx+ecx]); test byte [esp], 4 --> test (byte [esp], 4); (注意) dword, word, byteはメンバ変数です。従ってたとえばunsigned intの つもりでdwordをtypedefしないでください。 ・AVX FMAについては簡略表記を導入するか検討中です(アイデア募集中)。 vaddps(xmm1, xmm2, xmm3); // xmm1 <- xmm2 + xmm3 vaddps(xmm2, xmm3, ptr [rax]); // メモリアクセスはptrで vfmadd231pd(xmm1, xmm2, xmm3); // xmm1 <- (xmm2 * xmm3) + xmm1 *注意* デスティネーションの省略形はサポートされなくなりました。 vaddps(xmm2, xmm3); // xmm2 <- xmm2 + xmm3 XBYAK_ENABLE_OMITTED_OPERANDを定義すると使えますが、将来はそれも非サポートになるでしょう。 ・AVX-512 vaddpd zmm2, zmm5, zmm30 --> vaddpd(zmm2, zmm5, zmm30); vaddpd xmm30, xmm20, [rax] --> vaddpd(xmm30, xmm20, ptr [rax]); vaddps xmm30, xmm20, [rax] --> vaddps(xmm30, xmm20, ptr [rax]); vaddpd zmm2{k5}, zmm4, zmm2 --> vaddpd(zmm2 | k5, zmm4, zmm2); vaddpd zmm2{k5}{z}, zmm4, zmm2 --> vaddpd(zmm2 | k5 | T_z, zmm4, zmm2); vaddpd zmm2{k5}{z}, zmm4, zmm2,{rd-sae} --> vaddpd(zmm2 | k5 | T_z, zmm4, zmm2 | T_rd_sae); vaddpd(zmm2 | k5 | T_z | T_rd_sae, zmm4, zmm2); // the position of `|` is arbitrary. vcmppd k4{k3}, zmm1, zmm2, {sae}, 5 --> vcmppd(k4 | k3, zmm1, zmm2 | T_sae, 5); vaddpd xmm1, xmm2, [rax+256]{1to2} --> vaddpd(xmm1, xmm2, ptr_b [rax+256]); vaddpd ymm1, ymm2, [rax+256]{1to4} --> vaddpd(ymm1, ymm2, ptr_b [rax+256]); vaddpd zmm1, zmm2, [rax+256]{1to8} --> vaddpd(zmm1, zmm2, ptr_b [rax+256]); vaddps zmm1, zmm2, [rax+rcx*8+8]{1to16} --> vaddps(zmm1, zmm2, ptr_b [rax+rcx*8+8]); vmovsd [rax]{k1}, xmm4 --> vmovsd(ptr [rax] | k1, xmm4); vcvtpd2dq xmm16, oword [eax+33] --> vcvtpd2dq(xmm16, xword [eax+33]); // use xword for m128 instead of oword vcvtpd2dq(xmm16, ptr [eax+33]); // default xword vcvtpd2dq xmm21, [eax+32]{1to2} --> vcvtpd2dq(xmm21, ptr_b [eax+32]); vcvtpd2dq xmm0, yword [eax+33] --> vcvtpd2dq(xmm0, yword [eax+33]); // use yword for m256 vcvtpd2dq xmm19, [eax+32]{1to4} --> vcvtpd2dq(xmm19, yword_b [eax+32]); // use yword_b to broadcast vfpclassps k5{k3}, zword [rax+64], 5 --> vfpclassps(k5|k3, zword [rax+64], 5); // specify m512 vfpclasspd k5{k3}, [rax+64]{1to2}, 5 --> vfpclasspd(k5|k3, xword_b [rax+64], 5); // broadcast 64-bit to 128-bit vfpclassps k5{k3}, [rax+64]{1to4}, 5 --> vfpclassps(k5|k3, xword_b [rax+64], 5); // broadcast 64-bit to 256-bit 注意 * k1, ..., k7 は新しいopmaskレジスタです。 * z, sae, rn-sae, rd-sae, ru-sae, rz-saeの代わりにT_z, T_sae, T_rn_sae, T_rd_sae, T_ru_sae, T_rz_saeを使ってください。 * `k4 | k3`と`k3 | k4`は意味が異なります。 * {1toX}の代わりにptr_bを使ってください。Xは自動的に決まります。 * 一部の命令はメモリサイズを指定するためにxword/yword/zword(_b)を使ってください。 ・ラベル L(文字列); で定義します。ジャンプするときはその文字列を指定します。後方参照も可能ですが、 相対アドレスが8ビットに収まらない場合はT_NEARをつけないと実行時に例外が発生 します。 mov(eax, "L2");の様にラベルが表すアドレスをmovの即値として使えます。 ・hasUndefinedLabel()を呼び出して真ならジャンプ先が存在しないことを示します。 コードを見直してください。 L("L1"); jmp ("L1"); jmp ("L2"); ... 少しの命令の場合。 ... L("L2"); jmp ("L3", T_NEAR); ... 沢山の命令がある場合 ... L("L3"); <応用編> 1. MASMライクな@@, @f, @bをサポート L("@@"); // jmp("@b"); // jmp to jmp("@f"); // jmp to L("@@"); // jmp("@b"); // jmp to mov(eax, "@b"); jmp(eax); // jmp to 2. ラベルの局所化 ピリオドで始まるラベルをinLocalLabel(), outLocalLabel()で挟むことで局所化できます。 inLocalLabel(), outLocalLabel()は入れ子にすることができます。 void func1() { inLocalLabel(); L(".lp"); // ; ローカルラベル ... jmp(".lp"); // jmpt to L("aaa"); // グローバルラベル outLocalLabel(); } void func2() { inLocalLabel(); L(".lp"); // ; ローカルラベル func1(); jmp(".lp"); // jmp to outLocalLabel(); } 上記サンプルではinLocalLabel(), outLocalLabel()が無いと、 ".lp"ラベルの二重定義エラーになります。 3. 新しいLabelクラスによるジャンプ命令 ジャンプ先を文字列による指定だけでなくラベルクラスを使えるようになりました。 Label label1, label2; L(label1); ... jmp(label1); ... jmp(label2); ... L(label2); 更にラベルの割り当てを行うassignL(dstLabel, srcLabel)という命令も追加されました。 Label label1, label2; L(label1); ... jmp(label2); ... assignL(label2, label1); 上記jmp命令はlabel1にジャンプします。 制限 * srcLabelはL()により飛び先が確定していないといけません。 * dstLabelはL()により飛び先が確定していてはいけません。 ラベルは`getAddress()`によりそのアドレスを取得できます。 未定義のときは0が返ります。 ``` // not AutoGrow mode Label label; assert(label.getAddress(), 0); L(label); assert(label.getAddress(), getCurr()); ``` ・Xbyak::CodeGenerator()コンストラクタインタフェース @param maxSize [in] コード生成最大サイズ(デフォルト4096byte) @param userPtr [in] ユーザ指定メモリ CodeGenerator(size_t maxSize = DEFAULT_MAX_CODE_SIZE, void *userPtr = 0); デフォルトコードサイズは4096(=DEFAULT_MAX_CODE_SIZE)バイトです。 それより大きなコードを生成する場合はCodeGenerator()のコンストラクタに指定してください。 class Quantize : public Xbyak::CodeGenerator { public: Quantize() : CodeGenerator(8192) { } ... }; またユーザ指定メモリをコード生成最大サイズと共に指定すると、CodeGeneratorは 指定されたメモリ上にバイト列を生成します。 補助関数として指定されたアドレスの実行属性を変更するCodeArray::protect()と 与えられたポインタからアライメントされたポインタを取得するCodeArray::getAlignedAddress() も用意しました。詳細はsample/test0.cppのuse memory allocated by userを参考に してください。 /** change exec permission of memory @param addr [in] buffer address @param size [in] buffer size @param canExec [in] true(enable to exec), false(disable to exec) @return true(success), false(failure) */ bool CodeArray::protect(const void *addr, size_t size, bool canExec); /** get aligned memory pointer */ uint8 *CodeArray::getAlignedAddress(uint8 *addr, size_t alignedSize = ALIGN_SIZE); その他詳細は各種サンプルを参照してください。 ----------------------------------------------------------------------------- ◎マクロ 32bit環境上でコンパイルするとXBYAK32が、64bit環境上でコンパイルするとXBYAK64が 定義されます。さらに64bit環境上ではWindows(VC)ならXBYAK64_WIN、cygwin, gcc上では XBYAK64_GCCが定義されます。 ----------------------------------------------------------------------------- ◎使用例 test0.cpp ; 簡単な例(x86, x64) quantize.cpp ; 割り算のJITアセンブルによる量子化の高速化(x86) calc.cpp ; 与えられた多項式をアセンブルして実行(x86, x64) boost(http://www.boost.org/)が必要 bf.cpp ; JIT Brainfuck(x86, x64) ----------------------------------------------------------------------------- ◎ライセンス 修正された新しいBSDライセンスに従います。 http://opensource.org/licenses/BSD-3-Clause sample/{echo,hello}.bfは http://www.kmonos.net/alang/etc/brainfuck.php から いただきました。 test/cybozu/以下のファイルはcybozulib(https://github.com/herumi/cybozulib/) の一部を使っています。cybozulibはBSD-3-Clauseライセンスです。 cybozulibは単体テストでのみ利用されていて、xbyak/ディレクトリ以下のヘッダ ファイルはcybozulibとは独立に利用できます。 ----------------------------------------------------------------------------- ◎履歴 2018/06/26 ver 5.65 fix push(qword [mem]) 2018/03/07 ver 5.64 Cpu()の中でzero divisionが出ることがあるのを修正 2018/02/14 ver 5.63 Cpu::setCacheHierarchy()の修正とclang<3.9のためのEvexModifierZero修正(thanks to mgouicem) 2018/02/13 ver 5.62 Cpu::setCacheHierarchy() by mgouicem and rsdubtso 2018/02/07 ver 5.61 vmov*がmem{k}{z}形式対応(忘れてた) 2018/01/24 ver 5.601 xword, ywordなどをXbyak::util名前空間に追加 2018/01/05 ver 5.60 Ice lake系命令対応(319433-030.pdf) 2017/08/22 ver 5.53 mpxエンコーディングバグ修正, bnd()プレフィクス追加 2017/08/18 ver 5.52 align修正(thanks to MerryMage) 2017/08/17 ver 5.51 multi-byte nop追加 align()はそれを使用する(thanks to inolen) 2017/08/08 ver 5.50 mpx追加(thanks to magurosan) 2017/08/08 ver 5.45 sha追加(thanks to magurosan) 2017/08/08 ver 5.44 prefetchw追加(thanks to rsdubtso) 2017/07/12 ver 5.432 PVS-studioの警告を減らす 2017/07/09 ver 5.431 hasRex()修正 (影響なし) (thanks to drillsar) 2017/05/14 ver 5.43 CodeGenerator::resetSize()修正(thanks to gibbed) 2017/05/13 ver 5.42 movs{b,w,d,q}追加 2017/01/26 ver 5.41 prefetcwt1追加とscale == 0対応(thanks to rsdubtso) 2016/12/14 ver 5.40 Labelが示すアドレスを取得するLabel::getAddress()追加 2016/12/07 ver 5.34 disp8N時の負のオフセット処理の修正(thanks to rsdubtso) 2016/12/06 ver 5.33 disp8N時のvpbroadcast{b,w,d,q}, vpinsr{b,w}, vpextr{b,w}のバグ修正 2016/12/01 ver 5.32 clang for Visual Studioサポートのために__xgetbv()を_xgetbv()に変更(thanks to freiro) 2016/11/27 ver 5.31 AVX512_4VNNIをAVX512_4VNNIWに変更 2016/11/27 ver 5.30 AVX512_4VNNI, AVX512_4FMAPS命令の追加(thanks to rsdubtso) 2016/11/26 ver 5.20 AVX512_4VNNIとAVX512_4FMAPSの判定追加(thanks to rsdubtso) 2016/11/20 ver 5.11 何故か消えていたvptest for ymm追加(thanks to gregory38) 2016/11/20 ver 5.10 [rip+&var]の形のアドレッシング追加 2016/09/29 ver 5.03 ERR_INVALID_OPMASK_WITH_MEMORYの判定ミス修正(thanks to PVS-Studio) 2016/08/15 ver 5.02 xbyak_bin2hex.hをincludeしない 2016/08/15 ver 5.011 gcc 5.4のバージョン取得ミスの修正 2016/08/03 ver 5.01 AVXの省略表記非サポート 2016/07/24 ver 5.00 avx-512フルサポート 2016/06/13 avx-512 opmask命令サポート 2016/05/05 ver 4.91 AVX-512命令の検出サポート 2016/03/14 ver 4.901 ready()関数にコメント加筆(thanks to skmp) 2016/02/04 ver 4.90 条件分岐命令にjcc(const void *addr);のタイプを追加 2016/01/30 ver 4.89 vpblendvbがymmレジスタをサポートしていなかった(thanks to John Funnell) 2016/01/24 ver 4.88 lea, cmovの16bitレジスタ対応(thanks to whyisthisfieldhere) 2015/08/16 ver 4.87 セグメントセレクタに対応 2015/08/16 ver 4.86 [rip + label]アドレッシングで即値を使うと壊れる(thanks to whyisthisfieldhere) 2015/08/10 ver 4.85 Address::operator==()が間違っている(thanks to inolen) 2015/07/22 ver 4.84 call()がvariadic template対応 2015/05/24 ver 4.83 mobveサポート(thanks to benvanik) 2015/05/24 ver 4.82 F16Cが使えるかどうかの判定追加 2015/04/25 ver 4.81 setSizeが例外を投げる条件を修正(thanks to whyisthisfieldhere) 2015/04/22 ver 4.80 rip相対でLabelのサポート(thanks to whyisthisfieldhere) 2015/01/28 ver 4.71 adcx, adox, cmpxchg, rdseed, stacのサポート 2014/10/14 ver 4.70 MmapAllocatorのサポート 2014/06/13 ver 4.62 VC2014で警告抑制 2014/05/30 ver 4.61 bt, bts, btr, btcのサポート 2014/05/28 ver 4.60 vcvtph2ps, vcvtps2phのサポート 2014/04/11 ver 4.52 rdrandの判定追加 2014/03/25 ver 4.51 参照されなくなったラベルの状態を削除する 2014/03/16 ver 4.50 新しいラベルクラスのサポート 2014/03/05 ver 4.40 VirtualBox上でBMI/enhanced repのサポート判定を間違うことがあるのを修正 2013/12/03 ver 4.30 Reg::cvt8(), cvt16(), cvt32()のサポート 2013/10/16 ver 4.21 ラベルでstd::stringを受け付ける。 2013/07/30 ver 4.20 [break backward compatibility] 従来のReg32eクラスをアドレッシング用のRegExpとReg32, Reg64を表すReg32eに分離 2013/07/04 ver 4.10 [break backward compatibility] Xbyak::Errorの型をenumからclassに変更 2013/06/21 ver 4.02 LABELの指すアドレスを書き込むputL(LABEL)関数の追加。 2013/06/21 ver 4.01 vpsllw, vpslld, vpsllq, vpsraw, vpsrad, vpsrlw, vpsrld, vpsrlq support (ymm, ymm, xmm) support vpbroadcastb, vpbroadcastw, vpbroadcastd, vpbroadcastq(thanks to Gabest) 2013/05/30 ver 4.00 AVX2, VEX-encoded GPR-instructionをサポート 2013/03/27 ver 3.80 mov(reg, "label");をサポート 2013/03/13 ver 3.76 cqo, jcxz, jecxz, jrcxz追加 2013/01/15 ver 3.75 生成されたコードを修正するためにsetSize()を追加 2013/01/12 ver 3.74 CodeGenerator::reset()とAllocator::useProtect()を追加 2013/01/06 ver 3.73 可能ならunordered_mapを使う 2012/12/04 ver 3.72 eaxなどをCodeGeneratorのメンバ変数に戻す. Xbyak::util::eaxはstatic const変数 2012/11/17 ver 3.71 and_(), or_(), xor_(), not_()をXBYAK_NO_OP_NAMESが定義されていないときでも使えるようにした 2012/11/17 CodeGeneratorのeax, ecx, ptrなどのメンバ変数をstaticにし、const参照をXbyak::utilにも定義 2012/11/09 ver 3.70 and()をand_()にするためのマクロXBYAK_NO_OP_NAMESを追加(thanks to Mattias) 2012/11/01 ver 3.62 add fwait/fnwait/finit/fninit 2012/11/01 ver 3.61 add fldcw/fstcw 2012/05/03 ver 3.60 Allocatorクラスのインタフェースを変更 2012/03/23 ver 3.51 userPtrモードがバグったのを修正 2012/03/19 ver 3.50 AutoGrowモードサポート 2011/11/09 ver 3.05 rip相対の64bitサイズ以外の扱いのバグ修正 / movsxdサポート 2011/08/15 ver 3.04 add(dword [ebp-8], 0xda);などにおけるimm8の扱いのバグ修正(thanks to lolcat) 2011/06/16 ver 3.03 Macのgcc上での__GNUC_PREREQがミスってたのを修正(thanks to t_teruya) 2011/04/28 ver 3.02 Macのgcc上ではxgetbvをdisable 2011/03/24 ver 3.01 fix typo of OSXSAVE 2011/03/23 ver 3.00 vcmpeqpsなどを追加 2011/02/16 ver 2.994 beta add vmovq for 32-bit mode(I forgot it) 2011/02/16 ver 2.993 beta remove cvtReg to avoid thread unsafe 2011/02/10 ver 2.992 beta support one argument syntax for fadd like nasm 2011/02/07 ver 2.991 beta fix pextrw reg, xmm, imm(Thanks to Gabest) 2011/02/04 ver 2.99 beta support AVX 2010/12/08 ver 2.31 fix ptr [rip + 32bit offset], support rtdscp 2010/10/19 ver 2.30 support pclmulqdq, aesdec, aesdeclast, aesenc, aesenclast, aesimc, aeskeygenassist 2010/07/07 ver 2.29 fix call(