130 lines · plain
1; RUN: opt -passes="loop-mssa(simple-loop-unswitch)" -verify-loop-info -verify-dom-info -verify-memoryssa -disable-output < %s2 3; Loop unswitch should be able to unswitch these loops and4; preserve LCSSA and LoopSimplify forms.5 6target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64"7target triple = "armv6-apple-darwin9"8 9@delim1 = external global i32 ; <ptr> [#uses=1]10@delim2 = external global i32 ; <ptr> [#uses=1]11 12define i32 @ineqn(ptr %s, ptr %p) nounwind readonly {13entry:14 %0 = load i32, ptr @delim1, align 4 ; <i32> [#uses=1]15 %1 = load i32, ptr @delim2, align 4 ; <i32> [#uses=1]16 br label %bb8.outer17 18bb: ; preds = %bb819 %2 = icmp eq ptr %p_addr.0, %s ; <i1> [#uses=1]20 br i1 %2, label %bb10, label %bb221 22bb2: ; preds = %bb23 %3 = getelementptr inbounds i8, ptr %p_addr.0, i32 1 ; <ptr> [#uses=3]24 switch i32 %ineq.0.ph, label %bb8.backedge [25 i32 0, label %bb326 i32 1, label %bb627 ]28 29bb8.backedge: ; preds = %bb6, %bb5, %bb230 br label %bb831 32bb3: ; preds = %bb233 %4 = icmp eq i32 %8, %0 ; <i1> [#uses=1]34 br i1 %4, label %bb8.outer.loopexit, label %bb535 36bb5: ; preds = %bb337 br i1 %6, label %bb6, label %bb8.backedge38 39bb6: ; preds = %bb5, %bb240 %5 = icmp eq i32 %8, %1 ; <i1> [#uses=1]41 br i1 %5, label %bb7, label %bb8.backedge42 43bb7: ; preds = %bb644 %.lcssa1 = phi ptr [ %3, %bb6 ] ; <ptr> [#uses=1]45 br label %bb8.outer.backedge46 47bb8.outer.backedge: ; preds = %bb8.outer.loopexit, %bb748 %.lcssa2 = phi ptr [ %.lcssa1, %bb7 ], [ %.lcssa, %bb8.outer.loopexit ] ; <ptr> [#uses=1]49 %ineq.0.ph.be = phi i32 [ 0, %bb7 ], [ 1, %bb8.outer.loopexit ] ; <i32> [#uses=1]50 br label %bb8.outer51 52bb8.outer.loopexit: ; preds = %bb353 %.lcssa = phi ptr [ %3, %bb3 ] ; <ptr> [#uses=1]54 br label %bb8.outer.backedge55 56bb8.outer: ; preds = %bb8.outer.backedge, %entry57 %ineq.0.ph = phi i32 [ 0, %entry ], [ %ineq.0.ph.be, %bb8.outer.backedge ] ; <i32> [#uses=3]58 %p_addr.0.ph = phi ptr [ %p, %entry ], [ %.lcssa2, %bb8.outer.backedge ] ; <ptr> [#uses=1]59 %6 = icmp eq i32 %ineq.0.ph, 1 ; <i1> [#uses=1]60 br label %bb861 62bb8: ; preds = %bb8.outer, %bb8.backedge63 %p_addr.0 = phi ptr [ %p_addr.0.ph, %bb8.outer ], [ %3, %bb8.backedge ] ; <ptr> [#uses=3]64 %7 = load i8, ptr %p_addr.0, align 1 ; <i8> [#uses=2]65 %8 = sext i8 %7 to i32 ; <i32> [#uses=2]66 %9 = icmp eq i8 %7, 0 ; <i1> [#uses=1]67 br i1 %9, label %bb10, label %bb68 69bb10: ; preds = %bb8, %bb70 %.0 = phi i32 [ %ineq.0.ph, %bb ], [ 0, %bb8 ] ; <i32> [#uses=1]71 ret i32 %.072}73 74; This is a simplified form of ineqn from above. It triggers some75; different cases in the loop-unswitch code.76 77define void @simplified_ineqn(i1 %arg) nounwind readonly {78entry:79 br label %bb8.outer80 81bb8.outer: ; preds = %bb6, %bb2, %entry82 %x = phi i32 [ 0, %entry ], [ 0, %bb6 ], [ 1, %bb2 ] ; <i32> [#uses=1]83 br i1 %arg, label %return, label %bb284 85bb2: ; preds = %bb86 switch i32 %x, label %bb6 [87 i32 0, label %bb8.outer88 ]89 90bb6: ; preds = %bb291 br i1 %arg, label %bb8.outer, label %bb292 93return: ; preds = %bb8, %bb94 ret void95}96 97; This function requires special handling to preserve LCSSA form.98; PR493499 100define void @pnp_check_irq(i1 %arg) nounwind noredzone {101entry:102 %conv56 = trunc i64 undef to i32 ; <i32> [#uses=1]103 br label %while.cond.i104 105while.cond.i: ; preds = %while.cond.i.backedge, %entry106 %call.i25 = call ptr @pci_get_device() nounwind noredzone ; <ptr> [#uses=2]107 br i1 %arg, label %if.then65, label %while.body.i108 109while.body.i: ; preds = %while.cond.i110 br i1 %arg, label %if.then31.i.i, label %while.cond.i.backedge111 112while.cond.i.backedge: ; preds = %if.then31.i.i, %while.body.i113 br label %while.cond.i114 115if.then31.i.i: ; preds = %while.body.i116 switch i32 %conv56, label %while.cond.i.backedge [117 i32 14, label %if.then42.i.i118 i32 15, label %if.then42.i.i119 ]120 121if.then42.i.i: ; preds = %if.then31.i.i, %if.then31.i.i122 %call.i25.lcssa48 = phi ptr [ %call.i25, %if.then31.i.i ], [ %call.i25, %if.then31.i.i ] ; <ptr> [#uses=0]123 unreachable124 125if.then65: ; preds = %while.cond.i126 unreachable127}128 129declare ptr @pci_get_device() noredzone130