[fuzzer 2024-09-26_ac56] Different results between IR and IR-opt
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
`crasher_2024-09-26_ac56.x` reports a different result when evaluated before and after optimization
```
args: bits[21]:0x8_1001; bits[5]:0x1f; bits[37]:0x1f_ffff_ffff
evaluated opt IR (JIT), evaluated opt IR (interpreter), evaluated unopt IR (interpreter), interpreted DSLX, simulated =
(bits[49]:0xffff_ffff_ffff, bits[1]:0x1, bits[1]:0x1, (bits[1]:0x1, bits[19]:0x5_959f))
evaluated unopt IR (JIT) =
(bits[49]:0xffff_ffff_ffff, bits[1]:0x1, bits[1]:0x1, (bits[1]:0x1, bits[19]:0x3_2b3e))
```
To reproduce: Create a directory to collect all artifacts
```bash
mkdir /tmp/fuzzout
bazel build -c opt xls/fuzzer:run_crasher
bazel-bin/xls/fuzzer/run_crasher --run_dir=/tmp/fuzzout xls/fuzzer/crashers/crasher_2024-09-26_ac56.x
```
Contributor guide
Assessment
This issue has not been assessed yet.