google / google/xls

[fuzzer 2024-09-26_ac56] Different results between IR and IR-opt

Open
#1,636 2 comments 0 reactions 0 assignees View on GitHub
fuzz jit
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.