BMI2

アーキテクチャリファレンスFeex

BMI2は、並列ビットデポジット/抽出、可変シフト、フラグ非依存の乗算など、スカラーx86ビットおよび整数操作を追加します。これはBMI1とは独立しています。

確認しておくべき要点

仕組み

PEXTは選択された入力ビットを高密度な下位結果に集約（ギャザー）し、PDEPは下位入力ビットをマスクで選択された位置に分散（スキャッター）させます。その他のBMI2命令には、BZHI、MULX、RORX、SHLX、SHRX、SARXが含まれます。これらはVEXエンコーディングを使用しているにもかかわらず、スカラー整数レジスタで動作します。

有用な場面

コンパクトなボード表現やビットフィールドコーデックは、PEXT/PDEPを使用して密なビットレイアウトと疎なビットレイアウトの間をマッピングできます。それらの実行コストは実装間で大幅に異なるため、アルゴリズムは短い命令シーケンスが高速であると仮定するのではなく、代表的な入力でベンチマークを実施する必要があります。

サポートと有効化の確認方法

CPUID.07H.00H:EBXビット8がBMI2をエニュメレートします。実際に使用される命令のターゲット固有のパフォーマンスを確認し、サポートされていない機能を必要とするようにコンパイルされたコードの外部でディスパッチを行ってください。

隣接する拡張機能からサポートを推測するのではなく、正確な命令とオペランド形式を確認してください。スカラー整数機能は一般に汎用レジスタを使用します。ベクトルに関連付けられたエンコーディングが、自動的にベクトル状態の要件を意味するわけではありません。

この機能が確立しない事項

BMI2はAVXベクター拡張命令ではなく、エンコーディングがVEXであるというだけでYMMステートを必要とするわけではありません。ADXやBMI1を確定するものでもありません。MULXと従来の乗算は、レジスタおよびフラグの動作が異なります。

実際の互換性とパフォーマンス

正確性は、速度だけでなくエッジケースにも左右されます。入力がゼロの場合、オーバーフロー、キャリーフラグ、オペランド幅、アライメント、およびメモリー順序付けによってセマンティクスが変化することがあります。これらの詳細が文書化されており、サポートされたフォールバックを提供するコンパイラまたはライブラリのインターフェースを優先してください。

実践的な検証チェックリスト

関係する正確なプロセッサまたはプラットフォームのモデル、ならびにアプリケーション、OS、ランタイムのバージョンを記録してください。実際のエラーや要件の文言をそのまま保持してください。
その正確なモデルの製造元リファレンスを確認し、プログラムが実行される環境で実効的な機能と有効化状態を検査してください。
選択したバイナリまたはバックエンドのすべての要件を比較してください。類似した名前の機能、エイリアス、または広範な技術表記だけでは不十分です。
アプリケーションが意図した実装を選択したことを確認してください。要件が満たされていない場合は、文書化された診断機能とサポートされているフォールバックを使用してください。
一度に1つのサポート対象の変更のみを行い、同じワークロードを繰り返してください。元の構成と復旧手順を常に利用可能な状態にしておいてください。

機能が記載されているにもかかわらずソフトウェアで使用できない場合

正確にどのコンポーネントが失敗しているかから調査を開始してください。ハードウェアデータベースに記載されているのは記録された機能です。オペレーティングシステムまたはハイパーバイザーは、異なる実効環境を公開することがあります。破損や無関係な未サポート命令でも同様の症状が発生する可能性があるため、不正命令エラーの場合も実際にフォールトの原因となった命令とバイナリビルドの調査が必要です。

正確なプラットフォーム向けにサポートされているアプリケーション、ドライバ、またはランタイムのバージョンをインストールし、必要に応じてベンダーが文書化しているベースラインまたはフォールバックビルドを使用してください。ソフトウェアアップデートによってプロセッサに欠落している命令を作り出すことはできません。ファームウェアおよびセキュリティポリシーの変更は、一般的な最適化レシピではなく、システム製造元の手順と復旧計画に従う必要があります。

本説明のソースと対象範囲

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: プロセッサアーキテクチャおよびマイクロアーキテクチャレベル

これらのリファレンスは、アーキテクチャの動作およびソフトウェア要件を規定しています。リンクされたハードウェアモデルページのすべての機能値を個別に検証するものではありません。モデルのサポート状況については、そのページの製造元エビデンスを使用し、実際の実効システム構成を確認してください。この記事はベンチマーク、認定、または独立したレビュー日を提供するものではありません。

出典と検証

エディトリアル所有権: Feex。独立したレビュー日は記録されていません。調査方法.

Intel 64 and IA-32 Architectures Software Developer's Manual · 第1巻および第2巻では指定された命令ファミリおよびCPUIDについて説明し、第3巻では状態、ページング、VMX、保護制御について説明しています。アーキテクチャドキュメントは、特定のモデルに対するサポートを確定するものではありません。
x86-64 psABI: プロセッサアーキテクチャおよびマイクロアーキテクチャレベル · マシンインターフェース、プロセッサアーキテクチャ: ベースラインおよび累積v2/v3/v4機能テーブル、OSステートチェック、およびデプロイメントの推奨事項。

この記事は役に立ちましたか？

「はい」または「いいえ」を選択するだけで完了します。必要に応じて理由を選択するか、簡単なメモを追加してください。