Displaying 9 results from an estimated 9 matches for "parseconstantpoolvalue".
2007 Feb 23
2
[LLVMdev] bytecode reader assertion failure
I have a compiler transform that I have been working on that produces
bytecode that passes the verifier. However, when I try to read that
bytecode back in, I get the assertion failure below.
llvm::BytecodeReader::ParseConstantPoolValue(unsigned int):
Assertion `(!isa<Constant>(Result) ||
!cast<Constant>(Result)->isNullValue()) || !hasImplicitNull(TypeID) &&
"Cannot read null values from bytecode!"' failed.
So, I ran gdb on opt. I was able to get the following information from opt:
(gdb) p...
2007 Feb 23
0
[LLVMdev] bytecode reader assertion failure
...On Thu, 2007-02-22 at 19:47 -0600, Ryan M. Lefever wrote:
> I have a compiler transform that I have been working on that produces
> bytecode that passes the verifier. However, when I try to read that
> bytecode back in, I get the assertion failure below.
>
> llvm::BytecodeReader::ParseConstantPoolValue(unsigned int):
> Assertion `(!isa<Constant>(Result) ||
> !cast<Constant>(Result)->isNullValue()) || !hasImplicitNull(TypeID) &&
> "Cannot read null values from bytecode!"' failed.
>
> So, I ran gdb on opt. I was able to get the following infor...
2007 Feb 23
1
[LLVMdev] bytecode reader assertion failure
...19:47 -0600, Ryan M. Lefever wrote:
>
>>I have a compiler transform that I have been working on that produces
>>bytecode that passes the verifier. However, when I try to read that
>>bytecode back in, I get the assertion failure below.
>>
>>llvm::BytecodeReader::ParseConstantPoolValue(unsigned int):
>>Assertion `(!isa<Constant>(Result) ||
>>!cast<Constant>(Result)->isNullValue()) || !hasImplicitNull(TypeID) &&
>>"Cannot read null values from bytecode!"' failed.
>>
>>So, I ran gdb on opt. I was able to get the...
2007 Feb 22
2
[LLVMdev] opt -verify
...ver, if I then try run "opt -simplifycfg -verify -o
code3.bc code2.bc," I get the assertion failure below. If thought that
the verify option should have made sure that bytecode written to
code2.bc was correct. Am I incorrect?
opt: Reader.cpp:1978: llvm::Value*
llvm::BytecodeReader::ParseConstantPoolValue(unsigned int): Assertion
`(!isa<Constant>(Result) || !cast<Constant>(Result)->isNullValue()) ||
!hasImplicitNull(TypeID) && "Cannot read null values from bytecode!"'
failed.
opt((anonymous namespace)::PrintStackTrace()+0x1a)[0x8645bae]
opt((anonymous namespac...
2007 Feb 22
3
[LLVMdev] opt -verify
...verifier checks the code at #3,
> you lose :(
>
> However, there is hope! Just call "llvm/Analysis/Verifier.h" ->
> verifyModule or verifyFunction explicitly in your pass.
>
> -Chris
>
>> opt: Reader.cpp:1978: llvm::Value*
>> llvm::BytecodeReader::ParseConstantPoolValue(unsigned int): Assertion
>> `(!isa<Constant>(Result) || !cast<Constant>(Result)->isNullValue()) ||
>> !hasImplicitNull(TypeID) && "Cannot read null values from bytecode!"'
>> failed.
>> opt((anonymous namespace)::PrintStackTrace()+0x1a)[0...
2007 Feb 22
0
[LLVMdev] opt -verify
...;>you lose :(
>>
>>However, there is hope! Just call "llvm/Analysis/Verifier.h" ->
>>verifyModule or verifyFunction explicitly in your pass.
>>
>>-Chris
>>
>>
>>>opt: Reader.cpp:1978: llvm::Value*
>>>llvm::BytecodeReader::ParseConstantPoolValue(unsigned int): Assertion
>>>`(!isa<Constant>(Result) || !cast<Constant>(Result)->isNullValue()) ||
>>>!hasImplicitNull(TypeID) && "Cannot read null values from bytecode!"'
>>>failed.
>>>opt((anonymous namespace)::PrintStackTra...
2007 Feb 22
0
[LLVMdev] opt -verify
...ause you'd doing your xform in #4, but verifier checks the code at #3,
you lose :(
However, there is hope! Just call "llvm/Analysis/Verifier.h" ->
verifyModule or verifyFunction explicitly in your pass.
-Chris
> opt: Reader.cpp:1978: llvm::Value*
> llvm::BytecodeReader::ParseConstantPoolValue(unsigned int): Assertion
> `(!isa<Constant>(Result) || !cast<Constant>(Result)->isNullValue()) ||
> !hasImplicitNull(TypeID) && "Cannot read null values from bytecode!"'
> failed.
> opt((anonymous namespace)::PrintStackTrace()+0x1a)[0x8645bae]
> o...
2007 Feb 22
1
[LLVMdev] opt -verify
..., there is hope! Just call "llvm/Analysis/Verifier.h" ->
>>>verifyModule or verifyFunction explicitly in your pass.
>>>
>>>-Chris
>>>
>>>
>>>
>>>>opt: Reader.cpp:1978: llvm::Value*
>>>>llvm::BytecodeReader::ParseConstantPoolValue(unsigned int): Assertion
>>>>`(!isa<Constant>(Result) || !cast<Constant>(Result)->isNullValue()) ||
>>>>!hasImplicitNull(TypeID) && "Cannot read null values from bytecode!"'
>>>>failed.
>>>>opt((anonymous namespace...
2006 May 09
1
[LLVMdev] Memory leaks in LLVM
...*, std::pair<unsigned,
std::vector<llvm::Constant*, std::allocator<llvm::Constant*> > > const&) (
Constants.cpp:639)
==10132== by 0x8494CA1: llvm::ConstantExpr::getCast(llvm::Constant*,
llvm::Type const*) (Constants.cpp:1262)
==10132== by 0x83E23D9:
llvm::BytecodeReader::ParseConstantPoolValue(unsigned) (Reader.cpp :1476)
==10132== by 0x83E44E0:
llvm::BytecodeReader::ParseConstantPool(std::vector<llvm::BytecodeReader::ValueList*,
std::allocator<llvm::BytecodeReader::ValueList*> >&,
std::vector<llvm::PATypeHolder, std::allocator<llvm::PATypeHolder> >&, b...