[all-commits] [llvm/llvm-project] 10ab29: [IRCE] Bail out if AddRec in icmp is for another l...

[Dmitry Makogon via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 10ab29ec6eaf3ee0a70574b4cb6f79a4df01d47d
      https://github.com/llvm/llvm-project/commit/10ab29ec6eaf3ee0a70574b4cb6f79a4df01d47d
  Author: Dmitry Makogon <d.makogon at g.nsu.ru>
  Date:   2022-11-14 (Mon, 14 Nov 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
    M llvm/test/Transforms/IRCE/iv-for-another-loop.ll

  Log Message:
  -----------
  [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