| [numthreads(1, 1, 1)] | 
 | void unused_entry_point() { | 
 |   return; | 
 | } | 
 |  | 
 | groupshared int a; | 
 |  | 
 | int tint_workgroupUniformLoad_a() { | 
 |   GroupMemoryBarrierWithGroupSync(); | 
 |   const int result = a; | 
 |   GroupMemoryBarrierWithGroupSync(); | 
 |   return result; | 
 | } | 
 |  | 
 | groupshared int b; | 
 |  | 
 | int tint_workgroupUniformLoad_b() { | 
 |   GroupMemoryBarrierWithGroupSync(); | 
 |   const int result = b; | 
 |   GroupMemoryBarrierWithGroupSync(); | 
 |   return result; | 
 | } | 
 |  | 
 | void foo() { | 
 |   { | 
 |     int i = 0; | 
 |     while (true) { | 
 |       const int tint_symbol = i; | 
 |       const int tint_symbol_1 = tint_workgroupUniformLoad_a(); | 
 |       if (!((tint_symbol < tint_symbol_1))) { | 
 |         break; | 
 |       } | 
 |       { | 
 |       } | 
 |       { | 
 |         const int tint_symbol_2 = i; | 
 |         const int tint_symbol_3 = tint_workgroupUniformLoad_b(); | 
 |         i = (tint_symbol_2 + tint_symbol_3); | 
 |       } | 
 |     } | 
 |   } | 
 | } |