Skip to content

Commit

Permalink
fixup! feat: update kernel and toolchain
Browse files Browse the repository at this point in the history
  • Loading branch information
@mpernambuco
mpernambuco committed Dec 7, 2023
1 parent b575311 commit c55140b
Showing 1 changed file with 107 additions and 107 deletions.
214 changes: 107 additions & 107 deletions src/cartesi-machine-tests.lua
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,25 +63,25 @@ local riscv_tests = {
{ "rv64ua-p-amoxor_d.bin", 102 },
{ "rv64ua-p-amoxor_w.bin", 104 },
{ "rv64ua-p-lrsc.bin", 6276 },
{ "rv64ua-v-amoadd_d.bin", 10593 },
{ "rv64ua-v-amoadd_w.bin", 10590 },
{ "rv64ua-v-amoand_d.bin", 10602 },
{ "rv64ua-v-amoand_w.bin", 10601 },
{ "rv64ua-v-amomax_d.bin", 10583 },
{ "rv64ua-v-amomax_w.bin", 10583 },
{ "rv64ua-v-amomaxu_d.bin", 10583 },
{ "rv64ua-v-amomaxu_w.bin", 10583 },
{ "rv64ua-v-amomin_d.bin", 10583 },
{ "rv64ua-v-amomin_w.bin", 10583 },
{ "rv64ua-v-amominu_d.bin", 10589 },
{ "rv64ua-v-amominu_w.bin", 10589 },
{ "rv64ua-v-amoor_d.bin", 10582 },
{ "rv64ua-v-amoor_w.bin", 10582 },
{ "rv64ua-v-amoswap_d.bin", 10602 },
{ "rv64ua-v-amoswap_w.bin", 10601 },
{ "rv64ua-v-amoxor_d.bin", 10585 },
{ "rv64ua-v-amoxor_w.bin", 10587 },
{ "rv64ua-v-lrsc.bin", 16759 },
{ "rv64ua-v-amoadd_d.bin", 9373 },
{ "rv64ua-v-amoadd_w.bin", 9370 },
{ "rv64ua-v-amoand_d.bin", 9382 },
{ "rv64ua-v-amoand_w.bin", 9381 },
{ "rv64ua-v-amomax_d.bin", 9363 },
{ "rv64ua-v-amomax_w.bin", 9363 },
{ "rv64ua-v-amomaxu_d.bin", 9363 },
{ "rv64ua-v-amomaxu_w.bin", 9363 },
{ "rv64ua-v-amomin_d.bin", 9363 },
{ "rv64ua-v-amomin_w.bin", 9363 },
{ "rv64ua-v-amominu_d.bin", 9369 },
{ "rv64ua-v-amominu_w.bin", 9369 },
{ "rv64ua-v-amoor_d.bin", 9362 },
{ "rv64ua-v-amoor_w.bin", 9362 },
{ "rv64ua-v-amoswap_d.bin", 9382 },
{ "rv64ua-v-amoswap_w.bin", 9381 },
{ "rv64ua-v-amoxor_d.bin", 9365 },
{ "rv64ua-v-amoxor_w.bin", 9367 },
{ "rv64ua-v-lrsc.bin", 15539 },
{ "rv64ui-p-add.bin", 505 },
{ "rv64ui-p-addi.bin", 280 },
{ "rv64ui-p-addiw.bin", 277 },
Expand Down Expand Up @@ -133,57 +133,57 @@ local riscv_tests = {
{ "rv64ui-p-subw.bin", 492 },
{ "rv64ui-p-xor.bin", 608 },
{ "rv64ui-p-xori.bin", 242 },
{ "rv64ui-v-add.bin", 6773 },
{ "rv64ui-v-addi.bin", 6548 },
{ "rv64ui-v-addiw.bin", 6545 },
{ "rv64ui-v-addw.bin", 6768 },
{ "rv64ui-v-and.bin", 6848 },
{ "rv64ui-v-andi.bin", 6519 },
{ "rv64ui-v-auipc.bin", 6361 },
{ "rv64ui-v-beq.bin", 6594 },
{ "rv64ui-v-bge.bin", 6612 },
{ "rv64ui-v-bgeu.bin", 6702 },
{ "rv64ui-v-blt.bin", 6594 },
{ "rv64ui-v-bltu.bin", 6680 },
{ "rv64ui-v-bne.bin", 6594 },
{ "rv64ui-v-fence_i.bin", 10850 },
{ "rv64ui-v-jal.bin", 6358 },
{ "rv64ui-v-jalr.bin", 6418 },
{ "rv64ui-v-lb.bin", 11259 },
{ "rv64ui-v-lbu.bin", 11259 },
{ "rv64ui-v-ld.bin", 11441 },
{ "rv64ui-v-lh.bin", 11275 },
{ "rv64ui-v-lhu.bin", 11284 },
{ "rv64ui-v-lui.bin", 6368 },
{ "rv64ui-v-lw.bin", 11289 },
{ "rv64ui-v-lwu.bin", 11323 },
{ "rv64ui-v-or.bin", 6881 },
{ "rv64ui-v-ori.bin", 6512 },
{ "rv64ui-v-sb.bin", 10972 },
{ "rv64ui-v-sd.bin", 15847 },
{ "rv64ui-v-sh.bin", 11025 },
{ "rv64ui-v-simple.bin", 6344 },
{ "rv64ui-v-sll.bin", 6843 },
{ "rv64ui-v-slli.bin", 6573 },
{ "rv64ui-v-slliw.bin", 6580 },
{ "rv64ui-v-sllw.bin", 6843 },
{ "rv64ui-v-slt.bin", 6762 },
{ "rv64ui-v-slti.bin", 6540 },
{ "rv64ui-v-sltiu.bin", 6540 },
{ "rv64ui-v-sltu.bin", 6779 },
{ "rv64ui-v-sra.bin", 6815 },
{ "rv64ui-v-srai.bin", 6561 },
{ "rv64ui-v-sraiw.bin", 6607 },
{ "rv64ui-v-sraw.bin", 11558 },
{ "rv64ui-v-srl.bin", 6857 },
{ "rv64ui-v-srli.bin", 6582 },
{ "rv64ui-v-srliw.bin", 6589 },
{ "rv64ui-v-srlw.bin", 6849 },
{ "rv64ui-v-sub.bin", 6764 },
{ "rv64ui-v-subw.bin", 6760 },
{ "rv64ui-v-sw.bin", 11032 },
{ "rv64ui-v-xor.bin", 6876 },
{ "rv64ui-v-xori.bin", 6510 },
{ "rv64ui-v-add.bin", 6712 },
{ "rv64ui-v-addi.bin", 6487 },
{ "rv64ui-v-addiw.bin", 6484 },
{ "rv64ui-v-addw.bin", 6707 },
{ "rv64ui-v-and.bin", 6787 },
{ "rv64ui-v-andi.bin", 6458 },
{ "rv64ui-v-auipc.bin", 6300 },
{ "rv64ui-v-beq.bin", 6533 },
{ "rv64ui-v-bge.bin", 6551 },
{ "rv64ui-v-bgeu.bin", 6641 },
{ "rv64ui-v-blt.bin", 6533 },
{ "rv64ui-v-bltu.bin", 6619 },
{ "rv64ui-v-bne.bin", 6533 },
{ "rv64ui-v-fence_i.bin", 9630 },
{ "rv64ui-v-jal.bin", 6297 },
{ "rv64ui-v-jalr.bin", 6357 },
{ "rv64ui-v-lb.bin", 11201 },
{ "rv64ui-v-lbu.bin", 11201 },
{ "rv64ui-v-ld.bin", 11383 },
{ "rv64ui-v-lh.bin", 11217 },
{ "rv64ui-v-lhu.bin", 11226 },
{ "rv64ui-v-lui.bin", 6307 },
{ "rv64ui-v-lw.bin", 11231 },
{ "rv64ui-v-lwu.bin", 11265 },
{ "rv64ui-v-or.bin", 6820 },
{ "rv64ui-v-ori.bin", 6451 },
{ "rv64ui-v-sb.bin", 9752 },
{ "rv64ui-v-sd.bin", 14630 },
{ "rv64ui-v-sh.bin", 9805 },
{ "rv64ui-v-simple.bin", 6283 },
{ "rv64ui-v-sll.bin", 11488 },
{ "rv64ui-v-slli.bin", 6512 },
{ "rv64ui-v-slliw.bin", 6519 },
{ "rv64ui-v-sllw.bin", 11488 },
{ "rv64ui-v-slt.bin", 6701 },
{ "rv64ui-v-slti.bin", 6479 },
{ "rv64ui-v-sltiu.bin", 6479 },
{ "rv64ui-v-sltu.bin", 6718 },
{ "rv64ui-v-sra.bin", 6754 },
{ "rv64ui-v-srai.bin", 6500 },
{ "rv64ui-v-sraiw.bin", 6546 },
{ "rv64ui-v-sraw.bin", 11500 },
{ "rv64ui-v-srl.bin", 11502 },
{ "rv64ui-v-srli.bin", 6521 },
{ "rv64ui-v-srliw.bin", 6528 },
{ "rv64ui-v-srlw.bin", 11494 },
{ "rv64ui-v-sub.bin", 6703 },
{ "rv64ui-v-subw.bin", 6699 },
{ "rv64ui-v-sw.bin", 9812 },
{ "rv64ui-v-xor.bin", 6815 },
{ "rv64ui-v-xori.bin", 6449 },
{ "rv64um-p-div.bin", 136 },
{ "rv64um-p-divu.bin", 142 },
{ "rv64um-p-divuw.bin", 134 },
Expand All @@ -197,22 +197,22 @@ local riscv_tests = {
{ "rv64um-p-remu.bin", 136 },
{ "rv64um-p-remuw.bin", 131 },
{ "rv64um-p-remw.bin", 137 },
{ "rv64um-v-div.bin", 6404 },
{ "rv64um-v-divu.bin", 6410 },
{ "rv64um-v-divuw.bin", 6402 },
{ "rv64um-v-divw.bin", 6399 },
{ "rv64um-v-mul.bin", 6763 },
{ "rv64um-v-mulh.bin", 6771 },
{ "rv64um-v-mulhsu.bin", 6771 },
{ "rv64um-v-mulhu.bin", 6803 },
{ "rv64um-v-mulw.bin", 6702 },
{ "rv64um-v-rem.bin", 6403 },
{ "rv64um-v-remu.bin", 6404 },
{ "rv64um-v-remuw.bin", 6399 },
{ "rv64um-v-remw.bin", 6405 },
{ "rv64um-v-div.bin", 6343 },
{ "rv64um-v-divu.bin", 6349 },
{ "rv64um-v-divuw.bin", 6341 },
{ "rv64um-v-divw.bin", 6338 },
{ "rv64um-v-mul.bin", 6702 },
{ "rv64um-v-mulh.bin", 6710 },
{ "rv64um-v-mulhsu.bin", 6710 },
{ "rv64um-v-mulhu.bin", 6742 },
{ "rv64um-v-mulw.bin", 6641 },
{ "rv64um-v-rem.bin", 6342 },
{ "rv64um-v-remu.bin", 6343 },
{ "rv64um-v-remuw.bin", 6338 },
{ "rv64um-v-remw.bin", 6344 },
-- C extension tests
{ "rv64uc-p-rvc.bin", 295 },
{ "rv64uc-v-rvc.bin", 15497 },
{ "rv64uc-v-rvc.bin", 14280 },
-- float tests
{ "rv64uf-p-fadd.bin", 210 },
{ "rv64uf-p-fclass.bin", 147 },
Expand All @@ -225,17 +225,17 @@ local riscv_tests = {
{ "rv64uf-p-ldst.bin", 106 },
{ "rv64uf-p-move.bin", 255 },
{ "rv64uf-p-recoding.bin", 113 },
{ "rv64uf-v-fadd.bin", 11179 },
{ "rv64uf-v-fclass.bin", 6413 },
{ "rv64uf-v-fcmp.bin", 11229 },
{ "rv64uf-v-fcvt.bin", 11121 },
{ "rv64uf-v-fcvt_w.bin", 16222 },
{ "rv64uf-v-fdiv.bin", 11140 },
{ "rv64uf-v-fmadd.bin", 11205 },
{ "rv64uf-v-fmin.bin", 11283 },
{ "rv64uf-v-ldst.bin", 10621 },
{ "rv64uf-v-move.bin", 6521 },
{ "rv64uf-v-recoding.bin", 11082 },
{ "rv64uf-v-fadd.bin", 11121 },
{ "rv64uf-v-fclass.bin", 6352 },
{ "rv64uf-v-fcmp.bin", 11171 },
{ "rv64uf-v-fcvt.bin", 11063 },
{ "rv64uf-v-fcvt_w.bin", 16167 },
{ "rv64uf-v-fdiv.bin", 11082 },
{ "rv64uf-v-fmadd.bin", 11147 },
{ "rv64uf-v-fmin.bin", 11225 },
{ "rv64uf-v-ldst.bin", 9401 },
{ "rv64uf-v-move.bin", 6460 },
{ "rv64uf-v-recoding.bin", 11024 },
{ "rv64ud-p-fadd.bin", 210 },
{ "rv64ud-p-fclass.bin", 153 },
{ "rv64ud-p-fcmp.bin", 260 },
Expand All @@ -248,18 +248,18 @@ local riscv_tests = {
{ "rv64ud-p-move.bin", 1030 },
{ "rv64ud-p-recoding.bin", 138 },
{ "rv64ud-p-structural.bin", 203 },
{ "rv64ud-v-fadd.bin", 11179 },
{ "rv64ud-v-fclass.bin", 6419 },
{ "rv64ud-v-fcmp.bin", 11229 },
{ "rv64ud-v-fcvt.bin", 11161 },
{ "rv64ud-v-fcvt_w.bin", 16282 },
{ "rv64ud-v-fdiv.bin", 11153 },
{ "rv64ud-v-fmadd.bin", 11205 },
{ "rv64ud-v-fmin.bin", 11283 },
{ "rv64ud-v-ldst.bin", 10616 },
{ "rv64ud-v-move.bin", 11999 },
{ "rv64ud-v-recoding.bin", 10659 },
{ "rv64ud-v-structural.bin", 6469 },
{ "rv64ud-v-fadd.bin", 11121 },
{ "rv64ud-v-fclass.bin", 6358 },
{ "rv64ud-v-fcmp.bin", 11171 },
{ "rv64ud-v-fcvt.bin", 11103 },
{ "rv64ud-v-fcvt_w.bin", 16227 },
{ "rv64ud-v-fdiv.bin", 11095 },
{ "rv64ud-v-fmadd.bin", 11147 },
{ "rv64ud-v-fmin.bin", 11225 },
{ "rv64ud-v-ldst.bin", 9396 },
{ "rv64ud-v-move.bin", 11941 },
{ "rv64ud-v-recoding.bin", 9439 },
{ "rv64ud-v-structural.bin", 6408 },
{ "fclass.bin", 453 },
{ "fcvt.bin", 17610 },
{ "fcmp.bin", 46783 },
Expand Down

0 comments on commit c55140b

Please sign in to comment.