test/Transforms/LoopUnswitch/2012-04-02-IndirectBr.ll

   1 ; RUN: opt < %s -S -loop-unswitch -verify-loop-info -verify-dom-info | FileCheck %s
   2 ; PR12343: -loop-unswitch crash on indirect branch
   3
   4 ; CHECK:       %0 = icmp eq i64 undef, 0
   5 ; CHECK-NEXT:  br i1 %0, label %"5", label %"4"
   6
   7 ; CHECK:       "5":                                              ; preds = %entry
   8 ; CHECK-NEXT:  br label %"16"
   9
  10 ; CHECK:       "16":                                             ; preds = %"22", %"5"
  11 ; CHECK-NEXT:  indirectbr i8* undef, [label %"22", label %"33"]
  12
  13 ; CHECK:       "22":                                             ; preds = %"16"
  14 ; CHECK-NEXT:  br i1 %0, label %"16", label %"26"
  15
  16 ; CHECK:       "26":                                             ; preds = %"22"
  17 ; CHECK-NEXT:  unreachable
  18
  19 define void @foo() {
  20 entry:
  21   %0 = icmp eq i64 undef, 0
  22   br i1 %0, label %"5", label %"4"
  23
  24 "4":                                              ; preds = %entry
  25   unreachable
  26
  27 "5":                                              ; preds = %entry
  28   br label %"16"
  29
  30 "16":                                             ; preds = %"22", %"5"
  31   indirectbr i8* undef, [label %"22", label %"33"]
  32
  33 "22":                                             ; preds = %"16"
  34   br i1 %0, label %"16", label %"26"
  35
  36 "26":                                             ; preds = %"22"
  37   unreachable
  38
  39 "33":                                             ; preds = %"16"
  40   unreachable
  41 }