test/Transforms/ScalarRepl/crash.ll

   1 ; RUN: opt -scalarrepl %s -disable-output
   2 ; RUN: opt -scalarrepl-ssa %s -disable-output
   3
   4 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"
   5 target triple = "x86_64-apple-darwin10.0.0"
   6
   7 ; PR9017
   8 define void @test1() nounwind readnone ssp {
   9 entry:
  10   %l_72 = alloca i32*, align 8
  11   unreachable
  12
  13 for.cond:                                         ; preds = %for.cond
  14   %tmp1.i = load i32** %l_72, align 8
  15   store i32* %tmp1.i, i32** %l_72, align 8
  16   br label %for.cond
  17
  18 if.end:                                           ; No predecessors!
  19   ret void
  20 }
  21
  22
  23 define void @test2() {
  24   %E = alloca { { i32, float, double, i64 }, { i32, float, double, i64 } }        ; <{ { i32, float, double, i64 }, { i32, float, double, i64 } }*> [#uses=1]
  25   %tmp.151 = getelementptr { { i32, float, double, i64 }, { i32, float, double, i64 } }* %E, i64 0, i32 1, i32 3          ; <i64*> [#uses=0]
  26   ret void
  27 }
  28
  29 define i32 @test3() {
  30         %X = alloca { [4 x i32] }               ; <{ [4 x i32] }*> [#uses=1]
  31         %Y = getelementptr { [4 x i32] }* %X, i64 0, i32 0, i64 2               ; <i32*> [#uses=2]
  32         store i32 4, i32* %Y
  33         %Z = load i32* %Y               ; <i32> [#uses=1]
  34         ret i32 %Z
  35 }
  36
  37
  38 %struct.rtx_def = type { [2 x i8], i32, [1 x %union.rtunion_def] }
  39 %union.rtunion_def = type { i32 }
  40
  41 define void @test4() {
  42 entry:
  43         %c_addr.i = alloca i8           ; <i8*> [#uses=1]
  44         switch i32 0, label %return [
  45                  i32 36, label %label.7
  46                  i32 34, label %label.7
  47                  i32 41, label %label.5
  48         ]
  49 label.5:                ; preds = %entry
  50         ret void
  51 label.7:                ; preds = %entry, %entry
  52         br i1 false, label %then.4, label %switchexit.0
  53 then.4:         ; preds = %label.7
  54         %tmp.0.i = bitcast i8* %c_addr.i to i32*                ; <i32*> [#uses=1]
  55         store i32 44, i32* %tmp.0.i
  56         ret void
  57 switchexit.0:           ; preds = %label.7
  58         ret void
  59 return:         ; preds = %entry
  60         ret void
  61 }
  62
  63
  64 define void @test5() {
  65 entry:
  66         %source_ptr = alloca i8*, align 4               ; <i8**> [#uses=2]
  67         br i1 false, label %bb1357, label %cond_next583
  68 cond_next583:           ; preds = %entry
  69         ret void
  70 bb1357:         ; preds = %entry
  71         br i1 false, label %bb1365, label %bb27055
  72 bb1365:         ; preds = %bb1357
  73         switch i32 0, label %cond_next10377 [
  74                  i32 0, label %bb4679
  75                  i32 1, label %bb4679
  76                  i32 2, label %bb4679
  77                  i32 3, label %bb4679
  78                  i32 4, label %bb5115
  79                  i32 5, label %bb6651
  80                  i32 6, label %bb7147
  81                  i32 7, label %bb8683
  82                  i32 8, label %bb9131
  83                  i32 9, label %bb9875
  84                  i32 10, label %bb4679
  85                  i32 11, label %bb4859
  86                  i32 12, label %bb4679
  87                  i32 16, label %bb10249
  88         ]
  89 bb4679:         ; preds = %bb1365, %bb1365, %bb1365, %bb1365, %bb1365, %bb1365
  90         ret void
  91 bb4859:         ; preds = %bb1365
  92         ret void
  93 bb5115:         ; preds = %bb1365
  94         ret void
  95 bb6651:         ; preds = %bb1365
  96         ret void
  97 bb7147:         ; preds = %bb1365
  98         ret void
  99 bb8683:         ; preds = %bb1365
 100         ret void
 101 bb9131:         ; preds = %bb1365
 102         ret void
 103 bb9875:         ; preds = %bb1365
 104         %source_ptr9884 = bitcast i8** %source_ptr to i8**              ; <i8**> [#uses=1]
 105         %tmp9885 = load i8** %source_ptr9884            ; <i8*> [#uses=0]
 106         ret void
 107 bb10249:                ; preds = %bb1365
 108         %source_ptr10257 = bitcast i8** %source_ptr to i16**            ; <i16**> [#uses=1]
 109         %tmp10258 = load i16** %source_ptr10257         ; <i16*> [#uses=0]
 110         ret void
 111 cond_next10377:         ; preds = %bb1365
 112         ret void
 113 bb27055:                ; preds = %bb1357
 114         ret void
 115 }
 116
 117
 118         %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>" = type { %"struct.__gnu_cxx::bitmap_allocator<char>::_Alloc_block"* }
 119         %"struct.__gnu_cxx::bitmap_allocator<char>" = type { i8 }
 120         %"struct.__gnu_cxx::bitmap_allocator<char>::_Alloc_block" = type { [8 x i8] }
 121
 122 ; PR1045
 123 define void @test6() {
 124 entry:
 125         %this_addr.i = alloca %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*                ; <%"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"**> [#uses=3]
 126         %tmp = alloca %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>", align 4                ; <%"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*> [#uses=1]
 127         store %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* %tmp, %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"** %this_addr.i
 128         %tmp.i = load %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"** %this_addr.i          ; <%"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*> [#uses=1]
 129         %tmp.i.upgrd.1 = bitcast %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* %tmp.i to %"struct.__gnu_cxx::bitmap_allocator<char>"*              ; <%"struct.__gnu_cxx::bitmap_allocator<char>"*> [#uses=0]
 130         %tmp1.i = load %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"** %this_addr.i         ; <%"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"*> [#uses=1]
 131         %tmp.i.upgrd.2 = getelementptr %"struct.__gnu_cxx::balloc::_Inclusive_between<__gnu_cxx::bitmap_allocator<char>::_Alloc_block*>"* %tmp1.i, i32 0, i32 0         ; <%"struct.__gnu_cxx::bitmap_allocator<char>::_Alloc_block"**> [#uses=0]
 132         unreachable
 133 }
 134
 135         %struct.CGPoint = type { float, float }
 136         %struct.aal_big_range_t = type { i32, i32 }        %struct.aal_callback_t = type { i8* (i8*, i32)*, void (i8*, i8*)* }        %struct.aal_edge_pool_t = type { %struct.aal_edge_pool_t*, i32, i32, [0 x %struct.aal_edge_t] }        %struct.aal_edge_t = type { %struct.CGPoint, %struct.CGPoint, i32 }
 137         %struct.aal_range_t = type { i16, i16 }
 138         %struct.aal_span_pool_t = type { %struct.aal_span_pool_t*, [341 x %struct.aal_span_t] }
 139         %struct.aal_span_t = type { %struct.aal_span_t*, %struct.aal_big_range_t }
 140         %struct.aal_spanarray_t = type { [2 x %struct.aal_range_t] }
 141         %struct.aal_spanbucket_t = type { i16, [2 x i8], %struct.anon }
 142         %struct.aal_state_t = type { %struct.CGPoint, %struct.CGPoint, %struct.CGPoint, i32, float, float, float, float, %struct.CGPoint, %struct.CGPoint, float, float, float, float, i32, i32, i32, i32, float, float, i8*, i32, i32, %struct.aal_edge_pool_t*, %struct.aal_edge_pool_t*, i8*, %struct.aal_callback_t*, i32, %struct.aal_span_t*, %struct.aal_span_t*, %struct.aal_span_t*, %struct.aal_span_pool_t*, i8, float, i8, i32 }
 143         %struct.anon = type { %struct.aal_spanarray_t }
 144
 145
 146 declare void @llvm.memcpy.i32(i8*, i8*, i32, i32)
 147
 148 define fastcc void @test7() {
 149 entry:
 150         %SB = alloca %struct.aal_spanbucket_t, align 4          ; <%struct.aal_spanbucket_t*> [#uses=2]
 151         br i1 false, label %cond_true, label %cond_next79
 152
 153 cond_true:              ; preds = %entry
 154         br i1 false, label %cond_next, label %cond_next114.i
 155
 156 cond_next114.i:         ; preds = %cond_true
 157         ret void
 158
 159 cond_next:              ; preds = %cond_true
 160         %SB19 = bitcast %struct.aal_spanbucket_t* %SB to i8*            ; <i8*> [#uses=1]
 161         call void @llvm.memcpy.i32( i8* %SB19, i8* null, i32 12, i32 0 )
 162         br i1 false, label %cond_next34, label %cond_next79
 163
 164 cond_next34:            ; preds = %cond_next
 165         %i.2.reload22 = load i32* null          ; <i32> [#uses=1]
 166         %tmp51 = getelementptr %struct.aal_spanbucket_t* %SB, i32 0, i32 2, i32 0, i32 0, i32 %i.2.reload22, i32 1
 167         ; <i16*> [#uses=0]
 168         ret void
 169
 170 cond_next79:            ; preds = %cond_next, %entry
 171         ret void
 172 }
 173
 174
 175        %struct.c37304a__vrec = type { i8, %struct.c37304a__vrec___disc___XVN }
 176         %struct.c37304a__vrec___disc___XVN = type {
 177 %struct.c37304a__vrec___disc___XVN___O }
 178         %struct.c37304a__vrec___disc___XVN___O = type {  }
 179
 180 ; PR3304
 181 define void @test8() {
 182 entry:
 183         %v = alloca %struct.c37304a__vrec
 184         %0 = getelementptr %struct.c37304a__vrec* %v, i32 0, i32 0
 185         store i8 8, i8* %0, align 1
 186         unreachable
 187 }
 188
 189
 190
 191 ; rdar://6808691 - ZeroLengthMemSet
 192         type <{ i32, i16, i8, i8, i64, i64, i16, [0 x i16] }>
 193
 194 define i32 @test9() {
 195 entry:
 196         %.compoundliteral = alloca %0
 197         %tmp228 = getelementptr %0* %.compoundliteral, i32 0, i32 7
 198         %tmp229 = bitcast [0 x i16]* %tmp228 to i8*
 199         call void @llvm.memset.i64(i8* %tmp229, i8 0, i64 0, i32 2)
 200         unreachable
 201 }
 202
 203 declare void @llvm.memset.i64(i8* nocapture, i8, i64, i32) nounwind
 204
 205
 206 ; PR4146 - i1 handling
 207 %wrapper = type { i1 }
 208 define void @test10() {
 209 entry:
 210         %w = alloca %wrapper, align 8           ; <%wrapper*> [#uses=1]
 211         %0 = getelementptr %wrapper* %w, i64 0, i32 0           ; <i1*>
 212         store i1 true, i1* %0
 213         ret void
 214 }
 215
 216
 217         %struct.singlebool = type <{ i8 }>
 218 ; PR4286
 219 define zeroext i8 @test11() nounwind {
 220 entry:
 221         %a = alloca %struct.singlebool, align 1         ; <%struct.singlebool*> [#uses=2]
 222         %storetmp.i = bitcast %struct.singlebool* %a to i1*             ; <i1*> [#uses=1]
 223         store i1 true, i1* %storetmp.i
 224         %tmp = getelementptr %struct.singlebool* %a, i64 0, i32 0               ; <i8*> [#uses=1]
 225         %tmp1 = load i8* %tmp           ; <i8> [#uses=1]
 226         ret i8 %tmp1
 227 }
 228
 229
 230        %struct.Item = type { [4 x i16], %struct.rule* }
 231         %struct.rule = type { [4 x i16], i32, i32, i32, %struct.nonterminal*, %struct.pattern*, i8 }
 232         %struct.nonterminal = type { i8*, i32, i32, i32, %struct.plankMap*, %struct.rule* }
 233         %struct.plankMap = type { %struct.list*, i32, %struct.stateMap* }
 234         %struct.list = type { i8*, %struct.list* }
 235         %struct.stateMap = type { i8*, %struct.plank*, i32, i16* }
 236         %struct.plank = type { i8*, %struct.list*, i32 }
 237         %struct.pattern = type { %struct.nonterminal*, %struct.operator*, [2 x %struct.nonterminal*] }
 238         %struct.operator = type { i8*, i8, i32, i32, i32, i32, %struct.table* }
 239         %struct.table = type { %struct.operator*, %struct.list*, i16*, [2 x %struct.dimension*], %struct.item_set** }
 240         %struct.dimension = type { i16*, %struct.Index_Map, %struct.mapping*, i32, %struct.plankMap* }
 241         %struct.Index_Map = type { i32, %struct.item_set** }
 242         %struct.item_set = type { i32, i32, %struct.operator*, [2 x %struct.item_set*], %struct.item_set*, i16*, %struct.Item*, %struct.Item* }
 243         %struct.mapping = type { %struct.list**, i32, i32, i32, %struct.item_set** }
 244
 245 ; VLAs.
 246 define void @test12() {
 247 bb4.i:
 248         %malloccall = tail call i8* @malloc(i32 0)
 249         %0 = bitcast i8* %malloccall to [0 x %struct.Item]*
 250         %.sub.i.c.i = getelementptr [0 x %struct.Item]* %0, i32 0, i32 0                ; <%struct.Item*> [#uses=0]
 251         unreachable
 252 }
 253 declare noalias i8* @malloc(i32)
 254
 255 ; PR8680
 256 define void @test13() nounwind {
 257 entry:
 258   %memtmp = alloca i32, align 4
 259   %0 = bitcast i32* %memtmp to void ()*
 260   call void %0() nounwind
 261   ret void
 262 }