[llvm] r177087 - Test that we emit a DW_AT_location for self captured by a block.
David Blaikie
dblaikie at gmail.com
Thu Mar 14 11:21:30 PDT 2013
On Thu, Mar 14, 2013 at 10:54 AM, Adrian Prantl <aprantl at apple.com> wrote:
> Author: adrian
> Date: Thu Mar 14 12:54:13 2013
> New Revision: 177087
>
> URL: http://llvm.org/viewvc/llvm-project?rev=177087&view=rev
> Log:
> Test that we emit a DW_AT_location for self captured by a block.
> This is the backend part of a CFE test with the same name.
>
> Added:
> llvm/trunk/test/DebugInfo/debug-info-block-captured-self.ll
>
> Added: llvm/trunk/test/DebugInfo/debug-info-block-captured-self.ll
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/debug-info-block-captured-self.ll?rev=177087&view=auto
> ==============================================================================
> --- llvm/trunk/test/DebugInfo/debug-info-block-captured-self.ll (added)
> +++ llvm/trunk/test/DebugInfo/debug-info-block-captured-self.ll Thu Mar 14 12:54:13 2013
> @@ -0,0 +1,105 @@
> +; RUN: llc -mtriple x86_64-apple-darwin -filetype=obj -o %t.o < %s
> +; RUN: llvm-dwarfdump %t.o | FileCheck %s
> +;
> +; Test that DW_AT_location is generated for a captured "self" inside a
> +; block.
> +;
> +; This test is split into two parts, the frontend part can be found at
> +; llvm/tools/clang/test/CodeGenObjC/debug-info-block-captured-self.m
> +;
> +; CHECK: {{.*}}DW_AT_name{{.*}}_block_invoke{{.*}}
> +; CHECK: DW_TAG_variable
> +; CHECK: {{.*}}DW_AT_name{{.*}}"self"{{.*}}
> +; CHECK-NOT: DW_TAG
> +; CHECK: DW_AT_location
> +;
> +; CHECK: {{.*}}DW_AT_name{{.*}}_block_invoke{{.*}}
> +; CHECK: DW_TAG_variable
> +; CHECK: {{.*}}DW_AT_name{{.*}}"self"{{.*}}
> +; CHECK-NOT: DW_TAG
> +; CHECK: DW_AT_location
> +;
> +; Generated (and then reduced) from
You hand reduced the resulting IR? Could you've hand reduced the
source code instead/mostly? It may be best to keep the IR an exact
match for the source to reduce confusion/variance if this ever needs
to be regenerated.
> +; ----------------------------------------------------------------------
> +;
> +; @class T;
> +; @interface S
> +; @end
> +; @interface Mode
> +; -(int) count;
> +; @end
> +; @interface Context
> +; @end
> +; @interface ViewController
> +; @property (nonatomic, readwrite, strong) Context *context;
> +; @end
> +; typedef enum {
> +; Unknown = 0,
> +; } State;
> +; @interface Main : ViewController
> +; {
> +; T * t1;
> +; T * t2;
> +; }
> +; @property(readwrite, nonatomic) State state;
> +; @end
> +; @implementation Main
> +; - (id) initWithContext:(Context *) context
> +; {
> +; t1 = [self.context withBlock:^(id obj){
> +; id *mode1;
> +; t2 = [mode1 withBlock:^(id object){
> +; Mode *mode2 = object;
> +; if ([mode2 count] != 0) {
> +; self.state = 0;
> +; }
> +; }];
> +; }];
> +; }
> +; @end
> +; ----------------------------------------------------------------------
> +; ModuleID = 'llvm/tools/clang/test/CodeGenObjC/debug-info-block-captured-self.m'
> +%0 = type opaque
> +%struct.__block_descriptor = type { i64, i64 }
> +declare void @llvm.dbg.declare(metadata, metadata) #1
> +define internal void @"__24-[Main initWithContext:]_block_invoke"(i8* %.block_descriptor, i8* %obj) #0 {
> + %block = bitcast i8* %.block_descriptor to <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0* }>*, !dbg !84
> + %block.captured-self = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0* }>* %block, i32 0, i32 5, !dbg !84
> + call void @llvm.dbg.declare(metadata !{<{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0* }>* %block}, metadata !86), !dbg !87
> + ret void, !dbg !87
> +}
> +
> +define internal void @"__24-[Main initWithContext:]_block_invoke_2"(i8* %.block_descriptor, i8* %object) #0 {
> + %block = bitcast i8* %.block_descriptor to <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0* }>*, !dbg !103
> + %block.captured-self = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0* }>* %block, i32 0, i32 5, !dbg !103
> + call void @llvm.dbg.declare(metadata !{<{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0* }>* %block}, metadata !105), !dbg !106
> + ret void, !dbg !106
> +}
> +
> +!llvm.dbg.cu = !{!0}
> +!0 = metadata !{i32 786449, i32 0, i32 16, metadata !1, metadata !"clang version 3.3 ", i1 false, metadata !"", i32 2, metadata !2, metadata !4, metadata !23, metadata !15, metadata !""} ; [ DW_TAG_compile_unit ] [llvm/tools/clang/test/CodeGenObjC/debug-info-block-captured-self.m] [DW_LANG_ObjC]
> +!1 = metadata !{i32 786473, metadata !"llvm/tools/clang/test/CodeGenObjC/debug-info-block-captured-self.m", metadata !""} ; [ DW_TAG_file_type ]
> +!2 = metadata !{metadata !3}
> +!3 = metadata !{i32 786436, null, metadata !"", metadata !1, i32 20, i64 32, i64 32, i32 0, i32 0, null, metadata !4, i32 0, i32 0} ; [ DW_TAG_enumeration_type ] [line 20, size 32, align 32, offset 0] [from ]
> +!4 = metadata !{}
> +!15 = metadata !{i32 0}
> +!23 = metadata !{metadata !38, metadata !42}
> +!27 = metadata !{i32 786454, null, metadata !"id", metadata !1, i32 31, i64 0, i64 0, i64 0, i32 0, metadata !28} ; [ DW_TAG_typedef ] [id] [line 31, size 0, align 0, offset 0] [from ]
> +!28 = metadata !{i32 786447, null, metadata !"", null, i32 0, i64 64, i64 64, i64 0, i32 0, metadata !29} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from objc_object]
> +!29 = metadata !{i32 786451, null, metadata !"objc_object", metadata !1, i32 0, i64 0, i64 0, i32 0, i32 0, null, metadata !30, i32 0, null, null} ; [ DW_TAG_structure_type ] [objc_object] [line 0, size 0, align 0, offset 0] [from ]
> +!30 = metadata !{metadata !31}
> +!31 = metadata !{i32 786445, metadata !29, metadata !"isa", metadata !1, i32 0, i64 64, i64 0, i64 0, i32 0, metadata !32} ; [ DW_TAG_member ] [isa] [line 0, size 64, align 0, offset 0] [from ]
> +!32 = metadata !{i32 786447, null, metadata !"", null, i32 0, i64 64, i64 0, i64 0, i32 0, metadata !33} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 0, offset 0] [from objc_class]
> +!33 = metadata !{i32 786451, null, metadata !"objc_class", metadata !1, i32 0, i64 0, i64 0, i32 0, i32 4, null, null, i32 0} ; [ DW_TAG_structure_type ] [objc_class] [line 0, size 0, align 0, offset 0] [fwd] [from ]
> +!34 = metadata !{i32 786451, i32 0, metadata !"Main", metadata !1, i32 23, i64 0, i64 0, i32 0, i32 1092, i32 0, i32 0, i32 16} ; [ DW_TAG_structure_type ] [Main] [line 23, size 0, align 0, offset 0] [artificial] [fwd] [from ]
> +!38 = metadata !{i32 786478, i32 0, metadata !1, metadata !"__24-[Main initWithContext:]_block_invoke", metadata !"__24-[Main initWithContext:]_block_invoke", metadata !"", metadata !1, i32 33, metadata !39, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (i8*, i8*)* @"__24-[Main initWithContext:]_block_invoke", null, null, metadata !15, i32 33} ; [ DW_TAG_subprogram ] [line 33] [local] [def] [__24-[Main initWithContext:]_block_invoke]
> +!39 = metadata !{i32 786453, i32 0, metadata !"", i32 0, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !40, i32 0, i32 0} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
> +!40 = metadata !{null, metadata !41, metadata !27}
> +!41 = metadata !{i32 786447, null, metadata !"", null, i32 0, i64 64, i64 64, i64 0, i32 0, null} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from ]
> +!42 = metadata !{i32 786478, i32 0, metadata !1, metadata !"__24-[Main initWithContext:]_block_invoke_2", metadata !"__24-[Main initWithContext:]_block_invoke_2", metadata !"", metadata !1, i32 35, metadata !39, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (i8*, i8*)* @"__24-[Main initWithContext:]_block_invoke_2", null, null, metadata !15, i32 35} ; [ DW_TAG_subprogram ] [line 35] [local] [def] [__24-[Main initWithContext:]_block_invoke_2]
> +!84 = metadata !{i32 33, i32 0, metadata !38, null}
> +!86 = metadata !{i32 786688, metadata !38, metadata !"self", metadata !1, i32 41, metadata !34, i32 0, i32 0, i64 1, i64 32} ; [ DW_TAG_auto_variable ] [self] [line 41]
> +!87 = metadata !{i32 41, i32 0, metadata !38, null}
> +!103 = metadata !{i32 35, i32 0, metadata !42, null}
> +!105 = metadata !{i32 786688, metadata !42, metadata !"self", metadata !1, i32 40, metadata !34, i32 0, i32 0, i64 1, i64 32} ; [ DW_TAG_auto_variable ] [self] [line 40]
> +!106 = metadata !{i32 40, i32 0, metadata !42, null}
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
More information about the llvm-commits
mailing list