riscv vector tests

RISC-Vベクトルテストジェネレーター

について

このリポジトリは、RISC-Vベクトル拡張のユニットテストジェネレーターをホストしています。

特徴

• RISCVテストと同様に、シンプルで使いやすい
• デフォルトでの自己検証、共シミュレーターに優しい
• ユーザーモードおよびマシンモードバイナリ
• testfloat3統合
• RV32およびRV64をサポートします
• E8からE64に縫い付けをテストします
• MF8からM8にLMULをテストします
• 64から4096までのVLENをサポートします
• サポートさまざまなサブエクステンション：ZVFH、ZVBB、ZVBC、ZVKG、ZVKNED、ZVKNHA、ZVKSED、ZVKSH
• 設定可能、 make help参照してください

制限

• すべてのテストは命令ごとに行われ、それは多かれ少なかれ同じ方法で行われます
• 尾の欠如/マスク不可知論的サポート（すなわち、TA/MA）
• 障害のみのテストの欠如
• VSTARTテストの欠如
• レジスタグループの欠如テストのオーバーラップ
• ...それ以上

全体として、カバレッジ統計や保証はありません。

それがどのように機能するか

スパイクシミュレーターはRISC-Vゴールドスタンダードシミュレーターとして知られており、スパイクがどのようにテストされるかはわかりませんが、V拡張を完全にサポートしています。そこで、スパイクにカスタム特別な指示を追加し、あらゆるテストのために、そのテストの参照結果を自動的に生成します。これにより、すべての命令のテストをほぼ自動的に生成します。このフレームワークの下で、私たちがしなければならないことは、命令ごとに簡単な構成ファイルを書き込むことだけです。

前提条件

1. RVV 1.0サポートを備えたriscv64-unknown-elf-gcc
2. スパイクシミュレーター
3. Golang 1.19+
4. riscv-pkユーザーモードバイナリを生成する必要がある場合

手始めに、GitHub Action Artifactsから事前に生成されたテストを直接ダウンロードできます。

使い方

 make all -j$(nproc)

コンパイルに問題がある場合は、build-and-test.ymlのビルドステップを参照してください。

make allと、生成されたすべてのテストがout/v[vlen]x[xlen][mode]/bin/stage2/にあります。

より高度なオプションについては、 make help実行します。

注：single/single.goは、ステージ1から直接テストを生成します。これは、共混乱剤を使用したターゲットに適しています（または、怠けている場合はTEST_MODE=cosimを使用します）。

nixパッケージ

このリポジトリは、次の出力でnix派生を提供します。

• ${riscv-vector-test}/bin/* ：ジェネレーターバイナリ
• ${riscv-vector-test}/include/* ：ランタイム使用に必要なヘッダー
• ${riscv-vector-test}/configs/* ：必要なランタイム構成

ライセンス

このプロジェクトはサードパーティプロジェクトを使用し、これらのプロジェクトのライセンスは対応するディレクトリに添付されています。

このプロジェクトのコードは、Apacheライセンスバージョン2.0の下で配布されます。

「RISC-V」トレード名は、RISC-V Internationalの登録商標です。