Este repositório hospeda o gerador de testes de unidade para a extensão do vetor RISC-V.
make help No geral, não há estatísticas ou garantias de cobertura.
O simulador Spike é conhecido como simulador padrão de ouro RISC-V e, embora não saibamos como o pico é testado, ele suporta totalmente a extensão V. Por isso, adicionamos uma instrução especial personalizada ao SPIKE e, para qualquer teste, deixe -o gerar automaticamente um resultado de referência para esse teste. Dessa forma, geramos testes para todas as instruções quase automaticamente. Sob essa estrutura, tudo o que precisamos fazer é escrever um arquivo de configuração simples para cada instrução.
riscv64-unknown-elf-gcc com suporte RVV 1.0riscv-pk se você precisar gerar binários no modo de usuárioPara iniciantes, você pode baixar diretamente os testes pré-gerados dos artefatos de ação do GitHub.
make all -j$(nproc)
Se você tiver problemas para compilar, consulte as etapas de construção no Build-and-test.yml.
Depois de make all , você encontrará todos os testes gerados em out/v[vlen]x[xlen][mode]/bin/stage2/ .
Para opções mais avançadas, make help .
Nota: Single/single.go gera testes diretamente do estágio 1, adequado para alvos com co-simuladores (ou simplesmente use
TEST_MODE=cosimse você for preguiçoso).
Este repositório também fornece uma derivação nix com a seguinte saída fornecida:
${riscv-vector-test}/bin/* : binários geradores${riscv-vector-test}/include/* : cabeçalhos necessários para uso de tempo de execução${riscv-vector-test}/configs/* : configurações de tempo de execução necessárias Este projeto usa projetos de terceiros e as licenças desses projetos são anexadas aos diretórios correspondentes.
O código para este projeto é distribuído sob a versão 2.0 da Apache License.
O nome comercial "RISC-V" é uma marca registrada da RISC-V International.
