Displaying 20 results from an estimated 32 matches for "disubroutinetype".
2014 Jul 21
4
[LLVMdev] LTO type uniquing: ODR assertion failure
...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 g...
2016 Jul 26
4
'invalid subroutine type ref' when linking custom metadata
...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!
(Th...
2014 Jul 21
2
[LLVMdev] LTO type uniquing: ODR assertion failure
...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 a...
2016 Jul 27
1
'invalid subroutine type ref' when linking custom metadata
...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....
2016 Feb 16
4
[help] Kaleidoscope build fails after llvm-3.8
...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::IRBu...
2020 Apr 30
2
Mapping a retained DILocalVariable back to its Function
...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, ty...
2020 May 31
2
LLC crash while handling DEBUG info
....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
`DISPFlagOpt...
2017 Jun 19
2
LLVM behavior different depending on function symbol name
...)
!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, colu...
2017 Oct 01
2
load with alignment of 1 crashes from being unaligned
...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:...
2014 Jul 21
2
[LLVMdev] LTO type uniquing: ODR assertion failure
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
2020 May 31
2
LLC crash while handling DEBUG info
...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
> > c...
2020 May 31
2
LLC crash while handling DEBUG info
...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 invali...
2017 Nov 15
2
workaround for debug info bug?
...!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,
a...
2017 Jun 19
2
LLVM behavior different depending on function symbol 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(lin...
2020 Jun 01
2
LLC crash while handling DEBUG info
...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
>...
2017 Jun 19
4
LLVM behavior different depending on function symbol name
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 =
2017 Sep 16
2
assertion triggered since update to llvm 5
...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(ta...
2019 Jan 19
2
What does "preds" mean in a .ll file?
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
2017 Sep 17
2
assertion triggered since update to llvm 5
...(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, fil...
2014 Oct 24
8
[LLVMdev] First-class debug info IR: MDLocation
...: 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: &...