search for: mbbnumbering

...MachineBasicBlocks and it is this vector that is traversed by the MachineFunction iterator when printing out instructions. The problem is occurring when a modification to the CFG moves around so that the ordering of them is different. Even if the pred/succ blocks are modified, their position in the MBBNumbering vector does not change. This causes the CFG graph and the MachineFunction vector to become out of sync causing all sorts of issues with code generation. (i.e. having my return block being generated in the middle of a loop). I figured that sorting the vector based on the block id's would fix...

Chris, I took a look at AnalyzeBranch and I don't see how it can solve my problem. The issue itself isn't with branching, as I can handle branches fairly well in my custom pass(see the before and after dot files attached). I can take a bunch of branches and construct high level control flow for my backend since I have no ability to do goto/jump, only whileloop and ifs. So analyzing the