xref: /llvm-project/llvm/test/DebugInfo/assignment-tracking/AArch64/scalable-vectors.ll (revision 30845e8ab46c416a2e333eb84239e9ec71e92617)
1; RUN: llc %s -stop-after=finalize-isel -o - | FileCheck %s
2
3
4; RUN: llc --try-experimental-debuginfo-iterators %s -stop-after=finalize-isel -o - | FileCheck %s
5
6;; Hand written. Check AssignmentTrackingAnalysis doesn't try to get the size
7;; of scalable vectors (which causes an assertion failure).
8
9; CHECK: DBG_VALUE %stack.0, $noreg, ![[#]], !DIExpression(DW_OP_deref)
10; CHECK: DBG_VALUE i256 0, $noreg, ![[#]], !DIExpression()
11;; FIXME: We should reinstate (or poison) the variable at the store. See
12;; llvm.org/PR62346.
13
14target triple = "aarch64"
15
16define dso_local void @square(ptr %0) local_unnamed_addr #0 !dbg !9 {
17entry:
18   %1 = alloca <32 x i8>, !DIAssignID !18
19   call void @llvm.dbg.assign(metadata i1 poison, metadata !19, metadata !DIExpression(), metadata !18, metadata ptr %1, metadata !DIExpression()), !dbg !21
20   %2 = load <vscale x 8 x i8>, ptr %0, align 1
21   call void @llvm.dbg.assign(metadata i256 0, metadata !19, metadata !DIExpression(), metadata !22, metadata ptr %1, metadata !DIExpression()), !dbg !21
22   store <vscale x 8 x i8> %2, ptr %1, align 1
23   ret void
24}
25
26declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata)
27
28attributes #0 = { vscale_range(1,16) "target-cpu"="generic" "target-features"="+sve" }
29
30!llvm.dbg.cu = !{!0}
31!llvm.module.flags = !{!2, !3, !7}
32!llvm.ident = !{!8}
33
34!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang version 17.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
35!1 = !DIFile(filename: "/app/example.c", directory: "/app")
36!2 = !{i32 7, !"Dwarf Version", i32 4}
37!3 = !{i32 2, !"Debug Info Version", i32 3}
38!7 = !{i32 7, !"debug-info-assignment-tracking", i1 true}
39!8 = !{!"clang version 17.0.0"}
40!9 = distinct !DISubprogram(name: "square", scope: !10, file: !10, line: 1, type: !11, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !17)
41!10 = !DIFile(filename: "example.c", directory: "/app")
42!11 = !DISubroutineType(types: !12)
43!12 = !{null, !13, !14, !16}
44!13 = !DIDerivedType(tag: DW_TAG_restrict_type, baseType: !14)
45!14 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !15, size: 64)
46!15 = !DIBasicType(name: "unsigned char", size: 8, encoding: DW_ATE_unsigned_char)
47!16 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
48!17 = !{}
49!18 =  distinct !DIAssignID()
50!19 = !DILocalVariable(name: "i", scope: !9, file: !10, line: 2, type: !20)
51!20 = !DIBasicType(name: "cats", size: 256, encoding: DW_ATE_signed)
52!21 = !DILocation(line: 0, scope: !9)
53!22 =  distinct !DIAssignID()
54
55