test/Transforms/InstCombine/2002-05-14-TouchDeletedInst.ll

   1 ; This testcase, obviously distilled from a large program (bzip2 from Specint2000)
   2 ; caused instcombine to fail because it got the same instruction on it's worklist
   3 ; more than once (which is ok), but then deleted the instruction.  Since the inst
   4 ; stayed on the worklist, as soon as it came back up to be processed, bad things
   5 ; happened, and opt asserted.
   6 ;
   7 ; RUN: as < %s | opt -instcombine
   8 ;
   9
  10 %.LC0 = internal global [21 x sbyte] c"hbMakeCodeLengths(1)\00"         ; <[21 x sbyte]*> [#uses=1]
  11 %.LC1 = internal global [21 x sbyte] c"hbMakeCodeLengths(2)\00"         ; <[21 x sbyte]*> [#uses=1]
  12
  13 implementation   ; Functions:
  14
  15 void %hbMakeCodeLengths(ubyte* %len, int* %freq, int %alphaSize, int %maxLen) {
  16 bb0:                                    ;[#uses=0]
  17         %len = alloca ubyte*            ; <ubyte**> [#uses=2]
  18         store ubyte* %len, ubyte** %len
  19         %freq = alloca int*             ; <int**> [#uses=2]
  20         store int* %freq, int** %freq
  21         %alphaSize = alloca int         ; <int*> [#uses=2]
  22         store int %alphaSize, int* %alphaSize
  23         %maxLen = alloca int            ; <int*> [#uses=2]
  24         store int %maxLen, int* %maxLen
  25         %heap = alloca int, uint 260            ; <int*> [#uses=27]
  26         %weight = alloca int, uint 516          ; <int*> [#uses=18]
  27         %parent = alloca int, uint 516          ; <int*> [#uses=7]
  28         br label %bb1
  29
  30 bb1:                                    ;[#uses=2]
  31         %reg107 = load ubyte** %len             ; <ubyte*> [#uses=1]
  32         %reg108 = load int** %freq              ; <int*> [#uses=1]
  33         %reg109 = load int* %alphaSize          ; <int> [#uses=10]
  34         %reg110 = load int* %maxLen             ; <int> [#uses=1]
  35         %cond747 = setge int 0, %reg109         ; <bool> [#uses=1]
  36         br bool %cond747, label %bb6, label %bb2
  37
  38 bb2:                                    ;[#uses=2]
  39         %reg591 = phi int [ %reg594, %bb5 ], [ 0, %bb1 ]                ; <int> [#uses=3]
  40         %reg591-idxcast1 = cast int %reg591 to uint             ; <uint> [#uses=1]
  41         %reg591-idxcast1-offset = add uint %reg591-idxcast1, 1          ; <uint> [#uses=1]
  42         %reg591-idxcast1-offset = cast uint %reg591-idxcast1-offset to long             ; <long> [#uses=1]
  43         %reg126 = getelementptr int* %weight, long %reg591-idxcast1-offset              ; <int*> [#uses=1]
  44         %reg591-idxcast = cast int %reg591 to long              ; <long> [#uses=1]
  45         %reg132 = getelementptr int* %reg108, long %reg591-idxcast              ; <int*> [#uses=1]
  46         %reg133 = load int* %reg132             ; <int> [#uses=2]
  47         %cond748 = seteq int %reg133, 0         ; <bool> [#uses=1]
  48         br bool %cond748, label %bb4, label %bb3
  49
  50 bb3:                                    ;[#uses=2]
  51         %reg127 = shl int %reg133, ubyte 8              ; <int> [#uses=1]
  52         br label %bb5
  53
  54 bb4:                                    ;[#uses=2]
  55         br label %bb5
  56
  57 bb5:                                    ;[#uses=3]
  58         %reg593 = phi int [ 256, %bb4 ], [ %reg127, %bb3 ]              ; <int> [#uses=1]
  59         store int %reg593, int* %reg126
  60         %reg594 = add int %reg591, 1            ; <int> [#uses=2]
  61         %cond749 = setlt int %reg594, %reg109           ; <bool> [#uses=1]
  62         br bool %cond749, label %bb2, label %bb6
  63
  64 bb6:                                    ;[#uses=6]
  65         store int 0, int* %heap
  66         store int 0, int* %weight
  67         store int -2, int* %parent
  68         %cond750 = setgt int 1, %reg109         ; <bool> [#uses=1]
  69         br bool %cond750, label %bb11, label %bb7
  70
  71 bb7:                                    ;[#uses=3]
  72         %reg597 = phi uint [ %reg598, %bb10 ], [ 0, %bb6 ]              ; <uint> [#uses=5]
  73         %reg597-casted = cast uint %reg597 to int               ; <int> [#uses=1]
  74         %reg596 = add int %reg597-casted, 1             ; <int> [#uses=3]
  75         %reg597-offset = add uint %reg597, 1            ; <uint> [#uses=1]
  76         %reg597-offset = cast uint %reg597-offset to long               ; <long> [#uses=1]
  77         %reg149 = getelementptr int* %parent, long %reg597-offset               ; <int*> [#uses=1]
  78         store int -1, int* %reg149
  79         %reg598 = add uint %reg597, 1           ; <uint> [#uses=3]
  80         %reg597-offset1 = add uint %reg597, 1           ; <uint> [#uses=1]
  81         %reg597-offset1 = cast uint %reg597-offset1 to long             ; <long> [#uses=1]
  82         %reg157 = getelementptr int* %heap, long %reg597-offset1                ; <int*> [#uses=1]
  83         store int %reg596, int* %reg157
  84         br label %bb9
  85
  86 bb8:                                    ;[#uses=2]
  87         %reg599 = cast uint %reg599 to long             ; <long> [#uses=1]
  88         %reg198 = getelementptr int* %heap, long %reg599                ; <int*> [#uses=1]
  89         store int %reg182, int* %reg198
  90         %cast938 = cast int %reg174 to uint             ; <uint> [#uses=1]
  91         br label %bb9
  92
  93 bb9:                                    ;[#uses=2]
  94         %reg599 = phi uint [ %cast938, %bb8 ], [ %reg598, %bb7 ]                ; <uint> [#uses=3]
  95         %cast807 = cast uint %reg599 to int             ; <int> [#uses=1]
  96         %reg597-offset2 = add uint %reg597, 1           ; <uint> [#uses=1]
  97         %reg597-offset2 = cast uint %reg597-offset2 to long             ; <long> [#uses=1]
  98         %reg173 = getelementptr int* %weight, long %reg597-offset2              ; <int*> [#uses=1]
  99         %reg174 = shr int %cast807, ubyte 1             ; <int> [#uses=2]
 100         %reg174-idxcast = cast int %reg174 to uint              ; <uint> [#uses=1]
 101         cast uint %reg174-idxcast to long               ; <long>:0 [#uses=1]
 102         %reg181 = getelementptr int* %heap, long %0             ; <int*> [#uses=1]
 103         %reg182 = load int* %reg181             ; <int> [#uses=2]
 104         %reg182-idxcast = cast int %reg182 to uint              ; <uint> [#uses=1]
 105         cast uint %reg182-idxcast to long               ; <long>:1 [#uses=1]
 106         %reg189 = getelementptr int* %weight, long %1           ; <int*> [#uses=1]
 107         %reg190 = load int* %reg173             ; <int> [#uses=1]
 108         %reg191 = load int* %reg189             ; <int> [#uses=1]
 109         %cond751 = setlt int %reg190, %reg191           ; <bool> [#uses=1]
 110         br bool %cond751, label %bb8, label %bb10
 111
 112 bb10:                                   ;[#uses=3]
 113         cast uint %reg599 to long               ; <long>:2 [#uses=1]
 114         %reg214 = getelementptr int* %heap, long %2             ; <int*> [#uses=1]
 115         store int %reg596, int* %reg214
 116         %reg601 = add int %reg596, 1            ; <int> [#uses=1]
 117         %cond752 = setle int %reg601, %reg109           ; <bool> [#uses=1]
 118         br bool %cond752, label %bb7, label %bb11
 119
 120 bb11:                                   ;[#uses=2]
 121         %reg602 = phi uint [ %reg598, %bb10 ], [ 0, %bb6 ]              ; <uint> [#uses=3]
 122         %cast819 = cast uint %reg602 to int             ; <int> [#uses=1]
 123         %cast818 = cast uint %reg602 to int             ; <int> [#uses=1]
 124         %cond753 = setle int %cast818, 259              ; <bool> [#uses=1]
 125         br bool %cond753, label %bb13, label %bb12
 126
 127 bb12:                                   ;[#uses=1]
 128         cast uint 0 to long             ; <long>:3 [#uses=1]
 129         cast uint 0 to long             ; <long>:4 [#uses=1]
 130         %cast784 = getelementptr [21 x sbyte]* %.LC0, long %3, long %4          ; <sbyte*> [#uses=1]
 131         call void %panic( sbyte* %cast784 )
 132         br label %bb13
 133
 134 bb13:                                   ;[#uses=4]
 135         %cond754 = setle int %cast819, 1                ; <bool> [#uses=1]
 136         %cast918 = cast int %reg109 to uint             ; <uint> [#uses=1]
 137         %cast940 = cast uint %reg602 to int             ; <int> [#uses=1]
 138         %cast942 = cast int %reg109 to uint             ; <uint> [#uses=1]
 139         br bool %cond754, label %bb32, label %bb14
 140
 141 bb14:                                   ;[#uses=5]
 142         %cann-indvar1 = phi uint [ 0, %bb13 ], [ %add1-indvar1, %bb31 ]         ; <uint> [#uses=3]
 143         %cann-indvar1-casted = cast uint %cann-indvar1 to int           ; <int> [#uses=1]
 144         %reg603-scale = mul int %cann-indvar1-casted, -1                ; <int> [#uses=1]
 145         %reg603 = add int %reg603-scale, %cast940               ; <int> [#uses=4]
 146         %reg604 = add uint %cann-indvar1, %cast942              ; <uint> [#uses=4]
 147         %add1-indvar1 = add uint %cann-indvar1, 1               ; <uint> [#uses=1]
 148         cast uint 1 to long             ; <long>:5 [#uses=1]
 149         %reg7551 = getelementptr int* %heap, long %5            ; <int*> [#uses=1]
 150         %reg113 = load int* %reg7551            ; <int> [#uses=2]
 151         %reg603-idxcast = cast int %reg603 to uint              ; <uint> [#uses=1]
 152         cast uint %reg603-idxcast to long               ; <long>:6 [#uses=1]
 153         %reg222 = getelementptr int* %heap, long %6             ; <int*> [#uses=1]
 154         %reg223 = load int* %reg222             ; <int> [#uses=1]
 155         cast uint 1 to long             ; <long>:7 [#uses=1]
 156         %reg7561 = getelementptr int* %heap, long %7            ; <int*> [#uses=1]
 157         store int %reg223, int* %reg7561
 158         %reg605 = add int %reg603, -1           ; <int> [#uses=4]
 159         cast uint 1 to long             ; <long>:8 [#uses=1]
 160         %reg757 = getelementptr int* %heap, long %8             ; <int*> [#uses=1]
 161         %reg226 = load int* %reg757             ; <int> [#uses=2]
 162         %cond758 = setgt int 2, %reg605         ; <bool> [#uses=1]
 163         br bool %cond758, label %bb20, label %bb15
 164
 165 bb15:                                   ;[#uses=3]
 166         %reg606 = phi int [ %reg611, %bb19 ], [ 2, %bb14 ]              ; <int> [#uses=6]
 167         %reg607 = phi int [ %reg609, %bb19 ], [ 1, %bb14 ]              ; <int> [#uses=2]
 168         %cond759 = setge int %reg606, %reg605           ; <bool> [#uses=1]
 169         br bool %cond759, label %bb18, label %bb16
 170
 171 bb16:                                   ;[#uses=2]
 172         %reg606-idxcast = cast int %reg606 to uint              ; <uint> [#uses=1]
 173         %reg606-idxcast-offset = add uint %reg606-idxcast, 1            ; <uint> [#uses=1]
 174         cast uint %reg606-idxcast-offset to long                ; <long>:9 [#uses=1]
 175         %reg241 = getelementptr int* %heap, long %9             ; <int*> [#uses=1]
 176         %reg242 = load int* %reg241             ; <int> [#uses=1]
 177         %reg242-idxcast = cast int %reg242 to uint              ; <uint> [#uses=1]
 178         cast uint %reg242-idxcast to long               ; <long>:10 [#uses=1]
 179         %reg249 = getelementptr int* %weight, long %10          ; <int*> [#uses=1]
 180         %reg606-idxcast1 = cast int %reg606 to uint             ; <uint> [#uses=1]
 181         cast uint %reg606-idxcast1 to long              ; <long>:11 [#uses=1]
 182         %reg256 = getelementptr int* %heap, long %11            ; <int*> [#uses=1]
 183         %reg257 = load int* %reg256             ; <int> [#uses=1]
 184         %reg257-idxcast = cast int %reg257 to uint              ; <uint> [#uses=1]
 185         cast uint %reg257-idxcast to long               ; <long>:12 [#uses=1]
 186         %reg264 = getelementptr int* %weight, long %12          ; <int*> [#uses=1]
 187         %reg265 = load int* %reg249             ; <int> [#uses=1]
 188         %reg266 = load int* %reg264             ; <int> [#uses=1]
 189         %cond760 = setge int %reg265, %reg266           ; <bool> [#uses=1]
 190         br bool %cond760, label %bb18, label %bb17
 191
 192 bb17:                                   ;[#uses=2]
 193         %reg608 = add int %reg606, 1            ; <int> [#uses=1]
 194         br label %bb18
 195
 196 bb18:                                   ;[#uses=4]
 197         %reg609 = phi int [ %reg608, %bb17 ], [ %reg606, %bb16 ], [ %reg606, %bb15 ]            ; <int> [#uses=4]
 198         %reg226-idxcast = cast int %reg226 to uint              ; <uint> [#uses=1]
 199         cast uint %reg226-idxcast to long               ; <long>:13 [#uses=1]
 200         %reg273 = getelementptr int* %weight, long %13          ; <int*> [#uses=1]
 201         %reg609-idxcast = cast int %reg609 to uint              ; <uint> [#uses=1]
 202         cast uint %reg609-idxcast to long               ; <long>:14 [#uses=1]
 203         %reg280 = getelementptr int* %heap, long %14            ; <int*> [#uses=1]
 204         %reg281 = load int* %reg280             ; <int> [#uses=2]
 205         %reg281-idxcast = cast int %reg281 to uint              ; <uint> [#uses=1]
 206         cast uint %reg281-idxcast to long               ; <long>:15 [#uses=1]
 207         %reg288 = getelementptr int* %weight, long %15          ; <int*> [#uses=1]
 208         %reg289 = load int* %reg273             ; <int> [#uses=1]
 209         %reg290 = load int* %reg288             ; <int> [#uses=1]
 210         %cond761 = setlt int %reg289, %reg290           ; <bool> [#uses=1]
 211         br bool %cond761, label %bb20, label %bb19
 212
 213 bb19:                                   ;[#uses=4]
 214         %reg607-idxcast = cast int %reg607 to uint              ; <uint> [#uses=1]
 215         cast uint %reg607-idxcast to long               ; <long>:16 [#uses=1]
 216         %reg297 = getelementptr int* %heap, long %16            ; <int*> [#uses=1]
 217         store int %reg281, int* %reg297
 218         %reg611 = shl int %reg609, ubyte 1              ; <int> [#uses=2]
 219         %cond762 = setle int %reg611, %reg605           ; <bool> [#uses=1]
 220         br bool %cond762, label %bb15, label %bb20
 221
 222 bb20:                                   ;[#uses=6]
 223         %reg612 = phi int [ %reg609, %bb19 ], [ %reg607, %bb18 ], [ 1, %bb14 ]          ; <int> [#uses=1]
 224         %reg612-idxcast = cast int %reg612 to uint              ; <uint> [#uses=1]
 225         cast uint %reg612-idxcast to long               ; <long>:17 [#uses=1]
 226         %reg312 = getelementptr int* %heap, long %17            ; <int*> [#uses=1]
 227         store int %reg226, int* %reg312
 228         cast uint 1 to long             ; <long>:18 [#uses=1]
 229         %reg7631 = getelementptr int* %heap, long %18           ; <int*> [#uses=1]
 230         %reg114 = load int* %reg7631            ; <int> [#uses=2]
 231         %reg603-idxcast1 = cast int %reg603 to uint             ; <uint> [#uses=1]
 232         %reg603-idxcast1-offset = add uint %reg603-idxcast1, 1073741823         ; <uint> [#uses=1]
 233         cast uint %reg603-idxcast1-offset to long               ; <long>:19 [#uses=1]
 234         %reg319 = getelementptr int* %heap, long %19            ; <int*> [#uses=1]
 235         %reg320 = load int* %reg319             ; <int> [#uses=1]
 236         cast uint 1 to long             ; <long>:20 [#uses=1]
 237         %reg7641 = getelementptr int* %heap, long %20           ; <int*> [#uses=1]
 238         store int %reg320, int* %reg7641
 239         %reg613 = add int %reg605, -1           ; <int> [#uses=4]
 240         cast uint 1 to long             ; <long>:21 [#uses=1]
 241         %reg765 = getelementptr int* %heap, long %21            ; <int*> [#uses=1]
 242         %reg323 = load int* %reg765             ; <int> [#uses=2]
 243         %cond766 = setgt int 2, %reg613         ; <bool> [#uses=1]
 244         br bool %cond766, label %bb26, label %bb21
 245
 246 bb21:                                   ;[#uses=3]
 247         %reg614 = phi int [ %reg619, %bb25 ], [ 2, %bb20 ]              ; <int> [#uses=6]
 248         %reg615 = phi int [ %reg617, %bb25 ], [ 1, %bb20 ]              ; <int> [#uses=2]
 249         %cond767 = setge int %reg614, %reg613           ; <bool> [#uses=1]
 250         br bool %cond767, label %bb24, label %bb22
 251
 252 bb22:                                   ;[#uses=2]
 253         %reg614-idxcast = cast int %reg614 to uint              ; <uint> [#uses=1]
 254         %reg614-idxcast-offset = add uint %reg614-idxcast, 1            ; <uint> [#uses=1]
 255         cast uint %reg614-idxcast-offset to long                ; <long>:22 [#uses=1]
 256         %reg338 = getelementptr int* %heap, long %22            ; <int*> [#uses=1]
 257         %reg339 = load int* %reg338             ; <int> [#uses=1]
 258         %reg339-idxcast = cast int %reg339 to uint              ; <uint> [#uses=1]
 259         cast uint %reg339-idxcast to long               ; <long>:23 [#uses=1]
 260         %reg346 = getelementptr int* %weight, long %23          ; <int*> [#uses=1]
 261         %reg614-idxcast1 = cast int %reg614 to uint             ; <uint> [#uses=1]
 262         cast uint %reg614-idxcast1 to long              ; <long>:24 [#uses=1]
 263         %reg353 = getelementptr int* %heap, long %24            ; <int*> [#uses=1]
 264         %reg354 = load int* %reg353             ; <int> [#uses=1]
 265         %reg354-idxcast = cast int %reg354 to uint              ; <uint> [#uses=1]
 266         cast uint %reg354-idxcast to long               ; <long>:25 [#uses=1]
 267         %reg361 = getelementptr int* %weight, long %25          ; <int*> [#uses=1]
 268         %reg362 = load int* %reg346             ; <int> [#uses=1]
 269         %reg363 = load int* %reg361             ; <int> [#uses=1]
 270         %cond768 = setge int %reg362, %reg363           ; <bool> [#uses=1]
 271         br bool %cond768, label %bb24, label %bb23
 272
 273 bb23:                                   ;[#uses=2]
 274         %reg616 = add int %reg614, 1            ; <int> [#uses=1]
 275         br label %bb24
 276
 277 bb24:                                   ;[#uses=4]
 278         %reg617 = phi int [ %reg616, %bb23 ], [ %reg614, %bb22 ], [ %reg614, %bb21 ]            ; <int> [#uses=4]
 279         %reg323-idxcast = cast int %reg323 to uint              ; <uint> [#uses=1]
 280         cast uint %reg323-idxcast to long               ; <long>:26 [#uses=1]
 281         %reg370 = getelementptr int* %weight, long %26          ; <int*> [#uses=1]
 282         %reg617-idxcast = cast int %reg617 to uint              ; <uint> [#uses=1]
 283         cast uint %reg617-idxcast to long               ; <long>:27 [#uses=1]
 284         %reg377 = getelementptr int* %heap, long %27            ; <int*> [#uses=1]
 285         %reg378 = load int* %reg377             ; <int> [#uses=2]
 286         %reg378-idxcast = cast int %reg378 to uint              ; <uint> [#uses=1]
 287         cast uint %reg378-idxcast to long               ; <long>:28 [#uses=1]
 288         %reg385 = getelementptr int* %weight, long %28          ; <int*> [#uses=1]
 289         %reg386 = load int* %reg370             ; <int> [#uses=1]
 290         %reg387 = load int* %reg385             ; <int> [#uses=1]
 291         %cond769 = setlt int %reg386, %reg387           ; <bool> [#uses=1]
 292         br bool %cond769, label %bb26, label %bb25
 293
 294 bb25:                                   ;[#uses=4]
 295         %reg615-idxcast = cast int %reg615 to uint              ; <uint> [#uses=1]
 296         cast uint %reg615-idxcast to long               ; <long>:29 [#uses=1]
 297         %reg394 = getelementptr int* %heap, long %29            ; <int*> [#uses=1]
 298         store int %reg378, int* %reg394
 299         %reg619 = shl int %reg617, ubyte 1              ; <int> [#uses=2]
 300         %cond770 = setle int %reg619, %reg613           ; <bool> [#uses=1]
 301         br bool %cond770, label %bb21, label %bb26
 302
 303 bb26:                                   ;[#uses=4]
 304         %reg620 = phi int [ %reg617, %bb25 ], [ %reg615, %bb24 ], [ 1, %bb20 ]          ; <int> [#uses=1]
 305         %reg620-idxcast = cast int %reg620 to uint              ; <uint> [#uses=1]
 306         cast uint %reg620-idxcast to long               ; <long>:30 [#uses=1]
 307         %reg409 = getelementptr int* %heap, long %30            ; <int*> [#uses=1]
 308         store int %reg323, int* %reg409
 309         %reg621 = add uint %reg604, 1           ; <uint> [#uses=5]
 310         %reg113-idxcast = cast int %reg113 to uint              ; <uint> [#uses=1]
 311         cast uint %reg113-idxcast to long               ; <long>:31 [#uses=1]
 312         %reg416 = getelementptr int* %parent, long %31          ; <int*> [#uses=1]
 313         %reg114-idxcast = cast int %reg114 to uint              ; <uint> [#uses=1]
 314         cast uint %reg114-idxcast to long               ; <long>:32 [#uses=1]
 315         %reg423 = getelementptr int* %parent, long %32          ; <int*> [#uses=1]
 316         %cast889 = cast uint %reg621 to int             ; <int> [#uses=1]
 317         store int %cast889, int* %reg423
 318         %cast890 = cast uint %reg621 to int             ; <int> [#uses=1]
 319         store int %cast890, int* %reg416
 320         %reg604-offset = add uint %reg604, 1            ; <uint> [#uses=1]
 321         cast uint %reg604-offset to long                ; <long>:33 [#uses=1]
 322         %reg431 = getelementptr int* %weight, long %33          ; <int*> [#uses=1]
 323         %reg113-idxcast2 = cast int %reg113 to uint             ; <uint> [#uses=1]
 324         cast uint %reg113-idxcast2 to long              ; <long>:34 [#uses=1]
 325         %reg4381 = getelementptr int* %weight, long %34         ; <int*> [#uses=1]
 326         %reg439 = load int* %reg4381            ; <int> [#uses=2]
 327         %reg440 = and int %reg439, -256         ; <int> [#uses=1]
 328         %reg114-idxcast2 = cast int %reg114 to uint             ; <uint> [#uses=1]
 329         cast uint %reg114-idxcast2 to long              ; <long>:35 [#uses=1]
 330         %reg4471 = getelementptr int* %weight, long %35         ; <int*> [#uses=1]
 331         %reg448 = load int* %reg4471            ; <int> [#uses=2]
 332         %reg449 = and int %reg448, -256         ; <int> [#uses=1]
 333         %reg450 = add int %reg440, %reg449              ; <int> [#uses=1]
 334         %reg460 = and int %reg439, 255          ; <int> [#uses=2]
 335         %reg451 = and int %reg448, 255          ; <int> [#uses=2]
 336         %cond771 = setge int %reg451, %reg460           ; <bool> [#uses=1]
 337         br bool %cond771, label %bb28, label %bb27
 338
 339 bb27:                                   ;[#uses=2]
 340         br label %bb28
 341
 342 bb28:                                   ;[#uses=3]
 343         %reg623 = phi int [ %reg460, %bb27 ], [ %reg451, %bb26 ]                ; <int> [#uses=1]
 344         %reg469 = add int %reg623, 1            ; <int> [#uses=1]
 345         %reg470 = or int %reg450, %reg469               ; <int> [#uses=1]
 346         store int %reg470, int* %reg431
 347         %reg604-offset1 = add uint %reg604, 1           ; <uint> [#uses=1]
 348         cast uint %reg604-offset1 to long               ; <long>:36 [#uses=1]
 349         %reg4771 = getelementptr int* %parent, long %36         ; <int*> [#uses=1]
 350         store int -1, int* %reg4771
 351         %reg624 = add int %reg613, 1            ; <int> [#uses=2]
 352         %reg603-idxcast2 = cast int %reg603 to uint             ; <uint> [#uses=1]
 353         %reg603-idxcast2-offset = add uint %reg603-idxcast2, 1073741823         ; <uint> [#uses=1]
 354         cast uint %reg603-idxcast2-offset to long               ; <long>:37 [#uses=1]
 355         %reg485 = getelementptr int* %heap, long %37            ; <int*> [#uses=1]
 356         %cast902 = cast uint %reg621 to int             ; <int> [#uses=1]
 357         store int %cast902, int* %reg485
 358         br label %bb30
 359
 360 bb29:                                   ;[#uses=2]
 361         %reg625-idxcast = cast int %reg625 to uint              ; <uint> [#uses=1]
 362         cast uint %reg625-idxcast to long               ; <long>:38 [#uses=1]
 363         %reg526 = getelementptr int* %heap, long %38            ; <int*> [#uses=1]
 364         store int %reg510, int* %reg526
 365         br label %bb30
 366
 367 bb30:                                   ;[#uses=2]
 368         %reg625 = phi int [ %reg502, %bb29 ], [ %reg624, %bb28 ]                ; <int> [#uses=3]
 369         %reg604-offset2 = add uint %reg604, 1           ; <uint> [#uses=1]
 370         cast uint %reg604-offset2 to long               ; <long>:39 [#uses=1]
 371         %reg501 = getelementptr int* %weight, long %39          ; <int*> [#uses=1]
 372         %reg502 = shr int %reg625, ubyte 1              ; <int> [#uses=2]
 373         %reg502-idxcast = cast int %reg502 to uint              ; <uint> [#uses=1]
 374         cast uint %reg502-idxcast to long               ; <long>:40 [#uses=1]
 375         %reg509 = getelementptr int* %heap, long %40            ; <int*> [#uses=1]
 376         %reg510 = load int* %reg509             ; <int> [#uses=2]
 377         %reg510-idxcast = cast int %reg510 to uint              ; <uint> [#uses=1]
 378         cast uint %reg510-idxcast to long               ; <long>:41 [#uses=1]
 379         %reg517 = getelementptr int* %weight, long %41          ; <int*> [#uses=1]
 380         %reg518 = load int* %reg501             ; <int> [#uses=1]
 381         %reg519 = load int* %reg517             ; <int> [#uses=1]
 382         %cond772 = setlt int %reg518, %reg519           ; <bool> [#uses=1]
 383         br bool %cond772, label %bb29, label %bb31
 384
 385 bb31:                                   ;[#uses=3]
 386         %reg625-idxcast1 = cast int %reg625 to uint             ; <uint> [#uses=1]
 387         cast uint %reg625-idxcast1 to long              ; <long>:42 [#uses=1]
 388         %reg542 = getelementptr int* %heap, long %42            ; <int*> [#uses=1]
 389         %cast916 = cast uint %reg621 to int             ; <int> [#uses=1]
 390         store int %cast916, int* %reg542
 391         %cond773 = setgt int %reg624, 1         ; <bool> [#uses=1]
 392         br bool %cond773, label %bb14, label %bb32
 393
 394 bb32:                                   ;[#uses=2]
 395         %reg627 = phi uint [ %reg621, %bb31 ], [ %cast918, %bb13 ]              ; <uint> [#uses=1]
 396         %cast919 = cast uint %reg627 to int             ; <int> [#uses=1]
 397         %cond774 = setle int %cast919, 515              ; <bool> [#uses=1]
 398         br bool %cond774, label %bb34, label %bb33
 399
 400 bb33:                                   ;[#uses=1]
 401         cast uint 0 to long             ; <long>:43 [#uses=1]
 402         cast uint 0 to long             ; <long>:44 [#uses=1]
 403         %cast785 = getelementptr [21 x sbyte]* %.LC1, long %43, long %44                ; <sbyte*> [#uses=1]
 404         call void %panic( sbyte* %cast785 )
 405         br label %bb34
 406
 407 bb34:                                   ;[#uses=5]
 408         %cond775 = setgt int 1, %reg109         ; <bool> [#uses=1]
 409         br bool %cond775, label %bb40, label %bb35
 410
 411 bb35:                                   ;[#uses=5]
 412         %reg629 = phi ubyte [ %reg639, %bb39 ], [ 0, %bb34 ]            ; <ubyte> [#uses=1]
 413         %cann-indvar = phi uint [ 0, %bb34 ], [ %add1-indvar, %bb39 ]           ; <uint> [#uses=4]
 414         %cann-indvar-casted = cast uint %cann-indvar to int             ; <int> [#uses=1]
 415         %reg630 = add int %cann-indvar-casted, 1                ; <int> [#uses=2]
 416         %add1-indvar = add uint %cann-indvar, 1         ; <uint> [#uses=1]
 417         %cann-indvar-offset1 = add uint %cann-indvar, 1         ; <uint> [#uses=1]
 418         cast uint %cann-indvar-offset1 to long          ; <long>:45 [#uses=1]
 419         %reg589 = getelementptr int* %parent, long %45          ; <int*> [#uses=1]
 420         %reg590 = load int* %reg589             ; <int> [#uses=1]
 421         %cond776 = setlt int %reg590, 0         ; <bool> [#uses=1]
 422         %parent-idxcast = cast int* %parent to uint             ; <uint> [#uses=1]
 423         %cast948 = cast int %reg630 to uint             ; <uint> [#uses=1]
 424         br bool %cond776, label %bb37, label %bb36
 425
 426 bb36:                                   ;[#uses=5]
 427         %reg632 = phi uint [ %reg634, %bb36 ], [ %cast948, %bb35 ]              ; <uint> [#uses=1]
 428         %reg633 = phi uint [ %reg635, %bb36 ], [ 0, %bb35 ]             ; <uint> [#uses=3]
 429         %reg633-casted = cast uint %reg633 to sbyte*            ; <sbyte*> [#uses=0]
 430         %reg631-scale = mul uint %reg633, 0             ; <uint> [#uses=1]
 431         %reg631-scale = cast uint %reg631-scale to sbyte*               ; <sbyte*> [#uses=1]
 432         cast uint %parent-idxcast to long               ; <long>:46 [#uses=1]
 433         %reg6311 = getelementptr sbyte* %reg631-scale, long %46         ; <sbyte*> [#uses=2]
 434         %reg632-scale = mul uint %reg632, 4             ; <uint> [#uses=1]
 435         cast uint %reg632-scale to long         ; <long>:47 [#uses=1]
 436         %reg5581 = getelementptr sbyte* %reg6311, long %47              ; <sbyte*> [#uses=1]
 437         %cast924 = cast sbyte* %reg5581 to uint*                ; <uint*> [#uses=1]
 438         %reg634 = load uint* %cast924           ; <uint> [#uses=2]
 439         %reg635 = add uint %reg633, 1           ; <uint> [#uses=2]
 440         %reg634-scale = mul uint %reg634, 4             ; <uint> [#uses=1]
 441         cast uint %reg634-scale to long         ; <long>:48 [#uses=1]
 442         %reg5501 = getelementptr sbyte* %reg6311, long %48              ; <sbyte*> [#uses=1]
 443         %cast925 = cast sbyte* %reg5501 to int*         ; <int*> [#uses=1]
 444         %reg551 = load int* %cast925            ; <int> [#uses=1]
 445         %cond777 = setge int %reg551, 0         ; <bool> [#uses=1]
 446         br bool %cond777, label %bb36, label %bb37
 447
 448 bb37:                                   ;[#uses=3]
 449         %reg637 = phi uint [ %reg635, %bb36 ], [ 0, %bb35 ]             ; <uint> [#uses=2]
 450         %cast928 = cast uint %reg637 to int             ; <int> [#uses=1]
 451         %cann-indvar-offset = add uint %cann-indvar, 1          ; <uint> [#uses=1]
 452         cast uint %cann-indvar-offset to long           ; <long>:49 [#uses=1]
 453         %reg561 = getelementptr ubyte* %reg107, long %49                ; <ubyte*> [#uses=1]
 454         cast uint 4294967295 to long            ; <long>:50 [#uses=1]
 455         %reg778 = getelementptr ubyte* %reg561, long %50                ; <ubyte*> [#uses=1]
 456         %cast788 = cast uint %reg637 to ubyte           ; <ubyte> [#uses=1]
 457         store ubyte %cast788, ubyte* %reg778
 458         %cond779 = setle int %cast928, %reg110          ; <bool> [#uses=1]
 459         br bool %cond779, label %bb39, label %bb38
 460
 461 bb38:                                   ;[#uses=2]
 462         br label %bb39
 463
 464 bb39:                                   ;[#uses=5]
 465         %reg639 = phi ubyte [ 1, %bb38 ], [ %reg629, %bb37 ]            ; <ubyte> [#uses=2]
 466         %reg640 = add int %reg630, 1            ; <int> [#uses=1]
 467         %cond780 = setle int %reg640, %reg109           ; <bool> [#uses=1]
 468         br bool %cond780, label %bb35, label %bb40
 469
 470 bb40:                                   ;[#uses=2]
 471         %reg641 = phi ubyte [ %reg639, %bb39 ], [ 0, %bb34 ]            ; <ubyte> [#uses=1]
 472         %cond781 = seteq ubyte %reg641, 0               ; <bool> [#uses=1]
 473         br bool %cond781, label %bb44, label %bb41
 474
 475 bb41:                                   ;[#uses=2]
 476         %cond782 = setge int 1, %reg109         ; <bool> [#uses=1]
 477         br bool %cond782, label %bb6, label %bb42
 478
 479 bb42:                                   ;[#uses=3]
 480         %cann-indvar2 = phi int [ 0, %bb41 ], [ %add1-indvar2, %bb42 ]          ; <int> [#uses=3]
 481         %reg643 = add int %cann-indvar2, 1              ; <int> [#uses=1]
 482         %add1-indvar2 = add int %cann-indvar2, 1                ; <int> [#uses=1]
 483         %cann-indvar2-idxcast = cast int %cann-indvar2 to uint          ; <uint> [#uses=1]
 484         %cann-indvar2-idxcast-offset = add uint %cann-indvar2-idxcast, 1                ; <uint> [#uses=1]
 485         cast uint %cann-indvar2-idxcast-offset to long          ; <long>:51 [#uses=1]
 486         %reg569 = getelementptr int* %weight, long %51          ; <int*> [#uses=2]
 487         %reg570 = load int* %reg569             ; <int> [#uses=2]
 488         %reg644 = shr int %reg570, ubyte 8              ; <int> [#uses=1]
 489         %reg572 = shr int %reg570, ubyte 31             ; <int> [#uses=1]
 490         %cast933 = cast int %reg572 to uint             ; <uint> [#uses=1]
 491         %reg573 = shr uint %cast933, ubyte 31           ; <uint> [#uses=1]
 492         %cast934 = cast uint %reg573 to int             ; <int> [#uses=1]
 493         %reg574 = add int %reg644, %cast934             ; <int> [#uses=1]
 494         %reg571 = shr int %reg574, ubyte 1              ; <int> [#uses=1]
 495         %reg645 = add int %reg571, 1            ; <int> [#uses=1]
 496         %reg582 = shl int %reg645, ubyte 8              ; <int> [#uses=1]
 497         store int %reg582, int* %reg569
 498         %reg646 = add int %reg643, 1            ; <int> [#uses=1]
 499         %cond783 = setlt int %reg646, %reg109           ; <bool> [#uses=1]
 500         br bool %cond783, label %bb42, label %bb43
 501
 502 bb43:                                   ;[#uses=1]
 503         br label %bb6
 504
 505 bb44:                                   ;[#uses=1]
 506         ret void
 507 }
 508
 509 declare void %panic(sbyte*)