llvm/test/Transforms/LoopSimplifyCFG/handle_dead_exits.ll

   1 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg %s | FileCheck %s
   2 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(loop-simplifycfg)' %s | FileCheck %s
   3
   4 declare i32* @fake_personality_function()
   5 declare void @foo()
   6
   7 define i32 @test_remove_lpad(i1 %exitcond) personality i32* ()* @fake_personality_function {
   8 ; CHECK-LABEL: @test_remove_lpad(
   9 entry:
  10   br label %for.body
  11
  12 for.body:
  13   br i1 0, label %never, label %next
  14
  15 next:
  16   br label %latch
  17
  18 latch:
  19   br i1 %exitcond, label %exit, label %for.body
  20
  21 exit:
  22   ret i32 0
  23
  24 never:
  25   invoke void @foo() to label %next unwind label %never-unwind
  26
  27 never-unwind:
  28 ; CHECK: never-unwind:
  29 ; CHECK-NEXT: unreachable
  30   %res = landingpad token cleanup
  31   unreachable
  32 }
  33
  34 define i32 @test_remove_phi_lpad(i1 %exitcond) personality i32* ()* @fake_personality_function {
  35 ; CHECK-LABEL: @test_remove_phi_lpad(
  36 entry:
  37   br label %for.body
  38
  39 for.body:
  40   br i1 0, label %never, label %next
  41
  42 next:
  43   br label %latch
  44
  45 latch:
  46   br i1 %exitcond, label %exit, label %for.body
  47
  48 exit:
  49   ret i32 0
  50
  51 never:
  52   invoke void @foo() to label %next unwind label %never-unwind
  53
  54 never-unwind:
  55 ; CHECK: never-unwind:
  56 ; CHECK-NEXT: ret i32 undef
  57   %p = phi i32 [1, %never]
  58   %res = landingpad token cleanup
  59   ret i32 %p
  60 }
  61
  62 define i32 @test_split_remove_phi_lpad_(i1 %exitcond) personality i32* ()* @fake_personality_function {
  63 ; CHECK-LABEL: @test_split_remove_phi_lpad_(
  64 entry:
  65   invoke void @foo() to label %for.body unwind label %unwind-bb
  66
  67 for.body:
  68   br i1 0, label %never, label %next
  69
  70 next:
  71   br label %latch
  72
  73 latch:
  74   br i1 %exitcond, label %exit, label %for.body
  75
  76 exit:
  77   ret i32 0
  78
  79 never:
  80   invoke void @foo() to label %next unwind label %unwind-bb
  81
  82 unwind-bb:
  83 ; CHECK: unwind-bb.loopexit:
  84 ; CHECK-NEXT: br label %unwind-bb
  85   %p = phi i32 [1, %never], [2, %entry]
  86   %res = landingpad token cleanup
  87   ret i32 %p
  88 }