1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
/* Stuff needed by cdizy: */
typedef short Guard;

/* External functions, don't include standard libs because cdizy is weird */
extern int atoi (const char *nptr);
extern int printf(const char *format, ...);

/* In order to be able to inspect the result... */
int res, T_res;

void twoloops(int O_a, int O_b)
{
  /* Declare guards */
  Guard T_G11101 = 1;
  Guard G11101 = 1;
  Guard T_G1101 = 1;
  Guard G1101 = 1;
  Guard T_G1110 = 1;
  Guard G1110 = 1;
  Guard T_G110 = 1;
  Guard G110 = 1;

  /* Declare/initialize tagged params */
  int T_O_a = O_a;
  int T_O_b = O_b;

  /* Declare other variables */
  int O_result;
  int O_b10;
  int O_a10;
  int T_O_result;
  int T_O_b10;
  int T_O_a10;

  /* Here is the body! */
  O_a10 = 0;
  T_O_a10 = 0;
  O_b10 = 0;
  T_O_b10 = 0;
  G110 = 10 <= O_a;
  T_G110 = 10 <= T_O_b;
G110__v__T_G110:
    if (G110) G1101 = 1;
    if (T_G110) T_G1101 = 1;
    if (G110) if (G1101) O_a10 = (O_a10 + 1);
    if (T_G110) if (T_G1101) T_O_b10 = (T_O_b10 + 1);
    if (G110) if (G1101) O_a = (O_a - 10);
    if (T_G110) if (T_G1101) T_O_b = (T_O_b - 10);

    if (G110) G110 = 10 <= O_a;
    if (T_G110) T_G110 = 10 <= T_O_b;
    if (G110) goto G110__v__T_G110;
    if (T_G110) goto G110__v__T_G110;
  G1110 = 10 <= O_b;
  T_G1110 = 10 <= T_O_a;
G1110__v__T_G1110:
    if (G1110) G11101 = 1;
    if (T_G1110) T_G11101 = 1;
    if (G1110) if (G11101) O_b10 = (O_b10 + 1);
    if (T_G1110) if (T_G11101) T_O_a10 = (T_O_a10 + 1);
    if (G1110) if (G11101) O_b = (O_b - 10);
    if (T_G1110) if (T_G11101) T_O_a = (T_O_a - 10);

    if (G1110) G1110 = 10 <= O_b;
    if (T_G1110) T_G1110 = 10 <= T_O_a;
    if (G1110) goto G1110__v__T_G1110;
    if (T_G1110) goto G1110__v__T_G1110;
  O_result = ((O_a10 + O_b10) * 10);
  T_O_result = ((T_O_a10 + T_O_b10) * 10);


  /* Correlating point */
  { char *CP0; }

  /* Set the output... */
  res = O_result;
  T_res = T_O_result;
}