Information generated by Bugpoint

Hi,all

I ran my generated whole-program bitcode file which performs as a bodytrack tool, it can give me the right result but with a stack dump before it exsits

Update Error : Model observation failed for time : 1
Error loading observation data
terminate called after throwing an instance of ‘std::bad_cast’
what(): std::bad_cast
0 lli 0x08b713d2
1 lli 0x08b71247
2 0x00d0b400 __kernel_sigreturn + 0
3 0x00d0b424 __kernel_vsyscall + 16
4 libc.so.6 0x00a6d7c1 gsignal + 81
5 libc.so.6 0x00a6f092 abort + 386
6 libstdc++.so.6 0x020b944f __gnu_cxx::__verbose_terminate_handler() + 335
7 libstdc++.so.6 0x020b7385
8 libstdc++.so.6 0x020b73c2
9 libstdc++.so.6 0x020b7501
10 libstdc++.so.6 0x020b5f05
11 libstdc++.so.6 0x0012c0d6
12 libstdc++.so.6 0x020e51e8 vtable for std::basic_filebuf<char, std::char_traits > + 8
Stack dump:
0. Program arguments: lli -load=/usr/lib/libm.so bodytrack.bc …/…/…/inputs/sequenceB_1/ 4 260 3000 1

I use Bugpoint to check it , Bugpoint gives me the following information:

Read input file : ‘bodytrack.bc’
*** All input ok
Initializing execution environment: Found gcc: /usr/lib/ccache/gcc
Running the code generator to test for a crash: *** Debugging code generator crash!

Error running tool:
/usr/local/bin/llc -o bugpoint-test-program.bc.cbe.c -march=c -f bugpoint-test-program.bc
llc: CBackend.cpp:487: llvm::raw_ostream&::CWriter::printSimpleType(llvm::formatted_raw_ostream&, const llvm::Type*, bool, const std::string&): Assertion `NumBits <= 128 && “Bit widths > 128 not implemented yet”’ failed.
0 llc 0x09017572
1 llc 0x090173e7
2 0x0044a400 __kernel_sigreturn + 0
3 0x0044a424 __kernel_vsyscall + 16
4 libc.so.6 0x00a6d7c1 gsignal + 81
5 libc.so.6 0x00a6f092 abort + 386
6 libc.so.6 0x00a668ee __assert_fail + 238
7 llc 0x0854af1a
8 llc 0x0854b682
9 llc 0x0854be09
10 llc 0x0854d40b
11 llc 0x08555e45
12 llc 0x0855e860
13 llc 0x0855e4fe
14 llc 0x0855dfb6
15 llc 0x0854fc0a
16 llc 0x0854fcb2
17 llc 0x0854fdc7
18 llc 0x0855cab3
19 llc 0x0855cbea
20 llc 0x0855e3ac
21 llc 0x0855de8b
22 llc 0x0854fc0a
23 llc 0x085544bf
24 llc 0x085541fd
25 llc 0x085540ae
26 llc 0x08549d47
27 llc 0x08f93f86 llvm::FPPassManager::runOnFunction(llvm::Function&) + 290
28 llc 0x08f94128 llvm::FPPassManager::runOnModule(llvm::Module&) + 110
29 llc 0x08f94407 llvm::MPPassManager::runOnModule(llvm::Module&) + 385
30 llc 0x08f948b4 llvm::PassManagerImpl::run(llvm::Module&) + 122
31 llc 0x08f94b99 llvm::PassManager::run(llvm::Module&) + 39
32 llc 0x084c4ed1 main + 2180
33 libc.so.6 0x00a58a66 __libc_start_main + 230
34 llc 0x084c3d41
Stack dump:
0. Program arguments: /usr/local/bin/llc -o bugpoint-test-program.bc.cbe.c -march=c -f bugpoint-test-program.bc

  1. Running pass ‘Function Pass Manager’ on module ‘bugpoint-test-program.bc’.
  2. Running pass ‘C backend’ on function ‘@_ZN12BodyGeometryC1Ev

Checking to see if we can delete global inits:

What does this information mean?

(the ELF executable can be run correctly and even I link the generated object files together one by one manually, the wrong is still there)

Is a bug in LLVM??

Nan

Hello

What does this information mean?

As written in the assertion - C backend does not support arbitrary
bitwidth integers.

Hi Nan Zhu,

I use Bugpoint to check it , Bugpoint gives me the following information:

Read input file : 'bodytrack.bc'
*** All input ok
Initializing execution environment: Found gcc: /usr/lib/ccache/gcc
Running the code generator to test for a crash: <cbe>*** Debugging code generator crash!

Error running tool:
  /usr/local/bin/llc -o bugpoint-test-program.bc.cbe.c -march=c -f bugpoint-test-program.bc
llc: CBackend.cpp:487: llvm::raw_ostream&<unnamed>::CWriter::printSimpleType(llvm::formatted_raw_ostream&, const llvm::Type*, bool, const std::string&): Assertion `NumBits <= 128 && "Bit widths > 128 not implemented yet"' failed.

try the -llc-safe option. It will use llc to compile code rather than gcc, and
llc does handle arbitrary sized integers.

Ciao,

Duncan.

Thank you ,I will try that

2009/11/18 Duncan Sands <baldrick@free.fr>

Thank you ,but does the information I got when I invoke the compiled BC file is also caused by this?

2009/11/18 Anton Korobeynikov <anton@korobeynikov.info>