diff options
| author | Dmitry Makogon <d.makogon@g.nsu.ru> | 2022-11-11 16:49:48 +0700 |
|---|---|---|
| committer | Dmitry Makogon <d.makogon@g.nsu.ru> | 2022-11-14 15:06:13 +0700 |
| commit | 10ab29ec6eaf3ee0a70574b4cb6f79a4df01d47d (patch) | |
| tree | 932b74a7c0990bb198ad54eaf509bf14149b9d7a /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 3b759798067f0f9227b8b14c1f24701dbcd3df89 (diff) | |
[IRCE] Bail out if AddRec in icmp is for another loop (PR58912)
When IRCE runs on outer loop and sees a check of an AddRec of
inner loop, it crashes with an assert in SCEV that the AddRec
must be loop invariant.
This adds a bail out if the AddRec which is checked in icmp
is for another loop.
Fixes https://github.com/llvm/llvm-project/issues/58912.
Differential Revision: https://reviews.llvm.org/D137822
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions