search for: discompose

...rst that loop exit conditions are located in exiting basic blocks. Then I use loop->getExitingBlocks() to get all BBs. However, this policy seemed not work for combinational exit conditions, e.g. compounding conditions consists of conditions with logical predicates. *The problem is that LLVM discompose these compounding conditions and only returns the last conditions*. Obviously, it is not I wanted. I give a sample loop code segments here and attached please find my BB flow chart drawn according to the disassemble files (*.ll). The conditions are just for test, so pls do not take it seriously...