25916079ff
The follow extra changes were made to test cases:
Manually making the variable be the actual type instead of a pointer
to avoid pointer-size differences in generic code:
LLVM :: DebugInfo/Generic/2010-03-24-MemberFn.ll
LLVM :: DebugInfo/Generic/2010-04-06-NestedFnDbgInfo.ll
LLVM :: DebugInfo/Generic/2010-05-03-DisableFramePtr.ll
LLVM :: DebugInfo/Generic/varargs.ll
Delete sizing information from debug info for the same reason
(but the presence of the pointer was important to the test case):
LLVM :: DebugInfo/Generic/restrict.ll
LLVM :: DebugInfo/Generic/tu-composite.ll
LLVM :: Linker/type-unique-type-array-a.ll
LLVM :: Linker/type-unique-simple2.ll
Fixing an incorrect DW_OP_deref
LLVM :: DebugInfo/Generic/2010-05-03-OriginDIE.ll
Fixing a missing DW_OP_deref
LLVM :: DebugInfo/Generic/incorrect-variable-debugloc.ll
Additionally, clang should no longer complain during bootstrap should no
longer happen after r257534.
The original commit message was:
```
Summary:
Teach the Verifier to make sure that the storage size given to llvm.dbg.declare
or the value size given to llvm.dbg.value agree with what is declared in
DebugInfo. This is implicitly assumed in a number of passes (e.g. in SROA).
Additionally this catches a number of common mistakes, such as passing a
pointer when a value was intended or vice versa.
One complication comes from stack coloring which modifies the original IR when
it merges allocas in order to make sure that if AA falls back to the IR it gets
the correct result. However, given this new invariant, indiscriminately
replacing one alloca by a different (differently sized one) is no longer valid.
Fix this by just undefing out any use of the alloca in a dbg.declare in this
case.
Additionally, I had to fix a number of test cases. Of particular note:
- I regenerated dbg-changes-codegen-branch-folding.ll from the given source as
it was affected by the bug fixed in r256077
- two-cus-from-same-file.ll was changed to avoid having a variable-typed debug
variable as that would depend on the target, even though this test is
supposed to be generic
- I had to manually declared size/align for reference type. See also the
discussion for D14275/r253186.
- fpstack-debuginstr-kill.ll required changing `double` to `long double`
- most others were just a question of adding OP_deref
```
llvm-svn: 257550
72 lines
3.8 KiB
LLVM
72 lines
3.8 KiB
LLVM
; RUN: llc < %s -mcpu=generic -mtriple=i386-apple-darwin -no-integrated-as
|
|
|
|
@g1 = global double 0.000000e+00, align 8
|
|
@g2 = global i32 0, align 4
|
|
|
|
define void @_Z16fpuop_arithmeticjj(i32, i32) !dbg !4 {
|
|
entry:
|
|
switch i32 undef, label %sw.bb.i1921 [
|
|
]
|
|
|
|
sw.bb261: ; preds = %entry, %entry
|
|
unreachable
|
|
|
|
sw.bb.i1921: ; preds = %if.end504
|
|
switch i32 undef, label %if.end511 [
|
|
i32 1, label %sw.bb27.i
|
|
]
|
|
|
|
sw.bb27.i: ; preds = %sw.bb.i1921
|
|
%conv.i.i1923 = fpext float undef to x86_fp80
|
|
br label %if.end511
|
|
|
|
if.end511: ; preds = %sw.bb27.i, %sw.bb13.i
|
|
%src.sroa.0.0.src.sroa.0.0.2280 = phi x86_fp80 [ %conv.i.i1923, %sw.bb27.i ], [ undef, %sw.bb.i1921 ]
|
|
switch i32 undef, label %sw.bb992 [
|
|
i32 3, label %sw.bb735
|
|
i32 18, label %if.end41.i2210
|
|
]
|
|
|
|
sw.bb735: ; preds = %if.end511
|
|
%2 = call x86_fp80 asm sideeffect "frndint", "={st},0,~{dirflag},~{fpsr},~{flags}"(x86_fp80 %src.sroa.0.0.src.sroa.0.0.2280)
|
|
unreachable
|
|
|
|
if.end41.i2210: ; preds = %if.end511
|
|
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)
|
|
unreachable
|
|
|
|
sw.bb992: ; preds = %if.end511
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.module.flags = !{!24, !25}
|
|
!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)
|
|
!1 = !DIFile(filename: "fpu_ieee.cpp", directory: "x87stackifier")
|
|
!2 = !{}
|
|
!3 = !{!4}
|
|
!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)
|
|
!5 = !DIFile(filename: "f1.cpp", directory: "x87stackifier")
|
|
!6 = !DIFile(filename: "f1.cpp", directory: "x87stackifier")
|
|
!7 = !DISubroutineType(types: !8)
|
|
!8 = !{null, !9, !9}
|
|
!9 = !DIBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned)
|
|
!10 = !{!11, !12, !13, !18, !20}
|
|
!11 = !DILocalVariable(name: "", line: 11, arg: 1, scope: !4, file: !6, type: !9)
|
|
!12 = !DILocalVariable(name: "", line: 11, arg: 2, scope: !4, file: !6, type: !9)
|
|
!13 = !DILocalVariable(name: "x", line: 14, scope: !4, file: !6, type: !14)
|
|
!14 = !DIDerivedType(tag: DW_TAG_typedef, name: "fpu_extended", line: 3, file: !5, baseType: !15)
|
|
!15 = !DIDerivedType(tag: DW_TAG_typedef, name: "fpu_register", line: 2, file: !5, baseType: !16)
|
|
!16 = !DIDerivedType(tag: DW_TAG_typedef, name: "uae_f64", line: 1, file: !5, baseType: !17)
|
|
!17 = !DIBasicType(tag: DW_TAG_base_type, name: "long double", size: 128, align: 128, encoding: DW_ATE_float)
|
|
!18 = !DILocalVariable(name: "a", line: 15, scope: !4, file: !6, type: !19)
|
|
!19 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
|
|
!20 = !DILocalVariable(name: "value", line: 16, scope: !4, file: !6, type: !14)
|
|
!21 = !{!22, !23}
|
|
!22 = !DIGlobalVariable(name: "g1", line: 5, isLocal: false, isDefinition: true, scope: null, file: !6, type: !14, variable: double* @g1)
|
|
!23 = !DIGlobalVariable(name: "g2", line: 6, isLocal: false, isDefinition: true, scope: null, file: !6, type: !19, variable: i32* @g2)
|
|
!24 = !{i32 2, !"Dwarf Version", i32 2}
|
|
!25 = !{i32 2, !"Debug Info Version", i32 3}
|