[LLVMdev] llvm-dis fails to parse bytecode emitted by clang

[Xinfinity]

Hi,

For the first problem, try 
clang -S -emit-llvm test.c -o test.ll
you should get the llvm IR and you don't need to use llvm-dis. Although I
have tried your example with the exact commands and source code you posted
and it worked just fine for me. I also use clang and LLVM 2.8 compiled from
sources.

For the second problem, suppress -emit-llvm, since you want the executable,
not an object file:
clang test.c -o test.

Hope this helps,
Alexandra

Lorenzo De Carli-3 wrote:
> 
> Hi,
> 
> I am trying to generate LLVM bytecode using CLANG and I ran into the
> following problem. If I run clang with the -emit-llvm option and then
> try to get a textual representation of the output using llvm-dis, the
> latter crashes because of a failed assertion in BitCodeReader.cpp,
> mentioning a "Type mismatch in value table" (the exact error message
> is appended at the end of this email). However, if I generate the
> bytecode from the same source using llvm-gcc instead of clang,
> llvm-dis works fine.
> 
> I am also experiencing another (potentially unrelated problem). If I
> try to run clang without the "-c" option (i.e. to generate an
> executable instead of an object file) it crashes emitting the message
> " clang: error: 'x86_64-unknown-linux-gnu': unable to pass LLVM
> bit-code files to linker". Output for this problem is also attached.
> 
> Could anyone shed some light on those problem? I am using CLANG/LLVM
> 2.8 compiled from source. The test program I am trying to compile is
> simply:
> 
> int main()
> {
>   return 0;
> }
> 
> 
> Thanks,
> Lorenzo De Carli
> 
> Output for problem #1:
> $ clang -c -emit-llvm test.c -o test.bc
> $ llvm-dis test.bc
> llvm-dis: BitcodeReader.cpp:205: llvm::Value*
> llvm::BitcodeReaderValueList::getValueFwdRef(unsigned int, const
> llvm::Type*): Assertion `(Ty == 0 || Ty == V->getType()) && "Type
> mismatch in value table!"' failed.
> 0   llvm-dis  0x00000000006131c6
> 1   llvm-dis  0x0000000000613502
> 2   libc.so.6 0x00000039cf4302d0
> 3   libc.so.6 0x00000039cf430265 gsignal + 53
> 4   libc.so.6 0x00000039cf431d10 abort + 272
> 5   libc.so.6 0x00000039cf4296e6 __assert_fail + 246
> 6   llvm-dis  0x000000000051005b
> llvm::BitcodeReaderValueList::getValueFwdRef(unsigned int, llvm::Type
> const*) + 173
> 7   llvm-dis  0x000000000052e574
> llvm::BitcodeReader::getFnValueByID(unsigned int, llvm::Type const*) +
> 42
> 8   llvm-dis  0x000000000051482b
> llvm::BitcodeReader::ParseFunctionBody(llvm::Function*) + 11371
> 9   llvm-dis  0x000000000051574a
> llvm::BitcodeReader::materializeFunction(llvm::Function*,
> std::string*) + 284
> 10  llvm-dis  0x000000000050ddca
> llvm::BitcodeReader::materializeModule(std::string*) + 210
> 11  llvm-dis  0x00000000005171b2
> llvm::ParseBitcodeFile(llvm::MemoryBuffer*, std::string*) + 74
> 12  llvm-dis  0x000000000050b894 main + 160
> 13  libc.so.6 0x00000039cf41d994 __libc_start_main + 244
> 14  llvm-dis  0x000000000050b569 __gxx_personality_v0 + 625
> Aborted
> 
> Output for problem #2:
> $ clang -emit-llvm -c test.c [WORKS FINE]
> $ clang -emit-llvm test.c
> clang: error: 'x86_64-unknown-linux-gnu': unable to pass LLVM bit-code
> files to linker
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
> 
> 

-- 
View this message in context: http://old.nabble.com/llvm-dis-fails-to-parse-bytecode-emitted-by-clang-tp30052324p30055357.html
Sent from the LLVM - Dev mailing list archive at Nabble.com.