• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1[[block]]
2struct buf0 {
3  injectionSwitch : vec2<f32>;
4};
5
6[[group(0), binding(0)]] var<uniform> x_6 : buf0;
7
8var<private> x_GLF_color : vec4<f32>;
9
10fn main_1() {
11  var data : array<i32, 10>;
12  var x_40 : i32;
13  var x_40_phi : i32;
14  var x_11_phi : i32;
15  let x_7 : i32 = data[1];
16  let x_10 : i32 = select(1, 2, (1 < x_7));
17  x_40_phi = 1;
18  x_11_phi = x_10;
19  loop {
20    var x_54 : i32;
21    var x_41 : i32;
22    var x_41_phi : i32;
23    x_40 = x_40_phi;
24    let x_11 : i32 = x_11_phi;
25    if ((x_11 < 3)) {
26    } else {
27      break;
28    }
29    var x_54_phi : i32;
30    let x_8 : i32 = (x_11 + 1);
31    let x_47 : f32 = x_6.injectionSwitch.x;
32    x_54_phi = x_40;
33    switch(i32(x_47)) {
34      case 78: {
35        x_GLF_color = vec4<f32>(1.0, 1.0, 1.0, 1.0);
36        fallthrough;
37      }
38      case 19: {
39        x_54_phi = bitcast<i32>((x_40 + bitcast<i32>(1)));
40        fallthrough;
41      }
42      case 23, 38: {
43        x_54 = x_54_phi;
44        x_41_phi = x_54;
45        continue;
46      }
47      default: {
48        x_41_phi = x_40;
49        continue;
50      }
51    }
52    x_41_phi = 0;
53
54    continuing {
55      x_41 = x_41_phi;
56      x_40_phi = x_41;
57      x_11_phi = x_8;
58    }
59  }
60  data[x_40] = 1;
61  x_GLF_color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
62  return;
63}
64
65struct main_out {
66  [[location(0)]]
67  x_GLF_color_1 : vec4<f32>;
68};
69
70[[stage(fragment)]]
71fn main() -> main_out {
72  main_1();
73  return main_out(x_GLF_color);
74}
75