Skip to content

Commit

Permalink
Add test cases for INTMIN/-1
Browse files Browse the repository at this point in the history 
Fixes vbpf#677

Signed-off-by: Dave Thaler <[email protected]>
  • Loading branch information
@dthaler
dthaler committed Oct 16, 2024
1 parent 3427faa commit d86db67
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 1 deletion.
2 changes: 1 addition & 1 deletion external/bpf_conformance
Submodule bpf_conformance updated 23 files
+14 −14 .github/workflows/Build.yml
+4 −3 .github/workflows/CICD.yml
+4 −4 .github/workflows/codeql-analysis.yml
+1 −1 .github/workflows/dependency-review.yml
+3 −3 .github/workflows/scorecards.yml
+1 −1 Docker/Windows/Dockerfile
+6 −6 src/CMakeLists.txt
+8 −0 tests/mul32-intmin-by-negone-imm.data
+9 −0 tests/mul32-intmin-by-negone-reg.data
+10 −0 tests/mul64-intmin-by-negone-imm.data
+11 −0 tests/mul64-intmin-by-negone-reg.data
+8 −0 tests/neg32-intmin-imm.data
+8 −0 tests/neg32-intmin-reg.data
+10 −0 tests/neg64-intmin-imm.data
+11 −0 tests/neg64-intmin-reg.data
+8 −0 tests/sdiv32-intmin-by-negone-imm.data
+9 −0 tests/sdiv32-intmin-by-negone-reg.data
+10 −0 tests/sdiv64-intmin-by-negone-imm.data
+11 −0 tests/sdiv64-intmin-by-negone-reg.data
+8 −0 tests/smod32-intmin-by-negone-imm.data
+9 −0 tests/smod32-intmin-by-negone-reg.data
+10 −0 tests/smod64-intmin-by-negone-imm.data
+11 −0 tests/smod64-intmin-by-negone-reg.data
16 changes: 16 additions & 0 deletions src/test/test_conformance.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -197,12 +197,20 @@ TEST_CONFORMANCE("movsx3264-reg.data")
TEST_CONFORMANCE("movsx832-reg.data")
TEST_CONFORMANCE("movsx864-reg.data")
TEST_CONFORMANCE("mul32-imm.data")
TEST_CONFORMANCE("mul32-intmin-by-negone-imm.data")
TEST_CONFORMANCE("mul32-intmin-by-negone-reg.data")
TEST_CONFORMANCE("mul32-reg-overflow.data")
TEST_CONFORMANCE("mul32-reg.data")
TEST_CONFORMANCE("mul64-imm.data")
TEST_CONFORMANCE("mul64-intmin-by-negone-imm.data")
TEST_CONFORMANCE("mul64-intmin-by-negone-reg.data")
TEST_CONFORMANCE("mul64-reg.data")
TEST_CONFORMANCE("neg.data")
TEST_CONFORMANCE("neg32-intmin-imm.data")
TEST_CONFORMANCE("neg32-intmin-reg.data")
TEST_CONFORMANCE("neg64.data")
TEST_CONFORMANCE("neg64-intmin-imm.data")
TEST_CONFORMANCE("neg64-intmin-reg.data")
TEST_CONFORMANCE_RANGE("prime.data", "[0, 1]")
TEST_CONFORMANCE("rsh32-imm.data")
TEST_CONFORMANCE("rsh32-imm-high.data")
Expand All @@ -219,11 +227,17 @@ TEST_CONFORMANCE("rsh64-reg-neg.data")
TEST_CONFORMANCE("sdiv32-by-zero-imm.data")
TEST_CONFORMANCE("sdiv32-by-zero-reg.data")
TEST_CONFORMANCE("sdiv32-imm.data")
TEST_CONFORMANCE("sdiv32-intmin-by-negone-imm.data")
TEST_CONFORMANCE("sdiv32-intmin-by-negone-reg.data")
TEST_CONFORMANCE("sdiv32-reg.data")
TEST_CONFORMANCE("sdiv64-by-zero-imm.data")
TEST_CONFORMANCE("sdiv64-by-zero-reg.data")
TEST_CONFORMANCE("sdiv64-imm.data")
TEST_CONFORMANCE("sdiv64-intmin-by-negone-imm.data")
TEST_CONFORMANCE("sdiv64-intmin-by-negone-reg.data")
TEST_CONFORMANCE("sdiv64-reg.data")
TEST_CONFORMANCE("smod32-intmin-by-negone-imm.data")
TEST_CONFORMANCE("smod32-intmin-by-negone-reg.data")
TEST_CONFORMANCE("smod32-neg-by-neg-imm.data")
TEST_CONFORMANCE("smod32-neg-by-neg-reg.data")
TEST_CONFORMANCE("smod32-neg-by-pos-imm.data")
Expand All @@ -232,6 +246,8 @@ TEST_CONFORMANCE("smod32-neg-by-zero-imm.data")
TEST_CONFORMANCE("smod32-neg-by-zero-reg.data")
TEST_CONFORMANCE("smod32-pos-by-neg-imm.data")
TEST_CONFORMANCE("smod32-pos-by-neg-reg.data")
TEST_CONFORMANCE("smod64-intmin-by-negone-imm.data")
TEST_CONFORMANCE("smod64-intmin-by-negone-reg.data")
TEST_CONFORMANCE("smod64-neg-by-neg-imm.data")
TEST_CONFORMANCE("smod64-neg-by-neg-reg.data")
TEST_CONFORMANCE("smod64-neg-by-pos-imm.data")
Expand Down

0 comments on commit d86db67

Please sign in to comment.