test/Transforms/LevelRaise/2002-03-11-IterInvalidate.ll

   1 ; Assertion failure in LevelRaise caused by this code:
   2 ;
   3 ; LevelRaise.cpp:92: failed assertion `I->getOpcode() == Instruction::Add && I->getNumOperands() == 2 && "Use is not a valid add instruction!"'
   4 ;
   5 ; RUN: as < %s | opt -raise
   6
   7 %lit_base = uninitialized global [26 x int]             ; <[26 x int] *> [#uses=1]
   8 %leaves = uninitialized global [26 x int]               ; <[26 x int] *> [#uses=1]
   9 %parents = uninitialized global [26 x int]              ; <[26 x int] *> [#uses=1]
  10 implementation
  11
  12 int "build_tree"(int %ml)
  13 begin
  14 ; <label>:0                                     ;[#uses=2]
  15         %ml = alloca int                ; <int *> [#uses=2]
  16         store int %ml, int * %ml
  17         %reg107 = load int * %ml                ; <int> [#uses=1]
  18         br label %bb2
  19
  20 bb2:                                    ;[#uses=4]
  21         %reg137 = phi int [ %reg140, %bb2 ], [ %reg107, %0 ]            ; <int> [#uses=2]
  22         %reg138 = phi uint [ %reg139, %bb2 ], [ 0, %0 ]         ; <uint> [#uses=3]
  23         %cast1005 = cast int %reg137 to uint            ; <uint> [#uses=1]
  24         %reg111 = shl uint %cast1005, ubyte 2           ; <uint> [#uses=1]
  25         %cast112 = cast uint %reg111 to sbyte *         ; <sbyte *> [#uses=3]
  26         %cast1002 = cast [26 x int] * %parents to sbyte *               ; <sbyte *> [#uses=1]
  27         %reg115 = add sbyte * %cast112, %cast1002               ; <sbyte *> [#uses=1]
  28         ;%cast1006 = cast sbyte * %reg115 to uint *             ; <uint *> [#uses=1]
  29
  30         %cast1003 = cast [26 x int] * %lit_base to sbyte *              ; <sbyte *> [#uses=1]
  31         %reg121 = add sbyte * %cast112, %cast1003               ; <sbyte *> [#uses=2]
  32         %cast1007 = cast sbyte * %reg121 to uint *              ; <uint *> [#uses=1]
  33         %reg128 = load uint * %cast1007         ; <uint> [#uses=1]
  34         %reg129 = sub uint %reg128, %reg138             ; <uint> [#uses=1]
  35         %cast1008 = cast sbyte * %reg121 to uint *              ; <uint *> [#uses=1]
  36         ;store uint %reg129, uint * %cast1008
  37         %cast1004 = cast [26 x int] * %leaves to sbyte *                ; <sbyte *> [#uses=1]
  38         %reg135 = add sbyte * %cast112, %cast1004               ; <sbyte *> [#uses=1]
  39         %cast1009 = cast sbyte * %reg135 to uint *              ; <uint *> [#uses=1]
  40         %reg136 = load uint * %cast1009         ; <uint> [#uses=1]
  41         %reg139 = add uint %reg138, %reg136             ; <uint> [#uses=1]
  42         %reg140 = add int %reg137, -1           ; <int> [#uses=1]
  43         br bool false, label %bb2, label %bb3
  44
  45 bb3:                                    ;[#uses=1]
  46         ret int %reg137
  47 end