Re-Revert r257105 (Verifier debug info changes)
[oota-llvm.git] / test / CodeGen / X86 / fpstack-debuginstr-kill.ll
1 ; RUN: llc < %s -mcpu=generic -mtriple=i386-apple-darwin -no-integrated-as
2
3 @g1 = global double 0.000000e+00, align 8
4 @g2 = global i32 0, align 4
5
6 define void @_Z16fpuop_arithmeticjj(i32, i32) !dbg !4 {
7 entry:
8   switch i32 undef, label %sw.bb.i1921 [
9   ]
10
11 sw.bb261:                                         ; preds = %entry, %entry
12   unreachable
13
14 sw.bb.i1921:                                      ; preds = %if.end504
15   switch i32 undef, label %if.end511 [
16     i32 1, label %sw.bb27.i
17   ]
18
19 sw.bb27.i:                                        ; preds = %sw.bb.i1921
20   %conv.i.i1923 = fpext float undef to x86_fp80
21   br label %if.end511
22
23 if.end511:                                        ; preds = %sw.bb27.i, %sw.bb13.i
24   %src.sroa.0.0.src.sroa.0.0.2280 = phi x86_fp80 [ %conv.i.i1923, %sw.bb27.i ], [ undef, %sw.bb.i1921 ]
25   switch i32 undef, label %sw.bb992 [
26     i32 3, label %sw.bb735
27     i32 18, label %if.end41.i2210
28   ]
29
30 sw.bb735:                                         ; preds = %if.end511
31   %2 = call x86_fp80 asm sideeffect "frndint", "={st},0,~{dirflag},~{fpsr},~{flags}"(x86_fp80 %src.sroa.0.0.src.sroa.0.0.2280)
32   unreachable
33
34 if.end41.i2210:                                   ; preds = %if.end511
35   call void @llvm.dbg.value(metadata x86_fp80 %src.sroa.0.0.src.sroa.0.0.2280, i64 0, metadata !20, metadata !DIExpression()), !dbg !DILocation(scope: !4)
36   unreachable
37
38 sw.bb992:                                         ; preds = %if.end511
39   ret void
40 }
41
42 declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
43
44 !llvm.dbg.cu = !{!0}
45 !llvm.module.flags = !{!24, !25}
46 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.6.0 (http://llvm.org/git/clang 8444ae7cfeaefae031f8fedf0d1435ca3b14d90b) (http://llvm.org/git/llvm 886f0101a7d176543b831f5efb74c03427244a55)", isOptimized: true, emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !21, imports: !2)
47 !1 = !DIFile(filename: "fpu_ieee.cpp", directory: "x87stackifier")
48 !2 = !{}
49 !3 = !{!4}
50 !4 = distinct !DISubprogram(name: "fpuop_arithmetic", linkageName: "_Z16fpuop_arithmeticjj", line: 11, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 13, file: !5, scope: !6, type: !7, variables: !10)
51 !5 = !DIFile(filename: "f1.cpp", directory: "x87stackifier")
52 !6 = !DIFile(filename: "f1.cpp", directory: "x87stackifier")
53 !7 = !DISubroutineType(types: !8)
54 !8 = !{null, !9, !9}
55 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned)
56 !10 = !{!11, !12, !13, !18, !20}
57 !11 = !DILocalVariable(name: "", line: 11, arg: 1, scope: !4, file: !6, type: !9)
58 !12 = !DILocalVariable(name: "", line: 11, arg: 2, scope: !4, file: !6, type: !9)
59 !13 = !DILocalVariable(name: "x", line: 14, scope: !4, file: !6, type: !14)
60 !14 = !DIDerivedType(tag: DW_TAG_typedef, name: "fpu_extended", line: 3, file: !5, baseType: !15)
61 !15 = !DIDerivedType(tag: DW_TAG_typedef, name: "fpu_register", line: 2, file: !5, baseType: !16)
62 !16 = !DIDerivedType(tag: DW_TAG_typedef, name: "uae_f64", line: 1, file: !5, baseType: !17)
63 !17 = !DIBasicType(tag: DW_TAG_base_type, name: "double", size: 64, align: 64, encoding: DW_ATE_float)
64 !18 = !DILocalVariable(name: "a", line: 15, scope: !4, file: !6, type: !19)
65 !19 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
66 !20 = !DILocalVariable(name: "value", line: 16, scope: !4, file: !6, type: !14)
67 !21 = !{!22, !23}
68 !22 = !DIGlobalVariable(name: "g1", line: 5, isLocal: false, isDefinition: true, scope: null, file: !6, type: !14, variable: double* @g1)
69 !23 = !DIGlobalVariable(name: "g2", line: 6, isLocal: false, isDefinition: true, scope: null, file: !6, type: !19, variable: i32* @g2)
70 !24 = !{i32 2, !"Dwarf Version", i32 2}
71 !25 = !{i32 2, !"Debug Info Version", i32 3}