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