llvm dev - Dec 2008 - [LLVMdev] llvm-c API and well formed block

How can I find out, in llvm-c API, whether a basic block is well
formed? In C++ I could call getTerminator and test for NULL.

-- 
Seo Sanghyeon

On 2008-12-19, at 09:18, Seo Sanghyeon wrote:
> How can I find out, in llvm-c API, whether a basic block is well  
> formed? In C++ I could call getTerminator and test for NULL.

There's not currently a binding for this. In general, there's  
incomplete support for inspection and analysis through the C bindings.

BasicBlock::getTerminator() is just a convenient way to spell for  
dyn_cast<Terminator>(*--BB->end()). Adding bindings for isa<>
would be
the way I'd prefer to approach this, since that would be most broadly  
useful. But if your only introspection need is for  
BasicBlock::getTerminator, we could add bindings for that to be  
expedient.

— Gordon

On 2008-12-19, at 09:42, Gordon Henriksen wrote:
> On 2008-12-19, at 09:18, Seo Sanghyeon wrote:
>
>> How can I find out, in llvm-c API, whether a basic block is well
>> formed? In C++ I could call getTerminator and test for NULL.
>
> There's not currently a binding for this. In general, there's
> incomplete support for inspection and analysis through the C bindings.
>
> BasicBlock::getTerminator() is just a convenient way to spell for
> dyn_cast<Terminator>(*--BB->end()). Adding bindings for
isa<> would be
> the way I'd prefer to approach this, since that would be most broadly
> useful. But if your only introspection need is for
> BasicBlock::getTerminator, we could add bindings for that to be
> expedient.

Hi Seo,

As of
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20081215/071365.html
, you can now write in C:

     bool HasTerminator(LLVMBasicBlockRef BB) {
       return LLVMIsATerminatorInst(LLVMGetLastInstruction(BB));
     }

HTH,
Gordon