test/Transforms/LoopSimplify/indirectbr.ll

   1 ; RUN: opt < %s -loop-simplify -lcssa -verify-loop-info -verify-dom-info -S \
   2 ; RUN:   | grep -F {indirectbr i8* %x, \[label %L0, label %L1\]} \
   3 ; RUN:   | count 6
   4
   5 ; LoopSimplify should not try to transform loops when indirectbr is involved.
   6
   7 define void @entry(i8* %x) {
   8 entry:
   9   indirectbr i8* %x, [ label %L0, label %L1 ]
  10
  11 L0:
  12   br label %L0
  13
  14 L1:
  15   ret void
  16 }
  17
  18 define void @backedge(i8* %x) {
  19 entry:
  20   br label %L0
  21
  22 L0:
  23   br label %L1
  24
  25 L1:
  26   indirectbr i8* %x, [ label %L0, label %L1 ]
  27 }
  28
  29 define i64 @exit(i8* %x) {
  30 entry:
  31   br label %L2
  32
  33 L2:
  34   %z = bitcast i64 0 to i64
  35   indirectbr i8* %x, [ label %L0, label %L1 ]
  36
  37 L0:
  38   br label %L2
  39
  40 L1:
  41   ret i64 %z
  42 }
  43
  44 define i64 @criticalexit(i8* %x, i1 %a) {
  45 entry:
  46   br i1 %a, label %L1, label %L2
  47
  48 L2:
  49   %z = bitcast i64 0 to i64
  50   indirectbr i8* %x, [ label %L0, label %L1 ]
  51
  52 L0:
  53   br label %L2
  54
  55 L1:
  56   %y = phi i64 [ %z, %L2 ], [ 1, %entry ]
  57   ret i64 %y
  58 }
  59
  60 define i64 @exit_backedge(i8* %x) {
  61 entry:
  62   br label %L0
  63
  64 L0:
  65   %z = bitcast i64 0 to i64
  66   indirectbr i8* %x, [ label %L0, label %L1 ]
  67
  68 L1:
  69   ret i64 %z
  70 }
  71
  72 define i64 @criticalexit_backedge(i8* %x, i1 %a) {
  73 entry:
  74   br i1 %a, label %L0, label %L1
  75
  76 L0:
  77   %z = bitcast i64 0 to i64
  78   indirectbr i8* %x, [ label %L0, label %L1 ]
  79
  80 L1:
  81   %y = phi i64 [ %z, %L0 ], [ 1, %entry ]
  82   ret i64 %y
  83 }
  84
  85 define void @pr5502() nounwind {
  86 entry:
  87   br label %while.cond
  88
  89 while.cond:
  90   br i1 undef, label %while.body, label %while.end
  91
  92 while.body:
  93   indirectbr i8* undef, [label %end_opcode, label %end_opcode]
  94
  95 end_opcode:
  96   br i1 false, label %end_opcode, label %while.cond
  97
  98 while.end:
  99   ret void
 100 }