~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Instrumentation/SanitizerCoverage/coverage-dbg.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
ImportĀ upstreamĀ versionĀ 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
; Test that coverage instrumentation does not lose debug location.
 
2
 
 
3
; RUN: opt < %s -sancov -sanitizer-coverage-level=1 -S | FileCheck %s
 
4
 
 
5
; C++ source:
 
6
; 1: struct A {
 
7
; 2:  int f();
 
8
; 3:  int x;
 
9
; 4: };
 
10
; 5:
 
11
; 6: int A::f() {
 
12
; 7:    return x;
 
13
; 8: }
 
14
; clang++ ../1.cc -O3 -g -S -emit-llvm  -fno-strict-aliasing
 
15
; and add sanitize_address to @_ZN1A1fEv
 
16
 
 
17
; Test that __sanitizer_cov call has !dbg pointing to the opening { of A::f().
 
18
; CHECK: call void @__sanitizer_cov(i32*{{.*}}), !dbg [[A:!.*]]
 
19
; CHECK: [[A]] = !DILocation(line: 6, scope: !{{.*}})
 
20
 
 
21
 
 
22
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 
23
target triple = "x86_64-unknown-linux-gnu"
 
24
 
 
25
%struct.A = type { i32 }
 
26
 
 
27
; Function Attrs: nounwind readonly uwtable
 
28
define i32 @_ZN1A1fEv(%struct.A* nocapture readonly %this) #0 align 2 {
 
29
entry:
 
30
  tail call void @llvm.dbg.value(metadata %struct.A* %this, i64 0, metadata !15, metadata !DIExpression()), !dbg !20
 
31
  %x = getelementptr inbounds %struct.A, %struct.A* %this, i64 0, i32 0, !dbg !21
 
32
  %0 = load i32, i32* %x, align 4, !dbg !21
 
33
  ret i32 %0, !dbg !21
 
34
}
 
35
 
 
36
; Function Attrs: nounwind readnone
 
37
declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1
 
38
 
 
39
attributes #0 = { sanitize_address nounwind readonly uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 
40
attributes #1 = { nounwind readnone }
 
41
 
 
42
!llvm.dbg.cu = !{!0}
 
43
!llvm.module.flags = !{!17, !18}
 
44
!llvm.ident = !{!19}
 
45
 
 
46
!0 = !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0 (210251)", isOptimized: true, emissionKind: 1, file: !1, enums: !2, retainedTypes: !3, subprograms: !12, globals: !2, imports: !2)
 
47
!1 = !DIFile(filename: "../1.cc", directory: "/code/llvm/build0")
 
48
!2 = !{}
 
49
!3 = !{!4}
 
50
!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "A", line: 1, size: 32, align: 32, file: !1, elements: !5, identifier: "_ZTS1A")
 
51
!5 = !{!6, !8}
 
52
!6 = !DIDerivedType(tag: DW_TAG_member, name: "x", line: 3, size: 32, align: 32, file: !1, scope: !"_ZTS1A", baseType: !7)
 
53
!7 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 
54
!8 = !DISubprogram(name: "f", linkageName: "_ZN1A1fEv", line: 2, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 2, file: !1, scope: !"_ZTS1A", type: !9)
 
55
!9 = !DISubroutineType(types: !10)
 
56
!10 = !{!7, !11}
 
57
!11 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !"_ZTS1A")
 
58
!12 = !{!13}
 
59
!13 = !DISubprogram(name: "f", linkageName: "_ZN1A1fEv", line: 6, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 6, file: !1, scope: !"_ZTS1A", type: !9, function: i32 (%struct.A*)* @_ZN1A1fEv, declaration: !8, variables: !14)
 
60
!14 = !{!15}
 
61
!15 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "this", arg: 1, flags: DIFlagArtificial | DIFlagObjectPointer, scope: !13, type: !16)
 
62
!16 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !"_ZTS1A")
 
63
!17 = !{i32 2, !"Dwarf Version", i32 4}
 
64
!18 = !{i32 2, !"Debug Info Version", i32 3}
 
65
!19 = !{!"clang version 3.5.0 (210251)"}
 
66
!20 = !DILocation(line: 0, scope: !13)
 
67
!21 = !DILocation(line: 7, scope: !13)