test/Feature/recursivetype.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
   2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
   3 ; RUN: diff %t1.ll %t2.ll
   4
   5 ; This file contains the output from the following compiled C code:
   6 ; typedef struct list {
   7 ;   struct list *Next;
   8 ;   int Data;
   9 ; } list;
  10 ;
  11 ; // Iterative insert fn
  12 ; void InsertIntoListTail(list **L, int Data) {
  13 ;   while (*L)
  14 ;     L = &(*L)->Next;
  15 ;   *L = (list*)malloc(sizeof(list));
  16 ;   (*L)->Data = Data;
  17 ;   (*L)->Next = 0;
  18 ; }
  19 ;
  20 ; // Recursive list search fn
  21 ; list *FindData(list *L, int Data) {
  22 ;   if (L == 0) return 0;
  23 ;   if (L->Data == Data) return L;
  24 ;   return FindData(L->Next, Data);
  25 ; }
  26 ;
  27 ; void DoListStuff() {
  28 ;   list *MyList = 0;
  29 ;   InsertIntoListTail(&MyList, 100);
  30 ;   InsertIntoListTail(&MyList, 12);
  31 ;   InsertIntoListTail(&MyList, 42);
  32 ;   InsertIntoListTail(&MyList, 1123);
  33 ;   InsertIntoListTail(&MyList, 1213);
  34 ;
  35 ;   if (FindData(MyList, 75)) foundIt();
  36 ;   if (FindData(MyList, 42)) foundIt();
  37 ;   if (FindData(MyList, 700)) foundIt();
  38 ; }
  39
  40 %list = type { %list*, int }
  41
  42 declare sbyte *"malloc"(uint)
  43
  44 ;;**********************
  45 implementation
  46 ;;**********************
  47
  48 void "InsertIntoListTail"(%list** %L, int %Data)
  49 begin
  50 bb1:
  51         %reg116 = load %list** %L                               ;;<%list*>
  52         %cast1004 = cast ulong 0 to %list*                      ;;<%list*>
  53         %cond1000 = seteq %list* %reg116, %cast1004             ;;<bool>
  54         br bool %cond1000, label %bb3, label %bb2
  55
  56 bb2:
  57         %reg117 = phi %list** [ %reg118, %bb2 ], [ %L, %bb1 ]   ;;<%list**>
  58         %cast1010 = cast %list** %reg117 to %list***            ;;<%list***>
  59         %reg118 = load %list*** %cast1010                       ;;<%list**>
  60         %reg109 = load %list** %reg118                          ;;<%list*>
  61         %cast1005 = cast ulong 0 to %list*                      ;;<%list*>
  62         %cond1001 = setne %list* %reg109, %cast1005             ;;<bool>
  63         br bool %cond1001, label %bb2, label %bb3
  64
  65 bb3:
  66         %reg119 = phi %list** [ %reg118, %bb2 ], [ %L, %bb1 ]   ;;<%list**>
  67         %cast1006 = cast %list** %reg119 to sbyte**             ;;<sbyte**>
  68         %reg111 = call sbyte* %malloc(uint 16)                  ;;<sbyte*>
  69         store sbyte* %reg111, sbyte** %cast1006                 ;;<void>
  70         %reg111 = cast sbyte* %reg111 to ulong
  71         %reg1002 = add ulong %reg111, 8
  72         %reg1002 = cast ulong %reg1002 to sbyte*             ;;<sbyte*>
  73         %cast1008 = cast sbyte* %reg1002 to int*                ;;<int*>
  74         store int %Data, int* %cast1008                         ;;<void>
  75         %cast1003 = cast ulong 0 to ulong*                      ;;<ulong*>
  76         %cast1009 = cast sbyte* %reg111 to ulong**              ;;<ulong**>
  77         store ulong* %cast1003, ulong** %cast1009               ;;<void>
  78         ret void
  79 end
  80
  81 %list* "FindData"(%list* %L, int %Data)
  82 begin
  83 bb1:
  84         br label %bb2
  85
  86 bb2:
  87         %reg115 = phi %list* [ %reg116, %bb6 ], [ %L, %bb1 ]    ;;<%list*>
  88         %cast1014 = cast ulong 0 to %list*                      ;;<%list*>
  89         %cond1011 = setne %list* %reg115, %cast1014             ;;<bool>
  90         br bool %cond1011, label %bb4, label %bb3
  91
  92 bb3:
  93         ret %list* null
  94
  95 bb4:
  96         %idx = getelementptr %list* %reg115, long 0, uint 1                  ;;<int>
  97         %reg111 = load int* %idx
  98         %cond1013 = setne int %reg111, %Data                    ;;<bool>
  99         br bool %cond1013, label %bb6, label %bb5
 100
 101 bb5:
 102         ret %list* %reg115
 103
 104 bb6:
 105         %idx2 = getelementptr %list* %reg115, long 0, uint 0                  ;;<%list*>
 106         %reg116 = load %list** %idx2
 107         br label %bb2
 108 end