1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=loop-fusion -S | FileCheck %s 3 4define void @v_5_0(ptr %dummy) { 5; CHECK-LABEL: @v_5_0( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: br label [[FOR_BODY:%.*]] 8; CHECK: for.cond.cleanup: 9; CHECK-NEXT: br i1 true, label [[FOR_BODY6_PREHEADER:%.*]], label [[FOR_COND_CLEANUP5:%.*]] 10; CHECK: for.body6.preheader: 11; CHECK-NEXT: br label [[FOR_BODY6:%.*]] 12; CHECK: for.body: 13; CHECK-NEXT: br i1 false, label [[FOR_COND_CLEANUP:%.*]], label [[FOR_BODY]] 14; CHECK: for.cond.cleanup5: 15; CHECK-NEXT: ret void 16; CHECK: for.body6: 17; CHECK-NEXT: [[V_LOOP_2_0_V_LOOP_2_0_V_LOOP_2_0_18:%.*]] = load volatile i32, ptr [[DUMMY:%.*]], align 1 18; CHECK-NEXT: br label [[FOR_BODY6]] 19; 20entry: 21 br label %for.body 22 23for.cond.cleanup: ; preds = %for.body 24 br i1 true, label %for.body6, label %for.cond.cleanup5 25 26for.body: ; preds = %for.body, %entry 27 br i1 false, label %for.cond.cleanup, label %for.body 28 29for.cond.cleanup5: ; preds = %for.cond.cleanup 30 ret void 31 32for.body6: ; preds = %for.body6, %for.cond.cleanup 33 %v_loop_2.0.v_loop_2.0.v_loop_2.0.18 = load volatile i32, ptr %dummy, align 1 34 br label %for.body6 35} 36 37define void @f943(ptr %dummy) { 38; CHECK-LABEL: @f943( 39; CHECK-NEXT: entry: 40; CHECK-NEXT: br label [[FOR_COND32_I_I:%.*]] 41; CHECK: for.cond32.i.i: 42; CHECK-NEXT: br label [[FOR_BODY37_I_I:%.*]] 43; CHECK: for.cond42.preheader.i.i: 44; CHECK-NEXT: br i1 true, label [[FOR_BODY44_I_I_PREHEADER:%.*]], label [[FOR_END47_I_I:%.*]] 45; CHECK: for.body44.i.i.preheader: 46; CHECK-NEXT: br label [[FOR_BODY44_I_I:%.*]] 47; CHECK: for.body37.i.i: 48; CHECK-NEXT: br i1 true, label [[FOR_BODY37_I_I]], label [[FOR_COND42_PREHEADER_I_I:%.*]] 49; CHECK: for.body44.i.i: 50; CHECK-NEXT: store volatile i8 poison, ptr [[DUMMY:%.*]], align 1 51; CHECK-NEXT: br i1 true, label [[FOR_BODY44_I_I]], label [[FOR_END47_I_I_LOOPEXIT:%.*]] 52; CHECK: for.end47.i.i.loopexit: 53; CHECK-NEXT: br label [[FOR_END47_I_I]] 54; CHECK: for.end47.i.i: 55; CHECK-NEXT: br label [[FOR_COND32_I_I]] 56; 57entry: 58 br label %for.cond32.i.i 59 60for.cond32.i.i: ; preds = %for.end47.i.i, %entry 61 br label %for.body37.i.i 62 63for.cond42.preheader.i.i: ; preds = %for.body37.i.i 64 br i1 true, label %for.body44.i.i, label %for.end47.i.i 65 66for.body37.i.i: ; preds = %for.body37.i.i, %for.cond32.i.i 67 br i1 true, label %for.body37.i.i, label %for.cond42.preheader.i.i 68 69for.body44.i.i: ; preds = %for.body44.i.i, %for.cond42.preheader.i.i 70 store volatile i8 poison, ptr %dummy, align 1 71 br i1 true, label %for.body44.i.i, label %for.end47.i.i 72 73for.end47.i.i: ; preds = %for.body44.i.i, %for.cond42.preheader.i.i 74 br label %for.cond32.i.i 75} 76 77