1; RUN: llc < %s -filetype=obj | llvm-dwarfdump -debug-dump=info - | FileCheck %s
2; from (at -Os):
3; void foo() {
4;   float a = 3.14;
5;   *(int *)&a = 0;
6; }
7target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
8target triple = "x86_64-apple-macosx10.10.0"
9
10; Function Attrs: nounwind optsize readnone uwtable
11define void @foo() #0 !dbg !7 {
12entry:
13  tail call void @llvm.dbg.declare(metadata float* undef, metadata !13, metadata !19), !dbg !20
14  tail call void @llvm.dbg.value(metadata i32 1078523331, i64 0, metadata !13, metadata !19), !dbg !20
15  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !13, metadata !19), !dbg !20
16; CHECK:  DW_AT_const_value [DW_FORM_sdata]    (0)
17; CHECK-NEXT: DW_AT_name {{.*}}"a"
18  ret void, !dbg !21
19}
20
21; Function Attrs: nounwind readnone
22declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
23
24; Function Attrs: nounwind readnone
25declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1
26
27attributes #0 = { nounwind optsize readnone uwtable }
28attributes #1 = { nounwind readnone }
29
30!llvm.dbg.cu = !{!0}
31!llvm.module.flags = !{!15, !16, !17}
32!llvm.ident = !{!18}
33
34!0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.7.0 (trunk 227686)", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !3, globals: !2, imports: !2)
35!1 = !DIFile(filename: "foo.c", directory: "")
36!2 = !{}
37!3 = !{!4}
38!4 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !5)
39!5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
40!7 = distinct !DISubprogram(name: "foo", line: 1, isLocal: false, isDefinition: true, isOptimized: true, unit: !0, scopeLine: 1, file: !8, scope: !9, type: !10, variables: !12)
41!8 = !DIFile(filename: "foo.c", directory: "")
42!9 = !DIFile(filename: "foo.c", directory: "")
43!10 = !DISubroutineType(types: !11)
44!11 = !{null}
45!12 = !{!13}
46!13 = !DILocalVariable(name: "a", line: 2, scope: !7, file: !9, type: !14)
47!14 = !DIBasicType(tag: DW_TAG_base_type, name: "float", size: 32, align: 32, encoding: DW_ATE_float)
48!15 = !{i32 2, !"Dwarf Version", i32 2}
49!16 = !{i32 2, !"Debug Info Version", i32 3}
50!17 = !{i32 1, !"PIC Level", i32 2}
51!18 = !{!"clang version 3.7.0 (trunk 227686)"}
52!19 = !DIExpression()
53!20 = !DILocation(line: 2, column: 9, scope: !7)
54!21 = !DILocation(line: 4, column: 1, scope: !7)
55