[all-commits] [llvm/llvm-project] 2a26d4: [LoopBoundSplit] Check the start value of split co...

[JinGu Kang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a26d47a2d8295f4555f615feb86d599ae2c3af7
      https://github.com/llvm/llvm-project/commit/2a26d47a2d8295f4555f615feb86d599ae2c3af7
  Author: Jingu Kang <jingu.kang at arm.com>
  Date:   2021-09-13 (Mon, 13 Sep 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopBoundSplit.cpp
    M llvm/test/Transforms/LoopBoundSplit/bug51766.ll
    M llvm/test/Transforms/LoopBoundSplit/loop-bound-split.ll

  Log Message:
  -----------
  [LoopBoundSplit] Check the start value of split cond AddRec

After transformation, we assume the split condition of the pre-loop is always
true. In order to guarantee it, we need to check the start value of the split
cond AddRec satisfies the split condition.

Differential Revision: https://reviews.llvm.org/D109354