[all-commits] [llvm/llvm-project] 64397d: [SimpleLoopUnswitch] Verify LoopInfo after turning...

[Dmitry Makogon via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 64397d8f25ef6eb1052c20a646589ab9d70cc0d7
      https://github.com/llvm/llvm-project/commit/64397d8f25ef6eb1052c20a646589ab9d70cc0d7
  Author: Dmitry Makogon <d.makogon at g.nsu.ru>
  Date:   2023-06-08 (Thu, 08 Jun 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp
    M llvm/test/Transforms/SimpleLoopUnswitch/guards.ll
    M llvm/test/Transforms/SimpleLoopUnswitch/nontrivial-unswitch-skip-selects-in-guards.ll

  Log Message:
  -----------
  [SimpleLoopUnswitch] Verify LoopInfo after turning guards to branches

SplitBlockAndInsertIfThen doesn't correctly update LoopInfo when called
with Unreachable=true, which is the case when we turn guards to branches
in SimpleLoopUnswitch.

This adds LoopInfo verification before returning from turnGuardIntoBranch.