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 {
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 = !MDCompileUnit(language: DW_LANG_C99, producer: "clang version 3.7.0 (trunk 227686)", isOptimized: true, emissionKind: 1, file: !1, enums: !2, retainedTypes: !3, subprograms: !6, globals: !2, imports: !2)
35!1 = !MDFile(filename: "foo.c", directory: "")
36!2 = !{}
37!3 = !{!4}
38!4 = !MDDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !5)
39!5 = !MDBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
40!6 = !{!7}
41!7 = !MDSubprogram(name: "foo", line: 1, isLocal: false, isDefinition: true, isOptimized: true, scopeLine: 1, file: !8, scope: !9, type: !10, function: void ()* @foo, variables: !12)
42!8 = !MDFile(filename: "foo.c", directory: "")
43!9 = !MDFile(filename: "foo.c", directory: "")
44!10 = !MDSubroutineType(types: !11)
45!11 = !{null}
46!12 = !{!13}
47!13 = !MDLocalVariable(tag: DW_TAG_auto_variable, name: "a", line: 2, scope: !7, file: !9, type: !14)
48!14 = !MDBasicType(tag: DW_TAG_base_type, name: "float", size: 32, align: 32, encoding: DW_ATE_float)
49!15 = !{i32 2, !"Dwarf Version", i32 2}
50!16 = !{i32 2, !"Debug Info Version", i32 3}
51!17 = !{i32 1, !"PIC Level", i32 2}
52!18 = !{!"clang version 3.7.0 (trunk 227686)"}
53!19 = !MDExpression()
54!20 = !MDLocation(line: 2, column: 9, scope: !7)
55!21 = !MDLocation(line: 4, column: 1, scope: !7)
56