I find that being guaranteed to have only structured control flow, and having loops and if-else constructs marked as such in advance could also simplify a AOT-c

I find that being guaranteed to have only structured control flow, and having loops and if-else constructs marked as such in advance could also simplify a AOT-compiler a little. If you're doing liveness analysis, you wouldn't have to first deduce which edges are unstructured jumps and which are loop edges. If you're trying to find more opportunities for if-conversion, you wouldn't have to first deduce which edges those are.