diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2024-05-08 10:04:09 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-08 10:04:09 +0800 |
| commit | d085b42cbbefe79a41113abcd2b1e1f2a203acef (patch) | |
| tree | fb9908dc5383e899b006bd33c2c42d2c129b9fe2 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 7098cd215b95286794d9e0c822e8323ad0509750 (diff) | |
[InstSimplify] Do not simplify freeze in `simplifyWithOpReplaced` (#91215)
See the LangRef:
> All uses of a value returned by the same ‘freeze’ instruction are
guaranteed to always observe the same value, while different ‘freeze’
instructions may yield different values.
It is incorrect to replace freezes with the simplified value.
Proof:
https://alive2.llvm.org/ce/z/3Dn9Cd
https://alive2.llvm.org/ce/z/Qyh5h6
Fixes https://github.com/llvm/llvm-project/issues/91178
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions