[llvm] r215161 - Add a separate testcase for a DWARF expression describing a value in a

[David Blaikie]

On Thu, Aug 7, 2014 at 3:44 PM, Adrian Prantl <aprantl at apple.com> wrote:
> Author: adrian
> Date: Thu Aug  7 17:44:34 2014
> New Revision: 215161
>
> URL: http://llvm.org/viewvc/llvm-project?rev=215161&view=rev
> Log:
> Add a separate testcase for a DWARF expression describing a value in a
> subregister.
>
> Added:
>     llvm/trunk/test/DebugInfo/ARM/s-super-register.ll
>
> Added: llvm/trunk/test/DebugInfo/ARM/s-super-register.ll
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/ARM/s-super-register.ll?rev=215161&view=auto
> ==============================================================================
> --- llvm/trunk/test/DebugInfo/ARM/s-super-register.ll (added)
> +++ llvm/trunk/test/DebugInfo/ARM/s-super-register.ll Thu Aug  7 17:44:34 2014
> @@ -0,0 +1,63 @@
> +; RUN: llc < %s - -filetype=obj | llvm-dwarfdump -debug-dump=loc - | FileCheck %s
> +target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32"
> +target triple = "thumbv7-apple-macosx10.6.7"
> +
> +; The S registers on ARM are expressed as pieces of their super-registers in DWARF.
> +;
> +; 0x90   DW_OP_regx of super-register
> +; 0x93   DW_OP_piece
> +; 0x9d   DW_OP_bit_piece
> +; CHECK:            Location description: 90 {{.. .. ((93 ..)|(9d .. ..))}}

You might need a $ in there somewhere to check there are no further
bytes (my mistake when I made the test case changes yesterday,
actually).

> +
> +define void @_Z3foov() optsize ssp {
> +entry:
> +  %call = tail call float @_Z3barv() optsize, !dbg !11
> +  tail call void @llvm.dbg.value(metadata !{float %call}, i64 0, metadata !5), !dbg !11
> +  %call16 = tail call float @_Z2f2v() optsize, !dbg !12
> +  %cmp7 = fcmp olt float %call, %call16, !dbg !12
> +  br i1 %cmp7, label %for.body, label %for.end, !dbg !12
> +
> +for.body:                                         ; preds = %entry, %for.body
> +  %k.08 = phi float [ %inc, %for.body ], [ %call, %entry ]
> +  %call4 = tail call float @_Z2f3f(float %k.08) optsize, !dbg !13
> +  %inc = fadd float %k.08, 1.000000e+00, !dbg !14
> +  %call1 = tail call float @_Z2f2v() optsize, !dbg !12
> +  %cmp = fcmp olt float %inc, %call1, !dbg !12
> +  br i1 %cmp, label %for.body, label %for.end, !dbg !12
> +
> +for.end:                                          ; preds = %for.body, %entry
> +  ret void, !dbg !15
> +}
> +
> +declare float @_Z3barv() optsize
> +
> +declare float @_Z2f2v() optsize
> +
> +declare float @_Z2f3f(float) optsize
> +
> +declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone
> +
> +!llvm.dbg.cu = !{!0}
> +!llvm.module.flags = !{!20}
> +
> +!0 = metadata !{i32 786449, metadata !18, i32 4, metadata !"clang version 3.0 (trunk 130845)", i1 true, metadata !"", i32 0, metadata !19, metadata !19, metadata !16, null,  null, null, i32 1} ; [ DW_TAG_compile_unit ]
> +!1 = metadata !{i32 786478, metadata !18, metadata !2, metadata !"foo", metadata !"foo", metadata !"_Z3foov", i32 5, metadata !3, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, void ()* @_Z3foov, null, null, metadata !17, i32 5} ; [ DW_TAG_subprogram ] [line 5] [def] [foo]
> +!2 = metadata !{i32 786473, metadata !18} ; [ DW_TAG_file_type ]
> +!3 = metadata !{i32 786453, metadata !18, metadata !2, metadata !"", i32 0, i64 0, i64 0, i32 0, i32 0, null, metadata !4, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
> +!4 = metadata !{null}
> +!5 = metadata !{i32 786688, metadata !6, metadata !"k", metadata !2, i32 6, metadata !7, i32 0, null} ; [ DW_TAG_auto_variable ]
> +!6 = metadata !{i32 786443, metadata !18, metadata !1, i32 5, i32 12, i32 0} ; [ DW_TAG_lexical_block ]
> +!7 = metadata !{i32 786468, null, metadata !0, metadata !"float", i32 0, i64 32, i64 32, i64 0, i32 0, i32 4} ; [ DW_TAG_base_type ]
> +!8 = metadata !{i32 786688, metadata !9, metadata !"y", metadata !2, i32 8, metadata !7, i32 0, null} ; [ DW_TAG_auto_variable ]
> +!9 = metadata !{i32 786443, metadata !18, metadata !10, i32 7, i32 25, i32 2} ; [ DW_TAG_lexical_block ]
> +!10 = metadata !{i32 786443, metadata !18, metadata !6, i32 7, i32 3, i32 1} ; [ DW_TAG_lexical_block ]
> +!11 = metadata !{i32 6, i32 18, metadata !6, null}
> +!12 = metadata !{i32 7, i32 3, metadata !6, null}
> +!13 = metadata !{i32 8, i32 20, metadata !9, null}
> +!14 = metadata !{i32 7, i32 20, metadata !10, null}
> +!15 = metadata !{i32 10, i32 1, metadata !6, null}
> +!16 = metadata !{metadata !1}
> +!17 = metadata !{metadata !5, metadata !8}
> +!18 = metadata !{metadata !"k.cc", metadata !"/private/tmp"}
> +!19 = metadata !{i32 0}
> +!20 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits