1cb93a386Sopenharmony_ciuniform half4 colorGreen, colorRed;
2cb93a386Sopenharmony_ci
3cb93a386Sopenharmony_cifloat get() {
4cb93a386Sopenharmony_ci    @switch (2) {
5cb93a386Sopenharmony_ci        case 1: return abs(1);
6cb93a386Sopenharmony_ci        case 2: return abs(2);  // Only this case should be preserved.
7cb93a386Sopenharmony_ci        case 3: return abs(3);
8cb93a386Sopenharmony_ci        case 4: return abs(4);
9cb93a386Sopenharmony_ci    }
10cb93a386Sopenharmony_ci    // This won't be removed because dead-code elimination is disabled.
11cb93a386Sopenharmony_ci    return abs(5);
12cb93a386Sopenharmony_ci}
13cb93a386Sopenharmony_ci
14cb93a386Sopenharmony_cihalf4 main(float2 coords) {
15cb93a386Sopenharmony_ci    float result = get();
16cb93a386Sopenharmony_ci    return result == 2 ? colorGreen : colorRed;
17cb93a386Sopenharmony_ci}
18