search for: bytecoderead

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

...omplaints. However, 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)[0x8645ba...

...llvm::Type const*, 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::PAT...

...form 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):...

...please? Reid. 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...

...u, 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 op...

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

...for verify Because 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...

...;>>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. >>>&g...

Dear All, Would somebody be able to update the Bytecode Format Manual with the 28 bit bytecode version numbers for LLVM 1.4, 1.5, and 1.6 (or point me to the file which defines it so I can look it up)? Thanks. -- John T. -- John T. Criswell Research Programmer University of Illinois at Urbana-Champaign "It's today!" said Piglet. "My favorite day," said Pooh.