journal 2026-04-30

P20 adds R-type ALU official tests

p20riscvcompliancedebug

P20 widens P19 from twelve official tests to twenty-two.

Command:

make -C projects/20_rv32i_rtype_alu_tests/test

Result: PASS

grouptests
Existing P19 passesI-nop-00.S, I-fence-00.S, I-lui-00.S, I-addi-00.S, I-ori-00.S, I-andi-00.S, I-xori-00.S, I-slti-00.S, I-sltiu-00.S, I-slli-00.S, I-srli-00.S, I-srai-00.S
New R-type ALU passesI-add-00.S, I-sub-00.S, I-or-00.S, I-and-00.S, I-xor-00.S, I-sll-00.S, I-srl-00.S, I-sra-00.S, I-slt-00.S, I-sltu-00.S

The runner now has a source-level signature generator for generated R-type ALU tests. That is enough to check signed and unsigned compare, arithmetic right shift, register-register shifts, and the normal bitwise/add/sub cases.

Still not a full reference-model flow. Tests without a generated signature model remain unclaimed.