1float4 PixelShaderFunction(float input) : COLOR0
2{
3    [unroll] do {} while (false);
4    [unroll] do {;} while (false);
5    do { return (float4)input; } while (input > 2.0);
6    do ++input; while (input < 10.0);
7    do while (++input < 10.0); while (++input < 10.0); // nest while inside do-while
8    return (float4)input;
9}
10