From aa4d59cdcb34be5adc89b71d1db21a07558678ac Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Wed, 26 Mar 2025 12:20:57 +0100 Subject: [PATCH] Trigger abc segfault for testing --- Makefile | 105 +++++++++++++++++---------------- abc | 2 +- tests/abc_segfault/run-test.sh | 3 + 3 files changed, 57 insertions(+), 53 deletions(-) create mode 100644 tests/abc_segfault/run-test.sh diff --git a/Makefile b/Makefile index 76c7cffbb..02994b5d7 100644 --- a/Makefile +++ b/Makefile @@ -832,64 +832,65 @@ endif # Tests that generate .mk with tests/gen-tests-makefile.sh MK_TEST_DIRS = -MK_TEST_DIRS += tests/arch/anlogic -MK_TEST_DIRS += tests/arch/ecp5 -MK_TEST_DIRS += tests/arch/efinix -MK_TEST_DIRS += tests/arch/gatemate -MK_TEST_DIRS += tests/arch/gowin -MK_TEST_DIRS += tests/arch/ice40 -MK_TEST_DIRS += tests/arch/intel_alm -MK_TEST_DIRS += tests/arch/machxo2 -MK_TEST_DIRS += tests/arch/microchip -MK_TEST_DIRS += tests/arch/nanoxplore -MK_TEST_DIRS += tests/arch/nexus -MK_TEST_DIRS += tests/arch/quicklogic/pp3 -MK_TEST_DIRS += tests/arch/quicklogic/qlf_k6n10f -MK_TEST_DIRS += tests/arch/xilinx -MK_TEST_DIRS += tests/opt -MK_TEST_DIRS += tests/sat -MK_TEST_DIRS += tests/sim -MK_TEST_DIRS += tests/svtypes -MK_TEST_DIRS += tests/techmap -MK_TEST_DIRS += tests/various -ifeq ($(ENABLE_VERIFIC),1) -ifneq ($(YOSYS_NOVERIFIC),1) -MK_TEST_DIRS += tests/verific -endif -endif -MK_TEST_DIRS += tests/verilog +# MK_TEST_DIRS += tests/arch/anlogic +# MK_TEST_DIRS += tests/arch/ecp5 +# MK_TEST_DIRS += tests/arch/efinix +# MK_TEST_DIRS += tests/arch/gatemate +# MK_TEST_DIRS += tests/arch/gowin +# MK_TEST_DIRS += tests/arch/ice40 +# MK_TEST_DIRS += tests/arch/intel_alm +# MK_TEST_DIRS += tests/arch/machxo2 +# MK_TEST_DIRS += tests/arch/microchip +# MK_TEST_DIRS += tests/arch/nanoxplore +# MK_TEST_DIRS += tests/arch/nexus +# MK_TEST_DIRS += tests/arch/quicklogic/pp3 +# MK_TEST_DIRS += tests/arch/quicklogic/qlf_k6n10f +# MK_TEST_DIRS += tests/arch/xilinx +# MK_TEST_DIRS += tests/opt +# MK_TEST_DIRS += tests/sat +# MK_TEST_DIRS += tests/sim +# MK_TEST_DIRS += tests/svtypes +# MK_TEST_DIRS += tests/techmap +# MK_TEST_DIRS += tests/various +# ifeq ($(ENABLE_VERIFIC),1) +# ifneq ($(YOSYS_NOVERIFIC),1) +# MK_TEST_DIRS += tests/verific +# endif +# endif +# MK_TEST_DIRS += tests/verilog # Tests that don't generate .mk SH_TEST_DIRS = -SH_TEST_DIRS += tests/simple -SH_TEST_DIRS += tests/simple_abc9 -SH_TEST_DIRS += tests/hana -SH_TEST_DIRS += tests/asicworld -# SH_TEST_DIRS += tests/realmath -SH_TEST_DIRS += tests/share -SH_TEST_DIRS += tests/opt_share -SH_TEST_DIRS += tests/fsm -SH_TEST_DIRS += tests/memlib -SH_TEST_DIRS += tests/bram -SH_TEST_DIRS += tests/svinterfaces -SH_TEST_DIRS += tests/xprop -SH_TEST_DIRS += tests/select -SH_TEST_DIRS += tests/proc -SH_TEST_DIRS += tests/blif -SH_TEST_DIRS += tests/arch -SH_TEST_DIRS += tests/rpc -SH_TEST_DIRS += tests/memfile -SH_TEST_DIRS += tests/fmt -SH_TEST_DIRS += tests/cxxrtl -ifeq ($(ENABLE_FUNCTIONAL_TESTS),1) -SH_TEST_DIRS += tests/functional -endif +SH_TEST_DIRS += tests/abc_segfault +# SH_TEST_DIRS += tests/simple +# SH_TEST_DIRS += tests/simple_abc9 +# SH_TEST_DIRS += tests/hana +# SH_TEST_DIRS += tests/asicworld +# # SH_TEST_DIRS += tests/realmath +# SH_TEST_DIRS += tests/share +# SH_TEST_DIRS += tests/opt_share +# SH_TEST_DIRS += tests/fsm +# SH_TEST_DIRS += tests/memlib +# SH_TEST_DIRS += tests/bram +# SH_TEST_DIRS += tests/svinterfaces +# SH_TEST_DIRS += tests/xprop +# SH_TEST_DIRS += tests/select +# SH_TEST_DIRS += tests/proc +# SH_TEST_DIRS += tests/blif +# SH_TEST_DIRS += tests/arch +# SH_TEST_DIRS += tests/rpc +# SH_TEST_DIRS += tests/memfile +# SH_TEST_DIRS += tests/fmt +# SH_TEST_DIRS += tests/cxxrtl +# ifeq ($(ENABLE_FUNCTIONAL_TESTS),1) +# SH_TEST_DIRS += tests/functional +# endif # Tests that don't generate .mk and need special args SH_ABC_TEST_DIRS = -SH_ABC_TEST_DIRS += tests/memories -SH_ABC_TEST_DIRS += tests/aiger -SH_ABC_TEST_DIRS += tests/alumacc +# SH_ABC_TEST_DIRS += tests/memories +# SH_ABC_TEST_DIRS += tests/aiger +# SH_ABC_TEST_DIRS += tests/alumacc # seed-tests/ is a dummy string, not a directory .PHONY: seed-tests diff --git a/abc b/abc index f2d68d590..adf2d0902 160000 --- a/abc +++ b/abc @@ -1 +1 @@ -Subproject commit f2d68d590fa6f8fc32295a2edd79afc0d14a1414 +Subproject commit adf2d09020efdea9c2f802aada948a47325dc9c8 diff --git a/tests/abc_segfault/run-test.sh b/tests/abc_segfault/run-test.sh new file mode 100644 index 000000000..decc90186 --- /dev/null +++ b/tests/abc_segfault/run-test.sh @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +../../yosys-abc -c "&segfault"