Josh Simmons@GDCPresoReviews @TomF as @bas mentions, if it allows you to assume forward progress while in diverging execution, that could make the shader compiler simpler in certain situations. UB is important in terms of the abstract model of the shader language and IR, but the actual hardware model matters too because it changes how much freedom the compiler has to actualize the code in the shader. Aside: In this case, does this then impact the implementation of maximal reconvergence? Guess it's similar?
Bas Nieuwenhuizen@dotstdy @GDCPresoReviews @TomF I dunno if they promise forward progress in graphics, vs only in cuda where nobody promises maximal reconvergence. And for gfx Nvidia has instructions to force reconvergence. Could still be a nice latency hiding tool between two sides of an if, maybe?