luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Testcases for new truncation checks

This commit is contained in:
Michael Baier 2026-07-10 14:37:19 +02:00
parent 8f0028652a
commit dca9234d86
5 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/rtlil/bug1206_memory_offset_negative_overflow.ys Normal file
View File

@ -0,0 +1,6 @@
logger -expect error "Memory offset .* out of range" 1
read_rtlil <<EOT
module \foo
memory width 8 offset -4294967396 \mem
end
EOT

6
tests/rtlil/bug1206_memory_offset_overflow.ys Normal file
View File

@ -0,0 +1,6 @@
logger -expect error "Memory offset .* out of range" 1
read_rtlil <<EOT
module \foo
memory width 8 offset 4294967396 \mem
end
EOT

6
tests/rtlil/bug1206_memory_size_overflow.ys Normal file
View File

@ -0,0 +1,6 @@
logger -expect error "Memory size .* out of range" 1
read_rtlil <<EOT
module \foo
memory width 8 size 4294967396 \mem
end
EOT

6
tests/rtlil/bug1206_wire_offset_negative_overflow.ys Normal file
View File

@ -0,0 +1,6 @@
logger -expect error "Wire offset .* out of range" 1
read_rtlil <<EOT
module \foo
wire width 8 offset -4294967396 \bar
end
EOT

6
tests/rtlil/bug1206_wire_offset_overflow.ys Normal file
View File

@ -0,0 +1,6 @@
logger -expect error "Wire offset .* out of range" 1
read_rtlil <<EOT
module \foo
wire width 8 offset 4294967396 \bar
end
EOT