|
| 1 | +; $ clang -O2 -S -emit-llvm indir.c -gdwarf-5 |
| 2 | +; __attribute__((disable_tail_calls)) void call_reg(void (*f)()) { f(); } |
| 3 | +; __attribute__((disable_tail_calls)) void call_mem(void (**f)()) { (*f)(); } |
| 4 | + |
| 5 | +; RUN: llc -mtriple=x86_64 -debugger-tune=lldb < %s -filetype=obj -o %t.o |
| 6 | +; RUN: llvm-dwarfdump %t.o -o - | FileCheck %s -check-prefix=OBJ -implicit-check-not=DW_TAG_call_site -implicit-check-not=DW_AT_call_target |
| 7 | +; RUN: llvm-dwarfdump -verify %t.o 2>&1 | FileCheck %s -check-prefix=VERIFY |
| 8 | +; RUN: llvm-dwarfdump -statistics %t.o | FileCheck %s -check-prefix=STATS |
| 9 | + |
| 10 | +; VERIFY: No errors. |
| 11 | +; STATS: "#call site DIEs": 1, |
| 12 | + |
| 13 | +; OBJ: DW_TAG_subprogram |
| 14 | +; OBJ: DW_AT_name ("call_reg") |
| 15 | +; Function Attrs: nounwind uwtable |
| 16 | +define dso_local void @call_reg(ptr noundef readonly captures(none) %f) local_unnamed_addr #0 !dbg !10 { |
| 17 | +entry: |
| 18 | + #dbg_value(ptr %f, !17, !DIExpression(), !18) |
| 19 | + |
| 20 | +; OBJ: DW_TAG_call_site |
| 21 | +; OBJ: DW_AT_call_target |
| 22 | +; OBJ: DW_AT_call_return_pc |
| 23 | + call void (...) %f() #1, !dbg !19 |
| 24 | + ret void, !dbg !20 |
| 25 | +} |
| 26 | + |
| 27 | +; OBJ: DW_TAG_subprogram |
| 28 | +; OBJ: DW_AT_name ("call_mem") |
| 29 | +; Function Attrs: nounwind uwtable |
| 30 | +define dso_local void @call_mem(ptr noundef readonly captures(none) %f) local_unnamed_addr #0 !dbg !21 { |
| 31 | +entry: |
| 32 | + #dbg_value(ptr %f, !26, !DIExpression(), !27) |
| 33 | + %0 = load ptr, ptr %f, align 8, !dbg !28, !tbaa !29 |
| 34 | + call void (...) %0() #1, !dbg !28 |
| 35 | + ret void, !dbg !33 |
| 36 | +} |
| 37 | + |
| 38 | +attributes #0 = { nounwind uwtable "disable-tail-calls"="true" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" } |
| 39 | +attributes #1 = { nounwind } |
| 40 | + |
| 41 | +!llvm.dbg.cu = !{!0} |
| 42 | +!llvm.module.flags = !{!2, !3, !4, !5, !6, !7, !8} |
| 43 | +!llvm.ident = !{!9} |
| 44 | + |
| 45 | +!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang version 22.0.0git (https://github.com/llvm/llvm-project 74e4a8645da91247dc8dc502771c2cc4d46f1f91)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) |
| 46 | +!1 = !DIFile(filename: "indir.c", directory: "/tmp", checksumkind: CSK_MD5, checksum: "4a7538b13e2edbec44f43ed5154be38c") |
| 47 | +!2 = !{i32 7, !"Dwarf Version", i32 5} |
| 48 | +!3 = !{i32 2, !"Debug Info Version", i32 3} |
| 49 | +!4 = !{i32 1, !"wchar_size", i32 4} |
| 50 | +!5 = !{i32 8, !"PIC Level", i32 2} |
| 51 | +!6 = !{i32 7, !"PIE Level", i32 2} |
| 52 | +!7 = !{i32 7, !"uwtable", i32 2} |
| 53 | +!8 = !{i32 7, !"debug-info-assignment-tracking", i1 true} |
| 54 | +!9 = !{!"clang version 22.0.0git (https://github.com/llvm/llvm-project 74e4a8645da91247dc8dc502771c2cc4d46f1f91)"} |
| 55 | +!10 = distinct !DISubprogram(name: "call_reg", scope: !1, file: !1, line: 1, type: !11, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !16) |
| 56 | +!11 = !DISubroutineType(types: !12) |
| 57 | +!12 = !{null, !13} |
| 58 | +!13 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64) |
| 59 | +!14 = !DISubroutineType(types: !15) |
| 60 | +!15 = !{null, null} |
| 61 | +!16 = !{!17} |
| 62 | +!17 = !DILocalVariable(name: "f", arg: 1, scope: !10, file: !1, line: 1, type: !13) |
| 63 | +!18 = !DILocation(line: 0, scope: !10) |
| 64 | +!19 = !DILocation(line: 1, column: 66, scope: !10) |
| 65 | +!20 = !DILocation(line: 1, column: 71, scope: !10) |
| 66 | +!21 = distinct !DISubprogram(name: "call_mem", scope: !1, file: !1, line: 2, type: !22, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !25) |
| 67 | +!22 = !DISubroutineType(types: !23) |
| 68 | +!23 = !{null, !24} |
| 69 | +!24 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64) |
| 70 | +!25 = !{!26} |
| 71 | +!26 = !DILocalVariable(name: "f", arg: 1, scope: !21, file: !1, line: 2, type: !24) |
| 72 | +!27 = !DILocation(line: 0, scope: !21) |
| 73 | +!28 = !DILocation(line: 2, column: 67, scope: !21) |
| 74 | +!29 = !{!30, !30, i64 0} |
| 75 | +!30 = !{!"any pointer", !31, i64 0} |
| 76 | +!31 = !{!"omnipotent char", !32, i64 0} |
| 77 | +!32 = !{!"Simple C/C++ TBAA"} |
| 78 | +!33 = !DILocation(line: 2, column: 75, scope: !21) |
0 commit comments