| Chris Lattner | cf0b198 | 2009-11-27 22:50:07 +0000 | [diff] [blame] | 1 | ; RUN: opt -gvn %s -disable-output |
| 2 | |
| 3 | ; PR5631 |
| 4 | |
| 5 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| 6 | target triple = "x86_64-apple-darwin10.0" |
| 7 | |
| 8 | define i32* @peel_to_type(i8* %name, i32 %namelen, i32* %o, i32 %expected_type) nounwind ssp { |
| 9 | entry: |
| 10 | br i1 undef, label %if.end13, label %while.body.preheader |
| 11 | |
| 12 | |
| 13 | if.end13: ; preds = %if.then6 |
| 14 | br label %while.body.preheader |
| 15 | |
| 16 | while.body.preheader: ; preds = %if.end13, %if.end |
| 17 | br label %while.body |
| 18 | |
| 19 | while.body: ; preds = %while.body.backedge, %while.body.preheader |
| 20 | %o.addr.0 = phi i32* [ undef, %while.body.preheader ], [ %o.addr.0.be, %while.body.backedge ] ; <i32*> [#uses=2] |
| 21 | br i1 false, label %return.loopexit, label %lor.lhs.false |
| 22 | |
| 23 | lor.lhs.false: ; preds = %while.body |
| 24 | %tmp20 = bitcast i32* %o.addr.0 to i32* ; <i32*> [#uses=1] |
| 25 | %tmp22 = load i32* %tmp20 ; <i32> [#uses=0] |
| 26 | br i1 undef, label %land.lhs.true24, label %if.end31 |
| 27 | |
| 28 | land.lhs.true24: ; preds = %lor.lhs.false |
| 29 | %call28 = call i32* @parse_object(i8* undef) nounwind ; <i32*> [#uses=0] |
| 30 | br i1 undef, label %return.loopexit, label %if.end31 |
| 31 | |
| 32 | if.end31: ; preds = %land.lhs.true24, %lor.lhs.false |
| 33 | br i1 undef, label %return.loopexit, label %if.end41 |
| 34 | |
| 35 | if.end41: ; preds = %if.end31 |
| 36 | %tmp43 = bitcast i32* %o.addr.0 to i32* ; <i32*> [#uses=1] |
| 37 | %tmp45 = load i32* %tmp43 ; <i32> [#uses=0] |
| 38 | br i1 undef, label %if.then50, label %if.else |
| 39 | |
| 40 | if.then50: ; preds = %if.end41 |
| 41 | %tmp53 = load i32** undef ; <i32*> [#uses=1] |
| 42 | br label %while.body.backedge |
| 43 | |
| 44 | if.else: ; preds = %if.end41 |
| 45 | br i1 undef, label %if.then62, label %if.else67 |
| 46 | |
| 47 | if.then62: ; preds = %if.else |
| 48 | br label %while.body.backedge |
| 49 | |
| 50 | while.body.backedge: ; preds = %if.then62, %if.then50 |
| 51 | %o.addr.0.be = phi i32* [ %tmp53, %if.then50 ], [ undef, %if.then62 ] ; <i32*> [#uses=1] |
| 52 | br label %while.body |
| 53 | |
| 54 | if.else67: ; preds = %if.else |
| 55 | ret i32* null |
| 56 | |
| 57 | return.loopexit: ; preds = %if.end31, %land.lhs.true24, %while.body |
| 58 | ret i32* undef |
| 59 | } |
| 60 | |
| 61 | declare i32* @parse_object(i8*) |
| Chris Lattner | fd75b90 | 2009-12-01 06:22:10 +0000 | [diff] [blame^] | 62 | |
| 63 | |
| 64 | |
| 65 | |
| 66 | |
| 67 | |
| 68 | %struct.attribute_spec = type { i8*, i32, i32, i8, i8, i8 } |
| 69 | |
| 70 | @attribute_tables = external global [4 x %struct.attribute_spec*] ; <[4 x %struct.attribute_spec*]*> [#uses=2] |
| 71 | |
| 72 | define void @decl_attributes() nounwind { |
| 73 | entry: |
| 74 | br label %bb69.i |
| 75 | |
| 76 | bb69.i: ; preds = %bb57.i.preheader |
| 77 | %tmp4 = getelementptr inbounds [4 x %struct.attribute_spec*]* @attribute_tables, i32 0, i32 undef ; <%struct.attribute_spec**> [#uses=1] |
| 78 | %tmp5 = getelementptr inbounds [4 x %struct.attribute_spec*]* @attribute_tables, i32 0, i32 undef ; <%struct.attribute_spec**> [#uses=1] |
| 79 | %tmp3 = load %struct.attribute_spec** %tmp4, align 4 ; <%struct.attribute_spec*> [#uses=1] |
| 80 | br label %bb65.i |
| 81 | |
| 82 | bb65.i: ; preds = %bb65.i.preheader, %bb64.i |
| 83 | %storemerge6.i = phi i32 [ 1, %bb64.i ], [ 0, %bb69.i ] ; <i32> [#uses=3] |
| 84 | %scevgep14 = getelementptr inbounds %struct.attribute_spec* %tmp3, i32 %storemerge6.i, i32 0 ; <i8**> [#uses=1] |
| 85 | %tmp2 = load i8** %scevgep14, align 4 ; <i8*> [#uses=0] |
| 86 | %tmp = load %struct.attribute_spec** %tmp5, align 4 ; <%struct.attribute_spec*> [#uses=1] |
| 87 | %scevgep1516 = getelementptr inbounds %struct.attribute_spec* %tmp, i32 %storemerge6.i, i32 0 ; <i8**> [#uses=0] |
| 88 | unreachable |
| 89 | |
| 90 | bb64.i: ; Unreachable |
| 91 | br label %bb65.i |
| 92 | |
| 93 | bb66.i: ; Unreachable |
| 94 | br label %bb69.i |
| 95 | } |