Verify Intrinsic::dbg_declare.
[oota-llvm.git] / test / DebugInfo / funccall.ll
1 ;; RUN: llvm-as < %s | llc
2         %llvm.dbg.anchor.type = type { i32, i32 }
3         %llvm.dbg.basictype.type = type { i32, {  }*, i8*, {  }*, i32, i64, i64, i64, i32, i32 }
4         %llvm.dbg.compile_unit.type = type { i32, {  }*, i32, i8*, i8*, i8* }
5         %llvm.dbg.global_variable.type = type { i32, {  }*, {  }*, i8*, i8*, i8*, {  }*, i32, {  }*, i1, i1, {  }* }
6         %llvm.dbg.subprogram.type = type { i32, {  }*, {  }*, i8*, i8*, i8*, {  }*, i32, {  }*, i1, i1 }
7         %llvm.dbg.variable.type = type { i32, {  }*, i8*, {  }*, i32, {  }* }
8 @llvm.dbg.subprograms = linkonce constant %llvm.dbg.anchor.type { i32 393216, i32 46 }, section "llvm.metadata"         ; <%llvm.dbg.anchor.type*> [#uses=1]
9 @llvm.dbg.compile_units = linkonce constant %llvm.dbg.anchor.type { i32 393216, i32 17 }, section "llvm.metadata"               ; <%llvm.dbg.anchor.type*> [#uses=1]
10 @llvm.dbg.global_variables = linkonce constant %llvm.dbg.anchor.type { i32 393216, i32 52 }, section "llvm.metadata"            ; <%llvm.dbg.anchor.type*> [#uses=1]
11 @llvm.dbg.subprogram = internal constant %llvm.dbg.subprogram.type {
12     i32 393262, 
13     {  }* bitcast (%llvm.dbg.anchor.type* @llvm.dbg.subprograms to {  }*), 
14     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
15     i8* getelementptr ([4 x i8]* @str, i32 0, i32 0), 
16     i8* getelementptr ([4 x i8]* @str, i32 0, i32 0), 
17     i8* null, 
18     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
19     i32 4, 
20     {  }* null, 
21     i1 false, 
22     i1 true }, section "llvm.metadata"          ; <%llvm.dbg.subprogram.type*> [#uses=1]
23 @str = internal constant [4 x i8] c"foo\00", section "llvm.metadata"            ; <[4 x i8]*> [#uses=1]
24 @llvm.dbg.compile_unit = internal constant %llvm.dbg.compile_unit.type {
25     i32 393233, 
26     {  }* bitcast (%llvm.dbg.anchor.type* @llvm.dbg.compile_units to {  }*), 
27     i32 1, 
28     i8* getelementptr ([11 x i8]* @str1, i32 0, i32 0), 
29     i8* getelementptr ([50 x i8]* @str2, i32 0, i32 0), 
30     i8* getelementptr ([45 x i8]* @str3, i32 0, i32 0) }, section "llvm.metadata"               ; <%llvm.dbg.compile_unit.type*> [#uses=1]
31 @str1 = internal constant [11 x i8] c"funccall.c\00", section "llvm.metadata"           ; <[11 x i8]*> [#uses=1]
32 @str2 = internal constant [50 x i8] c"/Volumes/Big2/llvm/llvm/test/Regression/Debugger/\00", section "llvm.metadata"            ; <[50 x i8]*> [#uses=1]
33 @str3 = internal constant [45 x i8] c"4.0.1 LLVM (Apple Computer, Inc. build 5421)\00", section "llvm.metadata"         ; <[45 x i8]*> [#uses=1]
34 @llvm.dbg.variable = internal constant %llvm.dbg.variable.type {
35     i32 393472, 
36     {  }* bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram to {  }*), 
37     i8* getelementptr ([2 x i8]* @str4, i32 0, i32 0), 
38     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
39     i32 5, 
40     {  }* bitcast (%llvm.dbg.basictype.type* @llvm.dbg.basictype to {  }*) }, section "llvm.metadata"           ; <%llvm.dbg.variable.type*> [#uses=1]
41 @str4 = internal constant [2 x i8] c"t\00", section "llvm.metadata"             ; <[2 x i8]*> [#uses=1]
42 @llvm.dbg.basictype = internal constant %llvm.dbg.basictype.type {
43     i32 393252, 
44     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
45     i8* getelementptr ([4 x i8]* @str15, i32 0, i32 0), 
46     {  }* null, 
47     i32 0, 
48     i64 32, 
49     i64 32, 
50     i64 0, 
51     i32 0, 
52     i32 5 }, section "llvm.metadata"            ; <%llvm.dbg.basictype.type*> [#uses=1]
53 @str15 = internal constant [4 x i8] c"int\00", section "llvm.metadata"          ; <[4 x i8]*> [#uses=1]
54 @llvm.dbg.subprogram2 = internal constant %llvm.dbg.subprogram.type {
55     i32 393262, 
56     {  }* bitcast (%llvm.dbg.anchor.type* @llvm.dbg.subprograms to {  }*), 
57     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
58     i8* getelementptr ([5 x i8]* @str6, i32 0, i32 0), 
59     i8* getelementptr ([5 x i8]* @str6, i32 0, i32 0), 
60     i8* null, 
61     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
62     i32 8, 
63     {  }* bitcast (%llvm.dbg.basictype.type* @llvm.dbg.basictype to {  }*), 
64     i1 false, 
65     i1 true }, section "llvm.metadata"          ; <%llvm.dbg.subprogram.type*> [#uses=1]
66 @str6 = internal constant [5 x i8] c"main\00", section "llvm.metadata"          ; <[5 x i8]*> [#uses=1]
67 @llvm.dbg.variable3 = internal constant %llvm.dbg.variable.type {
68     i32 393474, 
69     {  }* bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram2 to {  }*), 
70     i8* getelementptr ([7 x i8]* @str7, i32 0, i32 0), 
71     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
72     i32 8, 
73     {  }* bitcast (%llvm.dbg.basictype.type* @llvm.dbg.basictype to {  }*) }, section "llvm.metadata"           ; <%llvm.dbg.variable.type*> [#uses=1]
74 @str7 = internal constant [7 x i8] c"retval\00", section "llvm.metadata"                ; <[7 x i8]*> [#uses=1]
75 @llvm.dbg.global_variable = internal constant %llvm.dbg.global_variable.type {
76     i32 393268, 
77     {  }* bitcast (%llvm.dbg.anchor.type* @llvm.dbg.global_variables to {  }*), 
78     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
79     i8* getelementptr ([2 x i8]* @str4, i32 0, i32 0), 
80     i8* getelementptr ([2 x i8]* @str4, i32 0, i32 0), 
81     i8* null, 
82     {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*), 
83     i32 2, 
84     {  }* bitcast (%llvm.dbg.basictype.type* @llvm.dbg.basictype to {  }*), 
85     i1 true, 
86     i1 true, 
87     {  }* bitcast (i32* @q to {  }*) }, section "llvm.metadata"         ; <%llvm.dbg.global_variable.type*> [#uses=0]
88 @str4.upgrd.1 = internal constant [2 x i8] c"q\00", section "llvm.metadata"             ; <[2 x i8]*> [#uses=0]
89 @q = internal global i32 0              ; <i32*> [#uses=7]
90
91 declare void @llvm.dbg.func.start({  }*)
92
93 declare void @llvm.dbg.stoppoint(i32, i32, {  }*)
94
95 declare void @llvm.dbg.declare({  }*, {  }*)
96
97 declare void @llvm.dbg.region.start({  }*)
98
99 declare void @llvm.dbg.region.end({  }*)
100
101 define void @foo() {
102 entry:
103         %t = alloca i32, align 4                ; <i32*> [#uses=3]
104         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
105         call void @llvm.dbg.func.start( {  }* bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram to {  }*) )
106         call void @llvm.dbg.stoppoint( i32 4, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
107         %t.upgrd.2 = bitcast i32* %t to {  }*           ; <{  }*> [#uses=1]
108         call void @llvm.dbg.declare( {  }* %t.upgrd.2, {  }* bitcast (%llvm.dbg.variable.type* @llvm.dbg.variable to {  }*) )
109         call void @llvm.dbg.stoppoint( i32 5, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
110         %tmp = load i32* @q             ; <i32> [#uses=1]
111         store i32 %tmp, i32* %t
112         call void @llvm.dbg.stoppoint( i32 6, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
113         %tmp1 = load i32* %t            ; <i32> [#uses=1]
114         %tmp2 = add i32 %tmp1, 1                ; <i32> [#uses=1]
115         store i32 %tmp2, i32* @q
116         call void @llvm.dbg.stoppoint( i32 7, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
117         call void @llvm.dbg.region.end( {  }* bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram to {  }*) )
118         ret void
119 }
120
121 define i32 @main() {
122 entry:
123         %retval = alloca i32, align 4           ; <i32*> [#uses=3]
124         %tmp = alloca i32, align 4              ; <i32*> [#uses=2]
125         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
126         call void @llvm.dbg.func.start( {  }* bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram2 to {  }*) )
127         call void @llvm.dbg.stoppoint( i32 8, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
128         %retval.upgrd.3 = bitcast i32* %retval to {  }*         ; <{  }*> [#uses=1]
129         call void @llvm.dbg.declare( {  }* %retval.upgrd.3, {  }* bitcast (%llvm.dbg.variable.type* @llvm.dbg.variable3 to {  }*) )
130         call void @llvm.dbg.stoppoint( i32 9, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
131         store i32 0, i32* @q
132         call void @llvm.dbg.stoppoint( i32 10, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
133         call void (...)* bitcast (void ()* @foo to void (...)*)( )
134         call void @llvm.dbg.stoppoint( i32 11, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
135         %tmp.upgrd.4 = load i32* @q             ; <i32> [#uses=1]
136         %tmp1 = sub i32 %tmp.upgrd.4, 1         ; <i32> [#uses=1]
137         store i32 %tmp1, i32* @q
138         call void @llvm.dbg.stoppoint( i32 13, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
139         %tmp2 = load i32* @q            ; <i32> [#uses=1]
140         store i32 %tmp2, i32* %tmp
141         %tmp3 = load i32* %tmp          ; <i32> [#uses=1]
142         store i32 %tmp3, i32* %retval
143         %retval.upgrd.5 = load i32* %retval             ; <i32> [#uses=1]
144         call void @llvm.dbg.stoppoint( i32 14, i32 0, {  }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to {  }*) )
145         call void @llvm.dbg.region.end( {  }* bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram2 to {  }*) )
146         ret i32 %retval.upgrd.5
147 }