Function value_cf_diverges 

pub fn value_cf_diverges(node: &AIRNode) -> bool

True when a value-position node is a control-flow construct whose branches diverge — at least one branch yields a value AND at least one branch exits via return/break/continue/a diverging intrinsic. These are the nodes hoist_value_cf rewrites; a construct where every branch yields a value already lowers fine via the existing expression paths and is left untouched (so value if/match/loop codegen does not regress).