The capabilities post_order_compute and inverted_post_order_computecan be used to compute topological orders of the CFG. The BASIC_BLOCK arraycan be used to iterate each primary block by index. Dominator traversals are additionally possible usingwalk_dominator_tree. Given two fundamental blocks A and B, block Adominates block B if A is always executed earlier than B. Let us take a [...]