Both scf.if and scf.index_switch have the same structural requirement — each region must contain exactly one block. This is fundamental to SCF's design; it represents structured, high-level control ...