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) print Result $7 = (class llvm::Constant *) 0x96ad9d0 (gdb) call Result->dump() [41 x sbyte *] zeroinitializer (gdb) print hasImplicitNull(TypeID) $5 = true Does anyone have any insight into what the problem is or how to go about fixing it? It seems diffcult to get context for what is going on, since the bytecode has not yet been fully read. Any help would be greatly appreciated! The full output of the assertion failure is given below: opt -simplifycfg -deadargelim -globaldce -verify -f -o /dev/null tmp.bc 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 namespace)::SignalHandler(int)+0x112)[0x8645e74] [0xb87420] /lib/libc.so.6(abort+0x101)[0x4cab64f1] /lib/libc.so.6(__assert_fail+0xfd)[0x4caae859] opt(llvm::BytecodeReader::ParseConstantPoolValue(unsigned int)+0x1b31)[0x856e825] opt(llvm::BytecodeReader::ParseConstantPool(std::vector<llvm::BytecodeReader::ValueList*, std::allocator<llvm::BytecodeReader::ValueList*> >&, std::vector<llvm::PATypeHolder, std::allocator<llvm::PATypeHolder> >&, bool)+0x147)[0x856e985] opt(llvm::BytecodeReader::ParseModule()+0x188)[0x856edfe] opt(llvm::BytecodeReader::ParseBytecode(unsigned char const*, unsigned int, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >*)+0x539)[0x856f6c1] opt((anonymous namespace)::BytecodeFileReader::read(std::basic_string<char, std::char_traits<char>, std::allocator<char> >*)+0xeb)[0x855b569] opt(llvm::getBytecodeModuleProvider(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >*, llvm::BytecodeHandler*)+0x93)[0x855b60b] opt(llvm::ParseBytecodeFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >*)+0x20)[0x855b88e] opt(main+0x7e)[0x8378c90] /lib/libc.so.6(__libc_start_main+0xdc)[0x4caa24e4] opt(__gxx_personality_v0+0x149)[0x836bac1] Regards, Ryan
Ryan, This looks like a bug. Could you file it, 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 to get the following information from opt: > > (gdb) print Result > $7 = (class llvm::Constant *) 0x96ad9d0 > (gdb) call Result->dump() > [41 x sbyte *] zeroinitializer > (gdb) print hasImplicitNull(TypeID) > $5 = true > > Does anyone have any insight into what the problem is or how to go about > fixing it? It seems diffcult to get context for what is going on, > since the bytecode has not yet been fully read. Any help would be > greatly appreciated! > > The full output of the assertion failure is given below: > > opt -simplifycfg -deadargelim -globaldce -verify -f -o /dev/null tmp.bc > 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 namespace)::SignalHandler(int)+0x112)[0x8645e74] > [0xb87420] > /lib/libc.so.6(abort+0x101)[0x4cab64f1] > /lib/libc.so.6(__assert_fail+0xfd)[0x4caae859] > opt(llvm::BytecodeReader::ParseConstantPoolValue(unsigned > int)+0x1b31)[0x856e825] > opt(llvm::BytecodeReader::ParseConstantPool(std::vector<llvm::BytecodeReader::ValueList*, > std::allocator<llvm::BytecodeReader::ValueList*> >&, > std::vector<llvm::PATypeHolder, std::allocator<llvm::PATypeHolder> >&, > bool)+0x147)[0x856e985] > opt(llvm::BytecodeReader::ParseModule()+0x188)[0x856edfe] > opt(llvm::BytecodeReader::ParseBytecode(unsigned char const*, unsigned > int, std::basic_string<char, std::char_traits<char>, > std::allocator<char> > const&, std::basic_string<char, > std::char_traits<char>, std::allocator<char> >*)+0x539)[0x856f6c1] > opt((anonymous > namespace)::BytecodeFileReader::read(std::basic_string<char, > std::char_traits<char>, std::allocator<char> >*)+0xeb)[0x855b569] > opt(llvm::getBytecodeModuleProvider(std::basic_string<char, > std::char_traits<char>, std::allocator<char> > const&, > std::basic_string<char, std::char_traits<char>, std::allocator<char> >*, > llvm::BytecodeHandler*)+0x93)[0x855b60b] > opt(llvm::ParseBytecodeFile(std::basic_string<char, > std::char_traits<char>, std::allocator<char> > const&, > std::basic_string<char, std::char_traits<char>, std::allocator<char> > >*)+0x20)[0x855b88e] > opt(main+0x7e)[0x8378c90] > /lib/libc.so.6(__libc_start_main+0xdc)[0x4caa24e4] > opt(__gxx_personality_v0+0x149)[0x836bac1] > > > Regards, > Ryan > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
I am still diagnosing the cause of the assertion failure and will submit a bug when I better understand the problem. Reid Spencer wrote:> Ryan, > > This looks like a bug. Could you file it, 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 to get the following information from opt: >> >>(gdb) print Result >>$7 = (class llvm::Constant *) 0x96ad9d0 >>(gdb) call Result->dump() >> [41 x sbyte *] zeroinitializer >>(gdb) print hasImplicitNull(TypeID) >>$5 = true >> >>Does anyone have any insight into what the problem is or how to go about >> fixing it? It seems diffcult to get context for what is going on, >>since the bytecode has not yet been fully read. Any help would be >>greatly appreciated! >> >>The full output of the assertion failure is given below: >> >>opt -simplifycfg -deadargelim -globaldce -verify -f -o /dev/null tmp.bc >>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 namespace)::SignalHandler(int)+0x112)[0x8645e74] >>[0xb87420] >>/lib/libc.so.6(abort+0x101)[0x4cab64f1] >>/lib/libc.so.6(__assert_fail+0xfd)[0x4caae859] >>opt(llvm::BytecodeReader::ParseConstantPoolValue(unsigned >>int)+0x1b31)[0x856e825] >>opt(llvm::BytecodeReader::ParseConstantPool(std::vector<llvm::BytecodeReader::ValueList*, >>std::allocator<llvm::BytecodeReader::ValueList*> >&, >>std::vector<llvm::PATypeHolder, std::allocator<llvm::PATypeHolder> >&, >>bool)+0x147)[0x856e985] >>opt(llvm::BytecodeReader::ParseModule()+0x188)[0x856edfe] >>opt(llvm::BytecodeReader::ParseBytecode(unsigned char const*, unsigned >>int, std::basic_string<char, std::char_traits<char>, >>std::allocator<char> > const&, std::basic_string<char, >>std::char_traits<char>, std::allocator<char> >*)+0x539)[0x856f6c1] >>opt((anonymous >>namespace)::BytecodeFileReader::read(std::basic_string<char, >>std::char_traits<char>, std::allocator<char> >*)+0xeb)[0x855b569] >>opt(llvm::getBytecodeModuleProvider(std::basic_string<char, >>std::char_traits<char>, std::allocator<char> > const&, >>std::basic_string<char, std::char_traits<char>, std::allocator<char> >*, >>llvm::BytecodeHandler*)+0x93)[0x855b60b] >>opt(llvm::ParseBytecodeFile(std::basic_string<char, >>std::char_traits<char>, std::allocator<char> > const&, >>std::basic_string<char, std::char_traits<char>, std::allocator<char> >> >*)+0x20)[0x855b88e] >>opt(main+0x7e)[0x8378c90] >>/lib/libc.so.6(__libc_start_main+0xdc)[0x4caa24e4] >>opt(__gxx_personality_v0+0x149)[0x836bac1] >> >> >>Regards, >>Ryan >>_______________________________________________ >>LLVM Developers mailing list >>LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >>http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev-- Ryan M. Lefever [http://www.ews.uiuc.edu/~lefever]