Home | History | Annotate | Download | only in GVN
      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* @test1(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*)
     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 @test2() 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   %tmp3 = load %struct.attribute_spec** %tmp4, align 4 ; <%struct.attribute_spec*> [#uses=1]
     79   br label %bb65.i
     80 
     81 bb65.i:                                           ; preds = %bb65.i.preheader, %bb64.i
     82   %storemerge6.i = phi i32 [ 1, %bb64.i ], [ 0, %bb69.i ] ; <i32> [#uses=3]
     83   %scevgep14 = getelementptr inbounds %struct.attribute_spec* %tmp3, i32 %storemerge6.i, i32 0 ; <i8**> [#uses=1]
     84   %tmp2 = load i8** %scevgep14, align 4           ; <i8*> [#uses=0]
     85   %tmp = load %struct.attribute_spec** %tmp4, align 4 ; <%struct.attribute_spec*> [#uses=1]
     86   %scevgep1516 = getelementptr inbounds %struct.attribute_spec* %tmp, i32 %storemerge6.i, i32 0 ; <i8**> [#uses=0]
     87   unreachable
     88 
     89 bb64.i:                                           ; Unreachable
     90   br label %bb65.i
     91 
     92 bb66.i:                                           ; Unreachable
     93   br label %bb69.i
     94 }
     95 
     96 
     97 
     98 ; rdar://7438974
     99 
    100 @g = external global i64, align 8
    101 
    102 define i32* @test3() {
    103 do.end17.i:
    104   %tmp18.i = load i7** undef
    105   %tmp1 = bitcast i7* %tmp18.i to i8*
    106   br i1 undef, label %do.body36.i, label %if.then21.i
    107 
    108 if.then21.i:
    109   %tmp2 = bitcast i7* %tmp18.i to i8*
    110   ret i32* undef
    111 
    112 do.body36.i:
    113   %ivar38.i = load i64* @g 
    114   %tmp3 = bitcast i7* %tmp18.i to i8*
    115   %add.ptr39.sum.i = add i64 %ivar38.i, 8
    116   %tmp40.i = getelementptr inbounds i8* %tmp3, i64 %add.ptr39.sum.i
    117   %tmp4 = bitcast i8* %tmp40.i to i64*
    118   %tmp41.i = load i64* %tmp4
    119   br i1 undef, label %if.then48.i, label %do.body57.i
    120 
    121 if.then48.i:
    122   %call54.i = call i32 @foo2()
    123   br label %do.body57.i
    124 
    125 do.body57.i:
    126   %tmp58.i = load i7** undef
    127   %ivar59.i = load i64* @g
    128   %tmp5 = bitcast i7* %tmp58.i to i8*
    129   %add.ptr65.sum.i = add i64 %ivar59.i, 8
    130   %tmp66.i = getelementptr inbounds i8* %tmp5, i64 %add.ptr65.sum.i
    131   %tmp6 = bitcast i8* %tmp66.i to i64*
    132   %tmp67.i = load i64* %tmp6
    133   ret i32* undef
    134 }
    135 
    136 declare i32 @foo2()
    137 
    138 
    139 
    140 define i32 @test4() {
    141 entry:
    142   ret i32 0
    143   
    144 dead:
    145   %P2 = getelementptr i32 *%P2, i32 52
    146   %Q2 = getelementptr i32 *%Q2, i32 52
    147   store i32 4, i32* %P2
    148   %A = load i32* %Q2
    149   br i1 true, label %dead, label %dead2
    150   
    151 dead2:
    152   ret i32 %A
    153 }
    154 
    155 
    156 ; PR9841
    157 define fastcc i8 @test5(i8* %P) nounwind {
    158 entry:
    159   %0 = load i8* %P, align 2
    160 
    161   %Q = getelementptr i8* %P, i32 1
    162   %1 = load i8* %Q, align 1
    163   ret i8 %1
    164 }
    165 
    166