ExtractBasicBlock() on block that ends with invoke or unreachable triggers assert() in llc

Project Infrastructure LLVM Dev List Archives
1

Here it is:

llc: SelectionDAGISel.cpp:358: virtual bool
llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&):
Assertion `FuncInfo->CatchInfoFound.size() ==
FuncInfo->CatchInfoLost.size() && "Not all catch info was assigned to
a landing pad!"' failed.
0 libLLVM-2.7.so 0x0140e2c8
Stack dump:
0. Program arguments: llc -O0 bullet.linked.bc.opt
1. Running pass 'X86 DAG->DAG Instruction Selection' on function
'@_ZN15DemoApplication20localCreateRigidBodyEfRK11btTransformP16btCollisionShape'

LLVM 2.7, trying to extract some basic blocks from bullet.linked.bc
file from LLVM test suite.

If anybody can help with this, it will be very appreciated.

                Gregory

2

Hi Gregory,

llc: SelectionDAGISel.cpp:358: virtual bool
llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&):
Assertion `FuncInfo->CatchInfoFound.size() ==
FuncInfo->CatchInfoLost.size()&& "Not all catch info was assigned to
a landing pad!"' failed.
0 libLLVM-2.7.so 0x0140e2c8
Stack dump:
0. Program arguments: llc -O0 bullet.linked.bc.opt
1. Running pass 'X86 DAG->DAG Instruction Selection' on function
'@_ZN15DemoApplication20localCreateRigidBodyEfRK11btTransformP16btCollisionShape'

LLVM 2.7, trying to extract some basic blocks from bullet.linked.bc
file from LLVM test suite.

you get this if a call to llvm.eh.selector is not in a landing pad, i.e. not
in the basic block that some invoke instruction unwinds to. That's because
codegen doesn't handle this case properly yet, and it seemed better to fail
with an assertion rather than generating wrong code.

Ciao,

Duncan.