| SKIP: FAILED |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:61:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:99:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:171:17 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:209:13 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:268:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:306:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:359:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:397:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:450:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:488:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:541:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:579:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:632:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:670:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:723:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:761:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:814:15 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl:852:11 warning: code is unreachable |
| return; |
| ^^^^^^ |
| |
| struct BST { |
| int data; |
| int leftIndex; |
| int rightIndex; |
| }; |
| |
| cbuffer cbuffer_x_8 : register(b0, space0) { |
| uint4 x_8[1]; |
| }; |
| static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f); |
| static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f); |
| |
| void main_1() { |
| BST tree[10] = (BST[10])0; |
| bool x_67 = false; |
| bool x_114 = false; |
| int x_572 = 0; |
| bool x_67_phi = false; |
| int x_70_phi = 0; |
| bool x_116_phi = false; |
| int x_119_phi = 0; |
| int x_569_phi = 0; |
| int x_572_phi = 0; |
| int x_574_phi = 0; |
| const BST tint_symbol_4 = {9, -1, -1}; |
| tree[0] = tint_symbol_4; |
| 0u; |
| do { |
| x_67_phi = false; |
| x_70_phi = 0; |
| [loop] while (true) { |
| int x_95 = 0; |
| int x_87 = 0; |
| bool x_68 = false; |
| int x_71 = 0; |
| bool x_68_phi = false; |
| int x_71_phi = 0; |
| x_67 = x_67_phi; |
| const int x_70 = x_70_phi; |
| x_116_phi = x_67; |
| if ((x_70 <= 1)) { |
| } else { |
| break; |
| } |
| const int x_76 = tree[x_70].data; |
| if ((5 <= x_76)) { |
| bool x_114_phi = false; |
| const int x_89_save = x_70; |
| const int x_90 = tree[x_89_save].leftIndex; |
| if ((x_90 == -1)) { |
| const float x_97 = asfloat(x_8[0].y); |
| const float x_99 = asfloat(x_8[0].x); |
| if ((x_97 < x_99)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_89_save].leftIndex = 1; |
| const BST tint_symbol_5 = {5, -1, -1}; |
| tree[1] = tint_symbol_5; |
| [loop] while (true) { |
| x_114_phi = x_67; |
| if ((0 < int(x_97))) { |
| } else { |
| break; |
| } |
| x_114_phi = true; |
| break; |
| } |
| x_114 = x_114_phi; |
| x_116_phi = x_114; |
| if (x_114) { |
| break; |
| } |
| } else { |
| x_95 = tree[x_89_save].leftIndex; |
| x_68_phi = x_67; |
| x_71_phi = x_95; |
| { |
| x_68 = x_68_phi; |
| x_71 = x_71_phi; |
| x_67_phi = x_68; |
| x_70_phi = x_71; |
| } |
| continue; |
| } |
| } else { |
| const int x_81_save = x_70; |
| const int x_82 = tree[x_81_save].rightIndex; |
| if ((x_82 == -1)) { |
| tree[x_81_save].rightIndex = 1; |
| const BST tint_symbol_6 = {5, -1, -1}; |
| tree[1] = tint_symbol_6; |
| x_116_phi = true; |
| break; |
| } else { |
| x_87 = tree[x_81_save].rightIndex; |
| x_68_phi = x_67; |
| x_71_phi = x_87; |
| { |
| x_68 = x_68_phi; |
| x_71 = x_71_phi; |
| x_67_phi = x_68; |
| x_70_phi = x_71; |
| } |
| continue; |
| } |
| return; |
| } |
| x_68_phi = x_114; |
| x_71_phi = x_70; |
| { |
| x_68 = x_68_phi; |
| x_71 = x_71_phi; |
| x_67_phi = x_68; |
| x_70_phi = x_71; |
| } |
| } |
| if (x_116_phi) { |
| break; |
| } |
| } while (false); |
| x_119_phi = 0; |
| [loop] while (true) { |
| bool x_133 = false; |
| int x_120 = 0; |
| bool x_134_phi = false; |
| const int x_119 = x_119_phi; |
| const float x_125 = gl_FragCoord.y; |
| const bool x_126 = (x_125 < 0.0f); |
| x_134_phi = x_126; |
| if (!(x_126)) { |
| const float x_131 = asfloat(x_8[0].y); |
| x_133 = (x_119 != int(x_131)); |
| x_134_phi = x_133; |
| } |
| if (x_134_phi) { |
| } else { |
| break; |
| } |
| bool x_139 = false; |
| bool x_186 = false; |
| bool x_139_phi = false; |
| int x_142_phi = 0; |
| bool x_188_phi = false; |
| 0u; |
| do { |
| x_139_phi = false; |
| x_142_phi = 0; |
| [loop] while (true) { |
| int x_167 = 0; |
| int x_159 = 0; |
| bool x_140 = false; |
| int x_143 = 0; |
| bool x_140_phi = false; |
| int x_143_phi = 0; |
| x_139 = x_139_phi; |
| const int x_142 = x_142_phi; |
| x_188_phi = x_139; |
| if ((x_142 <= 2)) { |
| } else { |
| break; |
| } |
| const int x_148 = tree[x_142].data; |
| if ((12 <= x_148)) { |
| bool x_186_phi = false; |
| const int x_161_save = x_142; |
| const int x_162 = tree[x_161_save].leftIndex; |
| if ((x_162 == -1)) { |
| const float x_169 = asfloat(x_8[0].y); |
| const float x_171 = asfloat(x_8[0].x); |
| if ((x_169 < x_171)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_161_save].leftIndex = 2; |
| const BST tint_symbol_7 = {12, -1, -1}; |
| tree[2] = tint_symbol_7; |
| [loop] while (true) { |
| x_186_phi = x_139; |
| if ((0 < int(x_169))) { |
| } else { |
| break; |
| } |
| x_186_phi = true; |
| break; |
| } |
| x_186 = x_186_phi; |
| x_188_phi = x_186; |
| if (x_186) { |
| break; |
| } |
| } else { |
| x_167 = tree[x_161_save].leftIndex; |
| x_140_phi = x_139; |
| x_143_phi = x_167; |
| { |
| x_140 = x_140_phi; |
| x_143 = x_143_phi; |
| x_139_phi = x_140; |
| x_142_phi = x_143; |
| } |
| continue; |
| } |
| } else { |
| const int x_153_save = x_142; |
| const int x_154 = tree[x_153_save].rightIndex; |
| if ((x_154 == -1)) { |
| tree[x_153_save].rightIndex = 2; |
| const BST tint_symbol_8 = {12, -1, -1}; |
| tree[2] = tint_symbol_8; |
| x_188_phi = true; |
| break; |
| } else { |
| x_159 = tree[x_153_save].rightIndex; |
| x_140_phi = x_139; |
| x_143_phi = x_159; |
| { |
| x_140 = x_140_phi; |
| x_143 = x_143_phi; |
| x_139_phi = x_140; |
| x_142_phi = x_143; |
| } |
| continue; |
| } |
| return; |
| } |
| x_140_phi = x_186; |
| x_143_phi = x_142; |
| { |
| x_140 = x_140_phi; |
| x_143 = x_143_phi; |
| x_139_phi = x_140; |
| x_142_phi = x_143; |
| } |
| } |
| if (x_188_phi) { |
| break; |
| } |
| } while (false); |
| { |
| x_120 = (x_119 + 1); |
| x_119_phi = x_120; |
| } |
| } |
| bool x_193 = false; |
| bool x_240 = false; |
| bool x_193_phi = false; |
| int x_196_phi = 0; |
| bool x_242_phi = false; |
| 0u; |
| do { |
| x_193_phi = false; |
| x_196_phi = 0; |
| [loop] while (true) { |
| int x_221 = 0; |
| int x_213 = 0; |
| bool x_194 = false; |
| int x_197 = 0; |
| bool x_194_phi = false; |
| int x_197_phi = 0; |
| x_193 = x_193_phi; |
| const int x_196 = x_196_phi; |
| x_242_phi = x_193; |
| if ((x_196 <= 3)) { |
| } else { |
| break; |
| } |
| const int x_202 = tree[x_196].data; |
| if ((15 <= x_202)) { |
| bool x_240_phi = false; |
| const int x_215_save = x_196; |
| const int x_216 = tree[x_215_save].leftIndex; |
| if ((x_216 == -1)) { |
| const float x_223 = asfloat(x_8[0].y); |
| const float x_225 = asfloat(x_8[0].x); |
| if ((x_223 < x_225)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_215_save].leftIndex = 3; |
| const BST tint_symbol_9 = {15, -1, -1}; |
| tree[3] = tint_symbol_9; |
| [loop] while (true) { |
| x_240_phi = x_193; |
| if ((0 < int(x_223))) { |
| } else { |
| break; |
| } |
| x_240_phi = true; |
| break; |
| } |
| x_240 = x_240_phi; |
| x_242_phi = x_240; |
| if (x_240) { |
| break; |
| } |
| } else { |
| x_221 = tree[x_215_save].leftIndex; |
| x_194_phi = x_193; |
| x_197_phi = x_221; |
| { |
| x_194 = x_194_phi; |
| x_197 = x_197_phi; |
| x_193_phi = x_194; |
| x_196_phi = x_197; |
| } |
| continue; |
| } |
| } else { |
| const int x_207_save = x_196; |
| const int x_208 = tree[x_207_save].rightIndex; |
| if ((x_208 == -1)) { |
| tree[x_207_save].rightIndex = 3; |
| const BST tint_symbol_10 = {15, -1, -1}; |
| tree[3] = tint_symbol_10; |
| x_242_phi = true; |
| break; |
| } else { |
| x_213 = tree[x_207_save].rightIndex; |
| x_194_phi = x_193; |
| x_197_phi = x_213; |
| { |
| x_194 = x_194_phi; |
| x_197 = x_197_phi; |
| x_193_phi = x_194; |
| x_196_phi = x_197; |
| } |
| continue; |
| } |
| return; |
| } |
| x_194_phi = x_240; |
| x_197_phi = x_196; |
| { |
| x_194 = x_194_phi; |
| x_197 = x_197_phi; |
| x_193_phi = x_194; |
| x_196_phi = x_197; |
| } |
| } |
| if (x_242_phi) { |
| break; |
| } |
| } while (false); |
| bool x_247 = false; |
| bool x_294 = false; |
| bool x_247_phi = false; |
| int x_250_phi = 0; |
| bool x_296_phi = false; |
| 0u; |
| do { |
| x_247_phi = false; |
| x_250_phi = 0; |
| [loop] while (true) { |
| int x_275 = 0; |
| int x_267 = 0; |
| bool x_248 = false; |
| int x_251 = 0; |
| bool x_248_phi = false; |
| int x_251_phi = 0; |
| x_247 = x_247_phi; |
| const int x_250 = x_250_phi; |
| x_296_phi = x_247; |
| if ((x_250 <= 4)) { |
| } else { |
| break; |
| } |
| const int x_256 = tree[x_250].data; |
| if ((7 <= x_256)) { |
| bool x_294_phi = false; |
| const int x_269_save = x_250; |
| const int x_270 = tree[x_269_save].leftIndex; |
| if ((x_270 == -1)) { |
| const float x_277 = asfloat(x_8[0].y); |
| const float x_279 = asfloat(x_8[0].x); |
| if ((x_277 < x_279)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_269_save].leftIndex = 4; |
| const BST tint_symbol_11 = {7, -1, -1}; |
| tree[4] = tint_symbol_11; |
| [loop] while (true) { |
| x_294_phi = x_247; |
| if ((0 < int(x_277))) { |
| } else { |
| break; |
| } |
| x_294_phi = true; |
| break; |
| } |
| x_294 = x_294_phi; |
| x_296_phi = x_294; |
| if (x_294) { |
| break; |
| } |
| } else { |
| x_275 = tree[x_269_save].leftIndex; |
| x_248_phi = x_247; |
| x_251_phi = x_275; |
| { |
| x_248 = x_248_phi; |
| x_251 = x_251_phi; |
| x_247_phi = x_248; |
| x_250_phi = x_251; |
| } |
| continue; |
| } |
| } else { |
| const int x_261_save = x_250; |
| const int x_262 = tree[x_261_save].rightIndex; |
| if ((x_262 == -1)) { |
| tree[x_261_save].rightIndex = 4; |
| const BST tint_symbol_12 = {7, -1, -1}; |
| tree[4] = tint_symbol_12; |
| x_296_phi = true; |
| break; |
| } else { |
| x_267 = tree[x_261_save].rightIndex; |
| x_248_phi = x_247; |
| x_251_phi = x_267; |
| { |
| x_248 = x_248_phi; |
| x_251 = x_251_phi; |
| x_247_phi = x_248; |
| x_250_phi = x_251; |
| } |
| continue; |
| } |
| return; |
| } |
| x_248_phi = x_294; |
| x_251_phi = x_250; |
| { |
| x_248 = x_248_phi; |
| x_251 = x_251_phi; |
| x_247_phi = x_248; |
| x_250_phi = x_251; |
| } |
| } |
| if (x_296_phi) { |
| break; |
| } |
| } while (false); |
| bool x_301 = false; |
| bool x_348 = false; |
| bool x_301_phi = false; |
| int x_304_phi = 0; |
| bool x_350_phi = false; |
| 0u; |
| do { |
| x_301_phi = false; |
| x_304_phi = 0; |
| [loop] while (true) { |
| int x_329 = 0; |
| int x_321 = 0; |
| bool x_302 = false; |
| int x_305 = 0; |
| bool x_302_phi = false; |
| int x_305_phi = 0; |
| x_301 = x_301_phi; |
| const int x_304 = x_304_phi; |
| x_350_phi = x_301; |
| if ((x_304 <= 5)) { |
| } else { |
| break; |
| } |
| const int x_310 = tree[x_304].data; |
| if ((8 <= x_310)) { |
| bool x_348_phi = false; |
| const int x_323_save = x_304; |
| const int x_324 = tree[x_323_save].leftIndex; |
| if ((x_324 == -1)) { |
| const float x_331 = asfloat(x_8[0].y); |
| const float x_333 = asfloat(x_8[0].x); |
| if ((x_331 < x_333)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_323_save].leftIndex = 5; |
| const BST tint_symbol_13 = {8, -1, -1}; |
| tree[5] = tint_symbol_13; |
| [loop] while (true) { |
| x_348_phi = x_301; |
| if ((0 < int(x_331))) { |
| } else { |
| break; |
| } |
| x_348_phi = true; |
| break; |
| } |
| x_348 = x_348_phi; |
| x_350_phi = x_348; |
| if (x_348) { |
| break; |
| } |
| } else { |
| x_329 = tree[x_323_save].leftIndex; |
| x_302_phi = x_301; |
| x_305_phi = x_329; |
| { |
| x_302 = x_302_phi; |
| x_305 = x_305_phi; |
| x_301_phi = x_302; |
| x_304_phi = x_305; |
| } |
| continue; |
| } |
| } else { |
| const int x_315_save = x_304; |
| const int x_316 = tree[x_315_save].rightIndex; |
| if ((x_316 == -1)) { |
| tree[x_315_save].rightIndex = 5; |
| const BST tint_symbol_14 = {8, -1, -1}; |
| tree[5] = tint_symbol_14; |
| x_350_phi = true; |
| break; |
| } else { |
| x_321 = tree[x_315_save].rightIndex; |
| x_302_phi = x_301; |
| x_305_phi = x_321; |
| { |
| x_302 = x_302_phi; |
| x_305 = x_305_phi; |
| x_301_phi = x_302; |
| x_304_phi = x_305; |
| } |
| continue; |
| } |
| return; |
| } |
| x_302_phi = x_348; |
| x_305_phi = x_304; |
| { |
| x_302 = x_302_phi; |
| x_305 = x_305_phi; |
| x_301_phi = x_302; |
| x_304_phi = x_305; |
| } |
| } |
| if (x_350_phi) { |
| break; |
| } |
| } while (false); |
| bool x_355 = false; |
| bool x_402 = false; |
| bool x_355_phi = false; |
| int x_358_phi = 0; |
| bool x_404_phi = false; |
| 0u; |
| do { |
| x_355_phi = false; |
| x_358_phi = 0; |
| [loop] while (true) { |
| int x_383 = 0; |
| int x_375 = 0; |
| bool x_356 = false; |
| int x_359 = 0; |
| bool x_356_phi = false; |
| int x_359_phi = 0; |
| x_355 = x_355_phi; |
| const int x_358 = x_358_phi; |
| x_404_phi = x_355; |
| if ((x_358 <= 6)) { |
| } else { |
| break; |
| } |
| const int x_364 = tree[x_358].data; |
| if ((2 <= x_364)) { |
| bool x_402_phi = false; |
| const int x_377_save = x_358; |
| const int x_378 = tree[x_377_save].leftIndex; |
| if ((x_378 == -1)) { |
| const float x_385 = asfloat(x_8[0].y); |
| const float x_387 = asfloat(x_8[0].x); |
| if ((x_385 < x_387)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_377_save].leftIndex = 6; |
| const BST tint_symbol_15 = {2, -1, -1}; |
| tree[6] = tint_symbol_15; |
| [loop] while (true) { |
| x_402_phi = x_355; |
| if ((0 < int(x_385))) { |
| } else { |
| break; |
| } |
| x_402_phi = true; |
| break; |
| } |
| x_402 = x_402_phi; |
| x_404_phi = x_402; |
| if (x_402) { |
| break; |
| } |
| } else { |
| x_383 = tree[x_377_save].leftIndex; |
| x_356_phi = x_355; |
| x_359_phi = x_383; |
| { |
| x_356 = x_356_phi; |
| x_359 = x_359_phi; |
| x_355_phi = x_356; |
| x_358_phi = x_359; |
| } |
| continue; |
| } |
| } else { |
| const int x_369_save = x_358; |
| const int x_370 = tree[x_369_save].rightIndex; |
| if ((x_370 == -1)) { |
| tree[x_369_save].rightIndex = 6; |
| const BST tint_symbol_16 = {2, -1, -1}; |
| tree[6] = tint_symbol_16; |
| x_404_phi = true; |
| break; |
| } else { |
| x_375 = tree[x_369_save].rightIndex; |
| x_356_phi = x_355; |
| x_359_phi = x_375; |
| { |
| x_356 = x_356_phi; |
| x_359 = x_359_phi; |
| x_355_phi = x_356; |
| x_358_phi = x_359; |
| } |
| continue; |
| } |
| return; |
| } |
| x_356_phi = x_402; |
| x_359_phi = x_358; |
| { |
| x_356 = x_356_phi; |
| x_359 = x_359_phi; |
| x_355_phi = x_356; |
| x_358_phi = x_359; |
| } |
| } |
| if (x_404_phi) { |
| break; |
| } |
| } while (false); |
| bool x_409 = false; |
| bool x_456 = false; |
| bool x_409_phi = false; |
| int x_412_phi = 0; |
| bool x_458_phi = false; |
| 0u; |
| do { |
| x_409_phi = false; |
| x_412_phi = 0; |
| [loop] while (true) { |
| int x_437 = 0; |
| int x_429 = 0; |
| bool x_410 = false; |
| int x_413 = 0; |
| bool x_410_phi = false; |
| int x_413_phi = 0; |
| x_409 = x_409_phi; |
| const int x_412 = x_412_phi; |
| x_458_phi = x_409; |
| if ((x_412 <= 7)) { |
| } else { |
| break; |
| } |
| const int x_418 = tree[x_412].data; |
| if ((6 <= x_418)) { |
| bool x_456_phi = false; |
| const int x_431_save = x_412; |
| const int x_432 = tree[x_431_save].leftIndex; |
| if ((x_432 == -1)) { |
| const float x_439 = asfloat(x_8[0].y); |
| const float x_441 = asfloat(x_8[0].x); |
| if ((x_439 < x_441)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_431_save].leftIndex = 7; |
| const BST tint_symbol_17 = {6, -1, -1}; |
| tree[7] = tint_symbol_17; |
| [loop] while (true) { |
| x_456_phi = x_409; |
| if ((0 < int(x_439))) { |
| } else { |
| break; |
| } |
| x_456_phi = true; |
| break; |
| } |
| x_456 = x_456_phi; |
| x_458_phi = x_456; |
| if (x_456) { |
| break; |
| } |
| } else { |
| x_437 = tree[x_431_save].leftIndex; |
| x_410_phi = x_409; |
| x_413_phi = x_437; |
| { |
| x_410 = x_410_phi; |
| x_413 = x_413_phi; |
| x_409_phi = x_410; |
| x_412_phi = x_413; |
| } |
| continue; |
| } |
| } else { |
| const int x_423_save = x_412; |
| const int x_424 = tree[x_423_save].rightIndex; |
| if ((x_424 == -1)) { |
| tree[x_423_save].rightIndex = 7; |
| const BST tint_symbol_18 = {6, -1, -1}; |
| tree[7] = tint_symbol_18; |
| x_458_phi = true; |
| break; |
| } else { |
| x_429 = tree[x_423_save].rightIndex; |
| x_410_phi = x_409; |
| x_413_phi = x_429; |
| { |
| x_410 = x_410_phi; |
| x_413 = x_413_phi; |
| x_409_phi = x_410; |
| x_412_phi = x_413; |
| } |
| continue; |
| } |
| return; |
| } |
| x_410_phi = x_456; |
| x_413_phi = x_412; |
| { |
| x_410 = x_410_phi; |
| x_413 = x_413_phi; |
| x_409_phi = x_410; |
| x_412_phi = x_413; |
| } |
| } |
| if (x_458_phi) { |
| break; |
| } |
| } while (false); |
| bool x_463 = false; |
| bool x_510 = false; |
| bool x_463_phi = false; |
| int x_466_phi = 0; |
| bool x_512_phi = false; |
| 0u; |
| do { |
| x_463_phi = false; |
| x_466_phi = 0; |
| [loop] while (true) { |
| int x_491 = 0; |
| int x_483 = 0; |
| bool x_464 = false; |
| int x_467 = 0; |
| bool x_464_phi = false; |
| int x_467_phi = 0; |
| x_463 = x_463_phi; |
| const int x_466 = x_466_phi; |
| x_512_phi = x_463; |
| if ((x_466 <= 8)) { |
| } else { |
| break; |
| } |
| const int x_472 = tree[x_466].data; |
| if ((17 <= x_472)) { |
| bool x_510_phi = false; |
| const int x_485_save = x_466; |
| const int x_486 = tree[x_485_save].leftIndex; |
| if ((x_486 == -1)) { |
| const float x_493 = asfloat(x_8[0].y); |
| const float x_495 = asfloat(x_8[0].x); |
| if ((x_493 < x_495)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_485_save].leftIndex = 8; |
| const BST tint_symbol_19 = {17, -1, -1}; |
| tree[8] = tint_symbol_19; |
| [loop] while (true) { |
| x_510_phi = x_463; |
| if ((0 < int(x_493))) { |
| } else { |
| break; |
| } |
| x_510_phi = true; |
| break; |
| } |
| x_510 = x_510_phi; |
| x_512_phi = x_510; |
| if (x_510) { |
| break; |
| } |
| } else { |
| x_491 = tree[x_485_save].leftIndex; |
| x_464_phi = x_463; |
| x_467_phi = x_491; |
| { |
| x_464 = x_464_phi; |
| x_467 = x_467_phi; |
| x_463_phi = x_464; |
| x_466_phi = x_467; |
| } |
| continue; |
| } |
| } else { |
| const int x_477_save = x_466; |
| const int x_478 = tree[x_477_save].rightIndex; |
| if ((x_478 == -1)) { |
| tree[x_477_save].rightIndex = 8; |
| const BST tint_symbol_20 = {17, -1, -1}; |
| tree[8] = tint_symbol_20; |
| x_512_phi = true; |
| break; |
| } else { |
| x_483 = tree[x_477_save].rightIndex; |
| x_464_phi = x_463; |
| x_467_phi = x_483; |
| { |
| x_464 = x_464_phi; |
| x_467 = x_467_phi; |
| x_463_phi = x_464; |
| x_466_phi = x_467; |
| } |
| continue; |
| } |
| return; |
| } |
| x_464_phi = x_510; |
| x_467_phi = x_466; |
| { |
| x_464 = x_464_phi; |
| x_467 = x_467_phi; |
| x_463_phi = x_464; |
| x_466_phi = x_467; |
| } |
| } |
| if (x_512_phi) { |
| break; |
| } |
| } while (false); |
| bool x_517 = false; |
| bool x_564 = false; |
| bool x_517_phi = false; |
| int x_520_phi = 0; |
| bool x_566_phi = false; |
| 0u; |
| do { |
| x_517_phi = false; |
| x_520_phi = 0; |
| [loop] while (true) { |
| int x_545 = 0; |
| int x_537 = 0; |
| bool x_518 = false; |
| int x_521 = 0; |
| bool x_518_phi = false; |
| int x_521_phi = 0; |
| x_517 = x_517_phi; |
| const int x_520 = x_520_phi; |
| x_566_phi = x_517; |
| if ((x_520 <= 9)) { |
| } else { |
| break; |
| } |
| const int x_526 = tree[x_520].data; |
| if ((13 <= x_526)) { |
| bool x_564_phi = false; |
| const int x_539_save = x_520; |
| const int x_540 = tree[x_539_save].leftIndex; |
| if ((x_540 == -1)) { |
| const float x_547 = asfloat(x_8[0].y); |
| const float x_549 = asfloat(x_8[0].x); |
| if ((x_547 < x_549)) { |
| [loop] while (true) { |
| discard; |
| } |
| return; |
| } |
| tree[x_539_save].leftIndex = 9; |
| const BST tint_symbol_21 = {13, -1, -1}; |
| tree[9] = tint_symbol_21; |
| [loop] while (true) { |
| x_564_phi = x_517; |
| if ((0 < int(x_547))) { |
| } else { |
| break; |
| } |
| x_564_phi = true; |
| break; |
| } |
| x_564 = x_564_phi; |
| x_566_phi = x_564; |
| if (x_564) { |
| break; |
| } |
| } else { |
| x_545 = tree[x_539_save].leftIndex; |
| x_518_phi = x_517; |
| x_521_phi = x_545; |
| { |
| x_518 = x_518_phi; |
| x_521 = x_521_phi; |
| x_517_phi = x_518; |
| x_520_phi = x_521; |
| } |
| continue; |
| } |
| } else { |
| const int x_531_save = x_520; |
| const int x_532 = tree[x_531_save].rightIndex; |
| if ((x_532 == -1)) { |
| tree[x_531_save].rightIndex = 9; |
| const BST tint_symbol_22 = {13, -1, -1}; |
| tree[9] = tint_symbol_22; |
| x_566_phi = true; |
| break; |
| } else { |
| x_537 = tree[x_531_save].rightIndex; |
| x_518_phi = x_517; |
| x_521_phi = x_537; |
| { |
| x_518 = x_518_phi; |
| x_521 = x_521_phi; |
| x_517_phi = x_518; |
| x_520_phi = x_521; |
| } |
| continue; |
| } |
| return; |
| } |
| x_518_phi = x_564; |
| x_521_phi = x_520; |
| { |
| x_518 = x_518_phi; |
| x_521 = x_521_phi; |
| x_517_phi = x_518; |
| x_520_phi = x_521; |
| } |
| } |
| if (x_566_phi) { |
| break; |
| } |
| } while (false); |
| x_569_phi = 0; |
| x_572_phi = 0; |
| x_574_phi = 0; |
| [loop] while (true) { |
| int x_597 = 0; |
| int x_607 = 0; |
| int x_612 = 0; |
| int x_575 = 0; |
| int x_570_phi = 0; |
| int x_573_phi = 0; |
| const int x_569 = x_569_phi; |
| x_572 = x_572_phi; |
| const int x_574 = x_574_phi; |
| if ((x_574 < 20)) { |
| } else { |
| break; |
| } |
| int x_582_phi = 0; |
| int x_597_phi = 0; |
| bool x_598_phi = false; |
| 0u; |
| do { |
| x_582_phi = 0; |
| [loop] while (true) { |
| const int x_582 = x_582_phi; |
| x_597_phi = x_569; |
| x_598_phi = false; |
| if ((x_582 != -1)) { |
| } else { |
| break; |
| } |
| const BST x_589 = tree[x_582]; |
| const int x_590 = x_589.data; |
| const int x_591 = x_589.leftIndex; |
| const int x_592 = x_589.rightIndex; |
| if ((x_590 == x_574)) { |
| x_597_phi = x_574; |
| x_598_phi = true; |
| break; |
| } |
| { |
| x_582_phi = ((x_574 > x_590) ? x_592 : x_591); |
| } |
| } |
| x_597 = x_597_phi; |
| const bool x_598 = x_598_phi; |
| x_570_phi = x_597; |
| if (x_598) { |
| break; |
| } |
| x_570_phi = -1; |
| } while (false); |
| int x_570 = 0; |
| int x_606 = 0; |
| int x_611 = 0; |
| int x_607_phi = 0; |
| int x_612_phi = 0; |
| x_570 = x_570_phi; |
| switch(x_574) { |
| case 2: |
| case 5: |
| case 6: |
| case 7: |
| case 8: |
| case 9: |
| case 12: |
| case 13: |
| case 15: |
| case 17: { |
| x_607_phi = x_572; |
| if ((x_570 == asint(x_574))) { |
| x_606 = asint((x_572 + asint(1))); |
| x_607_phi = x_606; |
| } |
| x_607 = x_607_phi; |
| x_573_phi = x_607; |
| break; |
| } |
| default: { |
| x_612_phi = x_572; |
| if ((x_570 == asint(-1))) { |
| x_611 = asint((x_572 + asint(1))); |
| x_612_phi = x_611; |
| } |
| x_612 = x_612_phi; |
| x_573_phi = x_612; |
| break; |
| } |
| } |
| const int x_573 = x_573_phi; |
| { |
| x_575 = (x_574 + 1); |
| x_569_phi = x_570; |
| x_572_phi = x_573; |
| x_574_phi = x_575; |
| } |
| } |
| if ((x_572 == asint(20))) { |
| x_GLF_color = float4(1.0f, 0.0f, 0.0f, 1.0f); |
| } else { |
| x_GLF_color = float4(0.0f, 0.0f, 1.0f, 1.0f); |
| } |
| return; |
| } |
| |
| struct main_out { |
| float4 x_GLF_color_1; |
| }; |
| struct tint_symbol_1 { |
| float4 gl_FragCoord_param : SV_Position; |
| }; |
| struct tint_symbol_2 { |
| float4 x_GLF_color_1 : SV_Target0; |
| }; |
| |
| main_out main_inner(float4 gl_FragCoord_param) { |
| gl_FragCoord = gl_FragCoord_param; |
| main_1(); |
| const main_out tint_symbol_23 = {x_GLF_color}; |
| return tint_symbol_23; |
| } |
| |
| tint_symbol_2 main(tint_symbol_1 tint_symbol) { |
| const main_out inner_result = main_inner(tint_symbol.gl_FragCoord_param); |
| tint_symbol_2 wrapper_result = (tint_symbol_2)0; |
| wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1; |
| return wrapper_result; |
| } |
| C:\src\tint\test\Shader@0x0000023795628100(123,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll |
| C:\src\tint\test\Shader@0x0000023795628100(54,27-30): error X3696: infinite loop detected - loop never exits |
| |
