llvm/test/Transforms/CodeExtractor/LoopExtractor_infinite.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --include-generated-funcs
   2 ; RUN: opt < %s -passes=loop-extract -S | FileCheck %s
   3
   4 ; This test used to enter an infinite loop, until out of memory (PR3082).
   5
   6 define void @test() {
   7
   8 entry:
   9   br label %loopentry
  10
  11 loopentry:
  12   br i1 undef, label %exit.1, label %loopexit
  13
  14 loopexit:
  15   br i1 undef, label %loopentry, label %exit.0
  16
  17 exit.0:
  18   br label %unified
  19
  20 exit.1:
  21   br label %unified
  22
  23 unified:
  24   ret void
  25 }
  26 ; CHECK-LABEL: define {{[^@]+}}@test() {
  27 ; CHECK-NEXT:  entry:
  28 ; CHECK-NEXT:    br label [[CODEREPL:%.*]]
  29 ; CHECK:       codeRepl:
  30 ; CHECK-NEXT:    [[TARGETBLOCK:%.*]] = call i1 @test.loopentry()
  31 ; CHECK-NEXT:    br i1 [[TARGETBLOCK]], label [[EXIT_1:%.*]], label [[EXIT_0:%.*]]
  32 ; CHECK:       exit.0:
  33 ; CHECK-NEXT:    br label [[UNIFIED:%.*]]
  34 ; CHECK:       exit.1:
  35 ; CHECK-NEXT:    br label [[UNIFIED]]
  36 ; CHECK:       unified:
  37 ; CHECK-NEXT:    ret void
  38 ;
  39 ;
  40 ; CHECK-LABEL: define {{[^@]+}}@test.loopentry() {
  41 ; CHECK-NEXT:  newFuncRoot:
  42 ; CHECK-NEXT:    br label [[LOOPENTRY:%.*]]
  43 ; CHECK:       loopentry:
  44 ; CHECK-NEXT:    br i1 undef, label [[EXIT_1_EXITSTUB:%.*]], label [[LOOPEXIT:%.*]]
  45 ; CHECK:       loopexit:
  46 ; CHECK-NEXT:    br i1 undef, label [[LOOPENTRY]], label [[EXIT_0_EXITSTUB:%.*]]
  47 ; CHECK:       exit.1.exitStub:
  48 ; CHECK-NEXT:    ret i1 true
  49 ; CHECK:       exit.0.exitStub:
  50 ; CHECK-NEXT:    ret i1 false
  51 ;