ITADN

incorrect result - batchmode

#2831OpenZuseZ4 创建于 2026-05-17
Z
ZuseZ4commented
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)
2 条评论