riscv vector tests

مولد اختبارات ناقلات RISC-V

عن

يستضيف مستضيف وحدة اختبار مولد لتمديد متجه RISC-V.

سمات

• على غرار اختبارات RISCV ، بسيطة وسهلة الاستخدام
• التحسين الذاتي افتراضيًا ، ودود
• وضع المستخدم وثنائيات وضع الجهاز
• تكامل TestFloat3
• دعم RV32 و RV64
• اختبار الخياطة من E8 إلى E64
• اختبار lmul من MF8 إلى M8
• دعم Vlen من 64 إلى 4096
• يختلف الدعم عن المناطق الفرعية: ZVFH ، ZVBB ، ZVBC ، ZVKG ، ZVKNED ، ZVKNHA ، ZVKSED و ZVKSH
• قابل للتكوين ، انظر make help

القيود

• جميع الاختبارات لكل تعليمات ، ويتم ذلك أكثر أو أقل بنفس الطريقة
• عدم وجود ذيل/قناع الدعم اللاأدري (أي TA/MA)
• عدم وجود اختبارات الصدع فقط
• عدم اختبار VSTART
• عدم وجود اختبار تداخل مجموعة التسجيل
• ... وأكثر

بشكل عام ، لا توجد إحصائيات أو ضمانات تغطية.

كيف تعمل

يُعرف SPIKE Simulator باسم محاكاة RISC-V Gold Standard ، وعلى الرغم من أننا لا نعرف كيف يتم اختبار Spike ، إلا أنه يدعم امتداد V بالكامل. لذلك أضفنا تعليمات خاصة مخصصة إلى Spike ، ولأي اختبار ، دعنا ننشئ نتيجة مرجعية لهذا الاختبار تلقائيًا. بهذه الطريقة ، ننشئ اختبارات لجميع الإرشادات تلقائيًا تقريبًا. بموجب هذا الإطار ، كل ما علينا فعله هو كتابة ملف تكوين بسيط لكل تعليمات.

المتطلب السابق

1. riscv64-unknown-elf-gcc مع دعم RVV 1.0
2. محاكاة سبايك
3. Golang 1.19+
4. riscv-pk إذا كنت بحاجة إلى إنشاء ثنائيات وضع المستخدم

بالنسبة للمبتدئين ، يمكنك تنزيل الاختبارات التي تم إنشاؤها مسبقًا من القطع الأثرية في GitHub.

كيفية استخدام

 make all -j$(nproc)

إذا كانت لديك مشاكل في التجميع ، فيرجى الرجوع إلى خطوات الإنشاء في البناء والاختبار.

بعد 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.