test/Transforms/GVN/crash.ll

   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*)
  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 }