1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -loop-deletion -licm -loop-idiom -disable-output 2*9880d681SAndroid Build Coastguard Worker; Check no assertion when loop-idiom deletes the MemSet already analyzed by licm 3*9880d681SAndroid Build Coastguard Workerdefine void @set_array() { 4*9880d681SAndroid Build Coastguard Worker br i1 false, label %bb3.preheader.lr.ph, label %bb9 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerbb3.preheader.lr.ph: ; preds = %0 7*9880d681SAndroid Build Coastguard Worker br label %bb3.preheader 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Workerbb4: ; preds = %bb4.lr.ph, %bb7 10*9880d681SAndroid Build Coastguard Worker %j.3.06 = phi i8 [ %j.3.17, %bb4.lr.ph ], [ %_tmp13, %bb7 ] 11*9880d681SAndroid Build Coastguard Worker br label %bb6 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerbb6: ; preds = %bb4, %bb6 14*9880d681SAndroid Build Coastguard Worker %k.4.04 = phi i8 [ 0, %bb4 ], [ %_tmp9, %bb6 ] 15*9880d681SAndroid Build Coastguard Worker %_tmp31 = sext i8 %j.3.06 to i64 16*9880d681SAndroid Build Coastguard Worker %_tmp4 = mul i64 %_tmp31, 10 17*9880d681SAndroid Build Coastguard Worker %_tmp5 = getelementptr i8, i8* undef, i64 %_tmp4 18*9880d681SAndroid Build Coastguard Worker %_tmp7 = getelementptr i8, i8* %_tmp5, i8 %k.4.04 19*9880d681SAndroid Build Coastguard Worker store i8 42, i8* %_tmp7 20*9880d681SAndroid Build Coastguard Worker %_tmp9 = add i8 %k.4.04, 1 21*9880d681SAndroid Build Coastguard Worker %_tmp11 = icmp slt i8 %_tmp9, 10 22*9880d681SAndroid Build Coastguard Worker br i1 %_tmp11, label %bb6, label %bb7 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workerbb7: ; preds = %bb6 25*9880d681SAndroid Build Coastguard Worker %_tmp13 = add i8 %j.3.06, 1 26*9880d681SAndroid Build Coastguard Worker %_tmp15 = icmp slt i8 %_tmp13, 2 27*9880d681SAndroid Build Coastguard Worker br i1 %_tmp15, label %bb4, label %bb3.bb1.loopexit_crit_edge 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Workerbb3.bb1.loopexit_crit_edge: ; preds = %bb7 30*9880d681SAndroid Build Coastguard Worker %split = phi i8 [ %_tmp13, %bb7 ] 31*9880d681SAndroid Build Coastguard Worker br label %bb1.loopexit 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workerbb1.loopexit: ; preds = %bb3.bb1.loopexit_crit_edge, %bb3.preheader 34*9880d681SAndroid Build Coastguard Worker %j.3.0.lcssa = phi i8 [ %split, %bb3.bb1.loopexit_crit_edge ], [ %j.3.17, %bb3.preheader ] 35*9880d681SAndroid Build Coastguard Worker br i1 false, label %bb3.preheader, label %bb1.bb9_crit_edge 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Workerbb3.preheader: ; preds = %bb3.preheader.lr.ph, %bb1.loopexit 38*9880d681SAndroid Build Coastguard Worker %j.3.17 = phi i8 [ undef, %bb3.preheader.lr.ph ], [ %j.3.0.lcssa, %bb1.loopexit ] 39*9880d681SAndroid Build Coastguard Worker %_tmp155 = icmp slt i8 %j.3.17, 2 40*9880d681SAndroid Build Coastguard Worker br i1 %_tmp155, label %bb4.lr.ph, label %bb1.loopexit 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workerbb4.lr.ph: ; preds = %bb3.preheader 43*9880d681SAndroid Build Coastguard Worker br label %bb4 44*9880d681SAndroid Build Coastguard Worker 45*9880d681SAndroid Build Coastguard Workerbb1.bb9_crit_edge: ; preds = %bb1.loopexit 46*9880d681SAndroid Build Coastguard Worker br label %bb9 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerbb9: ; preds = %bb1.bb9_crit_edge, %0 49*9880d681SAndroid Build Coastguard Worker ret void 50*9880d681SAndroid Build Coastguard Worker} 51*9880d681SAndroid Build Coastguard Worker 52