|  | [numthreads(1, 1, 1)] | 
|  | void unused_entry_point() { | 
|  | return; | 
|  | } | 
|  |  | 
|  | RWByteAddressBuffer v : register(u0); | 
|  | static uint i = 0u; | 
|  |  | 
|  | int idx1() { | 
|  | i = (i + 1u); | 
|  | return 1; | 
|  | } | 
|  |  | 
|  | int idx2() { | 
|  | i = (i + 2u); | 
|  | return 1; | 
|  | } | 
|  |  | 
|  | int idx3() { | 
|  | i = (i + 3u); | 
|  | return 1; | 
|  | } | 
|  |  | 
|  | void foo() { | 
|  | float a[4] = (float[4])0; | 
|  | { | 
|  | int tint_symbol_save = idx1(); | 
|  | a[min(uint(tint_symbol_save), 3u)] = (a[min(uint(tint_symbol_save), 3u)] * 2.0f); | 
|  | while (true) { | 
|  | int tint_symbol_2 = idx2(); | 
|  | if (!((a[min(uint(tint_symbol_2), 3u)] < 10.0f))) { | 
|  | break; | 
|  | } | 
|  | { | 
|  | } | 
|  | { | 
|  | int tint_symbol_1_save = idx3(); | 
|  | a[min(uint(tint_symbol_1_save), 3u)] = (a[min(uint(tint_symbol_1_save), 3u)] + 1.0f); | 
|  | } | 
|  | } | 
|  | } | 
|  | } |