From 6ea08e0b15be5dc37dbd94b5303b8ba5ce6a6615 Mon Sep 17 00:00:00 2001 From: Dave Thaler Date: Tue, 15 Oct 2024 12:28:11 -0700 Subject: [PATCH] Add test cases for INTMIN/-1 Fixes #677 Signed-off-by: Dave Thaler --- external/bpf_conformance | 2 +- src/test/test_conformance.cpp | 16 ++++++++++++++++ 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/external/bpf_conformance b/external/bpf_conformance index e149d3643..e80df9982 160000 --- a/external/bpf_conformance +++ b/external/bpf_conformance @@ -1 +1 @@ -Subproject commit e149d36431a7ea6f982e4d409d41748d82a3b56e +Subproject commit e80df9982518c0ea41c939b561b06daa1bfce313 diff --git a/src/test/test_conformance.cpp b/src/test/test_conformance.cpp index 9ab19da5d..bbfd09b9b 100644 --- a/src/test/test_conformance.cpp +++ b/src/test/test_conformance.cpp @@ -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") @@ -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") @@ -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")