Add -D DFF_MODE to abc9_map test

diff --git a/tests/arch/xilinx/abc9_map.ys b/tests/arch/xilinx/abc9_map.ys
index 6823589f126d8b84ccbaa3131b7a65b0230a5910..4a7b9384afe0bd8a6fdb1eb04a660ae96b3a25b5 100644 (file)
--- a/tests/arch/xilinx/abc9_map.ys
+++ b/tests/arch/xilinx/abc9_map.ys
@@ -6,7 +6,7 @@ endmodule
 EOT
 design -save gold
 
-techmap -map +/xilinx/abc9_map.v -max_iter 1
+techmap -map +/xilinx/abc9_map.v -max_iter 1 -D DFF_MODE
 techmap -map +/xilinx/abc9_unmap.v
 select -assert-count 1 t:FDSE
 select -assert-count 1 t:FDSE_1
@@ -29,7 +29,7 @@ endmodule
 EOT
 design -save gold
 
-techmap -map +/xilinx/abc9_map.v -max_iter 1
+techmap -map +/xilinx/abc9_map.v -max_iter 1 -D DFF_MODE
 techmap -map +/xilinx/abc9_unmap.v
 select -assert-count 1 t:FDRE
 select -assert-count 1 t:FDRE_1
@@ -52,7 +52,7 @@ endmodule
 EOT
 design -save gold
 
-techmap -map +/xilinx/abc9_map.v -max_iter 1
+techmap -map +/xilinx/abc9_map.v -max_iter 1 -D DFF_MODE
 techmap -map +/xilinx/abc9_unmap.v
 select -assert-count 1 t:FDCE
 select -assert-count 1 t:FDCE_1
@@ -76,7 +76,7 @@ endmodule
 EOT
 design -save gold
 
-techmap -map +/xilinx/abc9_map.v -max_iter 1
+techmap -map +/xilinx/abc9_map.v -max_iter 1 -D DFF_MODE
 techmap -map +/xilinx/abc9_unmap.v
 select -assert-count 1 t:FDPE
 techmap -autoproc -map +/xilinx/cells_sim.v