1. [Wiki](https://feex.it/wiki/)
2. [ハードウェア](https://feex.it/wiki/hardware/)
3. [システムとアーキテクチャ](https://feex.it/wiki/hardware/system/)
4. ADX

# ADX

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

ADXは、独立したキャリーチェーンを可能にするx86整数加算命令を追加します。入念に記述された任意精度演算に有用であり、BMI2から独立しています。

## 確認しておくべき要点

ADXは、独立したキャリーチェーンを可能にするx86整数加算命令を追加します。入念に記述された任意精度演算に有用であり、BMI2から独立しています。

## 仕組み

ADCXはキャリーフラグを使用し、ADOXはオーバーフローフラグを独立したキャリー入力および出力として使用します。多倍長整数ルーチンは、データ依存関係が許す場合、2つのチェーンをインターリーブできます。初期フラグ値、レジスタ割り当て、および他のフラグ書き込み命令との相互作用を制御する必要があります。

## 有用な場面

大きな数値の乗算カーネルは、独立したキャリーチェーンと部分積を組み合わせることができ、場合によってはBMI2 MULXと併用されます。これはライブラリ内部の実装上の選択であり、すべての整数加算を高速化するプロセッサ全体規模のモードではありません。

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

CPUID.07H.00H:EBXビット19はADXを示します。ルーチンで使用される追加の命令ファミリについては個別にディスパッチしてください。通常の数値結果だけでなく、キャリー伝播や境界ケースも検証してください。

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

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

ADXは、定数時間暗号実装を保証したり、すべての多倍長整数演算を高速化したりするものではありません。BMI2を暗黙に示すものではなく、必要なフラグを上書きする別の命令を使用するとアルゴリズムが破綻する可能性があります。

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

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

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

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

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

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

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

## 関連機能と有用な相違点

[BMI2](https://feex.it/wiki/l/ja/hardware/system/bmi2/) · [CMPXCHG16B](https://feex.it/wiki/l/ja/hardware/system/cmpxchg16b/) · [AES-NI](https://feex.it/wiki/l/ja/hardware/system/aes-ni/)

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

[Intel 64 and IA-32 Architectures Software Developer's Manual](https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html)

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

## 関連情報

これらはこの記事に関連する項目です。リンクごとに種別が表示されます。

[BMI2: アーキテクチャリファレンス](https://feex.it/wiki/l/ja/hardware/system/bmi2/)[CMPXCHG16B: アーキテクチャリファレンス](https://feex.it/wiki/l/ja/hardware/system/cmpxchg16b/)[AES-NI: アーキテクチャリファレンス](https://feex.it/wiki/l/ja/hardware/system/aes-ni/)

## 出典と検証

エディトリアル所有権: Feex。独立したレビュー日は記録されていません。 [調査方法](https://feex.it/wiki/research/).

- [Intel 64 and IA-32 Architectures Software Developer's Manual ](https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html)· 第1巻および第2巻では指定された命令ファミリおよびCPUIDについて説明し、第3巻では状態、ページング、VMX、保護制御について説明しています。アーキテクチャドキュメントは、特定のモデルに対するサポートを確定するものではありません。

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

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

概要情報

このページの簡単な要約です。仕様、情報源、詳細な内容は記事本文に記載されています。

---

Source: [Canonical Feex Wiki page](https://feex.it/wiki/l/ja/hardware/system/adx/)

[Developer guide](https://feex.it/wiki/developers/) | [API policy](https://feex.it/developers/api-policy/) | [Agent guidance](https://feex.it/wiki/llms.txt)