cxxrtl: make alias analysis outlining-aware.

[yosys.git] / backends / smv / test_cells.sh

diff --git a/backends/smv/test_cells.sh b/backends/smv/test_cells.sh
index 63de465c05c1c0ec972c22af644b0b6351539d93..145b9c33b92fc7a315ba0204a4016fd2d5220af2 100644 (file)
--- a/backends/smv/test_cells.sh
+++ b/backends/smv/test_cells.sh
@@ -7,8 +7,8 @@ mkdir -p test_cells.tmp
 cd test_cells.tmp
 
 # don't test $mul to reduce runtime
-# don't test $div and $mod to reduce runtime and avoid "div by zero" message
-../../../yosys -p 'test_cell -n 5 -w test all /$alu /$fa /$lcu /$lut /$macc /$mul /$div /$mod'
+# don't test $div/$mod/$divfloor/$modfloor to reduce runtime and avoid "div by zero" message
+../../../yosys -p 'test_cell -n 5 -w test all /$alu /$fa /$lcu /$lut /$macc /$mul /$div /$mod /$divfloor /$modfloor'
 
 cat > template.txt << "EOT"
 %module main