incorrect result - batchmode
Open
- Dominant language
- LLVM
- Stars
- 1.7k
- Forks
- 188
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 26
Description
https://github.com/rust-lang/rust/issues/152724
The original issue reported there was an incorrect result by Enzyme in debug mode.
I tried to help minimizing but encountered a case where Enzyme creates a segfaulting binary instead:
[segfault_causing.ll.txt](https://github.com/user-attachments/files/27865787/segfault_causing.ll.txt)
Here's a an automatically significantly reduced version. It still prints wrong results and then segfaults, but llvm-reduce could have introduced it's own issues:
[reduced.ll.txt](https://github.com/user-attachments/files/27865822/reduced.ll.txt)
Contributor guide
Assessment
This issue has not been assessed yet.