llvm/test/Transforms/LoopRotate/indirectbr.ll

   1 ; RUN: opt < %s -S -passes=loop-rotate -o - -verify-loop-info -verify-dom-info -verify-memoryssa | FileCheck %s
   2
   3 ; PR5502
   4 define void @z80_do_opcodes() nounwind {
   5 entry:
   6   br label %while.cond
   7
   8 while.cond:                                       ; preds = %end_opcode, %entry
   9   br label %while.body
  10
  11 while.body:                                       ; preds = %while.cond
  12   br label %indirectgoto
  13
  14 run_opcode:                                       ; preds = %indirectgoto
  15   %tmp276 = load i8, ptr undef                        ; <i8> [#uses=1]
  16   br label %indirectgoto
  17
  18 if.else295:                                       ; preds = %divide_late
  19   br label %end_opcode
  20
  21 end_opcode:                                       ; preds = %indirectgoto, %sw.default42406, %sw.default, %if.else295
  22   %opcode.2 = phi i8 [ %opcode.0, %indirectgoto ], [ 0, %sw.default42406 ], [ undef, %sw.default ], [ %opcode.0, %if.else295 ] ; <i8> [#uses=0]
  23   switch i32 undef, label %while.cond [
  24     i32 221, label %sw.bb11691
  25     i32 253, label %sw.bb30351
  26   ]
  27
  28 sw.bb11691:                                       ; preds = %end_opcode
  29   br label %sw.default
  30
  31 sw.default:                                       ; preds = %sw.bb11691
  32   br label %end_opcode
  33
  34 sw.bb30351:                                       ; preds = %end_opcode
  35   br label %sw.default42406
  36
  37 sw.default42406:                                  ; preds = %sw.bb30351
  38   br label %end_opcode
  39
  40 indirectgoto:                                     ; preds = %run_opcode, %while.body
  41   %opcode.0 = phi i8 [ undef, %while.body ], [ %tmp276, %run_opcode ] ; <i8> [#uses=2]
  42   indirectbr ptr undef, [label %run_opcode, label %if.else295, label %end_opcode]
  43 }
  44
  45 ; CHECK-LABEL: @foo
  46 define void @foo(i1 %a, i1 %b, ptr %c) {
  47 ; CHECK: entry
  48 ; CHECK-NEXT: br i1 %a, label %return, label %preheader
  49 entry:
  50   br i1 %a, label %return, label %preheader
  51
  52 ; CHECK: preheader:
  53 ; CHECK-NEXT:  br label %header
  54 preheader:
  55   br label %header
  56
  57 ; CHECK: header:
  58 ; CHECK-NEXT:  br i1 %b, label %return, label %body
  59 header:
  60   br i1 %b, label %return, label %body
  61
  62 ; CHECK: body:
  63 ; CHECK-NEXT:  indirectbr ptr %c, [label %return, label %latch]
  64 body:
  65   indirectbr ptr %c, [label %return, label %latch]
  66
  67 ; CHECK: latch:
  68 ; CHECK-NEXT:  br label %header
  69 latch:
  70   br label %header
  71
  72 return:
  73   ret void
  74 }