79 lines · plain
1; $ clang -O2 -S -emit-llvm indir.c -gdwarf-52; __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.o6; RUN: llvm-dwarfdump %t.o -o - | FileCheck %s -check-prefix=OBJ -implicit-check-not=DW_TAG_call_site -implicit-check-not=DW_AT_call_target7; RUN: llvm-dwarfdump -verify %t.o 2>&1 | FileCheck %s -check-prefix=VERIFY8; RUN: llvm-dwarfdump -statistics %t.o | FileCheck %s -check-prefix=STATS9 10; VERIFY: No errors.11; STATS: "#call site DIEs": 1,12 13; OBJ: DW_TAG_subprogram14; OBJ: DW_AT_name ("call_reg")15; Function Attrs: nounwind uwtable16define dso_local void @call_reg(ptr noundef readonly captures(none) %f) local_unnamed_addr #0 !dbg !10 {17entry:18 #dbg_value(ptr %f, !17, !DIExpression(), !18)19 20; OBJ: DW_TAG_call_site21; OBJ: DW_AT_call_target22; OBJ: DW_AT_call_return_pc23 call void (...) %f() #1, !dbg !1924 ret void, !dbg !2025}26 27; OBJ: DW_TAG_subprogram28; OBJ: DW_AT_name ("call_mem")29; Function Attrs: nounwind uwtable30define dso_local void @call_mem(ptr noundef readonly captures(none) %f) local_unnamed_addr #0 !dbg !21 {31entry:32 #dbg_value(ptr %f, !26, !DIExpression(), !27)33 %0 = load ptr, ptr %f, align 8, !dbg !28, !tbaa !2934 call void (...) %0() #1, !dbg !2835 ret void, !dbg !3336}37 38attributes #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" }39attributes #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)79