search for: disubroutinetyp

...gt; > The elements of getTypeArray() are DISubranges, even though the function is > called getTypeArray :) Yeah, that seems pretty bogus. They could use a separate type with its own array handling, perhaps. > >> >> >> > We can fix that by extending DICompositeType to DISubroutineType and >> > only >> > DISubroutineType::getTypeArray() will return DITypeArray. Should it be a composite type at all? (I haven't looked/thought about this much, but figure it's worth asking - since DISubroutineType would still be a DICompositeType and DICompositeType's...

...1 = !DIFile(filename: "x.c", directory: "/tmp") !17 = !{i32 2, !"Dwarf Version", i32 4} !18 = !{i32 2, !"Debug Info Version", i32 3} !20 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 92, type: !21, unit: !0) !21 = !DISubroutineType(types: !22) !22 = !{null} !23 = !{} > llvm-link -o out a.ll b.ll invalid subroutine type ref !5 = !DISubroutineType(types: !0) !0 = !{void ()* @a} void ()* @a All DICompileUnits must be listed in llvm.dbg.cu llvm-link: error: linked module is broken! (T...

...y more complicated than I thought, not all DICompositeType's > getTypeArray() can return an array of DITypeRefs. For example, > getTypeArray() of ArrayType and VectorType can not return an array of > DITypeRefs. Why can't they? > We can fix that by extending DICompositeType to DISubroutineType and only > DISubroutineType::getTypeArray() will return DITypeArray. > Even for SubroutineType, elements of the type array can be unspecified > parameters which can't be DITypeRefs. Again - I'm just missing why this is the case. DITypeRefs can be direct references to types (such...

...x.c", directory: "/tmp") >> !17 = !{i32 2, !"Dwarf Version", i32 4} >> !18 = !{i32 2, !"Debug Info Version", i32 3} >> !20 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 92, type: !21, unit: !0) >> !21 = !DISubroutineType(types: !22) >> !22 = !{null} >> !23 = !{} >> >>> llvm-link -o out a.ll b.ll >> invalid subroutine type ref >> !5 = !DISubroutineType(types: !0) >> !0 = !{void ()* @a} >> void ()* @a >> All DICompileUnits must be listed in llvm...

...lder, llvm::IRBuilderDefaultInserter<true> >::CreateFCmp(llvm::CmpInst::Predicate, llvm::Value*, llvm::Value*, llvm::Twine const&, llvm::MDNode*) in toy-1f302b.o "llvm::DIBuilder::createFunction(llvm::DIScope*, llvm::StringRef, llvm::StringRef, llvm::DIFile*, unsigned int, llvm::DISubroutineType*, bool, bool, unsigned int, unsigned int, bool, llvm::MDTupleTypedArrayWrapper<llvm::DITemplateParameter>, llvm::DISubprogram*)", referenced from: (anonymous namespace)::FunctionAST::codegen() in toy-1f302b.o "vtable for llvm::PHINode", referenced from: llvm::IRB...

...locals in this func } With the corresponding debug nodes: !13 = distinct !DISubprogram(name: "foobar", scope: !1, file: !1, line: 7, type: !14, isLocal: false, isDefinition: true, scopeLine: 7, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !16) !14 = !DISubroutineType(types: !15) !15 = !{!4, !4} !16 = !{!17, !18} !17 = !DILocalVariable(name: "x", arg: 1, scope: !13, file: !1, line: 7, type: !4) ; this one in particular, since it's a non-argument local !18 = !DILocalVariable(name: "y", scope: !13, file: !1, line: 13, t...

....com/llvm/llvm-project 9e0b52e2e68412a9a2add18697f4246e5e5ee5e3)"} !7 = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2) !8 = !DISubroutineType(types: !9) !9 = !{null} !10 = !DILocation(line: 2, column: 1, scope: !7) ----------- Now, let's say, in the above IR file, I intentionally make debug info metadata, a kind of invalid, by removing the field 'unit` and by changing the field `spFlags` from `DISPFlagDefinition` to `DISPFlagOp...

...) !16 = distinct !DISubprogram(name: "do_test", scope: !17, file: !17, line: 46, type: !18, isLocal: false, isDefinition: true, scopeLine: 46, isOptimized: true, unit: !1, variables: !20) !17 = !DIFile(filename: "test.zig", directory: "/home/andy/dev/zig/build") !18 = !DISubroutineType(types: !19) !19 = !{!15} !20 = !{} !21 = !DILocation(line: 47, column: 16, scope: !22) !22 = distinct !DILexicalBlock(scope: !16, file: !17, line: 46, column: 29) !23 = !DILocation(line: 47, column: 36, scope: !22) !24 = !DILocation(line: 47, column: 27, scope: !22) !25 = !DILocation(line: 47, col...

...ue) !60 = distinct !DISubprogram(name: "panic", scope: !61, file: !61, line: 47, type: !62, isLocal: true, isDefinition: true, scopeLine: 47, isOptimized: false, unit: !1, variables: !73) !61 = !DIFile(filename: "test.zig", directory: "/home/andy/dev/zig/build") !62 = !DISubroutineType(types: !63) !63 = !{!64, !65} !64 = !DIBasicType(name: "void", encoding: DW_ATE_unsigned) !65 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&[]const u8", baseType: !66, size: 64, align: 64) !66 = !DICompositeType(tag: DW_TAG_structure_type, name: "[]u8", size:...

On Mon, Jul 21, 2014 at 10:39 AM, Manman Ren <manman.ren at gmail.com> wrote: > > > > On Mon, Jul 14, 2014 at 11:32 AM, Manman Ren <manman.ren at gmail.com> wrote: >> >> >> We still have access to types via MDNodes directly and the assertion that >> assumes all accesses to DITypes are accessing the resolved DIType will fire >> >> i.e

...4246e5e5ee5e3)"} > > !7 = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", > > scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: > > DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, > > retainedNodes: !2) > > !8 = !DISubroutineType(types: !9) > > !9 = !{null} > > !10 = !DILocation(line: 2, column: 1, scope: !7) > > ----------- > > > > Now, let's say, in the above IR file, I intentionally make debug info > > metadata, a kind of invalid, by removing the field 'unit` and by > >...

...distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", > >> > scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: > >> > DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, > >> > retainedNodes: !2) > >> > !8 = !DISubroutineType(types: !9) > >> > !9 = !{null} > >> > !10 = !DILocation(line: 2, column: 1, scope: !7) > >> > ----------- > >> > > >> > Now, let's say, in the above IR file, I intentionally make debug info > >> > metadata, a kind of inval...

...!3 = !{} !4 = distinct !DISubprogram(name: "panic", scope: !5, file: !5, line: 10, type: !6, isLocal: true, isDefinition: true, scopeLine: 10, isOptimized: false, unit: !1, variables: !17) !5 = !DIFile(filename: "test.zig", directory: "/home/andy/dev/zig/build") !6 = !DISubroutineType(types: !7) !7 = !{!8, !9} !8 = !DIBasicType(name: "void", encoding: DW_ATE_unsigned) !9 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&[]const u8", baseType: !10, size: 64, align: 64) !10 = !DICompositeType(tag: DW_TAG_structure_type, name: "[]u8", size: 128,...

..."do_test", scope: !17, file: !17, >> line: 46, type: !18, isLocal: false, isDefinition: true, scopeLine: 46, >> isOptimized: true, unit: !1, variables: !20) >> !17 = !DIFile(filename: "test.zig", directory: "/home/andy/dev/zig/build") >> !18 = !DISubroutineType(types: !19) >> !19 = !{!15} >> !20 = !{} >> !21 = !DILocation(line: 47, column: 16, scope: !22) >> !22 = distinct !DILexicalBlock(scope: !16, file: !17, line: 46, column: >> 29) >> !23 = !DILocation(line: 47, column: 36, scope: !22) >> !24 = !DILocation(li...

...foo", linkageName: "_Z3foov", > >> >> > scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: > >> >> > DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, > >> >> > retainedNodes: !2) > >> >> > !8 = !DISubroutineType(types: !9) > >> >> > !9 = !{null} > >> >> > !10 = !DILocation(line: 2, column: 1, scope: !7) > >> >> > ----------- > >> >> > > >> >> > Now, let's say, in the above IR file, I intentionally make debug >...

Greetings, I have a Zig implementation of ceil which is emitted into LLVM IR like this: ; Function Attrs: nobuiltin nounwind define internal fastcc float @ceil(float) unnamed_addr #3 !dbg !644 { Entry: %x = alloca float, align 4 store float %0, float* %x call void @llvm.dbg.declare(metadata float* %x, metadata !649, metadata !494), !dbg !651 %1 = load float, float* %x, !dbg !652 %2 =

...DW_ATE_boolean) !16 = distinct !DISubprogram(name: "entry", scope: !17, file: !17, type: !18, isLocal: false, isDefinition: true, isOptimized: true, unit: !1, variables: !21) !17 = !DIFile(filename: "test.zig", directory: "/home/andy/dev/zig/build-llvm5-debug") !18 = !DISubroutineType(types: !19) !19 = !{!20} !20 = !DIBasicType(name: "void", encoding: DW_ATE_unsigned) !21 = !{!22} !22 = !DILocalVariable(name: "bytes", scope: !23, file: !17, line: 2, type: !24) !23 = distinct !DILexicalBlock(scope: !16, file: !17, line: 1, column: 19) !24 = !DICompositeType(t...

Hi, I see things like this. What does it mean? Is it documented somewhere? Thanks. ; preds = %for.body https://llvm.org/docs/LangRef.html ; <label>:91: ; preds = %88 %92 = load i8**, i8*** @glob_complete_word.matches, align 8, !dbg !99798 %93 = load i32, i32* @glob_complete_word.ind, align 4, !dbg !99799 %94 = sext i32 %93 to i64, !dbg !99798

...(name: "entry", scope: !17, file: !17, type: >> !18, isLocal: false, isDefinition: true, isOptimized: true, unit: !1, >> variables: !21) >> !17 = !DIFile(filename: "test.zig", directory: >> "/home/andy/dev/zig/build-llvm5-debug") >> !18 = !DISubroutineType(types: !19) >> !19 = !{!20} >> !20 = !DIBasicType(name: "void", encoding: DW_ATE_unsigned) >> !21 = !{!22} >> !22 = !DILocalVariable(name: "bytes", scope: !23, file: !17, line: 2, >> type: !24) >> !23 = distinct !DILexicalBlock(scope: !16, fi...

...: 16) !7 = metadata DIMember(line: 1, file: !1, type: !3, name: "a", size: 16, align: 16, context: !6) !8 = metadata DIMember(line: 1, file: !1, type: !3, name: "b", size: 16, align: 16, context: !6) !9 = metadata DISubroutineType(args: [ !5, !6 ]) !10 = metadata DICompileUnit(file: !0, language: 4, kind: FullDebug, producer: "clang version 3.6.0 ", retainedUniqueTypes: [ !6 ]) !11 = metadata DISubprogram(name: "foo", linkageName:...