68 lines · plain
1; RUN: opt < %s -passes='loop-mssa(simple-loop-unswitch)' -verify-memoryssa -disable-output2; RUN: opt < %s -passes='loop-mssa(simple-loop-unswitch<nontrivial>)' -verify-memoryssa -disable-output3 4define void @test1(ptr %S2) {5entry:6 br i1 false, label %list_Length.exit, label %cond_true.i7cond_true.i: ; preds = %entry8 ret void9list_Length.exit: ; preds = %entry10 br i1 false, label %list_Length.exit9, label %cond_true.i511cond_true.i5: ; preds = %list_Length.exit12 ret void13list_Length.exit9: ; preds = %list_Length.exit14 br i1 false, label %bb78, label %return15bb44: ; preds = %bb78, %cond_next6816 br i1 %tmp49.not, label %bb62, label %bb62.loopexit17bb62.loopexit: ; preds = %bb4418 br label %bb6219bb62: ; preds = %bb62.loopexit, %bb4420 br i1 false, label %return.loopexit, label %cond_next6821cond_next68: ; preds = %bb6222 br i1 false, label %return.loopexit, label %bb4423bb78: ; preds = %list_Length.exit924 %tmp49.not = icmp eq ptr %S2, null ; <i1> [#uses=1]25 br label %bb4426return.loopexit: ; preds = %cond_next68, %bb6227 %retval.0.ph = phi i32 [ 1, %cond_next68 ], [ 0, %bb62 ] ; <i32> [#uses=1]28 br label %return29return: ; preds = %return.loopexit, %list_Length.exit930 %retval.0 = phi i32 [ 0, %list_Length.exit9 ], [ %retval.0.ph, %return.loopexit ] ; <i32> [#uses=0]31 ret void32}33 34define void @test2() nounwind {35entry:36 br label %bb.nph37 38bb.nph: ; preds = %entry39 %and.i13521 = and <4 x i1> undef, undef ; <<4 x i1>> [#uses=1]40 br label %for.body41 42for.body: ; preds = %for.body, %bb.nph43 %or.i = select <4 x i1> %and.i13521, <4 x i32> undef, <4 x i32> undef ; <<4 x i32>> [#uses=0]44 br i1 false, label %for.body, label %for.end45 46for.end: ; preds = %for.body, %entry47 ret void48}49 50; PR687951define ptr @test3(ptr %p_45, i16 zeroext %p_46, i64 %p_47, i64 %p_48, i16 signext %p_49) nounwind {52entry:53 br label %for.cond54 55for.cond: ; preds = %for.cond4, %entry56 br i1 false, label %for.cond4, label %for.end8857 58for.cond4: ; preds = %for.cond59 %conv46 = trunc i32 0 to i8 ; <i8> [#uses=2]60 %cmp60 = icmp sgt i8 %conv46, 124 ; <i1> [#uses=1]61 %or.cond = and i1 undef, %cmp60 ; <i1> [#uses=1]62 %cond = select i1 %or.cond, i8 %conv46, i8 undef ; <i8> [#uses=0]63 br label %for.cond64 65for.end88: ; preds = %for.cond66 ret ptr undef67}68