int main(int argc) {
  int s = 0;
  int i;
  argc = 2;
  do {
    for (i = (0); i < (3); i += (1))
      s += i;
    for (i = (0); i <= (3); i += (1))
      s += i;
    for (i = (0); i < (3); i -= (-(1)))
      s += i;
    for (i = (0); i <= (3); i -= (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (1); i < (2); i += (1))
      s += i;
    for (i = (1); i <= (2); i += (1))
      s += i;
    for (i = (1); i < (2); i -= (-(1)))
      s += i;
    for (i = (1); i <= (2); i -= (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (-3); i < (-2); i += (1))
      s += i;
    for (i = (-3); i <= (-2); i += (1))
      s += i;
    for (i = (-3); i < (-2); i -= (-(1)))
      s += i;
    for (i = (-3); i <= (-2); i -= (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (-4); i < (-1); i += (1))
      s += i;
    for (i = (-4); i <= (-1); i += (1))
      s += i;
    for (i = (-4); i < (-1); i -= (-(1)))
      s += i;
    for (i = (-4); i <= (-1); i -= (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (-5); i < (0); i += (1))
      s += i;
    for (i = (-5); i <= (0); i += (1))
      s += i;
    for (i = (-5); i < (0); i -= (-(1)))
      s += i;
    for (i = (-5); i <= (0); i -= (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (-6); i < (4); i += (1))
      s += i;
    for (i = (-6); i <= (4); i += (1))
      s += i;
    for (i = (-6); i < (4); i -= (-(1)))
      s += i;
    for (i = (-6); i <= (4); i -= (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (0); i < (3); i += (argc))
      s += i;
    for (i = (0); i <= (3); i += (argc))
      s += i;
    for (i = (0); i < (3); i -= (-(argc)))
      s += i;
    for (i = (0); i <= (3); i -= (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (1); i < (2); i += (argc))
      s += i;
    for (i = (1); i <= (2); i += (argc))
      s += i;
    for (i = (1); i < (2); i -= (-(argc)))
      s += i;
    for (i = (1); i <= (2); i -= (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (-3); i < (-2); i += (argc))
      s += i;
    for (i = (-3); i <= (-2); i += (argc))
      s += i;
    for (i = (-3); i < (-2); i -= (-(argc)))
      s += i;
    for (i = (-3); i <= (-2); i -= (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (-4); i < (-1); i += (argc))
      s += i;
    for (i = (-4); i <= (-1); i += (argc))
      s += i;
    for (i = (-4); i < (-1); i -= (-(argc)))
      s += i;
    for (i = (-4); i <= (-1); i -= (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (-5); i < (0); i += (argc))
      s += i;
    for (i = (-5); i <= (0); i += (argc))
      s += i;
    for (i = (-5); i < (0); i -= (-(argc)))
      s += i;
    for (i = (-5); i <= (0); i -= (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (-6); i < (4); i += (argc))
      s += i;
    for (i = (-6); i <= (4); i += (argc))
      s += i;
    for (i = (-6); i < (4); i -= (-(argc)))
      s += i;
    for (i = (-6); i <= (4); i -= (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (5); i > (2); i -= (1))
      s += i;
    for (i = (5); i >= (2); i -= (1))
      s += i;
    for (i = (5); i > (2); i += (-(1)))
      s += i;
    for (i = (5); i >= (2); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (6); i > (1); i -= (1))
      s += i;
    for (i = (6); i >= (1); i -= (1))
      s += i;
    for (i = (6); i > (1); i += (-(1)))
      s += i;
    for (i = (6); i >= (1); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (7); i > (0); i -= (1))
      s += i;
    for (i = (7); i >= (0); i -= (1))
      s += i;
    for (i = (7); i > (0); i += (-(1)))
      s += i;
    for (i = (7); i >= (0); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (8); i > (-1); i -= (1))
      s += i;
    for (i = (8); i >= (-1); i -= (1))
      s += i;
    for (i = (8); i > (-1); i += (-(1)))
      s += i;
    for (i = (8); i >= (-1); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (9); i > (-2); i -= (1))
      s += i;
    for (i = (9); i >= (-2); i -= (1))
      s += i;
    for (i = (9); i > (-2); i += (-(1)))
      s += i;
    for (i = (9); i >= (-2); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (0); i > (-3); i -= (1))
      s += i;
    for (i = (0); i >= (-3); i -= (1))
      s += i;
    for (i = (0); i > (-3); i += (-(1)))
      s += i;
    for (i = (0); i >= (-3); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (-1); i > (-5); i -= (1))
      s += i;
    for (i = (-1); i >= (-5); i -= (1))
      s += i;
    for (i = (-1); i > (-5); i += (-(1)))
      s += i;
    for (i = (-1); i >= (-5); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (-2); i > (-7); i -= (1))
      s += i;
    for (i = (-2); i >= (-7); i -= (1))
      s += i;
    for (i = (-2); i > (-7); i += (-(1)))
      s += i;
    for (i = (-2); i >= (-7); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (16); i > (-8); i -= (1))
      s += i;
    for (i = (16); i >= (-8); i -= (1))
      s += i;
    for (i = (16); i > (-8); i += (-(1)))
      s += i;
    for (i = (16); i >= (-8); i += (-(1)))
      s += i;
  } while (0);
  do {
    for (i = (5); i > (2); i -= (argc))
      s += i;
    for (i = (5); i >= (2); i -= (argc))
      s += i;
    for (i = (5); i > (2); i += (-(argc)))
      s += i;
    for (i = (5); i >= (2); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (6); i > (1); i -= (argc))
      s += i;
    for (i = (6); i >= (1); i -= (argc))
      s += i;
    for (i = (6); i > (1); i += (-(argc)))
      s += i;
    for (i = (6); i >= (1); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (7); i > (0); i -= (argc))
      s += i;
    for (i = (7); i >= (0); i -= (argc))
      s += i;
    for (i = (7); i > (0); i += (-(argc)))
      s += i;
    for (i = (7); i >= (0); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (8); i > (-1); i -= (argc))
      s += i;
    for (i = (8); i >= (-1); i -= (argc))
      s += i;
    for (i = (8); i > (-1); i += (-(argc)))
      s += i;
    for (i = (8); i >= (-1); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (9); i > (-2); i -= (argc))
      s += i;
    for (i = (9); i >= (-2); i -= (argc))
      s += i;
    for (i = (9); i > (-2); i += (-(argc)))
      s += i;
    for (i = (9); i >= (-2); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (0); i > (-3); i -= (argc))
      s += i;
    for (i = (0); i >= (-3); i -= (argc))
      s += i;
    for (i = (0); i > (-3); i += (-(argc)))
      s += i;
    for (i = (0); i >= (-3); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (-1); i > (-5); i -= (argc))
      s += i;
    for (i = (-1); i >= (-5); i -= (argc))
      s += i;
    for (i = (-1); i > (-5); i += (-(argc)))
      s += i;
    for (i = (-1); i >= (-5); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (-2); i > (-7); i -= (argc))
      s += i;
    for (i = (-2); i >= (-7); i -= (argc))
      s += i;
    for (i = (-2); i > (-7); i += (-(argc)))
      s += i;
    for (i = (-2); i >= (-7); i += (-(argc)))
      s += i;
  } while (0);
  do {
    for (i = (16); i > (-8); i -= (argc))
      s += i;
    for (i = (16); i >= (-8); i -= (argc))
      s += i;
    for (i = (16); i > (-8); i += (-(argc)))
      s += i;
    for (i = (16); i >= (-8); i += (-(argc)))
      s += i;
  } while (0);
  return s;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x2,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jge    1144 <main+0x44>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1123 <main+0x23>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jg     116c <main+0x6c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    114b <main+0x4b>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jge    1194 <main+0x94>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1173 <main+0x73>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jg     11bc <main+0xbc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    119b <main+0x9b>
jmp    11c1 <main+0xc1>
jmp    11c6 <main+0xc6>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jge    11ee <main+0xee>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11cd <main+0xcd>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jg     1216 <main+0x116>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11f5 <main+0xf5>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jge    123e <main+0x13e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    121d <main+0x11d>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jg     1266 <main+0x166>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1245 <main+0x145>
jmp    126b <main+0x16b>
jmp    1270 <main+0x170>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jge    1298 <main+0x198>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1277 <main+0x177>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jg     12c0 <main+0x1c0>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    129f <main+0x19f>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jge    12e8 <main+0x1e8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    12c7 <main+0x1c7>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jg     1310 <main+0x210>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    12ef <main+0x1ef>
jmp    1315 <main+0x215>
jmp    131a <main+0x21a>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jge    1342 <main+0x242>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1321 <main+0x221>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jg     136a <main+0x26a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1349 <main+0x249>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jge    1392 <main+0x292>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1371 <main+0x271>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jg     13ba <main+0x2ba>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1399 <main+0x299>
jmp    13bf <main+0x2bf>
jmp    13c4 <main+0x2c4>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jge    13ec <main+0x2ec>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    13cb <main+0x2cb>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jg     1414 <main+0x314>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    13f3 <main+0x2f3>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jge    143c <main+0x33c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    141b <main+0x31b>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jg     1464 <main+0x364>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1443 <main+0x343>
jmp    1469 <main+0x369>
jmp    146e <main+0x36e>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    1496 <main+0x396>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1475 <main+0x375>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jg     14be <main+0x3be>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    149d <main+0x39d>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    14e6 <main+0x3e6>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    14c5 <main+0x3c5>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jg     150e <main+0x40e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    14ed <main+0x3ed>
jmp    1513 <main+0x413>
jmp    1518 <main+0x418>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jge    1540 <main+0x440>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    151f <main+0x41f>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jg     1568 <main+0x468>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1547 <main+0x447>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jge    1594 <main+0x494>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    156f <main+0x46f>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jg     15c0 <main+0x4c0>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    159b <main+0x49b>
jmp    15c5 <main+0x4c5>
jmp    15ca <main+0x4ca>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jge    15f2 <main+0x4f2>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    15d1 <main+0x4d1>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jg     161a <main+0x51a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    15f9 <main+0x4f9>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jge    1646 <main+0x546>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1621 <main+0x521>
movl   $0x1,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jg     1672 <main+0x572>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    164d <main+0x54d>
jmp    1677 <main+0x577>
jmp    167c <main+0x57c>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jge    16a4 <main+0x5a4>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1683 <main+0x583>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jg     16cc <main+0x5cc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    16ab <main+0x5ab>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jge    16f8 <main+0x5f8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    16d3 <main+0x5d3>
movl   $0xfffffffd,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jg     1724 <main+0x624>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    16ff <main+0x5ff>
jmp    1729 <main+0x629>
jmp    172e <main+0x62e>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jge    1756 <main+0x656>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1735 <main+0x635>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jg     177e <main+0x67e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    175d <main+0x65d>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jge    17aa <main+0x6aa>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1785 <main+0x685>
movl   $0xfffffffc,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jg     17d6 <main+0x6d6>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    17b1 <main+0x6b1>
jmp    17db <main+0x6db>
jmp    17e0 <main+0x6e0>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jge    1808 <main+0x708>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    17e7 <main+0x6e7>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jg     1830 <main+0x730>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    180f <main+0x70f>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jge    185c <main+0x75c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1837 <main+0x737>
movl   $0xfffffffb,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jg     1888 <main+0x788>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1863 <main+0x763>
jmp    188d <main+0x78d>
jmp    1892 <main+0x792>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    18ba <main+0x7ba>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1899 <main+0x799>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jg     18e2 <main+0x7e2>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    18c1 <main+0x7c1>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    190e <main+0x80e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    18e9 <main+0x7e9>
movl   $0xfffffffa,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jg     193a <main+0x83a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1915 <main+0x815>
jmp    193f <main+0x83f>
jmp    1944 <main+0x844>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jle    196c <main+0x86c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    194b <main+0x84b>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jl     1994 <main+0x894>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1973 <main+0x873>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jle    19bc <main+0x8bc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    199b <main+0x89b>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jl     19e4 <main+0x8e4>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    19c3 <main+0x8c3>
jmp    19e9 <main+0x8e9>
jmp    19ee <main+0x8ee>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jle    1a16 <main+0x916>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    19f5 <main+0x8f5>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jl     1a3e <main+0x93e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1a1d <main+0x91d>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jle    1a66 <main+0x966>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1a45 <main+0x945>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jl     1a8e <main+0x98e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1a6d <main+0x96d>
jmp    1a93 <main+0x993>
jmp    1a98 <main+0x998>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    1ac0 <main+0x9c0>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1a9f <main+0x99f>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     1ae8 <main+0x9e8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1ac7 <main+0x9c7>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    1b10 <main+0xa10>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1aef <main+0x9ef>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     1b38 <main+0xa38>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1b17 <main+0xa17>
jmp    1b3d <main+0xa3d>
jmp    1b42 <main+0xa42>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jle    1b6a <main+0xa6a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1b49 <main+0xa49>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jl     1b92 <main+0xa92>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1b71 <main+0xa71>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jle    1bba <main+0xaba>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1b99 <main+0xa99>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jl     1be2 <main+0xae2>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1bc1 <main+0xac1>
jmp    1be7 <main+0xae7>
jmp    1bec <main+0xaec>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jle    1c14 <main+0xb14>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1bf3 <main+0xaf3>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jl     1c3c <main+0xb3c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1c1b <main+0xb1b>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jle    1c64 <main+0xb64>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1c43 <main+0xb43>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jl     1c8c <main+0xb8c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1c6b <main+0xb6b>
jmp    1c91 <main+0xb91>
jmp    1c96 <main+0xb96>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jle    1cbe <main+0xbbe>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1c9d <main+0xb9d>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jl     1ce6 <main+0xbe6>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1cc5 <main+0xbc5>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jle    1d0e <main+0xc0e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1ced <main+0xbed>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jl     1d36 <main+0xc36>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1d15 <main+0xc15>
jmp    1d3b <main+0xc3b>
jmp    1d40 <main+0xc40>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jle    1d68 <main+0xc68>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1d47 <main+0xc47>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jl     1d90 <main+0xc90>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1d6f <main+0xc6f>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jle    1db8 <main+0xcb8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1d97 <main+0xc97>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jl     1de0 <main+0xce0>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1dbf <main+0xcbf>
jmp    1de5 <main+0xce5>
jmp    1dea <main+0xcea>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jle    1e12 <main+0xd12>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1df1 <main+0xcf1>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jl     1e3a <main+0xd3a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1e19 <main+0xd19>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jle    1e62 <main+0xd62>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1e41 <main+0xd41>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jl     1e8a <main+0xd8a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1e69 <main+0xd69>
jmp    1e8f <main+0xd8f>
jmp    1e94 <main+0xd94>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jle    1ebc <main+0xdbc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1e9b <main+0xd9b>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jl     1ee4 <main+0xde4>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1ec3 <main+0xdc3>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jle    1f0c <main+0xe0c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1eeb <main+0xdeb>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jl     1f34 <main+0xe34>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1f13 <main+0xe13>
jmp    1f39 <main+0xe39>
jmp    1f3e <main+0xe3e>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jle    1f68 <main+0xe68>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1f45 <main+0xe45>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jl     1f92 <main+0xe92>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1f6f <main+0xe6f>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jle    1fbc <main+0xebc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1f99 <main+0xe99>
movl   $0x5,-0x10(%rbp)
cmpl   $0x2,-0x10(%rbp)
jl     1fe6 <main+0xee6>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1fc3 <main+0xec3>
jmp    1feb <main+0xeeb>
jmp    1ff0 <main+0xef0>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jle    201a <main+0xf1a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1ff7 <main+0xef7>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jl     2044 <main+0xf44>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    2021 <main+0xf21>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jle    206e <main+0xf6e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    204b <main+0xf4b>
movl   $0x6,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jl     2098 <main+0xf98>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2075 <main+0xf75>
jmp    209d <main+0xf9d>
jmp    20a2 <main+0xfa2>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    20cc <main+0xfcc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    20a9 <main+0xfa9>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     20f6 <main+0xff6>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    20d3 <main+0xfd3>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    2120 <main+0x1020>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    20fd <main+0xffd>
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     214a <main+0x104a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2127 <main+0x1027>
jmp    214f <main+0x104f>
jmp    2154 <main+0x1054>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jle    217e <main+0x107e>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    215b <main+0x105b>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jl     21a8 <main+0x10a8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    2185 <main+0x1085>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jle    21d2 <main+0x10d2>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    21af <main+0x10af>
movl   $0x8,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jl     21fc <main+0x10fc>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    21d9 <main+0x10d9>
jmp    2201 <main+0x1101>
jmp    2206 <main+0x1106>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jle    2230 <main+0x1130>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    220d <main+0x110d>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jl     225a <main+0x115a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    2237 <main+0x1137>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jle    2284 <main+0x1184>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2261 <main+0x1161>
movl   $0x9,-0x10(%rbp)
cmpl   $0xfffffffe,-0x10(%rbp)
jl     22ae <main+0x11ae>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    228b <main+0x118b>
jmp    22b3 <main+0x11b3>
jmp    22b8 <main+0x11b8>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jle    22e2 <main+0x11e2>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    22bf <main+0x11bf>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jl     230c <main+0x120c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    22e9 <main+0x11e9>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jle    2336 <main+0x1236>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2313 <main+0x1213>
movl   $0x0,-0x10(%rbp)
cmpl   $0xfffffffd,-0x10(%rbp)
jl     2360 <main+0x1260>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    233d <main+0x123d>
jmp    2365 <main+0x1265>
jmp    236a <main+0x126a>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jle    2394 <main+0x1294>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    2371 <main+0x1271>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jl     23be <main+0x12be>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    239b <main+0x129b>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jle    23e8 <main+0x12e8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    23c5 <main+0x12c5>
movl   $0xffffffff,-0x10(%rbp)
cmpl   $0xfffffffb,-0x10(%rbp)
jl     2412 <main+0x1312>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    23ef <main+0x12ef>
jmp    2417 <main+0x1317>
jmp    241c <main+0x131c>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jle    2446 <main+0x1346>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    2423 <main+0x1323>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jl     2470 <main+0x1370>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    244d <main+0x134d>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jle    249a <main+0x139a>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2477 <main+0x1377>
movl   $0xfffffffe,-0x10(%rbp)
cmpl   $0xfffffff9,-0x10(%rbp)
jl     24c4 <main+0x13c4>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    24a1 <main+0x13a1>
jmp    24c9 <main+0x13c9>
jmp    24ce <main+0x13ce>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jle    24f8 <main+0x13f8>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    24d5 <main+0x13d5>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jl     2522 <main+0x1422>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    24ff <main+0x13ff>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jle    254c <main+0x144c>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2529 <main+0x1429>
movl   $0x10,-0x10(%rbp)
cmpl   $0xfffffff8,-0x10(%rbp)
jl     2576 <main+0x1476>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    2553 <main+0x1453>
jmp    257b <main+0x147b>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
mov    $0x414,%eax
ret

LLVM IR (-O0):
define i32 @main(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 0, i32* %2
store i32 %0, i32* %3
store i32 0, i32* %4
store i32 2, i32* %3
br label %6
6: ; preds = %1
store i32 0, i32* %5
br label %7
7: ; preds = %14, %6
%8 = load i32, i32* %5
%9 = icmp slt i32 %8, 3
br i1 %9, label %10, label %17
10: ; preds = %7
%11 = load i32, i32* %5
%12 = load i32, i32* %4
%13 = add nsw i32 %12, %11
store i32 %13, i32* %4
br label %14
14: ; preds = %10
%15 = load i32, i32* %5
%16 = add nsw i32 %15, 1
store i32 %16, i32* %5
br label %7
17: ; preds = %7
store i32 0, i32* %5
br label %18
18: ; preds = %25, %17
%19 = load i32, i32* %5
%20 = icmp sle i32 %19, 3
br i1 %20, label %21, label %28
21: ; preds = %18
%22 = load i32, i32* %5
%23 = load i32, i32* %4
%24 = add nsw i32 %23, %22
store i32 %24, i32* %4
br label %25
25: ; preds = %21
%26 = load i32, i32* %5
%27 = add nsw i32 %26, 1
store i32 %27, i32* %5
br label %18
28: ; preds = %18
store i32 0, i32* %5
br label %29
29: ; preds = %36, %28
%30 = load i32, i32* %5
%31 = icmp slt i32 %30, 3
br i1 %31, label %32, label %39
32: ; preds = %29
%33 = load i32, i32* %5
%34 = load i32, i32* %4
%35 = add nsw i32 %34, %33
store i32 %35, i32* %4
br label %36
36: ; preds = %32
%37 = load i32, i32* %5
%38 = sub nsw i32 %37, -1
store i32 %38, i32* %5
br label %29
39: ; preds = %29
store i32 0, i32* %5
br label %40
40: ; preds = %47, %39
%41 = load i32, i32* %5
%42 = icmp sle i32 %41, 3
br i1 %42, label %43, label %50
43: ; preds = %40
%44 = load i32, i32* %5
%45 = load i32, i32* %4
%46 = add nsw i32 %45, %44
store i32 %46, i32* %4
br label %47
47: ; preds = %43
%48 = load i32, i32* %5
%49 = sub nsw i32 %48, -1
store i32 %49, i32* %5
br label %40
50: ; preds = %40
br label %51
51: ; preds = %50
br label %52
52: ; preds = %51
store i32 1, i32* %5
br label %53
53: ; preds = %60, %52
%54 = load i32, i32* %5
%55 = icmp slt i32 %54, 2
br i1 %55, label %56, label %63
56: ; preds = %53
%57 = load i32, i32* %5
%58 = load i32, i32* %4
%59 = add nsw i32 %58, %57
store i32 %59, i32* %4
br label %60
60: ; preds = %56
%61 = load i32, i32* %5
%62 = add nsw i32 %61, 1
store i32 %62, i32* %5
br label %53
63: ; preds = %53
store i32 1, i32* %5
br label %64
64: ; preds = %71, %63
%65 = load i32, i32* %5
%66 = icmp sle i32 %65, 2
br i1 %66, label %67, label %74
67: ; preds = %64
%68 = load i32, i32* %5
%69 = load i32, i32* %4
%70 = add nsw i32 %69, %68
store i32 %70, i32* %4
br label %71
71: ; preds = %67
%72 = load i32, i32* %5
%73 = add nsw i32 %72, 1
store i32 %73, i32* %5
br label %64
74: ; preds = %64
store i32 1, i32* %5
br label %75
75: ; preds = %82, %74
%76 = load i32, i32* %5
%77 = icmp slt i32 %76, 2
br i1 %77, label %78, label %85
78: ; preds = %75
%79 = load i32, i32* %5
%80 = load i32, i32* %4
%81 = add nsw i32 %80, %79
store i32 %81, i32* %4
br label %82
82: ; preds = %78
%83 = load i32, i32* %5
%84 = sub nsw i32 %83, -1
store i32 %84, i32* %5
br label %75
85: ; preds = %75
store i32 1, i32* %5
br label %86
86: ; preds = %93, %85
%87 = load i32, i32* %5
%88 = icmp sle i32 %87, 2
br i1 %88, label %89, label %96
89: ; preds = %86
%90 = load i32, i32* %5
%91 = load i32, i32* %4
%92 = add nsw i32 %91, %90
store i32 %92, i32* %4
br label %93
93: ; preds = %89
%94 = load i32, i32* %5
%95 = sub nsw i32 %94, -1
store i32 %95, i32* %5
br label %86
96: ; preds = %86
br label %97
97: ; preds = %96
br label %98
98: ; preds = %97
store i32 -3, i32* %5
br label %99
99: ; preds = %106, %98
%100 = load i32, i32* %5
%101 = icmp slt i32 %100, -2
br i1 %101, label %102, label %109
102: ; preds = %99
%103 = load i32, i32* %5
%104 = load i32, i32* %4
%105 = add nsw i32 %104, %103
store i32 %105, i32* %4
br label %106
106: ; preds = %102
%107 = load i32, i32* %5
%108 = add nsw i32 %107, 1
store i32 %108, i32* %5
br label %99
109: ; preds = %99
store i32 -3, i32* %5
br label %110
110: ; preds = %117, %109
%111 = load i32, i32* %5
%112 = icmp sle i32 %111, -2
br i1 %112, label %113, label %120
113: ; preds = %110
%114 = load i32, i32* %5
%115 = load i32, i32* %4
%116 = add nsw i32 %115, %114
store i32 %116, i32* %4
br label %117
117: ; preds = %113
%118 = load i32, i32* %5
%119 = add nsw i32 %118, 1
store i32 %119, i32* %5
br label %110
120: ; preds = %110
store i32 -3, i32* %5
br label %121
121: ; preds = %128, %120
%122 = load i32, i32* %5
%123 = icmp slt i32 %122, -2
br i1 %123, label %124, label %131
124: ; preds = %121
%125 = load i32, i32* %5
%126 = load i32, i32* %4
%127 = add nsw i32 %126, %125
store i32 %127, i32* %4
br label %128
128: ; preds = %124
%129 = load i32, i32* %5
%130 = sub nsw i32 %129, -1
store i32 %130, i32* %5
br label %121
131: ; preds = %121
store i32 -3, i32* %5
br label %132
132: ; preds = %139, %131
%133 = load i32, i32* %5
%134 = icmp sle i32 %133, -2
br i1 %134, label %135, label %142
135: ; preds = %132
%136 = load i32, i32* %5
%137 = load i32, i32* %4
%138 = add nsw i32 %137, %136
store i32 %138, i32* %4
br label %139
139: ; preds = %135
%140 = load i32, i32* %5
%141 = sub nsw i32 %140, -1
store i32 %141, i32* %5
br label %132
142: ; preds = %132
br label %143
143: ; preds = %142
br label %144
144: ; preds = %143
store i32 -4, i32* %5
br label %145
145: ; preds = %152, %144
%146 = load i32, i32* %5
%147 = icmp slt i32 %146, -1
br i1 %147, label %148, label %155
148: ; preds = %145
%149 = load i32, i32* %5
%150 = load i32, i32* %4
%151 = add nsw i32 %150, %149
store i32 %151, i32* %4
br label %152
152: ; preds = %148
%153 = load i32, i32* %5
%154 = add nsw i32 %153, 1
store i32 %154, i32* %5
br label %145
155: ; preds = %145
store i32 -4, i32* %5
br label %156
156: ; preds = %163, %155
%157 = load i32, i32* %5
%158 = icmp sle i32 %157, -1
br i1 %158, label %159, label %166
159: ; preds = %156
%160 = load i32, i32* %5
%161 = load i32, i32* %4
%162 = add nsw i32 %161, %160
store i32 %162, i32* %4
br label %163
163: ; preds = %159
%164 = load i32, i32* %5
%165 = add nsw i32 %164, 1
store i32 %165, i32* %5
br label %156
166: ; preds = %156
store i32 -4, i32* %5
br label %167
167: ; preds = %174, %166
%168 = load i32, i32* %5
%169 = icmp slt i32 %168, -1
br i1 %169, label %170, label %177
170: ; preds = %167
%171 = load i32, i32* %5
%172 = load i32, i32* %4
%173 = add nsw i32 %172, %171
store i32 %173, i32* %4
br label %174
174: ; preds = %170
%175 = load i32, i32* %5
%176 = sub nsw i32 %175, -1
store i32 %176, i32* %5
br label %167
177: ; preds = %167
store i32 -4, i32* %5
br label %178
178: ; preds = %185, %177
%179 = load i32, i32* %5
%180 = icmp sle i32 %179, -1
br i1 %180, label %181, label %188
181: ; preds = %178
%182 = load i32, i32* %5
%183 = load i32, i32* %4
%184 = add nsw i32 %183, %182
store i32 %184, i32* %4
br label %185
185: ; preds = %181
%186 = load i32, i32* %5
%187 = sub nsw i32 %186, -1
store i32 %187, i32* %5
br label %178
188: ; preds = %178
br label %189
189: ; preds = %188
br label %190
190: ; preds = %189
store i32 -5, i32* %5
br label %191
191: ; preds = %198, %190
%192 = load i32, i32* %5
%193 = icmp slt i32 %192, 0
br i1 %193, label %194, label %201
194: ; preds = %191
%195 = load i32, i32* %5
%196 = load i32, i32* %4
%197 = add nsw i32 %196, %195
store i32 %197, i32* %4
br label %198
198: ; preds = %194
%199 = load i32, i32* %5
%200 = add nsw i32 %199, 1
store i32 %200, i32* %5
br label %191
201: ; preds = %191
store i32 -5, i32* %5
br label %202
202: ; preds = %209, %201
%203 = load i32, i32* %5
%204 = icmp sle i32 %203, 0
br i1 %204, label %205, label %212
205: ; preds = %202
%206 = load i32, i32* %5
%207 = load i32, i32* %4
%208 = add nsw i32 %207, %206
store i32 %208, i32* %4
br label %209
209: ; preds = %205
%210 = load i32, i32* %5
%211 = add nsw i32 %210, 1
store i32 %211, i32* %5
br label %202
212: ; preds = %202
store i32 -5, i32* %5
br label %213
213: ; preds = %220, %212
%214 = load i32, i32* %5
%215 = icmp slt i32 %214, 0
br i1 %215, label %216, label %223
216: ; preds = %213
%217 = load i32, i32* %5
%218 = load i32, i32* %4
%219 = add nsw i32 %218, %217
store i32 %219, i32* %4
br label %220
220: ; preds = %216
%221 = load i32, i32* %5
%222 = sub nsw i32 %221, -1
store i32 %222, i32* %5
br label %213
223: ; preds = %213
store i32 -5, i32* %5
br label %224
224: ; preds = %231, %223
%225 = load i32, i32* %5
%226 = icmp sle i32 %225, 0
br i1 %226, label %227, label %234
227: ; preds = %224
%228 = load i32, i32* %5
%229 = load i32, i32* %4
%230 = add nsw i32 %229, %228
store i32 %230, i32* %4
br label %231
231: ; preds = %227
%232 = load i32, i32* %5
%233 = sub nsw i32 %232, -1
store i32 %233, i32* %5
br label %224
234: ; preds = %224
br label %235
235: ; preds = %234
br label %236
236: ; preds = %235
store i32 -6, i32* %5
br label %237
237: ; preds = %244, %236
%238 = load i32, i32* %5
%239 = icmp slt i32 %238, 4
br i1 %239, label %240, label %247
240: ; preds = %237
%241 = load i32, i32* %5
%242 = load i32, i32* %4
%243 = add nsw i32 %242, %241
store i32 %243, i32* %4
br label %244
244: ; preds = %240
%245 = load i32, i32* %5
%246 = add nsw i32 %245, 1
store i32 %246, i32* %5
br label %237
247: ; preds = %237
store i32 -6, i32* %5
br label %248
248: ; preds = %255, %247
%249 = load i32, i32* %5
%250 = icmp sle i32 %249, 4
br i1 %250, label %251, label %258
251: ; preds = %248
%252 = load i32, i32* %5
%253 = load i32, i32* %4
%254 = add nsw i32 %253, %252
store i32 %254, i32* %4
br label %255
255: ; preds = %251
%256 = load i32, i32* %5
%257 = add nsw i32 %256, 1
store i32 %257, i32* %5
br label %248
258: ; preds = %248
store i32 -6, i32* %5
br label %259
259: ; preds = %266, %258
%260 = load i32, i32* %5
%261 = icmp slt i32 %260, 4
br i1 %261, label %262, label %269
262: ; preds = %259
%263 = load i32, i32* %5
%264 = load i32, i32* %4
%265 = add nsw i32 %264, %263
store i32 %265, i32* %4
br label %266
266: ; preds = %262
%267 = load i32, i32* %5
%268 = sub nsw i32 %267, -1
store i32 %268, i32* %5
br label %259
269: ; preds = %259
store i32 -6, i32* %5
br label %270
270: ; preds = %277, %269
%271 = load i32, i32* %5
%272 = icmp sle i32 %271, 4
br i1 %272, label %273, label %280
273: ; preds = %270
%274 = load i32, i32* %5
%275 = load i32, i32* %4
%276 = add nsw i32 %275, %274
store i32 %276, i32* %4
br label %277
277: ; preds = %273
%278 = load i32, i32* %5
%279 = sub nsw i32 %278, -1
store i32 %279, i32* %5
br label %270
280: ; preds = %270
br label %281
281: ; preds = %280
br label %282
282: ; preds = %281
store i32 0, i32* %5
br label %283
283: ; preds = %290, %282
%284 = load i32, i32* %5
%285 = icmp slt i32 %284, 3
br i1 %285, label %286, label %294
286: ; preds = %283
%287 = load i32, i32* %5
%288 = load i32, i32* %4
%289 = add nsw i32 %288, %287
store i32 %289, i32* %4
br label %290
290: ; preds = %286
%291 = load i32, i32* %3
%292 = load i32, i32* %5
%293 = add nsw i32 %292, %291
store i32 %293, i32* %5
br label %283
294: ; preds = %283
store i32 0, i32* %5
br label %295
295: ; preds = %302, %294
%296 = load i32, i32* %5
%297 = icmp sle i32 %296, 3
br i1 %297, label %298, label %306
298: ; preds = %295
%299 = load i32, i32* %5
%300 = load i32, i32* %4
%301 = add nsw i32 %300, %299
store i32 %301, i32* %4
br label %302
302: ; preds = %298
%303 = load i32, i32* %3
%304 = load i32, i32* %5
%305 = add nsw i32 %304, %303
store i32 %305, i32* %5
br label %295
306: ; preds = %295
store i32 0, i32* %5
br label %307
307: ; preds = %314, %306
%308 = load i32, i32* %5
%309 = icmp slt i32 %308, 3
br i1 %309, label %310, label %319
310: ; preds = %307
%311 = load i32, i32* %5
%312 = load i32, i32* %4
%313 = add nsw i32 %312, %311
store i32 %313, i32* %4
br label %314
314: ; preds = %310
%315 = load i32, i32* %3
%316 = sub nsw i32 0, %315
%317 = load i32, i32* %5
%318 = sub nsw i32 %317, %316
store i32 %318, i32* %5
br label %307
319: ; preds = %307
store i32 0, i32* %5
br label %320
320: ; preds = %327, %319
%321 = load i32, i32* %5
%322 = icmp sle i32 %321, 3
br i1 %322, label %323, label %332
323: ; preds = %320
%324 = load i32, i32* %5
%325 = load i32, i32* %4
%326 = add nsw i32 %325, %324
store i32 %326, i32* %4
br label %327
327: ; preds = %323
%328 = load i32, i32* %3
%329 = sub nsw i32 0, %328
%330 = load i32, i32* %5
%331 = sub nsw i32 %330, %329
store i32 %331, i32* %5
br label %320
332: ; preds = %320
br label %333
333: ; preds = %332
br label %334
334: ; preds = %333
store i32 1, i32* %5
br label %335
335: ; preds = %342, %334
%336 = load i32, i32* %5
%337 = icmp slt i32 %336, 2
br i1 %337, label %338, label %346
338: ; preds = %335
%339 = load i32, i32* %5
%340 = load i32, i32* %4
%341 = add nsw i32 %340, %339
store i32 %341, i32* %4
br label %342
342: ; preds = %338
%343 = load i32, i32* %3
%344 = load i32, i32* %5
%345 = add nsw i32 %344, %343
store i32 %345, i32* %5
br label %335
346: ; preds = %335
store i32 1, i32* %5
br label %347
347: ; preds = %354, %346
%348 = load i32, i32* %5
%349 = icmp sle i32 %348, 2
br i1 %349, label %350, label %358
350: ; preds = %347
%351 = load i32, i32* %5
%352 = load i32, i32* %4
%353 = add nsw i32 %352, %351
store i32 %353, i32* %4
br label %354
354: ; preds = %350
%355 = load i32, i32* %3
%356 = load i32, i32* %5
%357 = add nsw i32 %356, %355
store i32 %357, i32* %5
br label %347
358: ; preds = %347
store i32 1, i32* %5
br label %359
359: ; preds = %366, %358
%360 = load i32, i32* %5
%361 = icmp slt i32 %360, 2
br i1 %361, label %362, label %371
362: ; preds = %359
%363 = load i32, i32* %5
%364 = load i32, i32* %4
%365 = add nsw i32 %364, %363
store i32 %365, i32* %4
br label %366
366: ; preds = %362
%367 = load i32, i32* %3
%368 = sub nsw i32 0, %367
%369 = load i32, i32* %5
%370 = sub nsw i32 %369, %368
store i32 %370, i32* %5
br label %359
371: ; preds = %359
store i32 1, i32* %5
br label %372
372: ; preds = %379, %371
%373 = load i32, i32* %5
%374 = icmp sle i32 %373, 2
br i1 %374, label %375, label %384
375: ; preds = %372
%376 = load i32, i32* %5
%377 = load i32, i32* %4
%378 = add nsw i32 %377, %376
store i32 %378, i32* %4
br label %379
379: ; preds = %375
%380 = load i32, i32* %3
%381 = sub nsw i32 0, %380
%382 = load i32, i32* %5
%383 = sub nsw i32 %382, %381
store i32 %383, i32* %5
br label %372
384: ; preds = %372
br label %385
385: ; preds = %384
br label %386
386: ; preds = %385
store i32 -3, i32* %5
br label %387
387: ; preds = %394, %386
%388 = load i32, i32* %5
%389 = icmp slt i32 %388, -2
br i1 %389, label %390, label %398
390: ; preds = %387
%391 = load i32, i32* %5
%392 = load i32, i32* %4
%393 = add nsw i32 %392, %391
store i32 %393, i32* %4
br label %394
394: ; preds = %390
%395 = load i32, i32* %3
%396 = load i32, i32* %5
%397 = add nsw i32 %396, %395
store i32 %397, i32* %5
br label %387
398: ; preds = %387
store i32 -3, i32* %5
br label %399
399: ; preds = %406, %398
%400 = load i32, i32* %5
%401 = icmp sle i32 %400, -2
br i1 %401, label %402, label %410
402: ; preds = %399
%403 = load i32, i32* %5
%404 = load i32, i32* %4
%405 = add nsw i32 %404, %403
store i32 %405, i32* %4
br label %406
406: ; preds = %402
%407 = load i32, i32* %3
%408 = load i32, i32* %5
%409 = add nsw i32 %408, %407
store i32 %409, i32* %5
br label %399
410: ; preds = %399
store i32 -3, i32* %5
br label %411
411: ; preds = %418, %410
%412 = load i32, i32* %5
%413 = icmp slt i32 %412, -2
br i1 %413, label %414, label %423
414: ; preds = %411
%415 = load i32, i32* %5
%416 = load i32, i32* %4
%417 = add nsw i32 %416, %415
store i32 %417, i32* %4
br label %418
418: ; preds = %414
%419 = load i32, i32* %3
%420 = sub nsw i32 0, %419
%421 = load i32, i32* %5
%422 = sub nsw i32 %421, %420
store i32 %422, i32* %5
br label %411
423: ; preds = %411
store i32 -3, i32* %5
br label %424
424: ; preds = %431, %423
%425 = load i32, i32* %5
%426 = icmp sle i32 %425, -2
br i1 %426, label %427, label %436
427: ; preds = %424
%428 = load i32, i32* %5
%429 = load i32, i32* %4
%430 = add nsw i32 %429, %428
store i32 %430, i32* %4
br label %431
431: ; preds = %427
%432 = load i32, i32* %3
%433 = sub nsw i32 0, %432
%434 = load i32, i32* %5
%435 = sub nsw i32 %434, %433
store i32 %435, i32* %5
br label %424
436: ; preds = %424
br label %437
437: ; preds = %436
br label %438
438: ; preds = %437
store i32 -4, i32* %5
br label %439
439: ; preds = %446, %438
%440 = load i32, i32* %5
%441 = icmp slt i32 %440, -1
br i1 %441, label %442, label %450
442: ; preds = %439
%443 = load i32, i32* %5
%444 = load i32, i32* %4
%445 = add nsw i32 %444, %443
store i32 %445, i32* %4
br label %446
446: ; preds = %442
%447 = load i32, i32* %3
%448 = load i32, i32* %5
%449 = add nsw i32 %448, %447
store i32 %449, i32* %5
br label %439
450: ; preds = %439
store i32 -4, i32* %5
br label %451
451: ; preds = %458, %450
%452 = load i32, i32* %5
%453 = icmp sle i32 %452, -1
br i1 %453, label %454, label %462
454: ; preds = %451
%455 = load i32, i32* %5
%456 = load i32, i32* %4
%457 = add nsw i32 %456, %455
store i32 %457, i32* %4
br label %458
458: ; preds = %454
%459 = load i32, i32* %3
%460 = load i32, i32* %5
%461 = add nsw i32 %460, %459
store i32 %461, i32* %5
br label %451
462: ; preds = %451
store i32 -4, i32* %5
br label %463
463: ; preds = %470, %462
%464 = load i32, i32* %5
%465 = icmp slt i32 %464, -1
br i1 %465, label %466, label %475
466: ; preds = %463
%467 = load i32, i32* %5
%468 = load i32, i32* %4
%469 = add nsw i32 %468, %467
store i32 %469, i32* %4
br label %470
470: ; preds = %466
%471 = load i32, i32* %3
%472 = sub nsw i32 0, %471
%473 = load i32, i32* %5
%474 = sub nsw i32 %473, %472
store i32 %474, i32* %5
br label %463
475: ; preds = %463
store i32 -4, i32* %5
br label %476
476: ; preds = %483, %475
%477 = load i32, i32* %5
%478 = icmp sle i32 %477, -1
br i1 %478, label %479, label %488
479: ; preds = %476
%480 = load i32, i32* %5
%481 = load i32, i32* %4
%482 = add nsw i32 %481, %480
store i32 %482, i32* %4
br label %483
483: ; preds = %479
%484 = load i32, i32* %3
%485 = sub nsw i32 0, %484
%486 = load i32, i32* %5
%487 = sub nsw i32 %486, %485
store i32 %487, i32* %5
br label %476
488: ; preds = %476
br label %489
489: ; preds = %488
br label %490
490: ; preds = %489
store i32 -5, i32* %5
br label %491
491: ; preds = %498, %490
%492 = load i32, i32* %5
%493 = icmp slt i32 %492, 0
br i1 %493, label %494, label %502
494: ; preds = %491
%495 = load i32, i32* %5
%496 = load i32, i32* %4
%497 = add nsw i32 %496, %495
store i32 %497, i32* %4
br label %498
498: ; preds = %494
%499 = load i32, i32* %3
%500 = load i32, i32* %5
%501 = add nsw i32 %500, %499
store i32 %501, i32* %5
br label %491
502: ; preds = %491
store i32 -5, i32* %5
br label %503
503: ; preds = %510, %502
%504 = load i32, i32* %5
%505 = icmp sle i32 %504, 0
br i1 %505, label %506, label %514
506: ; preds = %503
%507 = load i32, i32* %5
%508 = load i32, i32* %4
%509 = add nsw i32 %508, %507
store i32 %509, i32* %4
br label %510
510: ; preds = %506
%511 = load i32, i32* %3
%512 = load i32, i32* %5
%513 = add nsw i32 %512, %511
store i32 %513, i32* %5
br label %503
514: ; preds = %503
store i32 -5, i32* %5
br label %515
515: ; preds = %522, %514
%516 = load i32, i32* %5
%517 = icmp slt i32 %516, 0
br i1 %517, label %518, label %527
518: ; preds = %515
%519 = load i32, i32* %5
%520 = load i32, i32* %4
%521 = add nsw i32 %520, %519
store i32 %521, i32* %4
br label %522
522: ; preds = %518
%523 = load i32, i32* %3
%524 = sub nsw i32 0, %523
%525 = load i32, i32* %5
%526 = sub nsw i32 %525, %524
store i32 %526, i32* %5
br label %515
527: ; preds = %515
store i32 -5, i32* %5
br label %528
528: ; preds = %535, %527
%529 = load i32, i32* %5
%530 = icmp sle i32 %529, 0
br i1 %530, label %531, label %540
531: ; preds = %528
%532 = load i32, i32* %5
%533 = load i32, i32* %4
%534 = add nsw i32 %533, %532
store i32 %534, i32* %4
br label %535
535: ; preds = %531
%536 = load i32, i32* %3
%537 = sub nsw i32 0, %536
%538 = load i32, i32* %5
%539 = sub nsw i32 %538, %537
store i32 %539, i32* %5
br label %528
540: ; preds = %528
br label %541
541: ; preds = %540
br label %542
542: ; preds = %541
store i32 -6, i32* %5
br label %543
543: ; preds = %550, %542
%544 = load i32, i32* %5
%545 = icmp slt i32 %544, 4
br i1 %545, label %546, label %554
546: ; preds = %543
%547 = load i32, i32* %5
%548 = load i32, i32* %4
%549 = add nsw i32 %548, %547
store i32 %549, i32* %4
br label %550
550: ; preds = %546
%551 = load i32, i32* %3
%552 = load i32, i32* %5
%553 = add nsw i32 %552, %551
store i32 %553, i32* %5
br label %543
554: ; preds = %543
store i32 -6, i32* %5
br label %555
555: ; preds = %562, %554
%556 = load i32, i32* %5
%557 = icmp sle i32 %556, 4
br i1 %557, label %558, label %566
558: ; preds = %555
%559 = load i32, i32* %5
%560 = load i32, i32* %4
%561 = add nsw i32 %560, %559
store i32 %561, i32* %4
br label %562
562: ; preds = %558
%563 = load i32, i32* %3
%564 = load i32, i32* %5
%565 = add nsw i32 %564, %563
store i32 %565, i32* %5
br label %555
566: ; preds = %555
store i32 -6, i32* %5
br label %567
567: ; preds = %574, %566
%568 = load i32, i32* %5
%569 = icmp slt i32 %568, 4
br i1 %569, label %570, label %579
570: ; preds = %567
%571 = load i32, i32* %5
%572 = load i32, i32* %4
%573 = add nsw i32 %572, %571
store i32 %573, i32* %4
br label %574
574: ; preds = %570
%575 = load i32, i32* %3
%576 = sub nsw i32 0, %575
%577 = load i32, i32* %5
%578 = sub nsw i32 %577, %576
store i32 %578, i32* %5
br label %567
579: ; preds = %567
store i32 -6, i32* %5
br label %580
580: ; preds = %587, %579
%581 = load i32, i32* %5
%582 = icmp sle i32 %581, 4
br i1 %582, label %583, label %592
583: ; preds = %580
%584 = load i32, i32* %5
%585 = load i32, i32* %4
%586 = add nsw i32 %585, %584
store i32 %586, i32* %4
br label %587
587: ; preds = %583
%588 = load i32, i32* %3
%589 = sub nsw i32 0, %588
%590 = load i32, i32* %5
%591 = sub nsw i32 %590, %589
store i32 %591, i32* %5
br label %580
592: ; preds = %580
br label %593
593: ; preds = %592
br label %594
594: ; preds = %593
store i32 5, i32* %5
br label %595
595: ; preds = %602, %594
%596 = load i32, i32* %5
%597 = icmp sgt i32 %596, 2
br i1 %597, label %598, label %605
598: ; preds = %595
%599 = load i32, i32* %5
%600 = load i32, i32* %4
%601 = add nsw i32 %600, %599
store i32 %601, i32* %4
br label %602
602: ; preds = %598
%603 = load i32, i32* %5
%604 = sub nsw i32 %603, 1
store i32 %604, i32* %5
br label %595
605: ; preds = %595
store i32 5, i32* %5
br label %606
606: ; preds = %613, %605
%607 = load i32, i32* %5
%608 = icmp sge i32 %607, 2
br i1 %608, label %609, label %616
609: ; preds = %606
%610 = load i32, i32* %5
%611 = load i32, i32* %4
%612 = add nsw i32 %611, %610
store i32 %612, i32* %4
br label %613
613: ; preds = %609
%614 = load i32, i32* %5
%615 = sub nsw i32 %614, 1
store i32 %615, i32* %5
br label %606
616: ; preds = %606
store i32 5, i32* %5
br label %617
617: ; preds = %624, %616
%618 = load i32, i32* %5
%619 = icmp sgt i32 %618, 2
br i1 %619, label %620, label %627
620: ; preds = %617
%621 = load i32, i32* %5
%622 = load i32, i32* %4
%623 = add nsw i32 %622, %621
store i32 %623, i32* %4
br label %624
624: ; preds = %620
%625 = load i32, i32* %5
%626 = add nsw i32 %625, -1
store i32 %626, i32* %5
br label %617
627: ; preds = %617
store i32 5, i32* %5
br label %628
628: ; preds = %635, %627
%629 = load i32, i32* %5
%630 = icmp sge i32 %629, 2
br i1 %630, label %631, label %638
631: ; preds = %628
%632 = load i32, i32* %5
%633 = load i32, i32* %4
%634 = add nsw i32 %633, %632
store i32 %634, i32* %4
br label %635
635: ; preds = %631
%636 = load i32, i32* %5
%637 = add nsw i32 %636, -1
store i32 %637, i32* %5
br label %628
638: ; preds = %628
br label %639
639: ; preds = %638
br label %640
640: ; preds = %639
store i32 6, i32* %5
br label %641
641: ; preds = %648, %640
%642 = load i32, i32* %5
%643 = icmp sgt i32 %642, 1
br i1 %643, label %644, label %651
644: ; preds = %641
%645 = load i32, i32* %5
%646 = load i32, i32* %4
%647 = add nsw i32 %646, %645
store i32 %647, i32* %4
br label %648
648: ; preds = %644
%649 = load i32, i32* %5
%650 = sub nsw i32 %649, 1
store i32 %650, i32* %5
br label %641
651: ; preds = %641
store i32 6, i32* %5
br label %652
652: ; preds = %659, %651
%653 = load i32, i32* %5
%654 = icmp sge i32 %653, 1
br i1 %654, label %655, label %662
655: ; preds = %652
%656 = load i32, i32* %5
%657 = load i32, i32* %4
%658 = add nsw i32 %657, %656
store i32 %658, i32* %4
br label %659
659: ; preds = %655
%660 = load i32, i32* %5
%661 = sub nsw i32 %660, 1
store i32 %661, i32* %5
br label %652
662: ; preds = %652
store i32 6, i32* %5
br label %663
663: ; preds = %670, %662
%664 = load i32, i32* %5
%665 = icmp sgt i32 %664, 1
br i1 %665, label %666, label %673
666: ; preds = %663
%667 = load i32, i32* %5
%668 = load i32, i32* %4
%669 = add nsw i32 %668, %667
store i32 %669, i32* %4
br label %670
670: ; preds = %666
%671 = load i32, i32* %5
%672 = add nsw i32 %671, -1
store i32 %672, i32* %5
br label %663
673: ; preds = %663
store i32 6, i32* %5
br label %674
674: ; preds = %681, %673
%675 = load i32, i32* %5
%676 = icmp sge i32 %675, 1
br i1 %676, label %677, label %684
677: ; preds = %674
%678 = load i32, i32* %5
%679 = load i32, i32* %4
%680 = add nsw i32 %679, %678
store i32 %680, i32* %4
br label %681
681: ; preds = %677
%682 = load i32, i32* %5
%683 = add nsw i32 %682, -1
store i32 %683, i32* %5
br label %674
684: ; preds = %674
br label %685
685: ; preds = %684
br label %686
686: ; preds = %685
store i32 7, i32* %5
br label %687
687: ; preds = %694, %686
%688 = load i32, i32* %5
%689 = icmp sgt i32 %688, 0
br i1 %689, label %690, label %697
690: ; preds = %687
%691 = load i32, i32* %5
%692 = load i32, i32* %4
%693 = add nsw i32 %692, %691
store i32 %693, i32* %4
br label %694
694: ; preds = %690
%695 = load i32, i32* %5
%696 = sub nsw i32 %695, 1
store i32 %696, i32* %5
br label %687
697: ; preds = %687
store i32 7, i32* %5
br label %698
698: ; preds = %705, %697
%699 = load i32, i32* %5
%700 = icmp sge i32 %699, 0
br i1 %700, label %701, label %708
701: ; preds = %698
%702 = load i32, i32* %5
%703 = load i32, i32* %4
%704 = add nsw i32 %703, %702
store i32 %704, i32* %4
br label %705
705: ; preds = %701
%706 = load i32, i32* %5
%707 = sub nsw i32 %706, 1
store i32 %707, i32* %5
br label %698
708: ; preds = %698
store i32 7, i32* %5
br label %709
709: ; preds = %716, %708
%710 = load i32, i32* %5
%711 = icmp sgt i32 %710, 0
br i1 %711, label %712, label %719
712: ; preds = %709
%713 = load i32, i32* %5
%714 = load i32, i32* %4
%715 = add nsw i32 %714, %713
store i32 %715, i32* %4
br label %716
716: ; preds = %712
%717 = load i32, i32* %5
%718 = add nsw i32 %717, -1
store i32 %718, i32* %5
br label %709
719: ; preds = %709
store i32 7, i32* %5
br label %720
720: ; preds = %727, %719
%721 = load i32, i32* %5
%722 = icmp sge i32 %721, 0
br i1 %722, label %723, label %730
723: ; preds = %720
%724 = load i32, i32* %5
%725 = load i32, i32* %4
%726 = add nsw i32 %725, %724
store i32 %726, i32* %4
br label %727
727: ; preds = %723
%728 = load i32, i32* %5
%729 = add nsw i32 %728, -1
store i32 %729, i32* %5
br label %720
730: ; preds = %720
br label %731
731: ; preds = %730
br label %732
732: ; preds = %731
store i32 8, i32* %5
br label %733
733: ; preds = %740, %732
%734 = load i32, i32* %5
%735 = icmp sgt i32 %734, -1
br i1 %735, label %736, label %743
736: ; preds = %733
%737 = load i32, i32* %5
%738 = load i32, i32* %4
%739 = add nsw i32 %738, %737
store i32 %739, i32* %4
br label %740
740: ; preds = %736
%741 = load i32, i32* %5
%742 = sub nsw i32 %741, 1
store i32 %742, i32* %5
br label %733
743: ; preds = %733
store i32 8, i32* %5
br label %744
744: ; preds = %751, %743
%745 = load i32, i32* %5
%746 = icmp sge i32 %745, -1
br i1 %746, label %747, label %754
747: ; preds = %744
%748 = load i32, i32* %5
%749 = load i32, i32* %4
%750 = add nsw i32 %749, %748
store i32 %750, i32* %4
br label %751
751: ; preds = %747
%752 = load i32, i32* %5
%753 = sub nsw i32 %752, 1
store i32 %753, i32* %5
br label %744
754: ; preds = %744
store i32 8, i32* %5
br label %755
755: ; preds = %762, %754
%756 = load i32, i32* %5
%757 = icmp sgt i32 %756, -1
br i1 %757, label %758, label %765
758: ; preds = %755
%759 = load i32, i32* %5
%760 = load i32, i32* %4
%761 = add nsw i32 %760, %759
store i32 %761, i32* %4
br label %762
762: ; preds = %758
%763 = load i32, i32* %5
%764 = add nsw i32 %763, -1
store i32 %764, i32* %5
br label %755
765: ; preds = %755
store i32 8, i32* %5
br label %766
766: ; preds = %773, %765
%767 = load i32, i32* %5
%768 = icmp sge i32 %767, -1
br i1 %768, label %769, label %776
769: ; preds = %766
%770 = load i32, i32* %5
%771 = load i32, i32* %4
%772 = add nsw i32 %771, %770
store i32 %772, i32* %4
br label %773
773: ; preds = %769
%774 = load i32, i32* %5
%775 = add nsw i32 %774, -1
store i32 %775, i32* %5
br label %766
776: ; preds = %766
br label %777
777: ; preds = %776
br label %778
778: ; preds = %777
store i32 9, i32* %5
br label %779
779: ; preds = %786, %778
%780 = load i32, i32* %5
%781 = icmp sgt i32 %780, -2
br i1 %781, label %782, label %789
782: ; preds = %779
%783 = load i32, i32* %5
%784 = load i32, i32* %4
%785 = add nsw i32 %784, %783
store i32 %785, i32* %4
br label %786
786: ; preds = %782
%787 = load i32, i32* %5
%788 = sub nsw i32 %787, 1
store i32 %788, i32* %5
br label %779
789: ; preds = %779
store i32 9, i32* %5
br label %790
790: ; preds = %797, %789
%791 = load i32, i32* %5
%792 = icmp sge i32 %791, -2
br i1 %792, label %793, label %800
793: ; preds = %790
%794 = load i32, i32* %5
%795 = load i32, i32* %4
%796 = add nsw i32 %795, %794
store i32 %796, i32* %4
br label %797
797: ; preds = %793
%798 = load i32, i32* %5
%799 = sub nsw i32 %798, 1
store i32 %799, i32* %5
br label %790
800: ; preds = %790
store i32 9, i32* %5
br label %801
801: ; preds = %808, %800
%802 = load i32, i32* %5
%803 = icmp sgt i32 %802, -2
br i1 %803, label %804, label %811
804: ; preds = %801
%805 = load i32, i32* %5
%806 = load i32, i32* %4
%807 = add nsw i32 %806, %805
store i32 %807, i32* %4
br label %808
808: ; preds = %804
%809 = load i32, i32* %5
%810 = add nsw i32 %809, -1
store i32 %810, i32* %5
br label %801
811: ; preds = %801
store i32 9, i32* %5
br label %812
812: ; preds = %819, %811
%813 = load i32, i32* %5
%814 = icmp sge i32 %813, -2
br i1 %814, label %815, label %822
815: ; preds = %812
%816 = load i32, i32* %5
%817 = load i32, i32* %4
%818 = add nsw i32 %817, %816
store i32 %818, i32* %4
br label %819
819: ; preds = %815
%820 = load i32, i32* %5
%821 = add nsw i32 %820, -1
store i32 %821, i32* %5
br label %812
822: ; preds = %812
br label %823
823: ; preds = %822
br label %824
824: ; preds = %823
store i32 0, i32* %5
br label %825
825: ; preds = %832, %824
%826 = load i32, i32* %5
%827 = icmp sgt i32 %826, -3
br i1 %827, label %828, label %835
828: ; preds = %825
%829 = load i32, i32* %5
%830 = load i32, i32* %4
%831 = add nsw i32 %830, %829
store i32 %831, i32* %4
br label %832
832: ; preds = %828
%833 = load i32, i32* %5
%834 = sub nsw i32 %833, 1
store i32 %834, i32* %5
br label %825
835: ; preds = %825
store i32 0, i32* %5
br label %836
836: ; preds = %843, %835
%837 = load i32, i32* %5
%838 = icmp sge i32 %837, -3
br i1 %838, label %839, label %846
839: ; preds = %836
%840 = load i32, i32* %5
%841 = load i32, i32* %4
%842 = add nsw i32 %841, %840
store i32 %842, i32* %4
br label %843
843: ; preds = %839
%844 = load i32, i32* %5
%845 = sub nsw i32 %844, 1
store i32 %845, i32* %5
br label %836
846: ; preds = %836
store i32 0, i32* %5
br label %847
847: ; preds = %854, %846
%848 = load i32, i32* %5
%849 = icmp sgt i32 %848, -3
br i1 %849, label %850, label %857
850: ; preds = %847
%851 = load i32, i32* %5
%852 = load i32, i32* %4
%853 = add nsw i32 %852, %851
store i32 %853, i32* %4
br label %854
854: ; preds = %850
%855 = load i32, i32* %5
%856 = add nsw i32 %855, -1
store i32 %856, i32* %5
br label %847
857: ; preds = %847
store i32 0, i32* %5
br label %858
858: ; preds = %865, %857
%859 = load i32, i32* %5
%860 = icmp sge i32 %859, -3
br i1 %860, label %861, label %868
861: ; preds = %858
%862 = load i32, i32* %5
%863 = load i32, i32* %4
%864 = add nsw i32 %863, %862
store i32 %864, i32* %4
br label %865
865: ; preds = %861
%866 = load i32, i32* %5
%867 = add nsw i32 %866, -1
store i32 %867, i32* %5
br label %858
868: ; preds = %858
br label %869
869: ; preds = %868
br label %870
870: ; preds = %869
store i32 -1, i32* %5
br label %871
871: ; preds = %878, %870
%872 = load i32, i32* %5
%873 = icmp sgt i32 %872, -5
br i1 %873, label %874, label %881
874: ; preds = %871
%875 = load i32, i32* %5
%876 = load i32, i32* %4
%877 = add nsw i32 %876, %875
store i32 %877, i32* %4
br label %878
878: ; preds = %874
%879 = load i32, i32* %5
%880 = sub nsw i32 %879, 1
store i32 %880, i32* %5
br label %871
881: ; preds = %871
store i32 -1, i32* %5
br label %882
882: ; preds = %889, %881
%883 = load i32, i32* %5
%884 = icmp sge i32 %883, -5
br i1 %884, label %885, label %892
885: ; preds = %882
%886 = load i32, i32* %5
%887 = load i32, i32* %4
%888 = add nsw i32 %887, %886
store i32 %888, i32* %4
br label %889
889: ; preds = %885
%890 = load i32, i32* %5
%891 = sub nsw i32 %890, 1
store i32 %891, i32* %5
br label %882
892: ; preds = %882
store i32 -1, i32* %5
br label %893
893: ; preds = %900, %892
%894 = load i32, i32* %5
%895 = icmp sgt i32 %894, -5
br i1 %895, label %896, label %903
896: ; preds = %893
%897 = load i32, i32* %5
%898 = load i32, i32* %4
%899 = add nsw i32 %898, %897
store i32 %899, i32* %4
br label %900
900: ; preds = %896
%901 = load i32, i32* %5
%902 = add nsw i32 %901, -1
store i32 %902, i32* %5
br label %893
903: ; preds = %893
store i32 -1, i32* %5
br label %904
904: ; preds = %911, %903
%905 = load i32, i32* %5
%906 = icmp sge i32 %905, -5
br i1 %906, label %907, label %914
907: ; preds = %904
%908 = load i32, i32* %5
%909 = load i32, i32* %4
%910 = add nsw i32 %909, %908
store i32 %910, i32* %4
br label %911
911: ; preds = %907
%912 = load i32, i32* %5
%913 = add nsw i32 %912, -1
store i32 %913, i32* %5
br label %904
914: ; preds = %904
br label %915
915: ; preds = %914
br label %916
916: ; preds = %915
store i32 -2, i32* %5
br label %917
917: ; preds = %924, %916
%918 = load i32, i32* %5
%919 = icmp sgt i32 %918, -7
br i1 %919, label %920, label %927
920: ; preds = %917
%921 = load i32, i32* %5
%922 = load i32, i32* %4
%923 = add nsw i32 %922, %921
store i32 %923, i32* %4
br label %924
924: ; preds = %920
%925 = load i32, i32* %5
%926 = sub nsw i32 %925, 1
store i32 %926, i32* %5
br label %917
927: ; preds = %917
store i32 -2, i32* %5
br label %928
928: ; preds = %935, %927
%929 = load i32, i32* %5
%930 = icmp sge i32 %929, -7
br i1 %930, label %931, label %938
931: ; preds = %928
%932 = load i32, i32* %5
%933 = load i32, i32* %4
%934 = add nsw i32 %933, %932
store i32 %934, i32* %4
br label %935
935: ; preds = %931
%936 = load i32, i32* %5
%937 = sub nsw i32 %936, 1
store i32 %937, i32* %5
br label %928
938: ; preds = %928
store i32 -2, i32* %5
br label %939
939: ; preds = %946, %938
%940 = load i32, i32* %5
%941 = icmp sgt i32 %940, -7
br i1 %941, label %942, label %949
942: ; preds = %939
%943 = load i32, i32* %5
%944 = load i32, i32* %4
%945 = add nsw i32 %944, %943
store i32 %945, i32* %4
br label %946
946: ; preds = %942
%947 = load i32, i32* %5
%948 = add nsw i32 %947, -1
store i32 %948, i32* %5
br label %939
949: ; preds = %939
store i32 -2, i32* %5
br label %950
950: ; preds = %957, %949
%951 = load i32, i32* %5
%952 = icmp sge i32 %951, -7
br i1 %952, label %953, label %960
953: ; preds = %950
%954 = load i32, i32* %5
%955 = load i32, i32* %4
%956 = add nsw i32 %955, %954
store i32 %956, i32* %4
br label %957
957: ; preds = %953
%958 = load i32, i32* %5
%959 = add nsw i32 %958, -1
store i32 %959, i32* %5
br label %950
960: ; preds = %950
br label %961
961: ; preds = %960
br label %962
962: ; preds = %961
store i32 16, i32* %5
br label %963
963: ; preds = %970, %962
%964 = load i32, i32* %5
%965 = icmp sgt i32 %964, -8
br i1 %965, label %966, label %973
966: ; preds = %963
%967 = load i32, i32* %5
%968 = load i32, i32* %4
%969 = add nsw i32 %968, %967
store i32 %969, i32* %4
br label %970
970: ; preds = %966
%971 = load i32, i32* %5
%972 = sub nsw i32 %971, 1
store i32 %972, i32* %5
br label %963
973: ; preds = %963
store i32 16, i32* %5
br label %974
974: ; preds = %981, %973
%975 = load i32, i32* %5
%976 = icmp sge i32 %975, -8
br i1 %976, label %977, label %984
977: ; preds = %974
%978 = load i32, i32* %5
%979 = load i32, i32* %4
%980 = add nsw i32 %979, %978
store i32 %980, i32* %4
br label %981
981: ; preds = %977
%982 = load i32, i32* %5
%983 = sub nsw i32 %982, 1
store i32 %983, i32* %5
br label %974
984: ; preds = %974
store i32 16, i32* %5
br label %985
985: ; preds = %992, %984
%986 = load i32, i32* %5
%987 = icmp sgt i32 %986, -8
br i1 %987, label %988, label %995
988: ; preds = %985
%989 = load i32, i32* %5
%990 = load i32, i32* %4
%991 = add nsw i32 %990, %989
store i32 %991, i32* %4
br label %992
992: ; preds = %988
%993 = load i32, i32* %5
%994 = add nsw i32 %993, -1
store i32 %994, i32* %5
br label %985
995: ; preds = %985
store i32 16, i32* %5
br label %996
996: ; preds = %1003, %995
%997 = load i32, i32* %5
%998 = icmp sge i32 %997, -8
br i1 %998, label %999, label %1006
999: ; preds = %996
%1000 = load i32, i32* %5
%1001 = load i32, i32* %4
%1002 = add nsw i32 %1001, %1000
store i32 %1002, i32* %4
br label %1003
1003: ; preds = %999
%1004 = load i32, i32* %5
%1005 = add nsw i32 %1004, -1
store i32 %1005, i32* %5
br label %996
1006: ; preds = %996
br label %1007
1007: ; preds = %1006
br label %1008
1008: ; preds = %1007
store i32 5, i32* %5
br label %1009
1009: ; preds = %1016, %1008
%1010 = load i32, i32* %5
%1011 = icmp sgt i32 %1010, 2
br i1 %1011, label %1012, label %1020
1012: ; preds = %1009
%1013 = load i32, i32* %5
%1014 = load i32, i32* %4
%1015 = add nsw i32 %1014, %1013
store i32 %1015, i32* %4
br label %1016
1016: ; preds = %1012
%1017 = load i32, i32* %3
%1018 = load i32, i32* %5
%1019 = sub nsw i32 %1018, %1017
store i32 %1019, i32* %5
br label %1009
1020: ; preds = %1009
store i32 5, i32* %5
br label %1021
1021: ; preds = %1028, %1020
%1022 = load i32, i32* %5
%1023 = icmp sge i32 %1022, 2
br i1 %1023, label %1024, label %1032
1024: ; preds = %1021
%1025 = load i32, i32* %5
%1026 = load i32, i32* %4
%1027 = add nsw i32 %1026, %1025
store i32 %1027, i32* %4
br label %1028
1028: ; preds = %1024
%1029 = load i32, i32* %3
%1030 = load i32, i32* %5
%1031 = sub nsw i32 %1030, %1029
store i32 %1031, i32* %5
br label %1021
1032: ; preds = %1021
store i32 5, i32* %5
br label %1033
1033: ; preds = %1040, %1032
%1034 = load i32, i32* %5
%1035 = icmp sgt i32 %1034, 2
br i1 %1035, label %1036, label %1045
1036: ; preds = %1033
%1037 = load i32, i32* %5
%1038 = load i32, i32* %4
%1039 = add nsw i32 %1038, %1037
store i32 %1039, i32* %4
br label %1040
1040: ; preds = %1036
%1041 = load i32, i32* %3
%1042 = sub nsw i32 0, %1041
%1043 = load i32, i32* %5
%1044 = add nsw i32 %1043, %1042
store i32 %1044, i32* %5
br label %1033
1045: ; preds = %1033
store i32 5, i32* %5
br label %1046
1046: ; preds = %1053, %1045
%1047 = load i32, i32* %5
%1048 = icmp sge i32 %1047, 2
br i1 %1048, label %1049, label %1058
1049: ; preds = %1046
%1050 = load i32, i32* %5
%1051 = load i32, i32* %4
%1052 = add nsw i32 %1051, %1050
store i32 %1052, i32* %4
br label %1053
1053: ; preds = %1049
%1054 = load i32, i32* %3
%1055 = sub nsw i32 0, %1054
%1056 = load i32, i32* %5
%1057 = add nsw i32 %1056, %1055
store i32 %1057, i32* %5
br label %1046
1058: ; preds = %1046
br label %1059
1059: ; preds = %1058
br label %1060
1060: ; preds = %1059
store i32 6, i32* %5
br label %1061
1061: ; preds = %1068, %1060
%1062 = load i32, i32* %5
%1063 = icmp sgt i32 %1062, 1
br i1 %1063, label %1064, label %1072
1064: ; preds = %1061
%1065 = load i32, i32* %5
%1066 = load i32, i32* %4
%1067 = add nsw i32 %1066, %1065
store i32 %1067, i32* %4
br label %1068
1068: ; preds = %1064
%1069 = load i32, i32* %3
%1070 = load i32, i32* %5
%1071 = sub nsw i32 %1070, %1069
store i32 %1071, i32* %5
br label %1061
1072: ; preds = %1061
store i32 6, i32* %5
br label %1073
1073: ; preds = %1080, %1072
%1074 = load i32, i32* %5
%1075 = icmp sge i32 %1074, 1
br i1 %1075, label %1076, label %1084
1076: ; preds = %1073
%1077 = load i32, i32* %5
%1078 = load i32, i32* %4
%1079 = add nsw i32 %1078, %1077
store i32 %1079, i32* %4
br label %1080
1080: ; preds = %1076
%1081 = load i32, i32* %3
%1082 = load i32, i32* %5
%1083 = sub nsw i32 %1082, %1081
store i32 %1083, i32* %5
br label %1073
1084: ; preds = %1073
store i32 6, i32* %5
br label %1085
1085: ; preds = %1092, %1084
%1086 = load i32, i32* %5
%1087 = icmp sgt i32 %1086, 1
br i1 %1087, label %1088, label %1097
1088: ; preds = %1085
%1089 = load i32, i32* %5
%1090 = load i32, i32* %4
%1091 = add nsw i32 %1090, %1089
store i32 %1091, i32* %4
br label %1092
1092: ; preds = %1088
%1093 = load i32, i32* %3
%1094 = sub nsw i32 0, %1093
%1095 = load i32, i32* %5
%1096 = add nsw i32 %1095, %1094
store i32 %1096, i32* %5
br label %1085
1097: ; preds = %1085
store i32 6, i32* %5
br label %1098
1098: ; preds = %1105, %1097
%1099 = load i32, i32* %5
%1100 = icmp sge i32 %1099, 1
br i1 %1100, label %1101, label %1110
1101: ; preds = %1098
%1102 = load i32, i32* %5
%1103 = load i32, i32* %4
%1104 = add nsw i32 %1103, %1102
store i32 %1104, i32* %4
br label %1105
1105: ; preds = %1101
%1106 = load i32, i32* %3
%1107 = sub nsw i32 0, %1106
%1108 = load i32, i32* %5
%1109 = add nsw i32 %1108, %1107
store i32 %1109, i32* %5
br label %1098
1110: ; preds = %1098
br label %1111
1111: ; preds = %1110
br label %1112
1112: ; preds = %1111
store i32 7, i32* %5
br label %1113
1113: ; preds = %1120, %1112
%1114 = load i32, i32* %5
%1115 = icmp sgt i32 %1114, 0
br i1 %1115, label %1116, label %1124
1116: ; preds = %1113
%1117 = load i32, i32* %5
%1118 = load i32, i32* %4
%1119 = add nsw i32 %1118, %1117
store i32 %1119, i32* %4
br label %1120
1120: ; preds = %1116
%1121 = load i32, i32* %3
%1122 = load i32, i32* %5
%1123 = sub nsw i32 %1122, %1121
store i32 %1123, i32* %5
br label %1113
1124: ; preds = %1113
store i32 7, i32* %5
br label %1125
1125: ; preds = %1132, %1124
%1126 = load i32, i32* %5
%1127 = icmp sge i32 %1126, 0
br i1 %1127, label %1128, label %1136
1128: ; preds = %1125
%1129 = load i32, i32* %5
%1130 = load i32, i32* %4
%1131 = add nsw i32 %1130, %1129
store i32 %1131, i32* %4
br label %1132
1132: ; preds = %1128
%1133 = load i32, i32* %3
%1134 = load i32, i32* %5
%1135 = sub nsw i32 %1134, %1133
store i32 %1135, i32* %5
br label %1125
1136: ; preds = %1125
store i32 7, i32* %5
br label %1137
1137: ; preds = %1144, %1136
%1138 = load i32, i32* %5
%1139 = icmp sgt i32 %1138, 0
br i1 %1139, label %1140, label %1149
1140: ; preds = %1137
%1141 = load i32, i32* %5
%1142 = load i32, i32* %4
%1143 = add nsw i32 %1142, %1141
store i32 %1143, i32* %4
br label %1144
1144: ; preds = %1140
%1145 = load i32, i32* %3
%1146 = sub nsw i32 0, %1145
%1147 = load i32, i32* %5
%1148 = add nsw i32 %1147, %1146
store i32 %1148, i32* %5
br label %1137
1149: ; preds = %1137
store i32 7, i32* %5
br label %1150
1150: ; preds = %1157, %1149
%1151 = load i32, i32* %5
%1152 = icmp sge i32 %1151, 0
br i1 %1152, label %1153, label %1162
1153: ; preds = %1150
%1154 = load i32, i32* %5
%1155 = load i32, i32* %4
%1156 = add nsw i32 %1155, %1154
store i32 %1156, i32* %4
br label %1157
1157: ; preds = %1153
%1158 = load i32, i32* %3
%1159 = sub nsw i32 0, %1158
%1160 = load i32, i32* %5
%1161 = add nsw i32 %1160, %1159
store i32 %1161, i32* %5
br label %1150
1162: ; preds = %1150
br label %1163
1163: ; preds = %1162
br label %1164
1164: ; preds = %1163
store i32 8, i32* %5
br label %1165
1165: ; preds = %1172, %1164
%1166 = load i32, i32* %5
%1167 = icmp sgt i32 %1166, -1
br i1 %1167, label %1168, label %1176
1168: ; preds = %1165
%1169 = load i32, i32* %5
%1170 = load i32, i32* %4
%1171 = add nsw i32 %1170, %1169
store i32 %1171, i32* %4
br label %1172
1172: ; preds = %1168
%1173 = load i32, i32* %3
%1174 = load i32, i32* %5
%1175 = sub nsw i32 %1174, %1173
store i32 %1175, i32* %5
br label %1165
1176: ; preds = %1165
store i32 8, i32* %5
br label %1177
1177: ; preds = %1184, %1176
%1178 = load i32, i32* %5
%1179 = icmp sge i32 %1178, -1
br i1 %1179, label %1180, label %1188
1180: ; preds = %1177
%1181 = load i32, i32* %5
%1182 = load i32, i32* %4
%1183 = add nsw i32 %1182, %1181
store i32 %1183, i32* %4
br label %1184
1184: ; preds = %1180
%1185 = load i32, i32* %3
%1186 = load i32, i32* %5
%1187 = sub nsw i32 %1186, %1185
store i32 %1187, i32* %5
br label %1177
1188: ; preds = %1177
store i32 8, i32* %5
br label %1189
1189: ; preds = %1196, %1188
%1190 = load i32, i32* %5
%1191 = icmp sgt i32 %1190, -1
br i1 %1191, label %1192, label %1201
1192: ; preds = %1189
%1193 = load i32, i32* %5
%1194 = load i32, i32* %4
%1195 = add nsw i32 %1194, %1193
store i32 %1195, i32* %4
br label %1196
1196: ; preds = %1192
%1197 = load i32, i32* %3
%1198 = sub nsw i32 0, %1197
%1199 = load i32, i32* %5
%1200 = add nsw i32 %1199, %1198
store i32 %1200, i32* %5
br label %1189
1201: ; preds = %1189
store i32 8, i32* %5
br label %1202
1202: ; preds = %1209, %1201
%1203 = load i32, i32* %5
%1204 = icmp sge i32 %1203, -1
br i1 %1204, label %1205, label %1214
1205: ; preds = %1202
%1206 = load i32, i32* %5
%1207 = load i32, i32* %4
%1208 = add nsw i32 %1207, %1206
store i32 %1208, i32* %4
br label %1209
1209: ; preds = %1205
%1210 = load i32, i32* %3
%1211 = sub nsw i32 0, %1210
%1212 = load i32, i32* %5
%1213 = add nsw i32 %1212, %1211
store i32 %1213, i32* %5
br label %1202
1214: ; preds = %1202
br label %1215
1215: ; preds = %1214
br label %1216
1216: ; preds = %1215
store i32 9, i32* %5
br label %1217
1217: ; preds = %1224, %1216
%1218 = load i32, i32* %5
%1219 = icmp sgt i32 %1218, -2
br i1 %1219, label %1220, label %1228
1220: ; preds = %1217
%1221 = load i32, i32* %5
%1222 = load i32, i32* %4
%1223 = add nsw i32 %1222, %1221
store i32 %1223, i32* %4
br label %1224
1224: ; preds = %1220
%1225 = load i32, i32* %3
%1226 = load i32, i32* %5
%1227 = sub nsw i32 %1226, %1225
store i32 %1227, i32* %5
br label %1217
1228: ; preds = %1217
store i32 9, i32* %5
br label %1229
1229: ; preds = %1236, %1228
%1230 = load i32, i32* %5
%1231 = icmp sge i32 %1230, -2
br i1 %1231, label %1232, label %1240
1232: ; preds = %1229
%1233 = load i32, i32* %5
%1234 = load i32, i32* %4
%1235 = add nsw i32 %1234, %1233
store i32 %1235, i32* %4
br label %1236
1236: ; preds = %1232
%1237 = load i32, i32* %3
%1238 = load i32, i32* %5
%1239 = sub nsw i32 %1238, %1237
store i32 %1239, i32* %5
br label %1229
1240: ; preds = %1229
store i32 9, i32* %5
br label %1241
1241: ; preds = %1248, %1240
%1242 = load i32, i32* %5
%1243 = icmp sgt i32 %1242, -2
br i1 %1243, label %1244, label %1253
1244: ; preds = %1241
%1245 = load i32, i32* %5
%1246 = load i32, i32* %4
%1247 = add nsw i32 %1246, %1245
store i32 %1247, i32* %4
br label %1248
1248: ; preds = %1244
%1249 = load i32, i32* %3
%1250 = sub nsw i32 0, %1249
%1251 = load i32, i32* %5
%1252 = add nsw i32 %1251, %1250
store i32 %1252, i32* %5
br label %1241
1253: ; preds = %1241
store i32 9, i32* %5
br label %1254
1254: ; preds = %1261, %1253
%1255 = load i32, i32* %5
%1256 = icmp sge i32 %1255, -2
br i1 %1256, label %1257, label %1266
1257: ; preds = %1254
%1258 = load i32, i32* %5
%1259 = load i32, i32* %4
%1260 = add nsw i32 %1259, %1258
store i32 %1260, i32* %4
br label %1261
1261: ; preds = %1257
%1262 = load i32, i32* %3
%1263 = sub nsw i32 0, %1262
%1264 = load i32, i32* %5
%1265 = add nsw i32 %1264, %1263
store i32 %1265, i32* %5
br label %1254
1266: ; preds = %1254
br label %1267
1267: ; preds = %1266
br label %1268
1268: ; preds = %1267
store i32 0, i32* %5
br label %1269
1269: ; preds = %1276, %1268
%1270 = load i32, i32* %5
%1271 = icmp sgt i32 %1270, -3
br i1 %1271, label %1272, label %1280
1272: ; preds = %1269
%1273 = load i32, i32* %5
%1274 = load i32, i32* %4
%1275 = add nsw i32 %1274, %1273
store i32 %1275, i32* %4
br label %1276
1276: ; preds = %1272
%1277 = load i32, i32* %3
%1278 = load i32, i32* %5
%1279 = sub nsw i32 %1278, %1277
store i32 %1279, i32* %5
br label %1269
1280: ; preds = %1269
store i32 0, i32* %5
br label %1281
1281: ; preds = %1288, %1280
%1282 = load i32, i32* %5
%1283 = icmp sge i32 %1282, -3
br i1 %1283, label %1284, label %1292
1284: ; preds = %1281
%1285 = load i32, i32* %5
%1286 = load i32, i32* %4
%1287 = add nsw i32 %1286, %1285
store i32 %1287, i32* %4
br label %1288
1288: ; preds = %1284
%1289 = load i32, i32* %3
%1290 = load i32, i32* %5
%1291 = sub nsw i32 %1290, %1289
store i32 %1291, i32* %5
br label %1281
1292: ; preds = %1281
store i32 0, i32* %5
br label %1293
1293: ; preds = %1300, %1292
%1294 = load i32, i32* %5
%1295 = icmp sgt i32 %1294, -3
br i1 %1295, label %1296, label %1305
1296: ; preds = %1293
%1297 = load i32, i32* %5
%1298 = load i32, i32* %4
%1299 = add nsw i32 %1298, %1297
store i32 %1299, i32* %4
br label %1300
1300: ; preds = %1296
%1301 = load i32, i32* %3
%1302 = sub nsw i32 0, %1301
%1303 = load i32, i32* %5
%1304 = add nsw i32 %1303, %1302
store i32 %1304, i32* %5
br label %1293
1305: ; preds = %1293
store i32 0, i32* %5
br label %1306
1306: ; preds = %1313, %1305
%1307 = load i32, i32* %5
%1308 = icmp sge i32 %1307, -3
br i1 %1308, label %1309, label %1318
1309: ; preds = %1306
%1310 = load i32, i32* %5
%1311 = load i32, i32* %4
%1312 = add nsw i32 %1311, %1310
store i32 %1312, i32* %4
br label %1313
1313: ; preds = %1309
%1314 = load i32, i32* %3
%1315 = sub nsw i32 0, %1314
%1316 = load i32, i32* %5
%1317 = add nsw i32 %1316, %1315
store i32 %1317, i32* %5
br label %1306
1318: ; preds = %1306
br label %1319
1319: ; preds = %1318
br label %1320
1320: ; preds = %1319
store i32 -1, i32* %5
br label %1321
1321: ; preds = %1328, %1320
%1322 = load i32, i32* %5
%1323 = icmp sgt i32 %1322, -5
br i1 %1323, label %1324, label %1332
1324: ; preds = %1321
%1325 = load i32, i32* %5
%1326 = load i32, i32* %4
%1327 = add nsw i32 %1326, %1325
store i32 %1327, i32* %4
br label %1328
1328: ; preds = %1324
%1329 = load i32, i32* %3
%1330 = load i32, i32* %5
%1331 = sub nsw i32 %1330, %1329
store i32 %1331, i32* %5
br label %1321
1332: ; preds = %1321
store i32 -1, i32* %5
br label %1333
1333: ; preds = %1340, %1332
%1334 = load i32, i32* %5
%1335 = icmp sge i32 %1334, -5
br i1 %1335, label %1336, label %1344
1336: ; preds = %1333
%1337 = load i32, i32* %5
%1338 = load i32, i32* %4
%1339 = add nsw i32 %1338, %1337
store i32 %1339, i32* %4
br label %1340
1340: ; preds = %1336
%1341 = load i32, i32* %3
%1342 = load i32, i32* %5
%1343 = sub nsw i32 %1342, %1341
store i32 %1343, i32* %5
br label %1333
1344: ; preds = %1333
store i32 -1, i32* %5
br label %1345
1345: ; preds = %1352, %1344
%1346 = load i32, i32* %5
%1347 = icmp sgt i32 %1346, -5
br i1 %1347, label %1348, label %1357
1348: ; preds = %1345
%1349 = load i32, i32* %5
%1350 = load i32, i32* %4
%1351 = add nsw i32 %1350, %1349
store i32 %1351, i32* %4
br label %1352
1352: ; preds = %1348
%1353 = load i32, i32* %3
%1354 = sub nsw i32 0, %1353
%1355 = load i32, i32* %5
%1356 = add nsw i32 %1355, %1354
store i32 %1356, i32* %5
br label %1345
1357: ; preds = %1345
store i32 -1, i32* %5
br label %1358
1358: ; preds = %1365, %1357
%1359 = load i32, i32* %5
%1360 = icmp sge i32 %1359, -5
br i1 %1360, label %1361, label %1370
1361: ; preds = %1358
%1362 = load i32, i32* %5
%1363 = load i32, i32* %4
%1364 = add nsw i32 %1363, %1362
store i32 %1364, i32* %4
br label %1365
1365: ; preds = %1361
%1366 = load i32, i32* %3
%1367 = sub nsw i32 0, %1366
%1368 = load i32, i32* %5
%1369 = add nsw i32 %1368, %1367
store i32 %1369, i32* %5
br label %1358
1370: ; preds = %1358
br label %1371
1371: ; preds = %1370
br label %1372
1372: ; preds = %1371
store i32 -2, i32* %5
br label %1373
1373: ; preds = %1380, %1372
%1374 = load i32, i32* %5
%1375 = icmp sgt i32 %1374, -7
br i1 %1375, label %1376, label %1384
1376: ; preds = %1373
%1377 = load i32, i32* %5
%1378 = load i32, i32* %4
%1379 = add nsw i32 %1378, %1377
store i32 %1379, i32* %4
br label %1380
1380: ; preds = %1376
%1381 = load i32, i32* %3
%1382 = load i32, i32* %5
%1383 = sub nsw i32 %1382, %1381
store i32 %1383, i32* %5
br label %1373
1384: ; preds = %1373
store i32 -2, i32* %5
br label %1385
1385: ; preds = %1392, %1384
%1386 = load i32, i32* %5
%1387 = icmp sge i32 %1386, -7
br i1 %1387, label %1388, label %1396
1388: ; preds = %1385
%1389 = load i32, i32* %5
%1390 = load i32, i32* %4
%1391 = add nsw i32 %1390, %1389
store i32 %1391, i32* %4
br label %1392
1392: ; preds = %1388
%1393 = load i32, i32* %3
%1394 = load i32, i32* %5
%1395 = sub nsw i32 %1394, %1393
store i32 %1395, i32* %5
br label %1385
1396: ; preds = %1385
store i32 -2, i32* %5
br label %1397
1397: ; preds = %1404, %1396
%1398 = load i32, i32* %5
%1399 = icmp sgt i32 %1398, -7
br i1 %1399, label %1400, label %1409
1400: ; preds = %1397
%1401 = load i32, i32* %5
%1402 = load i32, i32* %4
%1403 = add nsw i32 %1402, %1401
store i32 %1403, i32* %4
br label %1404
1404: ; preds = %1400
%1405 = load i32, i32* %3
%1406 = sub nsw i32 0, %1405
%1407 = load i32, i32* %5
%1408 = add nsw i32 %1407, %1406
store i32 %1408, i32* %5
br label %1397
1409: ; preds = %1397
store i32 -2, i32* %5
br label %1410
1410: ; preds = %1417, %1409
%1411 = load i32, i32* %5
%1412 = icmp sge i32 %1411, -7
br i1 %1412, label %1413, label %1422
1413: ; preds = %1410
%1414 = load i32, i32* %5
%1415 = load i32, i32* %4
%1416 = add nsw i32 %1415, %1414
store i32 %1416, i32* %4
br label %1417
1417: ; preds = %1413
%1418 = load i32, i32* %3
%1419 = sub nsw i32 0, %1418
%1420 = load i32, i32* %5
%1421 = add nsw i32 %1420, %1419
store i32 %1421, i32* %5
br label %1410
1422: ; preds = %1410
br label %1423
1423: ; preds = %1422
br label %1424
1424: ; preds = %1423
store i32 16, i32* %5
br label %1425
1425: ; preds = %1432, %1424
%1426 = load i32, i32* %5
%1427 = icmp sgt i32 %1426, -8
br i1 %1427, label %1428, label %1436
1428: ; preds = %1425
%1429 = load i32, i32* %5
%1430 = load i32, i32* %4
%1431 = add nsw i32 %1430, %1429
store i32 %1431, i32* %4
br label %1432
1432: ; preds = %1428
%1433 = load i32, i32* %3
%1434 = load i32, i32* %5
%1435 = sub nsw i32 %1434, %1433
store i32 %1435, i32* %5
br label %1425
1436: ; preds = %1425
store i32 16, i32* %5
br label %1437
1437: ; preds = %1444, %1436
%1438 = load i32, i32* %5
%1439 = icmp sge i32 %1438, -8
br i1 %1439, label %1440, label %1448
1440: ; preds = %1437
%1441 = load i32, i32* %5
%1442 = load i32, i32* %4
%1443 = add nsw i32 %1442, %1441
store i32 %1443, i32* %4
br label %1444
1444: ; preds = %1440
%1445 = load i32, i32* %3
%1446 = load i32, i32* %5
%1447 = sub nsw i32 %1446, %1445
store i32 %1447, i32* %5
br label %1437
1448: ; preds = %1437
store i32 16, i32* %5
br label %1449
1449: ; preds = %1456, %1448
%1450 = load i32, i32* %5
%1451 = icmp sgt i32 %1450, -8
br i1 %1451, label %1452, label %1461
1452: ; preds = %1449
%1453 = load i32, i32* %5
%1454 = load i32, i32* %4
%1455 = add nsw i32 %1454, %1453
store i32 %1455, i32* %4
br label %1456
1456: ; preds = %1452
%1457 = load i32, i32* %3
%1458 = sub nsw i32 0, %1457
%1459 = load i32, i32* %5
%1460 = add nsw i32 %1459, %1458
store i32 %1460, i32* %5
br label %1449
1461: ; preds = %1449
store i32 16, i32* %5
br label %1462
1462: ; preds = %1469, %1461
%1463 = load i32, i32* %5
%1464 = icmp sge i32 %1463, -8
br i1 %1464, label %1465, label %1474
1465: ; preds = %1462
%1466 = load i32, i32* %5
%1467 = load i32, i32* %4
%1468 = add nsw i32 %1467, %1466
store i32 %1468, i32* %4
br label %1469
1469: ; preds = %1465
%1470 = load i32, i32* %3
%1471 = sub nsw i32 0, %1470
%1472 = load i32, i32* %5
%1473 = add nsw i32 %1472, %1471
store i32 %1473, i32* %5
br label %1462
1474: ; preds = %1462
br label %1475
1475: ; preds = %1474
%1476 = load i32, i32* %4
ret i32 %1476
}

LLVM IR (-O2):
define i32 @main(i32 %0) {
ret i32 1044
}