blob: b7f1ec8ccaa3d03433c388e398c92aec729fe02d [file] [log] [blame]
Bill Wendlingc02a0aa2013-07-22 20:15:21 +00001; RUN: llc -filetype=obj -O0 < %s
Adrian Prantl5a4c8622013-07-10 20:43:29 +00002; Test that we handle DBG_VALUEs in a register without crashing.
Adrian Prantlef997522013-07-10 21:08:02 +00003;
David Blaikie02559eb2013-07-15 22:28:45 +00004; Generated from clang with -fsanitize=address:
5; struct A {
6; A();
7; A(const A&);
Adrian Prantlef997522013-07-10 21:08:02 +00008; };
David Blaikie02559eb2013-07-15 22:28:45 +00009;
10; A func(int) {
11; A a;
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000012; return a;
Adrian Prantlef997522013-07-10 21:08:02 +000013; }
14
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000015target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
David Blaikie02559eb2013-07-15 22:28:45 +000016target triple = "x86_64-unknown-linux-gnu"
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000017
David Blaikie02559eb2013-07-15 22:28:45 +000018%struct.A = type { i8 }
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000019
David Blaikie02559eb2013-07-15 22:28:45 +000020@__asan_mapping_offset = linkonce_odr constant i64 2147450880
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000021@__asan_mapping_scale = linkonce_odr constant i64 3
22@llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 1, void ()* @asan.module_ctor }]
David Blaikie02559eb2013-07-15 22:28:45 +000023@__asan_gen_ = private unnamed_addr constant [16 x i8] c"1 32 4 5 .addr \00", align 1
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000024
David Blaikie02559eb2013-07-15 22:28:45 +000025; Function Attrs: sanitize_address uwtable
Peter Collingbourned4bff302015-11-05 22:03:56 +000026define void @_Z4funci(%struct.A* noalias sret %agg.result, i32) #0 "stack-protector-buffer-size"="1" !dbg !4 {
Adrian Prantl5a4c8622013-07-10 20:43:29 +000027entry:
28 %MyAlloca = alloca [96 x i8], align 32
David Blaikie02559eb2013-07-15 22:28:45 +000029 %1 = ptrtoint [96 x i8]* %MyAlloca to i64
30 %2 = add i64 %1, 32
31 %3 = inttoptr i64 %2 to i32*
32 %4 = inttoptr i64 %1 to i64*
33 store i64 1102416563, i64* %4
34 %5 = add i64 %1, 8
35 %6 = inttoptr i64 %5 to i64*
36 store i64 ptrtoint ([16 x i8]* @__asan_gen_ to i64), i64* %6
37 %7 = add i64 %1, 16
38 %8 = inttoptr i64 %7 to i64*
39 store i64 ptrtoint (void (%struct.A*, i32)* @_Z4funci to i64), i64* %8
40 %9 = lshr i64 %1, 3
41 %10 = add i64 %9, 2147450880
42 %11 = inttoptr i64 %10 to i32*
43 store i32 -235802127, i32* %11
44 %12 = add i64 %10, 4
45 %13 = inttoptr i64 %12 to i32*
46 store i32 -185273340, i32* %13
47 %14 = add i64 %10, 8
48 %15 = inttoptr i64 %14 to i32*
49 store i32 -202116109, i32* %15
50 %16 = ptrtoint i32* %3 to i64
51 %17 = lshr i64 %16, 3
52 %18 = add i64 %17, 2147450880
53 %19 = inttoptr i64 %18 to i8*
David Blaikiea79ac142015-02-27 21:17:42 +000054 %20 = load i8, i8* %19
David Blaikie02559eb2013-07-15 22:28:45 +000055 %21 = icmp ne i8 %20, 0
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000056 call void @llvm.dbg.declare(metadata i32* %3, metadata !23, metadata !28), !dbg !DILocation(scope: !4)
David Blaikie02559eb2013-07-15 22:28:45 +000057 br i1 %21, label %22, label %28
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000058
David Blaikie02559eb2013-07-15 22:28:45 +000059; <label>:22 ; preds = %entry
60 %23 = and i64 %16, 7
61 %24 = add i64 %23, 3
62 %25 = trunc i64 %24 to i8
63 %26 = icmp sge i8 %25, %20
64 br i1 %26, label %27, label %28
65
66; <label>:27 ; preds = %22
67 call void @__asan_report_store4(i64 %16)
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000068 call void asm sideeffect "", ""()
Adrian Prantl5a4c8622013-07-10 20:43:29 +000069 unreachable
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000070
David Blaikie02559eb2013-07-15 22:28:45 +000071; <label>:28 ; preds = %22, %entry
72 store i32 %0, i32* %3, align 4
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000073 call void @llvm.dbg.declare(metadata %struct.A* %agg.result, metadata !24, metadata !DIExpression(DW_OP_deref)), !dbg !25
David Blaikie02559eb2013-07-15 22:28:45 +000074 call void @_ZN1AC1Ev(%struct.A* %agg.result), !dbg !25
75 store i64 1172321806, i64* %4, !dbg !26
76 %29 = inttoptr i64 %10 to i32*, !dbg !26
77 store i32 0, i32* %29, !dbg !26
78 %30 = add i64 %10, 4, !dbg !26
79 %31 = inttoptr i64 %30 to i32*, !dbg !26
80 store i32 0, i32* %31, !dbg !26
81 %32 = add i64 %10, 8, !dbg !26
82 %33 = inttoptr i64 %32 to i32*, !dbg !26
83 store i32 0, i32* %33, !dbg !26
84 ret void, !dbg !26
Adrian Prantl5a4c8622013-07-10 20:43:29 +000085}
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000086
87; Function Attrs: nounwind readnone
Adrian Prantl87b7eb92014-10-01 18:55:02 +000088declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000089
David Blaikie02559eb2013-07-15 22:28:45 +000090declare void @_ZN1AC1Ev(%struct.A*) #2
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000091
Bill Wendlingc02a0aa2013-07-22 20:15:21 +000092define internal void @asan.module_ctor() "stack-protector-buffer-size"="1" {
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000093 call void @__asan_init_v3()
David Blaikiea79ac142015-02-27 21:17:42 +000094 %1 = load volatile i64, i64* @__asan_mapping_offset
95 %2 = load volatile i64, i64* @__asan_mapping_scale
Adrian Prantl29b3fdc2013-07-11 21:16:14 +000096 ret void
97}
98
99declare void @__asan_init_v3()
100
101declare void @__asan_report_load1(i64)
102
103declare void @__asan_report_load2(i64)
104
105declare void @__asan_report_load4(i64)
106
107declare void @__asan_report_load8(i64)
108
109declare void @__asan_report_load16(i64)
110
111declare void @__asan_report_store1(i64)
112
113declare void @__asan_report_store2(i64)
114
115declare void @__asan_report_store4(i64)
116
117declare void @__asan_report_store8(i64)
118
119declare void @__asan_report_store16(i64)
120
121declare void @__asan_report_load_n(i64, i64)
122
123declare void @__asan_report_store_n(i64, i64)
124
125declare void @__asan_handle_no_return()
126
127declare i64 @__asan_stack_malloc(i64, i64)
128
129declare void @__asan_stack_free(i64, i64, i64)
130
131declare void @__asan_poison_stack_memory(i64, i64)
132
133declare void @__asan_unpoison_stack_memory(i64, i64)
134
135declare void @__asan_before_dynamic_init(i64)
136
137declare void @__asan_after_dynamic_init()
138
139declare void @__asan_register_globals(i64, i64)
140
141declare void @__asan_unregister_globals(i64, i64)
142
David Blaikie02559eb2013-07-15 22:28:45 +0000143attributes #0 = { sanitize_address uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "ssp-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
Adrian Prantl29b3fdc2013-07-11 21:16:14 +0000144attributes #1 = { nounwind readnone }
David Blaikie02559eb2013-07-15 22:28:45 +0000145attributes #2 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "ssp-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
Adrian Prantl29b3fdc2013-07-11 21:16:14 +0000146
Adrian Prantl5a4c8622013-07-10 20:43:29 +0000147!llvm.dbg.cu = !{!0}
Manman Ren409558f2013-11-22 21:49:45 +0000148!llvm.module.flags = !{!22, !27}
Adrian Prantl29b3fdc2013-07-11 21:16:14 +0000149
Duncan P. N. Exon Smith55ca9642015-08-03 17:26:41 +0000150!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.4 ", isOptimized: false, emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000151!1 = !DIFile(filename: "crash.cpp", directory: "/tmp")
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000152!2 = !{}
153!3 = !{!4}
Peter Collingbourned4bff302015-11-05 22:03:56 +0000154!4 = distinct !DISubprogram(name: "func", linkageName: "_Z4funci", line: 6, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 6, file: !1, scope: !5, type: !6, variables: !2)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000155!5 = !DIFile(filename: "crash.cpp", directory: "/tmp")
156!6 = !DISubroutineType(types: !7)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000157!7 = !{!8, !21}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000158!8 = !DICompositeType(tag: DW_TAG_structure_type, name: "A", line: 1, size: 8, align: 8, file: !1, elements: !9)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000159!9 = !{!10, !15}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000160!10 = !DISubprogram(name: "A", line: 2, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 2, file: !1, scope: !8, type: !11)
161!11 = !DISubroutineType(types: !12)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000162!12 = !{null, !13}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000163!13 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !8)
164!15 = !DISubprogram(name: "A", line: 3, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 3, file: !1, scope: !8, type: !16)
165!16 = !DISubroutineType(types: !17)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000166!17 = !{null, !13, !18}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000167!18 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !19)
168!19 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !8)
169!21 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000170!22 = !{i32 2, !"Dwarf Version", i32 3}
Duncan P. N. Exon Smithed013cd2015-07-31 18:58:39 +0000171!23 = !DILocalVariable(name: "", line: 6, arg: 1, scope: !4, file: !5, type: !21)
172!24 = !DILocalVariable(name: "a", line: 7, scope: !4, file: !5, type: !8)
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000173!25 = !DILocation(line: 7, scope: !4)
174!26 = !DILocation(line: 8, scope: !4)
Duncan P. N. Exon Smithe2741802015-03-03 17:24:31 +0000175!27 = !{i32 1, !"Debug Info Version", i32 3}
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000176!28 = !DIExpression(DW_OP_deref)