Expand description
Structured control flow with divergence support. Maintains a stack of active
masks for nested if/else/endif and loop/break/endloop constructs. Divergence occurs when threads disagree on predicates, executing both paths sequentially.