| Chandler Carruth | 1353f9a | 2017-04-27 18:45:20 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simple-loop-unswitch -disable-output |
| 2 | |
| 3 | define void @test1(i32* %S2) { |
| 4 | entry: |
| 5 | br i1 false, label %list_Length.exit, label %cond_true.i |
| 6 | cond_true.i: ; preds = %entry |
| 7 | ret void |
| 8 | list_Length.exit: ; preds = %entry |
| 9 | br i1 false, label %list_Length.exit9, label %cond_true.i5 |
| 10 | cond_true.i5: ; preds = %list_Length.exit |
| 11 | ret void |
| 12 | list_Length.exit9: ; preds = %list_Length.exit |
| 13 | br i1 false, label %bb78, label %return |
| 14 | bb44: ; preds = %bb78, %cond_next68 |
| 15 | br i1 %tmp49.not, label %bb62, label %bb62.loopexit |
| 16 | bb62.loopexit: ; preds = %bb44 |
| 17 | br label %bb62 |
| 18 | bb62: ; preds = %bb62.loopexit, %bb44 |
| 19 | br i1 false, label %return.loopexit, label %cond_next68 |
| 20 | cond_next68: ; preds = %bb62 |
| 21 | br i1 false, label %return.loopexit, label %bb44 |
| 22 | bb78: ; preds = %list_Length.exit9 |
| 23 | %tmp49.not = icmp eq i32* %S2, null ; <i1> [#uses=1] |
| 24 | br label %bb44 |
| 25 | return.loopexit: ; preds = %cond_next68, %bb62 |
| 26 | %retval.0.ph = phi i32 [ 1, %cond_next68 ], [ 0, %bb62 ] ; <i32> [#uses=1] |
| 27 | br label %return |
| 28 | return: ; preds = %return.loopexit, %list_Length.exit9 |
| 29 | %retval.0 = phi i32 [ 0, %list_Length.exit9 ], [ %retval.0.ph, %return.loopexit ] ; <i32> [#uses=0] |
| 30 | ret void |
| 31 | } |
| 32 | |
| 33 | define void @test2() nounwind { |
| 34 | entry: |
| 35 | br label %bb.nph |
| 36 | |
| 37 | bb.nph: ; preds = %entry |
| 38 | %and.i13521 = and <4 x i1> undef, undef ; <<4 x i1>> [#uses=1] |
| 39 | br label %for.body |
| 40 | |
| 41 | for.body: ; preds = %for.body, %bb.nph |
| 42 | %or.i = select <4 x i1> %and.i13521, <4 x i32> undef, <4 x i32> undef ; <<4 x i32>> [#uses=0] |
| 43 | br i1 false, label %for.body, label %for.end |
| 44 | |
| 45 | for.end: ; preds = %for.body, %entry |
| 46 | ret void |
| 47 | } |
| 48 | |
| 49 | ; PR6879 |
| 50 | define i32* @test3(i32** %p_45, i16 zeroext %p_46, i64 %p_47, i64 %p_48, i16 signext %p_49) nounwind { |
| 51 | entry: |
| 52 | br label %for.cond |
| 53 | |
| 54 | for.cond: ; preds = %for.cond4, %entry |
| 55 | br i1 false, label %for.cond4, label %for.end88 |
| 56 | |
| 57 | for.cond4: ; preds = %for.cond |
| 58 | %conv46 = trunc i32 0 to i8 ; <i8> [#uses=2] |
| 59 | %cmp60 = icmp sgt i8 %conv46, 124 ; <i1> [#uses=1] |
| 60 | %or.cond = and i1 undef, %cmp60 ; <i1> [#uses=1] |
| 61 | %cond = select i1 %or.cond, i8 %conv46, i8 undef ; <i8> [#uses=0] |
| 62 | br label %for.cond |
| 63 | |
| 64 | for.end88: ; preds = %for.cond |
| 65 | ret i32* undef |
| 66 | } |