[all-commits] [llvm/llvm-project] 91f46b: [Polly] Reject reject regions entered by an indire...

[Michael Kruse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 91f46bb77e6d56955c3b96e9e844ae6a251c41e9
      https://github.com/llvm/llvm-project/commit/91f46bb77e6d56955c3b96e9e844ae6a251c41e9
  Author: Michael Kruse <llvm-project at meinersbur.de>
  Date:   2021-09-26 (Sun, 26 Sep 2021)

  Changed paths:
    M polly/include/polly/ScopDetectionDiagnostic.h
    M polly/lib/Analysis/ScopDetection.cpp
    M polly/lib/Analysis/ScopDetectionDiagnostic.cpp
    A polly/test/ScopDetect/callbr.ll

  Log Message:
  -----------
  [Polly] Reject reject regions entered by an indirectbr/callbr.

SplitBlockPredecessors is unable to insert an additional BasicBlock
between an indirectbr/callbr terminator and the successor blocks.
This is needed by Polly to normalize the control flow before emitting
its optimzed code.

This patches rejects regions entered by an indirectbr/callbr to not fail
later at code generation.

This fixes llvm.org/PR51964