search

google / xls

XLS: Accelerated HW Synthesis
http://google.github.io/xls/
Apache License 2.0
1.21k stars 179 forks source link

[fuzzer 2024-11-13_97f0]: crash in strength reduction pass #1711

Closed hzeller closed 1 week ago

hzeller commented 1 week ago

Running bazel test -c opt //xls/fuzzer:run_crasher_test_2024-11-13_97f0 results in a crash in the optimizer in the strength reduction pass:

xls/passes/strength_reduction_pass.cc:234) !select->default_value().has_value() x6__1: bits[1] = sel(bit_slice.141, cases=[bit_slice.145], default=literal.148, id=147, pos=[(0,12,27)])