github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-03-28 19:12:08 +00:00
Code Issues Releases Wiki Activity

tests: adjust to input_port and init behavior (sketchy)

Browse Source
This commit is contained in:
Emil J. Tywoniak
2026-03-09 21:21:45 +01:00
parent d2bc970ef9
commit 25edde1c3c
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
tests/opt/opt_expr_alu.ys
View File

@@ -8,7 +8,7 @@ alumacc
equiv_opt -assert opt_expr -fine
design -load postopt
select -assert-count 1 t:$pos
select -assert-none t:$pos t:* %D
select -assert-none t:$pos t:* %D t:$input_port %d
design -reset
@@ -20,7 +20,7 @@ EOT
alumacc
select -assert-count 1 t:$alu
select -assert-none t:$alu t:* %D
select -assert-none t:$alu t:* %D t:$input_port %d
design -reset
@@ -33,7 +33,7 @@ EOT
equiv_opt -assert opt_expr -fine
design -load postopt
select -assert-count 1 t:$pos
select -assert-none t:$pos t:* %D
select -assert-none t:$pos t:* %D t:$input_port %d
design -reset
@@ -46,7 +46,7 @@ EOT
equiv_opt -assert opt_expr -fine
design -load postopt
select -assert-count 1 t:$pos
select -assert-none t:$pos t:* %D
select -assert-none t:$pos t:* %D t:$input_port %d
design -reset
@@ -60,7 +60,7 @@ alumacc
equiv_opt -assert opt_expr -fine
design -load postopt
select -assert-count 1 t:$not
select -assert-none t:$not %% t:* %D
select -assert-none t:$not %% t:* %D t:$input_port %d
design -reset
@@ -76,7 +76,7 @@ design -load postopt
select -assert-count 1 t:$alu
select -assert-count 1 t:$alu r:Y_WIDTH=3 %i
select -assert-count 1 t:$not
select -assert-none t:$alu t:$not t:* %D %D
select -assert-none t:$alu t:$not t:* %D %D t:$input_port %d
design -reset
@@ -93,7 +93,7 @@ dump
select -assert-count 2 t:$alu
select -assert-count 1 t:$alu r:Y_WIDTH=2 %i
select -assert-count 1 t:$alu r:Y_WIDTH=3 %i
select -assert-none t:$alu t:* %D
select -assert-none t:$alu t:* %D t:$input_port %d
design -reset
@@ -108,7 +108,7 @@ equiv_opt -assert opt -fine
design -load postopt
select -assert-count 2 t:$alu
select -assert-count 2 t:$alu r:Y_WIDTH=3 %i
select -assert-none t:$alu t:* %D
select -assert-none t:$alu t:* %D t:$input_port %d
design -reset