@raph Blessed are the test makers.

Great find.

My first theory in the office hours discussion was that the MSL compiler assumed reconvergence after the "if" and then assumed the barrier could be elided because it thought the subgroup was executing reconvergently or in "lockstep".

Who knows what Apple will conclude, though.