Skip to content

cannon: Add more differential tests #14684

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mbaxter merged 11 commits into from
Mar 7, 2025
+134 −83
Merged

cannon: Add more differential tests #14684

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
49895c9
Add a few more beq, bne test cases
mbaxter Mar 4, 2025
44c8931
Tweak shift operation tests
mbaxter Mar 4, 2025
19f5328
Add delay slot tests for jr/jalr
mbaxter Mar 5, 2025
bebdc53
Rework mov tests, add some test cases
mbaxter Mar 5, 2025
ef7abfd
Add more slt(u) test cases
mbaxter Mar 6, 2025
5b98b96
Add slti tests
mbaxter Mar 6, 2025
b774fcb
Add sltiu tests
mbaxter Mar 6, 2025
77009fb
Add test for sync instruction
mbaxter Mar 6, 2025
5104367
Rework binary operation tests
mbaxter Mar 6, 2025
b6e75f4
Migrate nor test to use binary
mbaxter Mar 6, 2025
5fe4d65
Fix comments
mbaxter Mar 7, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 5 additions & 10 deletions cannon/mipsevm/tests/evm_common64_test.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,18 +86,13 @@ func TestEVM_SingleStep_Operators64(t *testing.T) {
testOperators(t, cases, false)
}

// Additional 64-bit tests
func TestEVM_SingleStep_Bitwise64(t *testing.T) {
cases := []operatorTestCase{
{name: "and", funct: 0x24, isImm: false, rs: Word(1200), rt: Word(490), expectRes: Word(160)}, // and t0, s1, s2
{name: "andi", opcode: 0xc, isImm: true, rs: Word(4), rt: Word(1), imm: uint16(40), expectRes: Word(0)}, // andi t0, s1, 40
{name: "or", funct: 0x25, isImm: false, rs: Word(1200), rt: Word(490), expectRes: Word(1530)}, // or t0, s1, s2
{name: "ori", opcode: 0xd, isImm: true, rs: Word(4), rt: Word(1), imm: uint16(40), expectRes: Word(44)}, // ori t0, s1, 40
{name: "xor", funct: 0x26, isImm: false, rs: Word(1200), rt: Word(490), expectRes: Word(1370)}, // xor t0, s1, s2
{name: "xori", opcode: 0xe, isImm: true, rs: Word(4), rt: Word(1), imm: uint16(40), expectRes: Word(44)}, // xori t0, s1, 40
{name: "nor", funct: 0x27, isImm: false, rs: Word(0x4b0), rt: Word(0x1ea), expectRes: Word(0xFF_FF_FF_FF_FF_FF_FA_05)}, // nor t0, s1, s2
{name: "slt", funct: 0x2a, isImm: false, rs: 0xFF_FF_FF_FE, rt: Word(5), expectRes: Word(0)}, // slt t0, s1, s2
{name: "slt", funct: 0x2a, isImm: false, rs: 0xFF_FF_FF_FF_FF_FF_FF_FE, rt: Word(5), expectRes: Word(1)}, // slt t0, s1, s2
{name: "sltu", funct: 0x2b, isImm: false, rs: Word(1200), rt: Word(490), expectRes: Word(0)}, // sltu t0, s1, s2
{name: "slt", funct: 0x2a, isImm: false, rs: 0xFF_FF_FF_FE, rt: Word(5), expectRes: Word(0)}, // slt t0, s1, s2
{name: "slt", funct: 0x2a, isImm: false, rs: 0xFF_FF_FF_FF_FF_FF_FF_FE, rt: Word(5), expectRes: Word(1)}, // slt t0, s1, s2
{name: "slti", opcode: 0xa, isImm: true, rs: 0xFF_FF_FF_FE, imm: 5, expectRes: Word(0)}, // slt t0, s1, s2
{name: "slti", opcode: 0xa, isImm: true, rs: 0xFF_FF_FF_FF_FF_FF_FF_FE, imm: 5, expectRes: Word(1)}, // slt t0, s1, s2
}
testOperators(t, cases, false)
}
Expand Down
Loading