mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-28 19:31:58 +00:00
f40d578d7e
Also remove checking of llvm.dbg.sp since it is not used in generating dwarf.
Current state of Finder:
DebugInfoFinder tries to list all debug info MDNodes used in a module. To
list debug info MDNodes used by an instruction, DebugInfoFinder provides
processDeclare, processValue and processLocation to handle DbgDeclareInst,
DbgValueInst and DbgLoc attached to instructions. processModule will go
through all DICompileUnits in llvm.dbg.cu and list debug info MDNodes
used by the CUs.
TODO:
1> Finder has a list of CUs, SPs, Types, Scopes and global variables. We
need to add a list of variables that are used by DbgDeclareInst and
DbgValueInst.
2> MDString fields should be null or isa<MDString> and MDNode fields should be
null or isa<MDNode>. We currently use empty string or int 0 to represent null.
3> Go though Verify functions and make sure that they check field types.
4> Clean up existing testing cases to remove llvm.dbg.sp and make sure each
testing case has a llvm.dbg.cu.
Re-apply r187609 with fix to pass ocaml binding. vmcore.ml generates a debug
location with scope being metadata !{}, in verifier we treat this as a null
scope.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187812 91177308-0d34-0410-b5e6-96231b3b80d8
51 lines
3.3 KiB
LLVM
51 lines
3.3 KiB
LLVM
; RUN: opt < %s -mem2reg -S | FileCheck %s
|
|
|
|
define double @testfunc(i32 %i, double %j) nounwind ssp {
|
|
entry:
|
|
%i_addr = alloca i32 ; <i32*> [#uses=2]
|
|
%j_addr = alloca double ; <double*> [#uses=2]
|
|
%retval = alloca double ; <double*> [#uses=2]
|
|
%0 = alloca double ; <double*> [#uses=2]
|
|
%"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
|
|
call void @llvm.dbg.declare(metadata !{i32* %i_addr}, metadata !0), !dbg !8
|
|
; CHECK: call void @llvm.dbg.value(metadata !{i32 %i}, i64 0, metadata ![[IVAR:[0-9]*]])
|
|
; CHECK: call void @llvm.dbg.value(metadata !{double %j}, i64 0, metadata ![[JVAR:[0-9]*]])
|
|
; CHECK: ![[IVAR]] = {{.*}} ; [ DW_TAG_arg_variable ] [i]
|
|
; CHECK: ![[JVAR]] = {{.*}} ; [ DW_TAG_arg_variable ] [j]
|
|
store i32 %i, i32* %i_addr
|
|
call void @llvm.dbg.declare(metadata !{double* %j_addr}, metadata !9), !dbg !8
|
|
store double %j, double* %j_addr
|
|
%1 = load i32* %i_addr, align 4, !dbg !10 ; <i32> [#uses=1]
|
|
%2 = add nsw i32 %1, 1, !dbg !10 ; <i32> [#uses=1]
|
|
%3 = sitofp i32 %2 to double, !dbg !10 ; <double> [#uses=1]
|
|
%4 = load double* %j_addr, align 8, !dbg !10 ; <double> [#uses=1]
|
|
%5 = fadd double %3, %4, !dbg !10 ; <double> [#uses=1]
|
|
store double %5, double* %0, align 8, !dbg !10
|
|
%6 = load double* %0, align 8, !dbg !10 ; <double> [#uses=1]
|
|
store double %6, double* %retval, align 8, !dbg !10
|
|
br label %return, !dbg !10
|
|
|
|
return: ; preds = %entry
|
|
%retval1 = load double* %retval, !dbg !10 ; <double> [#uses=1]
|
|
ret double %retval1, !dbg !10
|
|
}
|
|
|
|
declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone
|
|
|
|
!llvm.dbg.cu = !{!3}
|
|
|
|
!0 = metadata !{i32 786689, metadata !1, metadata !"i", metadata !2, i32 2, metadata !7, i32 0, null} ; [ DW_TAG_arg_variable ]
|
|
!1 = metadata !{i32 786478, metadata !12, metadata !2, metadata !"testfunc", metadata !"testfunc", metadata !"testfunc", i32 2, metadata !4, i1 false, i1 true, i32 0, i32 0, null, i32 0, i1 false, double (i32, double)* @testfunc, null, null, null, i32 2} ; [ DW_TAG_subprogram ]
|
|
!2 = metadata !{i32 786473, metadata !12} ; [ DW_TAG_file_type ]
|
|
!3 = metadata !{i32 786449, metadata !12, i32 1, metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", i1 true, metadata !"", i32 0, metadata !13, metadata !13, null, null, null, metadata !""} ; [ DW_TAG_compile_unit ]
|
|
!4 = metadata !{i32 786453, metadata !12, metadata !2, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !5, i32 0, null} ; [ DW_TAG_subroutine_type ]
|
|
!5 = metadata !{metadata !6, metadata !7, metadata !6}
|
|
!6 = metadata !{i32 786468, metadata !12, metadata !2, metadata !"double", i32 0, i64 64, i64 64, i64 0, i32 0, i32 4} ; [ DW_TAG_base_type ]
|
|
!7 = metadata !{i32 786468, metadata !12, metadata !2, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ]
|
|
!8 = metadata !{i32 2, i32 0, metadata !1, null}
|
|
!9 = metadata !{i32 786689, metadata !1, metadata !"j", metadata !2, i32 2, metadata !6, i32 0, null} ; [ DW_TAG_arg_variable ]
|
|
!10 = metadata !{i32 3, i32 0, metadata !11, null}
|
|
!11 = metadata !{i32 786443, metadata !12, metadata !1, i32 2, i32 0, i32 0} ; [ DW_TAG_lexical_block ]
|
|
!12 = metadata !{metadata !"testfunc.c", metadata !"/tmp"}
|
|
!13 = metadata !{i32 0}
|