Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e85b06d65f695c576df1e529ee37cb15e6902401 / . / llvm / test / CodeGen / X86 / frame-lowering-debug-intrinsic.ll
blob: f9ecf707810b32784b99aab58767d784a6791260 [file] [log] [blame]
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]1; Test ensuring debug intrinsics do not affect generated function prologue.
2;
3; RUN: llc -O1 -mtriple=x86_64-unknown-unknown -o - %s | FileCheck %s
4
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]5define i64 @fn1NoDebug(i64 %a) {
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]6 %call = call i64 @fn(i64 %a, i64 0)
7 ret i64 %call
8}
9
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]10; CHECK-LABEL: fn1NoDebug
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]11; CHECK: popq %rcx
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]12; CHECK-NEXT: ret
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]13
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]14define i64 @fn1WithDebug(i64 %a) !dbg !4 {
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]15 %call = call i64 @fn(i64 %a, i64 0)
16 tail call void @llvm.dbg.value(metadata i64 %call, i64 0, metadata !5, metadata !6), !dbg !7
17 ret i64 %call
18}
19
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]20; CHECK-LABEL: fn1WithDebug
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]21; CHECK: popq %rcx
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]22; CHECK-NEXT: ret
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]23
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]24%struct.Buffer = type { i8, [63 x i8] }
25
26define void @fn2NoDebug(%struct.Buffer* byval align 64 %p1) {
27 ret void
28}
29
30; CHECK-LABEL: fn2NoDebug
31; CHECK: and
32; CHECK-NOT: add
33; CHECK-NOT: sub
34; CHECK: mov
35; CHECK-NEXT: pop
36; CHECK-NEXT: ret
37
Adrian Prantldefc99a2017-05-04 16:24:31 +0000[diff] [blame]38define void @fn2WithDebug(%struct.Buffer* byval align 64 %p1) !dbg !8 {
39 call void @llvm.dbg.declare(metadata %struct.Buffer* %p1, metadata !9, metadata !6), !dbg !10
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]40 ret void
41}
42
43; CHECK-LABEL: fn2WithDebug
44; CHECK: and
45; CHECK-NOT: add
46; CHECK-NOT: sub
47; CHECK: mov
48; CHECK-NEXT: pop
49; CHECK-NEXT: ret
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]50
51declare i64 @fn(i64, i64)
52
53declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
Florian Hahn5815f6c2017-01-04 12:08:35 +0000[diff] [blame]54declare void @llvm.dbg.declare(metadata, metadata, metadata)
Florian Hahn7582c662016-12-06 10:24:55 +0000[diff] [blame]55
56!llvm.dbg.cu = !{!0}
57!llvm.module.flags = !{!2,!3}
58
59!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 4.0.0")
60!1 = !DIFile(filename: "test.c", directory: "/")
61!2 = !{i32 2, !"Dwarf Version", i32 4}
62!3 = !{i32 2, !"Debug Info Version", i32 3}
63!4 = distinct !DISubprogram(name: "withDebug", unit: !0)
64!5 = !DILocalVariable(name: "w", scope: !4)
65!6 = !DIExpression()
66!7 = !DILocation(line: 210, column: 12, scope: !4)
Adrian Prantldefc99a2017-05-04 16:24:31 +0000[diff] [blame]67!8 = distinct !DISubprogram(name: "withDebug", unit: !0)
68!9 = !DILocalVariable(name: "w", scope: !8)
69!10 = !DILocation(line: 210, column: 12, scope: !8)