xref: /llvm-project/llvm/test/DebugInfo/X86/loop-align-debug.ll (revision e6bf48d11047e970cb24554a01b65b566d6b5d22)
1; RUN: llc %s --filetype=obj -o %t
2; RUN: llvm-objdump -d %t | FileCheck %s --check-prefixes=OBJ
3; RUN: llvm-dwarfdump --debug-line %t | FileCheck %s --check-prefixes=DBG
4; RUN: llc %s -o - | FileCheck %s --check-prefixes=ASM
5
6; OBJ: 1:{{.*}}nop
7
8;;     Address            Line   Column File   ISA Discriminator OpIndex Flags
9; DBG: 0x0000000000000000      3      0      0   0             0       0  is_stmt
10; DBG: 0x0000000000000001      0      0      0   0             0       0
11; DBG: 0x0000000000000010      5      0      0   0             0       0  is_stmt prologue_end
12; DBG: 0x0000000000000017      5      0      0   0             0       0  is_stmt end_sequence
13
14; ASM:      .loc    0 0 0 is_stmt 0
15; ASM-NEXT: .L{{.*}}:
16; ASM-NEXT: .p2align        4
17
18;; $ cat test.cpp
19;; void g();
20;; void f() {
21;;   [[clang::code_align(16)]]
22;;   while (1) { g(); }
23;; }
24
25target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
26target triple = "x86_64-unknown-linux-gnu"
27
28define dso_local void @f() local_unnamed_addr !dbg !9 {
29entry:
30  br label %while.body, !dbg !12
31
32while.body:                                       ; preds = %entry, %while.body
33  tail call void @g(), !dbg !12
34  br label %while.body, !dbg !12, !llvm.loop !13
35}
36
37declare !dbg !16 void @g() local_unnamed_addr
38
39!llvm.dbg.cu = !{!0}
40!llvm.module.flags = !{!2, !3}
41!llvm.ident = !{!8}
42
43!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 19.0.0git", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, splitDebugInlining: false, nameTableKind: None)
44!1 = !DIFile(filename: "test.cpp", directory: "/")
45!2 = !{i32 7, !"Dwarf Version", i32 5}
46!3 = !{i32 2, !"Debug Info Version", i32 3}
47!8 = !{!"clang version 19.0.0git"}
48!9 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 3, type: !10, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
49!10 = !DISubroutineType(types: !11)
50!11 = !{}
51!12 = !DILocation(line: 5, scope: !9)
52!13 = distinct !{!13, !12, !12, !14, !15}
53!14 = !{!"llvm.loop.mustprogress"}
54!15 = !{!"llvm.loop.align", i32 16}
55!16 = !DISubprogram(name: "g", scope: !1, file: !1, line: 2, type: !10, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)
56