The noreturn GCC extension is now supported.
[oota-llvm.git] / test / Debugger / funccall.ll
1 ;; XFAIL: darwin,sun
2 ;; RUN: echo create > %t.commands
3 ;; RUN: echo s >> %t.commands
4 ;; RUN: echo s >> %t.commands
5 ;; RUN: echo finish >> %t.commands
6 ;; RUN: echo bt >> %t.commands
7 ;; RUN: echo q >> %t.commands
8 ;; RUN: echo y >> %t.commands
9 ;; RUN: llvm-as -f %s -o %t.bc
10 ;; RUN: llvm-db %t.bc < %t.commands | grep 'in main at funccall.c:11:2'
11
12
13 ;; Debugger type declarations
14 %lldb.compile_unit = type { uint, ushort, ushort, sbyte*, sbyte*, sbyte*, {}* }
15 %lldb.global = type { uint, %lldb.compile_unit*, sbyte*, {}*, sbyte*, bool, bool }
16 %lldb.local = type { uint, %lldb.global*, sbyte*, sbyte*, bool, bool }
17
18
19 ;; Debugger intrinsic declarations...
20 declare {}* %llvm.dbg.stoppoint({}*, uint, uint, %lldb.compile_unit*)
21 declare {}* %llvm.dbg.func.start(%lldb.global*)
22 declare {}* %llvm.dbg.region.start({}*)
23 declare {}* %llvm.dbg.region.end({}*)
24 declare {}* %llvm.dbg.declare({}*, ...)
25
26 ;; Global object anchors
27 %llvm.dbg.translation_units = linkonce global {} {}
28 %llvm.dbg.globals = linkonce global {} {}
29
30
31 %.str_1 = internal constant [11 x sbyte] c"funccall.c\00"
32 %.str_2 = internal constant [12 x sbyte] c"/home/sabre\00"
33 %.str_3 = internal constant [14 x sbyte] c"llvmgcc 3.4.x\00"
34
35 %d.compile_unit = internal constant %lldb.compile_unit {
36    uint 17,                                                        ;; DW_TAG_compile_unit
37    ushort 0,                                                       ;; LLVM Debug version #
38    ushort 1,                                                       ;; Language: DW_LANG_C89
39    sbyte* getelementptr ([11 x sbyte]* %.str_1, long 0, long 0),   ;; Source filename
40    sbyte* getelementptr ([12 x sbyte]* %.str_2, long 0, long 0),   ;; Working directory
41    sbyte* getelementptr ([14 x sbyte]* %.str_3, long 0, long 0),   ;; producer
42    {}* %llvm.dbg.translation_units                                 ;; Anchor
43 }
44
45
46 %.str_5 = internal global [5 x sbyte] c"main\00"
47 %.str_6 = internal global [4 x sbyte] c"foo\00"
48 %.str_7 = internal global [2 x sbyte] c"q\00"
49 %.str_8 = internal global [2 x sbyte] c"t\00"
50
51 %d.main = global %lldb.global {
52    uint 46,                                                        ;; DW_TAG_subprogram
53    %lldb.compile_unit* %d.compile_unit,                            ;; context pointer
54    sbyte* getelementptr ([5 x sbyte]* %.str_5, long 0, long 0),    ;; name
55    {}* %llvm.dbg.globals,                                          ;; anchor
56    sbyte* null,                                                    ;; EVENTUALLY the type
57    bool true,                                                      ;; non-static linkage?
58   bool false                                                       ;; definition, not declaration
59 }
60
61 %d.foo = global %lldb.global {
62    uint 46,                                                        ;; DW_TAG_subprogram
63    %lldb.compile_unit* %d.compile_unit,                            ;; context pointer
64    sbyte* getelementptr ([4 x sbyte]* %.str_6, long 0, long 0),    ;; name
65    {}* %llvm.dbg.globals,                                          ;; anchor
66    sbyte* null,                                                    ;; EVENTUALLY the type
67    bool true,                                                      ;; non-static linkage
68   bool false                                                       ;; definition, not declaration
69 }
70
71 %d.q = internal global %lldb.global {
72   uint 52,                                                         ;; DW_TAG_variable
73   %lldb.compile_unit* %d.compile_unit,                             ;; context pointer
74   sbyte* getelementptr ([2 x sbyte]* %.str_7, long 0, long 0),     ;; name
75   {}* %llvm.dbg.globals,                                           ;; anchor
76   sbyte* null,                                                     ;; EVENTUALLY the type
77   bool false,                                                      ;; static linkage
78   bool false                                                       ;; definition, not declaration
79 }
80
81
82 %d.t = internal global %lldb.local {
83   uint 52,                                                         ;; DW_TAG_variable
84   %lldb.global* %d.foo,                                            ;; context pointer
85   sbyte* getelementptr ([2 x sbyte]* %.str_8, long 0, long 0),     ;; name
86   sbyte* null,                                                     ;; EVENTUALLY the type
87   bool false,                                                      ;; local variable
88   bool false                                                       ;; definition, not declaratation
89 }
90
91
92
93 %q = internal global int 0
94
95 implementation   ; Functions:
96
97 void %foo() {
98 entry:
99         %t = alloca int
100         %.1 = call {}* %llvm.dbg.func.start(%lldb.global* %d.foo)
101         %.2 = call {}* %llvm.dbg.stoppoint({}* %.1, uint 5, uint 2, %lldb.compile_unit* %d.compile_unit)
102
103         %.3 = call {}*({}*, ...)* %llvm.dbg.declare({}* %.2, %lldb.local* %d.t, int* %t)
104         %tmp.0 = load int* %q
105         store int %tmp.0, int* %t
106         %.4 = call {}* %llvm.dbg.stoppoint({}* %.3, uint 6, uint 2, %lldb.compile_unit* %d.compile_unit)
107         %tmp.01 = load int* %t
108         %tmp.1 = add int %tmp.01, 1
109         store int %tmp.1, int* %q
110         %.5 = call {}* %llvm.dbg.stoppoint({}* %.4, uint 7, uint 1, %lldb.compile_unit* %d.compile_unit)
111         call {}* %llvm.dbg.region.end({}* %.5)
112         ret void
113 }
114
115 int %main() {
116 entry:
117         %.1 = call {}* %llvm.dbg.func.start(%lldb.global* %d.main)
118         %result = alloca int
119         %.2 = call {}* %llvm.dbg.stoppoint({}* %.1, uint 9, uint 2, %lldb.compile_unit* %d.compile_unit)
120         store int 0, int* %q
121         %.3 = call {}* %llvm.dbg.stoppoint({}* %.2, uint 10, uint 2, %lldb.compile_unit* %d.compile_unit)
122         call void %foo()
123         %.4 = call {}* %llvm.dbg.stoppoint({}* %.3, uint 11, uint 2, %lldb.compile_unit* %d.compile_unit)
124         %tmp.2 = load int* %q
125         %tmp.3 = sub int %tmp.2, 1
126         store int %tmp.3, int* %q
127         %.5 = call {}* %llvm.dbg.stoppoint({}* %.4, uint 13, uint 2, %lldb.compile_unit* %d.compile_unit)
128         %tmp.4 = load int* %q
129         store int %tmp.4, int* %result
130         %tmp.5 = load int* %result
131         %.6 = call {}* %llvm.dbg.stoppoint({}* %.5, uint 14, uint 1, %lldb.compile_unit* %d.compile_unit)
132         call {}* %llvm.dbg.region.end({}* %.6)
133         ret int %tmp.5
134 }