search for: parseconstantpool

...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 nam...

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: (g...

...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()+0x...

...;>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)::PrintSta...

...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] &...

...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...

...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...

..., 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 name...

...*, 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> >&am...

...n /mounts/apoc/disks/0/localhome/lattner/cvs/llvm/tools/Debug/dis) ==6220== by 0x807EF26: Constant::mutateReferences(Value*, Value*) (Constants.cpp:700) ==6220== by 0x80544DA: BytecodeParser::ResolveReferencesToValue(Value*, unsigned) (Reader.cpp:265) ==6220== by 0x804F7A6: BytecodeParser::ParseConstantPool(unsigned char const*&, unsigned char const*, std::vector<std::vector<V Which, in this case, brought me right to my error. :) -Chris http://llvm.cs.uiuc.edu/ http://www.nondot.org/~sabre/Projects/