[all-commits] [llvm/llvm-project] 027c03: [Polly] Reject regions entered by an indirectbr/ca...

[Michael Kruse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 027c036663322d753e2dce6ad8d568d4e046b267
      https://github.com/llvm/llvm-project/commit/027c036663322d753e2dce6ad8d568d4e046b267
  Author: Michael Kruse <llvm-project at meinersbur.de>
  Date:   2021-09-27 (Mon, 27 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 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

Recommit with "REQUIRES: asserts" in test that uses statistics.