blob: 1a0da3177a2294413fbc0c4740a74424d8562f8f [file] [log] [blame]
Devang Patel735419d2010-06-01 23:01:43 +00001; RUN: llc -mtriple=x86_64-apple-darwin < %s | FileCheck %s
Jakob Stoklund Olesencfafc542011-04-05 21:40:37 +00002; RUN: llc -mtriple=x86_64-apple-darwin -regalloc=basic < %s | FileCheck %s
Devang Patel55e97172010-05-27 16:47:30 +00003; Test to check separate label for inlined function argument.
Devang Patel55e97172010-05-27 16:47:30 +00004
Devang Patel735419d2010-06-01 23:01:43 +00005define i32 @foo(i32 %y) nounwind optsize ssp {
6entry:
7 tail call void @llvm.dbg.value(metadata !{i32 %y}, i64 0, metadata !0)
8 %0 = tail call i32 (...)* @zoo(i32 %y) nounwind, !dbg !9 ; <i32> [#uses=1]
9 ret i32 %0, !dbg !9
Devang Patel55e97172010-05-27 16:47:30 +000010}
11
Devang Patel735419d2010-06-01 23:01:43 +000012declare i32 @zoo(...)
Devang Patel55e97172010-05-27 16:47:30 +000013
Devang Patel735419d2010-06-01 23:01:43 +000014declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone
15
16define i32 @bar(i32 %x) nounwind optsize ssp {
17entry:
18 tail call void @llvm.dbg.value(metadata !{i32 %x}, i64 0, metadata !7)
19 tail call void @llvm.dbg.value(metadata !11, i64 0, metadata !0) nounwind
20 %0 = tail call i32 (...)* @zoo(i32 1) nounwind, !dbg !12 ; <i32> [#uses=1]
21 %1 = add nsw i32 %0, %x, !dbg !13 ; <i32> [#uses=1]
22 ret i32 %1, !dbg !13
23}
24
25!llvm.dbg.lv = !{!0, !7}
26
27!0 = metadata !{i32 524545, metadata !1, metadata !"y", metadata !2, i32 2, metadata !6} ; [ DW_TAG_arg_variable ]
28!1 = metadata !{i32 524334, i32 0, metadata !2, metadata !"foo", metadata !"foo", metadata !"foo", metadata !2, i32 2, metadata !4, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 true} ; [ DW_TAG_subprogram ]
29!2 = metadata !{i32 524329, metadata !"f.c", metadata !"/tmp", metadata !3} ; [ DW_TAG_file_type ]
30!3 = metadata !{i32 524305, i32 0, i32 1, metadata !"f.c", metadata !"/tmp", metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", i1 true, i1 true, metadata !"", i32 0} ; [ DW_TAG_compile_unit ]
Devang Patel55e97172010-05-27 16:47:30 +000031!4 = metadata !{i32 524309, metadata !2, metadata !"", metadata !2, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !5, i32 0, null} ; [ DW_TAG_subroutine_type ]
Devang Patel735419d2010-06-01 23:01:43 +000032!5 = metadata !{metadata !6, metadata !6}
33!6 = metadata !{i32 524324, metadata !2, metadata !"int", metadata !2, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ]
34!7 = metadata !{i32 524545, metadata !8, metadata !"x", metadata !2, i32 6, metadata !6} ; [ DW_TAG_arg_variable ]
35!8 = metadata !{i32 524334, i32 0, metadata !2, metadata !"bar", metadata !"bar", metadata !"bar", metadata !2, i32 6, metadata !4, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 true} ; [ DW_TAG_subprogram ]
36!9 = metadata !{i32 3, i32 0, metadata !10, null}
37!10 = metadata !{i32 524299, metadata !1, i32 2, i32 0} ; [ DW_TAG_lexical_block ]
38!11 = metadata !{i32 1}
39!12 = metadata !{i32 3, i32 0, metadata !10, metadata !13}
40!13 = metadata !{i32 7, i32 0, metadata !14, null}
41!14 = metadata !{i32 524299, metadata !8, i32 6, i32 0} ; [ DW_TAG_lexical_block ]
Devang Patel55e97172010-05-27 16:47:30 +000042
Jakob Stoklund Olesen25dc2262011-01-12 23:36:21 +000043;CHECK: DEBUG_VALUE: bar:x <- E
44;CHECK: Ltmp
45;CHECK: DEBUG_VALUE: foo:y <- 1+0