From 078258bf09bb7fe96527be6a6e8064d2dd2f8080 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Tue, 6 Jun 2023 23:35:40 +0200 Subject: [PATCH] New branch for XOR performance improvement in deep mode --- src/db/db/dbHierProcessor.cc | 3 ++- src/db/unit_tests/dbHierProcessorTests.cc | 6 ++++++ testdata/algo/hlp18.oas | Bin 0 -> 482 bytes 3 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 testdata/algo/hlp18.oas diff --git a/src/db/db/dbHierProcessor.cc b/src/db/db/dbHierProcessor.cc index e65f14a3a..60be2d0f9 100644 --- a/src/db/db/dbHierProcessor.cc +++ b/src/db/db/dbHierProcessor.cc @@ -1239,7 +1239,8 @@ private: void collect_instance_interactions (const db::CellInstArray *inst1, const db::CellInstArray *inst2) { - // TODO: this algorithm is not in particular effective for identical arrays + // TODO: this algorithm is not in particular effective for identical arrays or for arrays + // vs. single instances const db::Cell &cell1 = mp_subject_layout->cell (inst1->object ().cell_index ()); const db::Cell &cell2 = mp_intruder_layout->cell (inst2->object ().cell_index ()); diff --git a/src/db/unit_tests/dbHierProcessorTests.cc b/src/db/unit_tests/dbHierProcessorTests.cc index 7e9fe165f..504f36c2e 100644 --- a/src/db/unit_tests/dbHierProcessorTests.cc +++ b/src/db/unit_tests/dbHierProcessorTests.cc @@ -1278,3 +1278,9 @@ TEST(FlatOperation) run_test_bool22_flat (_this, "hlp17_flat.oas", TMAndNot, 100, 101); } +TEST(Arrays) +{ + // Large arrays, NOT + run_test_bool2 (_this, "hlp18.oas", TMNot, 100); +} + diff --git a/testdata/algo/hlp18.oas b/testdata/algo/hlp18.oas new file mode 100644 index 0000000000000000000000000000000000000000..970739b6406487773b50cae479bef1208d6b687a GIT binary patch literal 482 zcmY!lcJ=kt^>+;R4CduxWH!_@V0gjKC?n3q!6L)YEF;ds&!EJR>XUoMnybM;fb~F; z;|1o9>4KX(8~>b$4qRRSKbqrK6n{_8gJqfOV literal 0 HcmV?d00001