[LLVMdev] Forcing basic blocks to end with no more than one branch instruction?

Daniel M Gessel gessel at apple.com
Wed Oct 15 11:38:00 PDT 2008

I'm analyzing the basic blocks of MachineInstructions that LLVM  
generates for my TargetMachine to try to reconstruct high-level flow  

I misunderstood the isTerminator property of an instruction to mean  
that it had to be at the end of a basic block, but now I've seen  
blocks that end with a conditional branch followed by an unconditional  

I'm sure this depends somewhat on my target, but can there be an  
arbitrary number of conditional branches before that last branch? How  
about before a return?

Before I dive in and generalize my analysis (probably only a minor  
pain), is there any way I can get LLVM to generate BBs that are  
constrained to use only one terminator instruction?



More information about the llvm-dev mailing list