test/Transforms/Inline/2009-01-13-RecursiveInlineCrash.ll

   1 ; RUN: opt < %s -inline -argpromotion -disable-output
   2 ; ModuleID = '<stdin>'
   3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   4 target triple = "i386-apple-darwin9.6"
   5         %struct.quad_struct = type { i32, i32, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct* }
   6 @NumNodes = external global i32         ; <i32*> [#uses=0]
   7 @"\01LC" = external constant [43 x i8]          ; <[43 x i8]*> [#uses=0]
   8 @"\01LC1" = external constant [19 x i8]         ; <[19 x i8]*> [#uses=0]
   9 @"\01LC2" = external constant [17 x i8]         ; <[17 x i8]*> [#uses=0]
  10
  11 declare i32 @dealwithargs(i32, i8** nocapture) nounwind
  12
  13 declare i32 @atoi(i8*)
  14
  15 define internal fastcc i32 @adj(i32 %d, i32 %ct) nounwind readnone {
  16 entry:
  17         switch i32 %d, label %return [
  18                 i32 0, label %bb
  19                 i32 1, label %bb10
  20                 i32 2, label %bb5
  21                 i32 3, label %bb15
  22         ]
  23
  24 bb:             ; preds = %entry
  25         switch i32 %ct, label %bb3 [
  26                 i32 1, label %return
  27                 i32 0, label %return
  28         ]
  29
  30 bb3:            ; preds = %bb
  31         ret i32 0
  32
  33 bb5:            ; preds = %entry
  34         switch i32 %ct, label %bb8 [
  35                 i32 3, label %return
  36                 i32 2, label %return
  37         ]
  38
  39 bb8:            ; preds = %bb5
  40         ret i32 0
  41
  42 bb10:           ; preds = %entry
  43         switch i32 %ct, label %bb13 [
  44                 i32 1, label %return
  45                 i32 3, label %return
  46         ]
  47
  48 bb13:           ; preds = %bb10
  49         ret i32 0
  50
  51 bb15:           ; preds = %entry
  52         switch i32 %ct, label %bb18 [
  53                 i32 2, label %return
  54                 i32 0, label %return
  55         ]
  56
  57 bb18:           ; preds = %bb15
  58         ret i32 0
  59
  60 return:         ; preds = %bb15, %bb15, %bb10, %bb10, %bb5, %bb5, %bb, %bb, %entry
  61         ret i32 1
  62 }
  63
  64 declare fastcc i32 @reflect(i32, i32) nounwind readnone
  65
  66 declare i32 @CountTree(%struct.quad_struct* nocapture) nounwind readonly
  67
  68 define internal fastcc %struct.quad_struct* @child(%struct.quad_struct* nocapture %tree, i32 %ct) nounwind readonly {
  69 entry:
  70         switch i32 %ct, label %bb5 [
  71                 i32 0, label %bb1
  72                 i32 1, label %bb
  73                 i32 2, label %bb3
  74                 i32 3, label %bb2
  75         ]
  76
  77 bb:             ; preds = %entry
  78         %0 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 3                ; <%struct.quad_struct**> [#uses=1]
  79         %1 = load %struct.quad_struct*, %struct.quad_struct** %0, align 4               ; <%struct.quad_struct*> [#uses=1]
  80         ret %struct.quad_struct* %1
  81
  82 bb1:            ; preds = %entry
  83         %2 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 2                ; <%struct.quad_struct**> [#uses=1]
  84         %3 = load %struct.quad_struct*, %struct.quad_struct** %2, align 4               ; <%struct.quad_struct*> [#uses=1]
  85         ret %struct.quad_struct* %3
  86
  87 bb2:            ; preds = %entry
  88         %4 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 5                ; <%struct.quad_struct**> [#uses=1]
  89         %5 = load %struct.quad_struct*, %struct.quad_struct** %4, align 4               ; <%struct.quad_struct*> [#uses=1]
  90         ret %struct.quad_struct* %5
  91
  92 bb3:            ; preds = %entry
  93         %6 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 4                ; <%struct.quad_struct**> [#uses=1]
  94         %7 = load %struct.quad_struct*, %struct.quad_struct** %6, align 4               ; <%struct.quad_struct*> [#uses=1]
  95         ret %struct.quad_struct* %7
  96
  97 bb5:            ; preds = %entry
  98         ret %struct.quad_struct* null
  99 }
 100
 101 define internal fastcc %struct.quad_struct* @gtequal_adj_neighbor(%struct.quad_struct* nocapture %tree, i32 %d) nounwind readonly {
 102 entry:
 103         %0 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 6                ; <%struct.quad_struct**> [#uses=1]
 104         %1 = load %struct.quad_struct*, %struct.quad_struct** %0, align 4               ; <%struct.quad_struct*> [#uses=4]
 105         %2 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 1                ; <i32*> [#uses=1]
 106         %3 = load i32, i32* %2, align 4         ; <i32> [#uses=2]
 107         %4 = icmp eq %struct.quad_struct* %1, null              ; <i1> [#uses=1]
 108         br i1 %4, label %bb3, label %bb
 109
 110 bb:             ; preds = %entry
 111         %5 = call fastcc i32 @adj(i32 %d, i32 %3) nounwind              ; <i32> [#uses=1]
 112         %6 = icmp eq i32 %5, 0          ; <i1> [#uses=1]
 113         br i1 %6, label %bb3, label %bb1
 114
 115 bb1:            ; preds = %bb
 116         %7 = call fastcc %struct.quad_struct* @gtequal_adj_neighbor(%struct.quad_struct* %1, i32 %d) nounwind           ; <%struct.quad_struct*> [#uses=1]
 117         br label %bb3
 118
 119 bb3:            ; preds = %bb1, %bb, %entry
 120         %q.0 = phi %struct.quad_struct* [ %7, %bb1 ], [ %1, %bb ], [ %1, %entry ]               ; <%struct.quad_struct*> [#uses=4]
 121         %8 = icmp eq %struct.quad_struct* %q.0, null            ; <i1> [#uses=1]
 122         br i1 %8, label %bb7, label %bb4
 123
 124 bb4:            ; preds = %bb3
 125         %9 = getelementptr %struct.quad_struct, %struct.quad_struct* %q.0, i32 0, i32 0         ; <i32*> [#uses=1]
 126         %10 = load i32, i32* %9, align 4                ; <i32> [#uses=1]
 127         %11 = icmp eq i32 %10, 2                ; <i1> [#uses=1]
 128         br i1 %11, label %bb5, label %bb7
 129
 130 bb5:            ; preds = %bb4
 131         %12 = call fastcc i32 @reflect(i32 %d, i32 %3) nounwind         ; <i32> [#uses=1]
 132         %13 = call fastcc %struct.quad_struct* @child(%struct.quad_struct* %q.0, i32 %12) nounwind              ; <%struct.quad_struct*> [#uses=1]
 133         ret %struct.quad_struct* %13
 134
 135 bb7:            ; preds = %bb4, %bb3
 136         ret %struct.quad_struct* %q.0
 137 }
 138
 139 declare fastcc i32 @sum_adjacent(%struct.quad_struct* nocapture, i32, i32, i32) nounwind readonly
 140
 141 define i32 @perimeter(%struct.quad_struct* nocapture %tree, i32 %size) nounwind readonly {
 142 entry:
 143         %0 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 0                ; <i32*> [#uses=1]
 144         %1 = load i32, i32* %0, align 4         ; <i32> [#uses=1]
 145         %2 = icmp eq i32 %1, 2          ; <i1> [#uses=1]
 146         br i1 %2, label %bb, label %bb2
 147
 148 bb:             ; preds = %entry
 149         %3 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 4                ; <%struct.quad_struct**> [#uses=1]
 150         %4 = load %struct.quad_struct*, %struct.quad_struct** %3, align 4               ; <%struct.quad_struct*> [#uses=1]
 151         %5 = sdiv i32 %size, 2          ; <i32> [#uses=1]
 152         %6 = call i32 @perimeter(%struct.quad_struct* %4, i32 %5) nounwind              ; <i32> [#uses=1]
 153         %7 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 5                ; <%struct.quad_struct**> [#uses=1]
 154         %8 = load %struct.quad_struct*, %struct.quad_struct** %7, align 4               ; <%struct.quad_struct*> [#uses=1]
 155         %9 = sdiv i32 %size, 2          ; <i32> [#uses=1]
 156         %10 = call i32 @perimeter(%struct.quad_struct* %8, i32 %9) nounwind             ; <i32> [#uses=1]
 157         %11 = add i32 %10, %6           ; <i32> [#uses=1]
 158         %12 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 3               ; <%struct.quad_struct**> [#uses=1]
 159         %13 = load %struct.quad_struct*, %struct.quad_struct** %12, align 4             ; <%struct.quad_struct*> [#uses=1]
 160         %14 = sdiv i32 %size, 2         ; <i32> [#uses=1]
 161         %15 = call i32 @perimeter(%struct.quad_struct* %13, i32 %14) nounwind           ; <i32> [#uses=1]
 162         %16 = add i32 %15, %11          ; <i32> [#uses=1]
 163         %17 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 2               ; <%struct.quad_struct**> [#uses=1]
 164         %18 = load %struct.quad_struct*, %struct.quad_struct** %17, align 4             ; <%struct.quad_struct*> [#uses=1]
 165         %19 = sdiv i32 %size, 2         ; <i32> [#uses=1]
 166         %20 = call i32 @perimeter(%struct.quad_struct* %18, i32 %19) nounwind           ; <i32> [#uses=1]
 167         %21 = add i32 %20, %16          ; <i32> [#uses=1]
 168         ret i32 %21
 169
 170 bb2:            ; preds = %entry
 171         %22 = getelementptr %struct.quad_struct, %struct.quad_struct* %tree, i32 0, i32 0               ; <i32*> [#uses=1]
 172         %23 = load i32, i32* %22, align 4               ; <i32> [#uses=1]
 173         %24 = icmp eq i32 %23, 0                ; <i1> [#uses=1]
 174         br i1 %24, label %bb3, label %bb23
 175
 176 bb3:            ; preds = %bb2
 177         %25 = call fastcc %struct.quad_struct* @gtequal_adj_neighbor(%struct.quad_struct* %tree, i32 0) nounwind                ; <%struct.quad_struct*> [#uses=4]
 178         %26 = icmp eq %struct.quad_struct* %25, null            ; <i1> [#uses=1]
 179         br i1 %26, label %bb8, label %bb4
 180
 181 bb4:            ; preds = %bb3
 182         %27 = getelementptr %struct.quad_struct, %struct.quad_struct* %25, i32 0, i32 0         ; <i32*> [#uses=1]
 183         %28 = load i32, i32* %27, align 4               ; <i32> [#uses=1]
 184         %29 = icmp eq i32 %28, 1                ; <i1> [#uses=1]
 185         br i1 %29, label %bb8, label %bb6
 186
 187 bb6:            ; preds = %bb4
 188         %30 = getelementptr %struct.quad_struct, %struct.quad_struct* %25, i32 0, i32 0         ; <i32*> [#uses=1]
 189         %31 = load i32, i32* %30, align 4               ; <i32> [#uses=1]
 190         %32 = icmp eq i32 %31, 2                ; <i1> [#uses=1]
 191         br i1 %32, label %bb7, label %bb8
 192
 193 bb7:            ; preds = %bb6
 194         %33 = call fastcc i32 @sum_adjacent(%struct.quad_struct* %25, i32 3, i32 2, i32 %size) nounwind         ; <i32> [#uses=1]
 195         br label %bb8
 196
 197 bb8:            ; preds = %bb7, %bb6, %bb4, %bb3
 198         %retval1.1 = phi i32 [ 0, %bb6 ], [ %33, %bb7 ], [ %size, %bb4 ], [ %size, %bb3 ]               ; <i32> [#uses=3]
 199         %34 = call fastcc %struct.quad_struct* @gtequal_adj_neighbor(%struct.quad_struct* %tree, i32 1) nounwind                ; <%struct.quad_struct*> [#uses=4]
 200         %35 = icmp eq %struct.quad_struct* %34, null            ; <i1> [#uses=1]
 201         br i1 %35, label %bb10, label %bb9
 202
 203 bb9:            ; preds = %bb8
 204         %36 = getelementptr %struct.quad_struct, %struct.quad_struct* %34, i32 0, i32 0         ; <i32*> [#uses=1]
 205         %37 = load i32, i32* %36, align 4               ; <i32> [#uses=1]
 206         %38 = icmp eq i32 %37, 1                ; <i1> [#uses=1]
 207         br i1 %38, label %bb10, label %bb11
 208
 209 bb10:           ; preds = %bb9, %bb8
 210         %39 = add i32 %retval1.1, %size         ; <i32> [#uses=1]
 211         br label %bb13
 212
 213 bb11:           ; preds = %bb9
 214         %40 = getelementptr %struct.quad_struct, %struct.quad_struct* %34, i32 0, i32 0         ; <i32*> [#uses=1]
 215         %41 = load i32, i32* %40, align 4               ; <i32> [#uses=1]
 216         %42 = icmp eq i32 %41, 2                ; <i1> [#uses=1]
 217         br i1 %42, label %bb12, label %bb13
 218
 219 bb12:           ; preds = %bb11
 220         %43 = call fastcc i32 @sum_adjacent(%struct.quad_struct* %34, i32 2, i32 0, i32 %size) nounwind         ; <i32> [#uses=1]
 221         %44 = add i32 %43, %retval1.1           ; <i32> [#uses=1]
 222         br label %bb13
 223
 224 bb13:           ; preds = %bb12, %bb11, %bb10
 225         %retval1.2 = phi i32 [ %retval1.1, %bb11 ], [ %44, %bb12 ], [ %39, %bb10 ]              ; <i32> [#uses=3]
 226         %45 = call fastcc %struct.quad_struct* @gtequal_adj_neighbor(%struct.quad_struct* %tree, i32 2) nounwind                ; <%struct.quad_struct*> [#uses=4]
 227         %46 = icmp eq %struct.quad_struct* %45, null            ; <i1> [#uses=1]
 228         br i1 %46, label %bb15, label %bb14
 229
 230 bb14:           ; preds = %bb13
 231         %47 = getelementptr %struct.quad_struct, %struct.quad_struct* %45, i32 0, i32 0         ; <i32*> [#uses=1]
 232         %48 = load i32, i32* %47, align 4               ; <i32> [#uses=1]
 233         %49 = icmp eq i32 %48, 1                ; <i1> [#uses=1]
 234         br i1 %49, label %bb15, label %bb16
 235
 236 bb15:           ; preds = %bb14, %bb13
 237         %50 = add i32 %retval1.2, %size         ; <i32> [#uses=1]
 238         br label %bb18
 239
 240 bb16:           ; preds = %bb14
 241         %51 = getelementptr %struct.quad_struct, %struct.quad_struct* %45, i32 0, i32 0         ; <i32*> [#uses=1]
 242         %52 = load i32, i32* %51, align 4               ; <i32> [#uses=1]
 243         %53 = icmp eq i32 %52, 2                ; <i1> [#uses=1]
 244         br i1 %53, label %bb17, label %bb18
 245
 246 bb17:           ; preds = %bb16
 247         %54 = call fastcc i32 @sum_adjacent(%struct.quad_struct* %45, i32 0, i32 1, i32 %size) nounwind         ; <i32> [#uses=1]
 248         %55 = add i32 %54, %retval1.2           ; <i32> [#uses=1]
 249         br label %bb18
 250
 251 bb18:           ; preds = %bb17, %bb16, %bb15
 252         %retval1.3 = phi i32 [ %retval1.2, %bb16 ], [ %55, %bb17 ], [ %50, %bb15 ]              ; <i32> [#uses=3]
 253         %56 = call fastcc %struct.quad_struct* @gtequal_adj_neighbor(%struct.quad_struct* %tree, i32 3) nounwind                ; <%struct.quad_struct*> [#uses=4]
 254         %57 = icmp eq %struct.quad_struct* %56, null            ; <i1> [#uses=1]
 255         br i1 %57, label %bb20, label %bb19
 256
 257 bb19:           ; preds = %bb18
 258         %58 = getelementptr %struct.quad_struct, %struct.quad_struct* %56, i32 0, i32 0         ; <i32*> [#uses=1]
 259         %59 = load i32, i32* %58, align 4               ; <i32> [#uses=1]
 260         %60 = icmp eq i32 %59, 1                ; <i1> [#uses=1]
 261         br i1 %60, label %bb20, label %bb21
 262
 263 bb20:           ; preds = %bb19, %bb18
 264         %61 = add i32 %retval1.3, %size         ; <i32> [#uses=1]
 265         ret i32 %61
 266
 267 bb21:           ; preds = %bb19
 268         %62 = getelementptr %struct.quad_struct, %struct.quad_struct* %56, i32 0, i32 0         ; <i32*> [#uses=1]
 269         %63 = load i32, i32* %62, align 4               ; <i32> [#uses=1]
 270         %64 = icmp eq i32 %63, 2                ; <i1> [#uses=1]
 271         br i1 %64, label %bb22, label %bb23
 272
 273 bb22:           ; preds = %bb21
 274         %65 = call fastcc i32 @sum_adjacent(%struct.quad_struct* %56, i32 1, i32 3, i32 %size) nounwind         ; <i32> [#uses=1]
 275         %66 = add i32 %65, %retval1.3           ; <i32> [#uses=1]
 276         ret i32 %66
 277
 278 bb23:           ; preds = %bb21, %bb2
 279         %retval1.0 = phi i32 [ 0, %bb2 ], [ %retval1.3, %bb21 ]         ; <i32> [#uses=1]
 280         ret i32 %retval1.0
 281 }
 282
 283 declare i32 @main(i32, i8** nocapture) noreturn nounwind
 284
 285 declare i32 @printf(i8*, ...) nounwind
 286
 287 declare void @exit(i32) noreturn nounwind
 288
 289 declare fastcc i32 @CheckOutside(i32, i32) nounwind readnone
 290
 291 declare fastcc i32 @CheckIntersect(i32, i32, i32) nounwind readnone
 292
 293 declare %struct.quad_struct* @MakeTree(i32, i32, i32, i32, i32, %struct.quad_struct*, i32, i32) nounwind