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