int main() {
  int a, b;
  a = b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b + b +
      b + b + b + b + b + b + b + b + b + b + b;
  return a;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
mov    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
store i32 0, i32* %1
%4 = load i32, i32* %3
%5 = load i32, i32* %3
%6 = add nsw i32 %4, %5
%7 = load i32, i32* %3
%8 = add nsw i32 %6, %7
%9 = load i32, i32* %3
%10 = add nsw i32 %8, %9
%11 = load i32, i32* %3
%12 = add nsw i32 %10, %11
%13 = load i32, i32* %3
%14 = add nsw i32 %12, %13
%15 = load i32, i32* %3
%16 = add nsw i32 %14, %15
%17 = load i32, i32* %3
%18 = add nsw i32 %16, %17
%19 = load i32, i32* %3
%20 = add nsw i32 %18, %19
%21 = load i32, i32* %3
%22 = add nsw i32 %20, %21
%23 = load i32, i32* %3
%24 = add nsw i32 %22, %23
%25 = load i32, i32* %3
%26 = add nsw i32 %24, %25
%27 = load i32, i32* %3
%28 = add nsw i32 %26, %27
%29 = load i32, i32* %3
%30 = add nsw i32 %28, %29
%31 = load i32, i32* %3
%32 = add nsw i32 %30, %31
%33 = load i32, i32* %3
%34 = add nsw i32 %32, %33
%35 = load i32, i32* %3
%36 = add nsw i32 %34, %35
%37 = load i32, i32* %3
%38 = add nsw i32 %36, %37
%39 = load i32, i32* %3
%40 = add nsw i32 %38, %39
%41 = load i32, i32* %3
%42 = add nsw i32 %40, %41
%43 = load i32, i32* %3
%44 = add nsw i32 %42, %43
%45 = load i32, i32* %3
%46 = add nsw i32 %44, %45
%47 = load i32, i32* %3
%48 = add nsw i32 %46, %47
%49 = load i32, i32* %3
%50 = add nsw i32 %48, %49
%51 = load i32, i32* %3
%52 = add nsw i32 %50, %51
%53 = load i32, i32* %3
%54 = add nsw i32 %52, %53
%55 = load i32, i32* %3
%56 = add nsw i32 %54, %55
%57 = load i32, i32* %3
%58 = add nsw i32 %56, %57
%59 = load i32, i32* %3
%60 = add nsw i32 %58, %59
%61 = load i32, i32* %3
%62 = add nsw i32 %60, %61
%63 = load i32, i32* %3
%64 = add nsw i32 %62, %63
%65 = load i32, i32* %3
%66 = add nsw i32 %64, %65
%67 = load i32, i32* %3
%68 = add nsw i32 %66, %67
%69 = load i32, i32* %3
%70 = add nsw i32 %68, %69
%71 = load i32, i32* %3
%72 = add nsw i32 %70, %71
%73 = load i32, i32* %3
%74 = add nsw i32 %72, %73
%75 = load i32, i32* %3
%76 = add nsw i32 %74, %75
%77 = load i32, i32* %3
%78 = add nsw i32 %76, %77
%79 = load i32, i32* %3
%80 = add nsw i32 %78, %79
%81 = load i32, i32* %3
%82 = add nsw i32 %80, %81
%83 = load i32, i32* %3
%84 = add nsw i32 %82, %83
%85 = load i32, i32* %3
%86 = add nsw i32 %84, %85
%87 = load i32, i32* %3
%88 = add nsw i32 %86, %87
%89 = load i32, i32* %3
%90 = add nsw i32 %88, %89
%91 = load i32, i32* %3
%92 = add nsw i32 %90, %91
%93 = load i32, i32* %3
%94 = add nsw i32 %92, %93
%95 = load i32, i32* %3
%96 = add nsw i32 %94, %95
%97 = load i32, i32* %3
%98 = add nsw i32 %96, %97
%99 = load i32, i32* %3
%100 = add nsw i32 %98, %99
%101 = load i32, i32* %3
%102 = add nsw i32 %100, %101
%103 = load i32, i32* %3
%104 = add nsw i32 %102, %103
%105 = load i32, i32* %3
%106 = add nsw i32 %104, %105
%107 = load i32, i32* %3
%108 = add nsw i32 %106, %107
%109 = load i32, i32* %3
%110 = add nsw i32 %108, %109
%111 = load i32, i32* %3
%112 = add nsw i32 %110, %111
%113 = load i32, i32* %3
%114 = add nsw i32 %112, %113
%115 = load i32, i32* %3
%116 = add nsw i32 %114, %115
%117 = load i32, i32* %3
%118 = add nsw i32 %116, %117
%119 = load i32, i32* %3
%120 = add nsw i32 %118, %119
%121 = load i32, i32* %3
%122 = add nsw i32 %120, %121
%123 = load i32, i32* %3
%124 = add nsw i32 %122, %123
%125 = load i32, i32* %3
%126 = add nsw i32 %124, %125
%127 = load i32, i32* %3
%128 = add nsw i32 %126, %127
%129 = load i32, i32* %3
%130 = add nsw i32 %128, %129
%131 = load i32, i32* %3
%132 = add nsw i32 %130, %131
%133 = load i32, i32* %3
%134 = add nsw i32 %132, %133
%135 = load i32, i32* %3
%136 = add nsw i32 %134, %135
%137 = load i32, i32* %3
%138 = add nsw i32 %136, %137
%139 = load i32, i32* %3
%140 = add nsw i32 %138, %139
%141 = load i32, i32* %3
%142 = add nsw i32 %140, %141
%143 = load i32, i32* %3
%144 = add nsw i32 %142, %143
%145 = load i32, i32* %3
%146 = add nsw i32 %144, %145
%147 = load i32, i32* %3
%148 = add nsw i32 %146, %147
%149 = load i32, i32* %3
%150 = add nsw i32 %148, %149
%151 = load i32, i32* %3
%152 = add nsw i32 %150, %151
%153 = load i32, i32* %3
%154 = add nsw i32 %152, %153
%155 = load i32, i32* %3
%156 = add nsw i32 %154, %155
%157 = load i32, i32* %3
%158 = add nsw i32 %156, %157
%159 = load i32, i32* %3
%160 = add nsw i32 %158, %159
%161 = load i32, i32* %3
%162 = add nsw i32 %160, %161
%163 = load i32, i32* %3
%164 = add nsw i32 %162, %163
%165 = load i32, i32* %3
%166 = add nsw i32 %164, %165
%167 = load i32, i32* %3
%168 = add nsw i32 %166, %167
%169 = load i32, i32* %3
%170 = add nsw i32 %168, %169
%171 = load i32, i32* %3
%172 = add nsw i32 %170, %171
%173 = load i32, i32* %3
%174 = add nsw i32 %172, %173
%175 = load i32, i32* %3
%176 = add nsw i32 %174, %175
%177 = load i32, i32* %3
%178 = add nsw i32 %176, %177
%179 = load i32, i32* %3
%180 = add nsw i32 %178, %179
%181 = load i32, i32* %3
%182 = add nsw i32 %180, %181
%183 = load i32, i32* %3
%184 = add nsw i32 %182, %183
%185 = load i32, i32* %3
%186 = add nsw i32 %184, %185
%187 = load i32, i32* %3
%188 = add nsw i32 %186, %187
%189 = load i32, i32* %3
%190 = add nsw i32 %188, %189
%191 = load i32, i32* %3
%192 = add nsw i32 %190, %191
%193 = load i32, i32* %3
%194 = add nsw i32 %192, %193
%195 = load i32, i32* %3
%196 = add nsw i32 %194, %195
%197 = load i32, i32* %3
%198 = add nsw i32 %196, %197
%199 = load i32, i32* %3
%200 = add nsw i32 %198, %199
%201 = load i32, i32* %3
%202 = add nsw i32 %200, %201
%203 = load i32, i32* %3
%204 = add nsw i32 %202, %203
%205 = load i32, i32* %3
%206 = add nsw i32 %204, %205
%207 = load i32, i32* %3
%208 = add nsw i32 %206, %207
%209 = load i32, i32* %3
%210 = add nsw i32 %208, %209
%211 = load i32, i32* %3
%212 = add nsw i32 %210, %211
%213 = load i32, i32* %3
%214 = add nsw i32 %212, %213
%215 = load i32, i32* %3
%216 = add nsw i32 %214, %215
%217 = load i32, i32* %3
%218 = add nsw i32 %216, %217
%219 = load i32, i32* %3
%220 = add nsw i32 %218, %219
%221 = load i32, i32* %3
%222 = add nsw i32 %220, %221
%223 = load i32, i32* %3
%224 = add nsw i32 %222, %223
%225 = load i32, i32* %3
%226 = add nsw i32 %224, %225
%227 = load i32, i32* %3
%228 = add nsw i32 %226, %227
%229 = load i32, i32* %3
%230 = add nsw i32 %228, %229
%231 = load i32, i32* %3
%232 = add nsw i32 %230, %231
%233 = load i32, i32* %3
%234 = add nsw i32 %232, %233
%235 = load i32, i32* %3
%236 = add nsw i32 %234, %235
%237 = load i32, i32* %3
%238 = add nsw i32 %236, %237
%239 = load i32, i32* %3
%240 = add nsw i32 %238, %239
%241 = load i32, i32* %3
%242 = add nsw i32 %240, %241
%243 = load i32, i32* %3
%244 = add nsw i32 %242, %243
%245 = load i32, i32* %3
%246 = add nsw i32 %244, %245
%247 = load i32, i32* %3
%248 = add nsw i32 %246, %247
%249 = load i32, i32* %3
%250 = add nsw i32 %248, %249
%251 = load i32, i32* %3
%252 = add nsw i32 %250, %251
%253 = load i32, i32* %3
%254 = add nsw i32 %252, %253
%255 = load i32, i32* %3
%256 = add nsw i32 %254, %255
%257 = load i32, i32* %3
%258 = add nsw i32 %256, %257
%259 = load i32, i32* %3
%260 = add nsw i32 %258, %259
%261 = load i32, i32* %3
%262 = add nsw i32 %260, %261
%263 = load i32, i32* %3
%264 = add nsw i32 %262, %263
%265 = load i32, i32* %3
%266 = add nsw i32 %264, %265
%267 = load i32, i32* %3
%268 = add nsw i32 %266, %267
%269 = load i32, i32* %3
%270 = add nsw i32 %268, %269
%271 = load i32, i32* %3
%272 = add nsw i32 %270, %271
%273 = load i32, i32* %3
%274 = add nsw i32 %272, %273
%275 = load i32, i32* %3
%276 = add nsw i32 %274, %275
%277 = load i32, i32* %3
%278 = add nsw i32 %276, %277
%279 = load i32, i32* %3
%280 = add nsw i32 %278, %279
%281 = load i32, i32* %3
%282 = add nsw i32 %280, %281
%283 = load i32, i32* %3
%284 = add nsw i32 %282, %283
%285 = load i32, i32* %3
%286 = add nsw i32 %284, %285
%287 = load i32, i32* %3
%288 = add nsw i32 %286, %287
%289 = load i32, i32* %3
%290 = add nsw i32 %288, %289
%291 = load i32, i32* %3
%292 = add nsw i32 %290, %291
%293 = load i32, i32* %3
%294 = add nsw i32 %292, %293
%295 = load i32, i32* %3
%296 = add nsw i32 %294, %295
%297 = load i32, i32* %3
%298 = add nsw i32 %296, %297
%299 = load i32, i32* %3
%300 = add nsw i32 %298, %299
%301 = load i32, i32* %3
%302 = add nsw i32 %300, %301
%303 = load i32, i32* %3
%304 = add nsw i32 %302, %303
%305 = load i32, i32* %3
%306 = add nsw i32 %304, %305
%307 = load i32, i32* %3
%308 = add nsw i32 %306, %307
%309 = load i32, i32* %3
%310 = add nsw i32 %308, %309
%311 = load i32, i32* %3
%312 = add nsw i32 %310, %311
%313 = load i32, i32* %3
%314 = add nsw i32 %312, %313
%315 = load i32, i32* %3
%316 = add nsw i32 %314, %315
%317 = load i32, i32* %3
%318 = add nsw i32 %316, %317
%319 = load i32, i32* %3
%320 = add nsw i32 %318, %319
%321 = load i32, i32* %3
%322 = add nsw i32 %320, %321
%323 = load i32, i32* %3
%324 = add nsw i32 %322, %323
%325 = load i32, i32* %3
%326 = add nsw i32 %324, %325
%327 = load i32, i32* %3
%328 = add nsw i32 %326, %327
%329 = load i32, i32* %3
%330 = add nsw i32 %328, %329
%331 = load i32, i32* %3
%332 = add nsw i32 %330, %331
%333 = load i32, i32* %3
%334 = add nsw i32 %332, %333
%335 = load i32, i32* %3
%336 = add nsw i32 %334, %335
%337 = load i32, i32* %3
%338 = add nsw i32 %336, %337
%339 = load i32, i32* %3
%340 = add nsw i32 %338, %339
%341 = load i32, i32* %3
%342 = add nsw i32 %340, %341
%343 = load i32, i32* %3
%344 = add nsw i32 %342, %343
%345 = load i32, i32* %3
%346 = add nsw i32 %344, %345
%347 = load i32, i32* %3
%348 = add nsw i32 %346, %347
%349 = load i32, i32* %3
%350 = add nsw i32 %348, %349
%351 = load i32, i32* %3
%352 = add nsw i32 %350, %351
%353 = load i32, i32* %3
%354 = add nsw i32 %352, %353
%355 = load i32, i32* %3
%356 = add nsw i32 %354, %355
%357 = load i32, i32* %3
%358 = add nsw i32 %356, %357
%359 = load i32, i32* %3
%360 = add nsw i32 %358, %359
%361 = load i32, i32* %3
%362 = add nsw i32 %360, %361
%363 = load i32, i32* %3
%364 = add nsw i32 %362, %363
%365 = load i32, i32* %3
%366 = add nsw i32 %364, %365
%367 = load i32, i32* %3
%368 = add nsw i32 %366, %367
%369 = load i32, i32* %3
%370 = add nsw i32 %368, %369
%371 = load i32, i32* %3
%372 = add nsw i32 %370, %371
%373 = load i32, i32* %3
%374 = add nsw i32 %372, %373
%375 = load i32, i32* %3
%376 = add nsw i32 %374, %375
%377 = load i32, i32* %3
%378 = add nsw i32 %376, %377
%379 = load i32, i32* %3
%380 = add nsw i32 %378, %379
%381 = load i32, i32* %3
%382 = add nsw i32 %380, %381
%383 = load i32, i32* %3
%384 = add nsw i32 %382, %383
%385 = load i32, i32* %3
%386 = add nsw i32 %384, %385
%387 = load i32, i32* %3
%388 = add nsw i32 %386, %387
%389 = load i32, i32* %3
%390 = add nsw i32 %388, %389
%391 = load i32, i32* %3
%392 = add nsw i32 %390, %391
%393 = load i32, i32* %3
%394 = add nsw i32 %392, %393
%395 = load i32, i32* %3
%396 = add nsw i32 %394, %395
%397 = load i32, i32* %3
%398 = add nsw i32 %396, %397
%399 = load i32, i32* %3
%400 = add nsw i32 %398, %399
%401 = load i32, i32* %3
%402 = add nsw i32 %400, %401
%403 = load i32, i32* %3
%404 = add nsw i32 %402, %403
%405 = load i32, i32* %3
%406 = add nsw i32 %404, %405
%407 = load i32, i32* %3
%408 = add nsw i32 %406, %407
%409 = load i32, i32* %3
%410 = add nsw i32 %408, %409
%411 = load i32, i32* %3
%412 = add nsw i32 %410, %411
%413 = load i32, i32* %3
%414 = add nsw i32 %412, %413
%415 = load i32, i32* %3
%416 = add nsw i32 %414, %415
%417 = load i32, i32* %3
%418 = add nsw i32 %416, %417
%419 = load i32, i32* %3
%420 = add nsw i32 %418, %419
%421 = load i32, i32* %3
%422 = add nsw i32 %420, %421
%423 = load i32, i32* %3
%424 = add nsw i32 %422, %423
%425 = load i32, i32* %3
%426 = add nsw i32 %424, %425
%427 = load i32, i32* %3
%428 = add nsw i32 %426, %427
%429 = load i32, i32* %3
%430 = add nsw i32 %428, %429
%431 = load i32, i32* %3
%432 = add nsw i32 %430, %431
%433 = load i32, i32* %3
%434 = add nsw i32 %432, %433
%435 = load i32, i32* %3
%436 = add nsw i32 %434, %435
%437 = load i32, i32* %3
%438 = add nsw i32 %436, %437
%439 = load i32, i32* %3
%440 = add nsw i32 %438, %439
%441 = load i32, i32* %3
%442 = add nsw i32 %440, %441
%443 = load i32, i32* %3
%444 = add nsw i32 %442, %443
%445 = load i32, i32* %3
%446 = add nsw i32 %444, %445
%447 = load i32, i32* %3
%448 = add nsw i32 %446, %447
%449 = load i32, i32* %3
%450 = add nsw i32 %448, %449
%451 = load i32, i32* %3
%452 = add nsw i32 %450, %451
%453 = load i32, i32* %3
%454 = add nsw i32 %452, %453
%455 = load i32, i32* %3
%456 = add nsw i32 %454, %455
%457 = load i32, i32* %3
%458 = add nsw i32 %456, %457
%459 = load i32, i32* %3
%460 = add nsw i32 %458, %459
%461 = load i32, i32* %3
%462 = add nsw i32 %460, %461
%463 = load i32, i32* %3
%464 = add nsw i32 %462, %463
%465 = load i32, i32* %3
%466 = add nsw i32 %464, %465
%467 = load i32, i32* %3
%468 = add nsw i32 %466, %467
%469 = load i32, i32* %3
%470 = add nsw i32 %468, %469
%471 = load i32, i32* %3
%472 = add nsw i32 %470, %471
%473 = load i32, i32* %3
%474 = add nsw i32 %472, %473
%475 = load i32, i32* %3
%476 = add nsw i32 %474, %475
%477 = load i32, i32* %3
%478 = add nsw i32 %476, %477
%479 = load i32, i32* %3
%480 = add nsw i32 %478, %479
%481 = load i32, i32* %3
%482 = add nsw i32 %480, %481
%483 = load i32, i32* %3
%484 = add nsw i32 %482, %483
%485 = load i32, i32* %3
%486 = add nsw i32 %484, %485
%487 = load i32, i32* %3
%488 = add nsw i32 %486, %487
%489 = load i32, i32* %3
%490 = add nsw i32 %488, %489
%491 = load i32, i32* %3
%492 = add nsw i32 %490, %491
%493 = load i32, i32* %3
%494 = add nsw i32 %492, %493
%495 = load i32, i32* %3
%496 = add nsw i32 %494, %495
%497 = load i32, i32* %3
%498 = add nsw i32 %496, %497
%499 = load i32, i32* %3
%500 = add nsw i32 %498, %499
%501 = load i32, i32* %3
%502 = add nsw i32 %500, %501
%503 = load i32, i32* %3
%504 = add nsw i32 %502, %503
%505 = load i32, i32* %3
%506 = add nsw i32 %504, %505
%507 = load i32, i32* %3
%508 = add nsw i32 %506, %507
%509 = load i32, i32* %3
%510 = add nsw i32 %508, %509
%511 = load i32, i32* %3
%512 = add nsw i32 %510, %511
%513 = load i32, i32* %3
%514 = add nsw i32 %512, %513
%515 = load i32, i32* %3
%516 = add nsw i32 %514, %515
%517 = load i32, i32* %3
%518 = add nsw i32 %516, %517
%519 = load i32, i32* %3
%520 = add nsw i32 %518, %519
%521 = load i32, i32* %3
%522 = add nsw i32 %520, %521
%523 = load i32, i32* %3
%524 = add nsw i32 %522, %523
%525 = load i32, i32* %3
%526 = add nsw i32 %524, %525
%527 = load i32, i32* %3
%528 = add nsw i32 %526, %527
%529 = load i32, i32* %3
%530 = add nsw i32 %528, %529
%531 = load i32, i32* %3
%532 = add nsw i32 %530, %531
%533 = load i32, i32* %3
%534 = add nsw i32 %532, %533
%535 = load i32, i32* %3
%536 = add nsw i32 %534, %535
%537 = load i32, i32* %3
%538 = add nsw i32 %536, %537
%539 = load i32, i32* %3
%540 = add nsw i32 %538, %539
%541 = load i32, i32* %3
%542 = add nsw i32 %540, %541
%543 = load i32, i32* %3
%544 = add nsw i32 %542, %543
%545 = load i32, i32* %3
%546 = add nsw i32 %544, %545
%547 = load i32, i32* %3
%548 = add nsw i32 %546, %547
%549 = load i32, i32* %3
%550 = add nsw i32 %548, %549
%551 = load i32, i32* %3
%552 = add nsw i32 %550, %551
%553 = load i32, i32* %3
%554 = add nsw i32 %552, %553
%555 = load i32, i32* %3
%556 = add nsw i32 %554, %555
%557 = load i32, i32* %3
%558 = add nsw i32 %556, %557
%559 = load i32, i32* %3
%560 = add nsw i32 %558, %559
%561 = load i32, i32* %3
%562 = add nsw i32 %560, %561
%563 = load i32, i32* %3
%564 = add nsw i32 %562, %563
%565 = load i32, i32* %3
%566 = add nsw i32 %564, %565
%567 = load i32, i32* %3
%568 = add nsw i32 %566, %567
%569 = load i32, i32* %3
%570 = add nsw i32 %568, %569
%571 = load i32, i32* %3
%572 = add nsw i32 %570, %571
%573 = load i32, i32* %3
%574 = add nsw i32 %572, %573
%575 = load i32, i32* %3
%576 = add nsw i32 %574, %575
%577 = load i32, i32* %3
%578 = add nsw i32 %576, %577
%579 = load i32, i32* %3
%580 = add nsw i32 %578, %579
%581 = load i32, i32* %3
%582 = add nsw i32 %580, %581
%583 = load i32, i32* %3
%584 = add nsw i32 %582, %583
%585 = load i32, i32* %3
%586 = add nsw i32 %584, %585
%587 = load i32, i32* %3
%588 = add nsw i32 %586, %587
%589 = load i32, i32* %3
%590 = add nsw i32 %588, %589
%591 = load i32, i32* %3
%592 = add nsw i32 %590, %591
%593 = load i32, i32* %3
%594 = add nsw i32 %592, %593
%595 = load i32, i32* %3
%596 = add nsw i32 %594, %595
%597 = load i32, i32* %3
%598 = add nsw i32 %596, %597
%599 = load i32, i32* %3
%600 = add nsw i32 %598, %599
%601 = load i32, i32* %3
%602 = add nsw i32 %600, %601
%603 = load i32, i32* %3
%604 = add nsw i32 %602, %603
%605 = load i32, i32* %3
%606 = add nsw i32 %604, %605
%607 = load i32, i32* %3
%608 = add nsw i32 %606, %607
%609 = load i32, i32* %3
%610 = add nsw i32 %608, %609
%611 = load i32, i32* %3
%612 = add nsw i32 %610, %611
%613 = load i32, i32* %3
%614 = add nsw i32 %612, %613
%615 = load i32, i32* %3
%616 = add nsw i32 %614, %615
%617 = load i32, i32* %3
%618 = add nsw i32 %616, %617
%619 = load i32, i32* %3
%620 = add nsw i32 %618, %619
%621 = load i32, i32* %3
%622 = add nsw i32 %620, %621
%623 = load i32, i32* %3
%624 = add nsw i32 %622, %623
%625 = load i32, i32* %3
%626 = add nsw i32 %624, %625
%627 = load i32, i32* %3
%628 = add nsw i32 %626, %627
%629 = load i32, i32* %3
%630 = add nsw i32 %628, %629
%631 = load i32, i32* %3
%632 = add nsw i32 %630, %631
%633 = load i32, i32* %3
%634 = add nsw i32 %632, %633
%635 = load i32, i32* %3
%636 = add nsw i32 %634, %635
%637 = load i32, i32* %3
%638 = add nsw i32 %636, %637
%639 = load i32, i32* %3
%640 = add nsw i32 %638, %639
%641 = load i32, i32* %3
%642 = add nsw i32 %640, %641
%643 = load i32, i32* %3
%644 = add nsw i32 %642, %643
%645 = load i32, i32* %3
%646 = add nsw i32 %644, %645
%647 = load i32, i32* %3
%648 = add nsw i32 %646, %647
%649 = load i32, i32* %3
%650 = add nsw i32 %648, %649
%651 = load i32, i32* %3
%652 = add nsw i32 %650, %651
%653 = load i32, i32* %3
%654 = add nsw i32 %652, %653
%655 = load i32, i32* %3
%656 = add nsw i32 %654, %655
%657 = load i32, i32* %3
%658 = add nsw i32 %656, %657
%659 = load i32, i32* %3
%660 = add nsw i32 %658, %659
%661 = load i32, i32* %3
%662 = add nsw i32 %660, %661
%663 = load i32, i32* %3
%664 = add nsw i32 %662, %663
%665 = load i32, i32* %3
%666 = add nsw i32 %664, %665
%667 = load i32, i32* %3
%668 = add nsw i32 %666, %667
%669 = load i32, i32* %3
%670 = add nsw i32 %668, %669
%671 = load i32, i32* %3
%672 = add nsw i32 %670, %671
%673 = load i32, i32* %3
%674 = add nsw i32 %672, %673
%675 = load i32, i32* %3
%676 = add nsw i32 %674, %675
%677 = load i32, i32* %3
%678 = add nsw i32 %676, %677
%679 = load i32, i32* %3
%680 = add nsw i32 %678, %679
%681 = load i32, i32* %3
%682 = add nsw i32 %680, %681
%683 = load i32, i32* %3
%684 = add nsw i32 %682, %683
%685 = load i32, i32* %3
%686 = add nsw i32 %684, %685
%687 = load i32, i32* %3
%688 = add nsw i32 %686, %687
%689 = load i32, i32* %3
%690 = add nsw i32 %688, %689
%691 = load i32, i32* %3
%692 = add nsw i32 %690, %691
%693 = load i32, i32* %3
%694 = add nsw i32 %692, %693
%695 = load i32, i32* %3
%696 = add nsw i32 %694, %695
%697 = load i32, i32* %3
%698 = add nsw i32 %696, %697
%699 = load i32, i32* %3
%700 = add nsw i32 %698, %699
%701 = load i32, i32* %3
%702 = add nsw i32 %700, %701
%703 = load i32, i32* %3
%704 = add nsw i32 %702, %703
%705 = load i32, i32* %3
%706 = add nsw i32 %704, %705
%707 = load i32, i32* %3
%708 = add nsw i32 %706, %707
%709 = load i32, i32* %3
%710 = add nsw i32 %708, %709
%711 = load i32, i32* %3
%712 = add nsw i32 %710, %711
%713 = load i32, i32* %3
%714 = add nsw i32 %712, %713
%715 = load i32, i32* %3
%716 = add nsw i32 %714, %715
%717 = load i32, i32* %3
%718 = add nsw i32 %716, %717
%719 = load i32, i32* %3
%720 = add nsw i32 %718, %719
%721 = load i32, i32* %3
%722 = add nsw i32 %720, %721
%723 = load i32, i32* %3
%724 = add nsw i32 %722, %723
%725 = load i32, i32* %3
%726 = add nsw i32 %724, %725
%727 = load i32, i32* %3
%728 = add nsw i32 %726, %727
%729 = load i32, i32* %3
%730 = add nsw i32 %728, %729
%731 = load i32, i32* %3
%732 = add nsw i32 %730, %731
%733 = load i32, i32* %3
%734 = add nsw i32 %732, %733
%735 = load i32, i32* %3
%736 = add nsw i32 %734, %735
%737 = load i32, i32* %3
%738 = add nsw i32 %736, %737
%739 = load i32, i32* %3
%740 = add nsw i32 %738, %739
%741 = load i32, i32* %3
%742 = add nsw i32 %740, %741
%743 = load i32, i32* %3
%744 = add nsw i32 %742, %743
%745 = load i32, i32* %3
%746 = add nsw i32 %744, %745
%747 = load i32, i32* %3
%748 = add nsw i32 %746, %747
%749 = load i32, i32* %3
%750 = add nsw i32 %748, %749
%751 = load i32, i32* %3
%752 = add nsw i32 %750, %751
%753 = load i32, i32* %3
%754 = add nsw i32 %752, %753
%755 = load i32, i32* %3
%756 = add nsw i32 %754, %755
%757 = load i32, i32* %3
%758 = add nsw i32 %756, %757
%759 = load i32, i32* %3
%760 = add nsw i32 %758, %759
%761 = load i32, i32* %3
%762 = add nsw i32 %760, %761
%763 = load i32, i32* %3
%764 = add nsw i32 %762, %763
%765 = load i32, i32* %3
%766 = add nsw i32 %764, %765
%767 = load i32, i32* %3
%768 = add nsw i32 %766, %767
%769 = load i32, i32* %3
%770 = add nsw i32 %768, %769
%771 = load i32, i32* %3
%772 = add nsw i32 %770, %771
%773 = load i32, i32* %3
%774 = add nsw i32 %772, %773
%775 = load i32, i32* %3
%776 = add nsw i32 %774, %775
%777 = load i32, i32* %3
%778 = add nsw i32 %776, %777
%779 = load i32, i32* %3
%780 = add nsw i32 %778, %779
%781 = load i32, i32* %3
%782 = add nsw i32 %780, %781
%783 = load i32, i32* %3
%784 = add nsw i32 %782, %783
%785 = load i32, i32* %3
%786 = add nsw i32 %784, %785
%787 = load i32, i32* %3
%788 = add nsw i32 %786, %787
%789 = load i32, i32* %3
%790 = add nsw i32 %788, %789
%791 = load i32, i32* %3
%792 = add nsw i32 %790, %791
%793 = load i32, i32* %3
%794 = add nsw i32 %792, %793
%795 = load i32, i32* %3
%796 = add nsw i32 %794, %795
%797 = load i32, i32* %3
%798 = add nsw i32 %796, %797
%799 = load i32, i32* %3
%800 = add nsw i32 %798, %799
%801 = load i32, i32* %3
%802 = add nsw i32 %800, %801
%803 = load i32, i32* %3
%804 = add nsw i32 %802, %803
%805 = load i32, i32* %3
%806 = add nsw i32 %804, %805
%807 = load i32, i32* %3
%808 = add nsw i32 %806, %807
%809 = load i32, i32* %3
%810 = add nsw i32 %808, %809
%811 = load i32, i32* %3
%812 = add nsw i32 %810, %811
%813 = load i32, i32* %3
%814 = add nsw i32 %812, %813
%815 = load i32, i32* %3
%816 = add nsw i32 %814, %815
%817 = load i32, i32* %3
%818 = add nsw i32 %816, %817
%819 = load i32, i32* %3
%820 = add nsw i32 %818, %819
%821 = load i32, i32* %3
%822 = add nsw i32 %820, %821
%823 = load i32, i32* %3
%824 = add nsw i32 %822, %823
%825 = load i32, i32* %3
%826 = add nsw i32 %824, %825
%827 = load i32, i32* %3
%828 = add nsw i32 %826, %827
%829 = load i32, i32* %3
%830 = add nsw i32 %828, %829
%831 = load i32, i32* %3
%832 = add nsw i32 %830, %831
%833 = load i32, i32* %3
%834 = add nsw i32 %832, %833
%835 = load i32, i32* %3
%836 = add nsw i32 %834, %835
%837 = load i32, i32* %3
%838 = add nsw i32 %836, %837
%839 = load i32, i32* %3
%840 = add nsw i32 %838, %839
%841 = load i32, i32* %3
%842 = add nsw i32 %840, %841
%843 = load i32, i32* %3
%844 = add nsw i32 %842, %843
%845 = load i32, i32* %3
%846 = add nsw i32 %844, %845
%847 = load i32, i32* %3
%848 = add nsw i32 %846, %847
%849 = load i32, i32* %3
%850 = add nsw i32 %848, %849
%851 = load i32, i32* %3
%852 = add nsw i32 %850, %851
%853 = load i32, i32* %3
%854 = add nsw i32 %852, %853
%855 = load i32, i32* %3
%856 = add nsw i32 %854, %855
%857 = load i32, i32* %3
%858 = add nsw i32 %856, %857
%859 = load i32, i32* %3
%860 = add nsw i32 %858, %859
%861 = load i32, i32* %3
%862 = add nsw i32 %860, %861
%863 = load i32, i32* %3
%864 = add nsw i32 %862, %863
%865 = load i32, i32* %3
%866 = add nsw i32 %864, %865
%867 = load i32, i32* %3
%868 = add nsw i32 %866, %867
%869 = load i32, i32* %3
%870 = add nsw i32 %868, %869
%871 = load i32, i32* %3
%872 = add nsw i32 %870, %871
%873 = load i32, i32* %3
%874 = add nsw i32 %872, %873
%875 = load i32, i32* %3
%876 = add nsw i32 %874, %875
%877 = load i32, i32* %3
%878 = add nsw i32 %876, %877
%879 = load i32, i32* %3
%880 = add nsw i32 %878, %879
%881 = load i32, i32* %3
%882 = add nsw i32 %880, %881
%883 = load i32, i32* %3
%884 = add nsw i32 %882, %883
%885 = load i32, i32* %3
%886 = add nsw i32 %884, %885
%887 = load i32, i32* %3
%888 = add nsw i32 %886, %887
%889 = load i32, i32* %3
%890 = add nsw i32 %888, %889
%891 = load i32, i32* %3
%892 = add nsw i32 %890, %891
%893 = load i32, i32* %3
%894 = add nsw i32 %892, %893
%895 = load i32, i32* %3
%896 = add nsw i32 %894, %895
%897 = load i32, i32* %3
%898 = add nsw i32 %896, %897
%899 = load i32, i32* %3
%900 = add nsw i32 %898, %899
%901 = load i32, i32* %3
%902 = add nsw i32 %900, %901
%903 = load i32, i32* %3
%904 = add nsw i32 %902, %903
%905 = load i32, i32* %3
%906 = add nsw i32 %904, %905
%907 = load i32, i32* %3
%908 = add nsw i32 %906, %907
%909 = load i32, i32* %3
%910 = add nsw i32 %908, %909
%911 = load i32, i32* %3
%912 = add nsw i32 %910, %911
%913 = load i32, i32* %3
%914 = add nsw i32 %912, %913
%915 = load i32, i32* %3
%916 = add nsw i32 %914, %915
%917 = load i32, i32* %3
%918 = add nsw i32 %916, %917
%919 = load i32, i32* %3
%920 = add nsw i32 %918, %919
%921 = load i32, i32* %3
%922 = add nsw i32 %920, %921
%923 = load i32, i32* %3
%924 = add nsw i32 %922, %923
%925 = load i32, i32* %3
%926 = add nsw i32 %924, %925
%927 = load i32, i32* %3
%928 = add nsw i32 %926, %927
%929 = load i32, i32* %3
%930 = add nsw i32 %928, %929
%931 = load i32, i32* %3
%932 = add nsw i32 %930, %931
%933 = load i32, i32* %3
%934 = add nsw i32 %932, %933
%935 = load i32, i32* %3
%936 = add nsw i32 %934, %935
%937 = load i32, i32* %3
%938 = add nsw i32 %936, %937
%939 = load i32, i32* %3
%940 = add nsw i32 %938, %939
%941 = load i32, i32* %3
%942 = add nsw i32 %940, %941
%943 = load i32, i32* %3
%944 = add nsw i32 %942, %943
%945 = load i32, i32* %3
%946 = add nsw i32 %944, %945
%947 = load i32, i32* %3
%948 = add nsw i32 %946, %947
%949 = load i32, i32* %3
%950 = add nsw i32 %948, %949
%951 = load i32, i32* %3
%952 = add nsw i32 %950, %951
%953 = load i32, i32* %3
%954 = add nsw i32 %952, %953
%955 = load i32, i32* %3
%956 = add nsw i32 %954, %955
%957 = load i32, i32* %3
%958 = add nsw i32 %956, %957
%959 = load i32, i32* %3
%960 = add nsw i32 %958, %959
%961 = load i32, i32* %3
%962 = add nsw i32 %960, %961
%963 = load i32, i32* %3
%964 = add nsw i32 %962, %963
%965 = load i32, i32* %3
%966 = add nsw i32 %964, %965
%967 = load i32, i32* %3
%968 = add nsw i32 %966, %967
%969 = load i32, i32* %3
%970 = add nsw i32 %968, %969
%971 = load i32, i32* %3
%972 = add nsw i32 %970, %971
%973 = load i32, i32* %3
%974 = add nsw i32 %972, %973
%975 = load i32, i32* %3
%976 = add nsw i32 %974, %975
%977 = load i32, i32* %3
%978 = add nsw i32 %976, %977
%979 = load i32, i32* %3
%980 = add nsw i32 %978, %979
%981 = load i32, i32* %3
%982 = add nsw i32 %980, %981
%983 = load i32, i32* %3
%984 = add nsw i32 %982, %983
%985 = load i32, i32* %3
%986 = add nsw i32 %984, %985
%987 = load i32, i32* %3
%988 = add nsw i32 %986, %987
%989 = load i32, i32* %3
%990 = add nsw i32 %988, %989
%991 = load i32, i32* %3
%992 = add nsw i32 %990, %991
%993 = load i32, i32* %3
%994 = add nsw i32 %992, %993
%995 = load i32, i32* %3
%996 = add nsw i32 %994, %995
%997 = load i32, i32* %3
%998 = add nsw i32 %996, %997
%999 = load i32, i32* %3
%1000 = add nsw i32 %998, %999
%1001 = load i32, i32* %3
%1002 = add nsw i32 %1000, %1001
%1003 = load i32, i32* %3
%1004 = add nsw i32 %1002, %1003
%1005 = load i32, i32* %3
%1006 = add nsw i32 %1004, %1005
%1007 = load i32, i32* %3
%1008 = add nsw i32 %1006, %1007
%1009 = load i32, i32* %3
%1010 = add nsw i32 %1008, %1009
%1011 = load i32, i32* %3
%1012 = add nsw i32 %1010, %1011
%1013 = load i32, i32* %3
%1014 = add nsw i32 %1012, %1013
%1015 = load i32, i32* %3
%1016 = add nsw i32 %1014, %1015
%1017 = load i32, i32* %3
%1018 = add nsw i32 %1016, %1017
%1019 = load i32, i32* %3
%1020 = add nsw i32 %1018, %1019
%1021 = load i32, i32* %3
%1022 = add nsw i32 %1020, %1021
%1023 = load i32, i32* %3
%1024 = add nsw i32 %1022, %1023
%1025 = load i32, i32* %3
%1026 = add nsw i32 %1024, %1025
%1027 = load i32, i32* %3
%1028 = add nsw i32 %1026, %1027
%1029 = load i32, i32* %3
%1030 = add nsw i32 %1028, %1029
%1031 = load i32, i32* %3
%1032 = add nsw i32 %1030, %1031
%1033 = load i32, i32* %3
%1034 = add nsw i32 %1032, %1033
%1035 = load i32, i32* %3
%1036 = add nsw i32 %1034, %1035
%1037 = load i32, i32* %3
%1038 = add nsw i32 %1036, %1037
%1039 = load i32, i32* %3
%1040 = add nsw i32 %1038, %1039
%1041 = load i32, i32* %3
%1042 = add nsw i32 %1040, %1041
%1043 = load i32, i32* %3
%1044 = add nsw i32 %1042, %1043
%1045 = load i32, i32* %3
%1046 = add nsw i32 %1044, %1045
%1047 = load i32, i32* %3
%1048 = add nsw i32 %1046, %1047
%1049 = load i32, i32* %3
%1050 = add nsw i32 %1048, %1049
%1051 = load i32, i32* %3
%1052 = add nsw i32 %1050, %1051
%1053 = load i32, i32* %3
%1054 = add nsw i32 %1052, %1053
%1055 = load i32, i32* %3
%1056 = add nsw i32 %1054, %1055
%1057 = load i32, i32* %3
%1058 = add nsw i32 %1056, %1057
%1059 = load i32, i32* %3
%1060 = add nsw i32 %1058, %1059
%1061 = load i32, i32* %3
%1062 = add nsw i32 %1060, %1061
%1063 = load i32, i32* %3
%1064 = add nsw i32 %1062, %1063
%1065 = load i32, i32* %3
%1066 = add nsw i32 %1064, %1065
%1067 = load i32, i32* %3
%1068 = add nsw i32 %1066, %1067
%1069 = load i32, i32* %3
%1070 = add nsw i32 %1068, %1069
%1071 = load i32, i32* %3
%1072 = add nsw i32 %1070, %1071
%1073 = load i32, i32* %3
%1074 = add nsw i32 %1072, %1073
%1075 = load i32, i32* %3
%1076 = add nsw i32 %1074, %1075
%1077 = load i32, i32* %3
%1078 = add nsw i32 %1076, %1077
%1079 = load i32, i32* %3
%1080 = add nsw i32 %1078, %1079
%1081 = load i32, i32* %3
%1082 = add nsw i32 %1080, %1081
%1083 = load i32, i32* %3
%1084 = add nsw i32 %1082, %1083
%1085 = load i32, i32* %3
%1086 = add nsw i32 %1084, %1085
%1087 = load i32, i32* %3
%1088 = add nsw i32 %1086, %1087
%1089 = load i32, i32* %3
%1090 = add nsw i32 %1088, %1089
%1091 = load i32, i32* %3
%1092 = add nsw i32 %1090, %1091
%1093 = load i32, i32* %3
%1094 = add nsw i32 %1092, %1093
%1095 = load i32, i32* %3
%1096 = add nsw i32 %1094, %1095
%1097 = load i32, i32* %3
%1098 = add nsw i32 %1096, %1097
%1099 = load i32, i32* %3
%1100 = add nsw i32 %1098, %1099
%1101 = load i32, i32* %3
%1102 = add nsw i32 %1100, %1101
%1103 = load i32, i32* %3
%1104 = add nsw i32 %1102, %1103
%1105 = load i32, i32* %3
%1106 = add nsw i32 %1104, %1105
%1107 = load i32, i32* %3
%1108 = add nsw i32 %1106, %1107
%1109 = load i32, i32* %3
%1110 = add nsw i32 %1108, %1109
%1111 = load i32, i32* %3
%1112 = add nsw i32 %1110, %1111
%1113 = load i32, i32* %3
%1114 = add nsw i32 %1112, %1113
%1115 = load i32, i32* %3
%1116 = add nsw i32 %1114, %1115
%1117 = load i32, i32* %3
%1118 = add nsw i32 %1116, %1117
%1119 = load i32, i32* %3
%1120 = add nsw i32 %1118, %1119
%1121 = load i32, i32* %3
%1122 = add nsw i32 %1120, %1121
%1123 = load i32, i32* %3
%1124 = add nsw i32 %1122, %1123
%1125 = load i32, i32* %3
%1126 = add nsw i32 %1124, %1125
%1127 = load i32, i32* %3
%1128 = add nsw i32 %1126, %1127
%1129 = load i32, i32* %3
%1130 = add nsw i32 %1128, %1129
%1131 = load i32, i32* %3
%1132 = add nsw i32 %1130, %1131
%1133 = load i32, i32* %3
%1134 = add nsw i32 %1132, %1133
%1135 = load i32, i32* %3
%1136 = add nsw i32 %1134, %1135
%1137 = load i32, i32* %3
%1138 = add nsw i32 %1136, %1137
%1139 = load i32, i32* %3
%1140 = add nsw i32 %1138, %1139
%1141 = load i32, i32* %3
%1142 = add nsw i32 %1140, %1141
%1143 = load i32, i32* %3
%1144 = add nsw i32 %1142, %1143
%1145 = load i32, i32* %3
%1146 = add nsw i32 %1144, %1145
%1147 = load i32, i32* %3
%1148 = add nsw i32 %1146, %1147
%1149 = load i32, i32* %3
%1150 = add nsw i32 %1148, %1149
%1151 = load i32, i32* %3
%1152 = add nsw i32 %1150, %1151
%1153 = load i32, i32* %3
%1154 = add nsw i32 %1152, %1153
%1155 = load i32, i32* %3
%1156 = add nsw i32 %1154, %1155
%1157 = load i32, i32* %3
%1158 = add nsw i32 %1156, %1157
%1159 = load i32, i32* %3
%1160 = add nsw i32 %1158, %1159
%1161 = load i32, i32* %3
%1162 = add nsw i32 %1160, %1161
%1163 = load i32, i32* %3
%1164 = add nsw i32 %1162, %1163
%1165 = load i32, i32* %3
%1166 = add nsw i32 %1164, %1165
%1167 = load i32, i32* %3
%1168 = add nsw i32 %1166, %1167
%1169 = load i32, i32* %3
%1170 = add nsw i32 %1168, %1169
%1171 = load i32, i32* %3
%1172 = add nsw i32 %1170, %1171
%1173 = load i32, i32* %3
%1174 = add nsw i32 %1172, %1173
%1175 = load i32, i32* %3
%1176 = add nsw i32 %1174, %1175
%1177 = load i32, i32* %3
%1178 = add nsw i32 %1176, %1177
%1179 = load i32, i32* %3
%1180 = add nsw i32 %1178, %1179
%1181 = load i32, i32* %3
%1182 = add nsw i32 %1180, %1181
%1183 = load i32, i32* %3
%1184 = add nsw i32 %1182, %1183
%1185 = load i32, i32* %3
%1186 = add nsw i32 %1184, %1185
%1187 = load i32, i32* %3
%1188 = add nsw i32 %1186, %1187
%1189 = load i32, i32* %3
%1190 = add nsw i32 %1188, %1189
%1191 = load i32, i32* %3
%1192 = add nsw i32 %1190, %1191
%1193 = load i32, i32* %3
%1194 = add nsw i32 %1192, %1193
%1195 = load i32, i32* %3
%1196 = add nsw i32 %1194, %1195
%1197 = load i32, i32* %3
%1198 = add nsw i32 %1196, %1197
%1199 = load i32, i32* %3
%1200 = add nsw i32 %1198, %1199
%1201 = load i32, i32* %3
%1202 = add nsw i32 %1200, %1201
%1203 = load i32, i32* %3
%1204 = add nsw i32 %1202, %1203
%1205 = load i32, i32* %3
%1206 = add nsw i32 %1204, %1205
%1207 = load i32, i32* %3
%1208 = add nsw i32 %1206, %1207
%1209 = load i32, i32* %3
%1210 = add nsw i32 %1208, %1209
%1211 = load i32, i32* %3
%1212 = add nsw i32 %1210, %1211
%1213 = load i32, i32* %3
%1214 = add nsw i32 %1212, %1213
%1215 = load i32, i32* %3
%1216 = add nsw i32 %1214, %1215
%1217 = load i32, i32* %3
%1218 = add nsw i32 %1216, %1217
%1219 = load i32, i32* %3
%1220 = add nsw i32 %1218, %1219
%1221 = load i32, i32* %3
%1222 = add nsw i32 %1220, %1221
%1223 = load i32, i32* %3
%1224 = add nsw i32 %1222, %1223
%1225 = load i32, i32* %3
%1226 = add nsw i32 %1224, %1225
%1227 = load i32, i32* %3
%1228 = add nsw i32 %1226, %1227
%1229 = load i32, i32* %3
%1230 = add nsw i32 %1228, %1229
%1231 = load i32, i32* %3
%1232 = add nsw i32 %1230, %1231
%1233 = load i32, i32* %3
%1234 = add nsw i32 %1232, %1233
%1235 = load i32, i32* %3
%1236 = add nsw i32 %1234, %1235
%1237 = load i32, i32* %3
%1238 = add nsw i32 %1236, %1237
%1239 = load i32, i32* %3
%1240 = add nsw i32 %1238, %1239
%1241 = load i32, i32* %3
%1242 = add nsw i32 %1240, %1241
%1243 = load i32, i32* %3
%1244 = add nsw i32 %1242, %1243
%1245 = load i32, i32* %3
%1246 = add nsw i32 %1244, %1245
%1247 = load i32, i32* %3
%1248 = add nsw i32 %1246, %1247
%1249 = load i32, i32* %3
%1250 = add nsw i32 %1248, %1249
%1251 = load i32, i32* %3
%1252 = add nsw i32 %1250, %1251
%1253 = load i32, i32* %3
%1254 = add nsw i32 %1252, %1253
%1255 = load i32, i32* %3
%1256 = add nsw i32 %1254, %1255
%1257 = load i32, i32* %3
%1258 = add nsw i32 %1256, %1257
%1259 = load i32, i32* %3
%1260 = add nsw i32 %1258, %1259
%1261 = load i32, i32* %3
%1262 = add nsw i32 %1260, %1261
%1263 = load i32, i32* %3
%1264 = add nsw i32 %1262, %1263
%1265 = load i32, i32* %3
%1266 = add nsw i32 %1264, %1265
%1267 = load i32, i32* %3
%1268 = add nsw i32 %1266, %1267
%1269 = load i32, i32* %3
%1270 = add nsw i32 %1268, %1269
%1271 = load i32, i32* %3
%1272 = add nsw i32 %1270, %1271
%1273 = load i32, i32* %3
%1274 = add nsw i32 %1272, %1273
%1275 = load i32, i32* %3
%1276 = add nsw i32 %1274, %1275
%1277 = load i32, i32* %3
%1278 = add nsw i32 %1276, %1277
%1279 = load i32, i32* %3
%1280 = add nsw i32 %1278, %1279
%1281 = load i32, i32* %3
%1282 = add nsw i32 %1280, %1281
%1283 = load i32, i32* %3
%1284 = add nsw i32 %1282, %1283
%1285 = load i32, i32* %3
%1286 = add nsw i32 %1284, %1285
%1287 = load i32, i32* %3
%1288 = add nsw i32 %1286, %1287
%1289 = load i32, i32* %3
%1290 = add nsw i32 %1288, %1289
%1291 = load i32, i32* %3
%1292 = add nsw i32 %1290, %1291
%1293 = load i32, i32* %3
%1294 = add nsw i32 %1292, %1293
%1295 = load i32, i32* %3
%1296 = add nsw i32 %1294, %1295
%1297 = load i32, i32* %3
%1298 = add nsw i32 %1296, %1297
%1299 = load i32, i32* %3
%1300 = add nsw i32 %1298, %1299
%1301 = load i32, i32* %3
%1302 = add nsw i32 %1300, %1301
%1303 = load i32, i32* %3
%1304 = add nsw i32 %1302, %1303
%1305 = load i32, i32* %3
%1306 = add nsw i32 %1304, %1305
%1307 = load i32, i32* %3
%1308 = add nsw i32 %1306, %1307
%1309 = load i32, i32* %3
%1310 = add nsw i32 %1308, %1309
%1311 = load i32, i32* %3
%1312 = add nsw i32 %1310, %1311
%1313 = load i32, i32* %3
%1314 = add nsw i32 %1312, %1313
%1315 = load i32, i32* %3
%1316 = add nsw i32 %1314, %1315
%1317 = load i32, i32* %3
%1318 = add nsw i32 %1316, %1317
%1319 = load i32, i32* %3
%1320 = add nsw i32 %1318, %1319
%1321 = load i32, i32* %3
%1322 = add nsw i32 %1320, %1321
%1323 = load i32, i32* %3
%1324 = add nsw i32 %1322, %1323
%1325 = load i32, i32* %3
%1326 = add nsw i32 %1324, %1325
%1327 = load i32, i32* %3
%1328 = add nsw i32 %1326, %1327
%1329 = load i32, i32* %3
%1330 = add nsw i32 %1328, %1329
%1331 = load i32, i32* %3
%1332 = add nsw i32 %1330, %1331
%1333 = load i32, i32* %3
%1334 = add nsw i32 %1332, %1333
%1335 = load i32, i32* %3
%1336 = add nsw i32 %1334, %1335
%1337 = load i32, i32* %3
%1338 = add nsw i32 %1336, %1337
%1339 = load i32, i32* %3
%1340 = add nsw i32 %1338, %1339
%1341 = load i32, i32* %3
%1342 = add nsw i32 %1340, %1341
%1343 = load i32, i32* %3
%1344 = add nsw i32 %1342, %1343
%1345 = load i32, i32* %3
%1346 = add nsw i32 %1344, %1345
%1347 = load i32, i32* %3
%1348 = add nsw i32 %1346, %1347
%1349 = load i32, i32* %3
%1350 = add nsw i32 %1348, %1349
%1351 = load i32, i32* %3
%1352 = add nsw i32 %1350, %1351
%1353 = load i32, i32* %3
%1354 = add nsw i32 %1352, %1353
%1355 = load i32, i32* %3
%1356 = add nsw i32 %1354, %1355
%1357 = load i32, i32* %3
%1358 = add nsw i32 %1356, %1357
%1359 = load i32, i32* %3
%1360 = add nsw i32 %1358, %1359
%1361 = load i32, i32* %3
%1362 = add nsw i32 %1360, %1361
%1363 = load i32, i32* %3
%1364 = add nsw i32 %1362, %1363
%1365 = load i32, i32* %3
%1366 = add nsw i32 %1364, %1365
%1367 = load i32, i32* %3
%1368 = add nsw i32 %1366, %1367
%1369 = load i32, i32* %3
%1370 = add nsw i32 %1368, %1369
%1371 = load i32, i32* %3
%1372 = add nsw i32 %1370, %1371
%1373 = load i32, i32* %3
%1374 = add nsw i32 %1372, %1373
%1375 = load i32, i32* %3
%1376 = add nsw i32 %1374, %1375
%1377 = load i32, i32* %3
%1378 = add nsw i32 %1376, %1377
%1379 = load i32, i32* %3
%1380 = add nsw i32 %1378, %1379
%1381 = load i32, i32* %3
%1382 = add nsw i32 %1380, %1381
%1383 = load i32, i32* %3
%1384 = add nsw i32 %1382, %1383
%1385 = load i32, i32* %3
%1386 = add nsw i32 %1384, %1385
%1387 = load i32, i32* %3
%1388 = add nsw i32 %1386, %1387
%1389 = load i32, i32* %3
%1390 = add nsw i32 %1388, %1389
%1391 = load i32, i32* %3
%1392 = add nsw i32 %1390, %1391
%1393 = load i32, i32* %3
%1394 = add nsw i32 %1392, %1393
%1395 = load i32, i32* %3
%1396 = add nsw i32 %1394, %1395
%1397 = load i32, i32* %3
%1398 = add nsw i32 %1396, %1397
%1399 = load i32, i32* %3
%1400 = add nsw i32 %1398, %1399
%1401 = load i32, i32* %3
%1402 = add nsw i32 %1400, %1401
%1403 = load i32, i32* %3
%1404 = add nsw i32 %1402, %1403
%1405 = load i32, i32* %3
%1406 = add nsw i32 %1404, %1405
%1407 = load i32, i32* %3
%1408 = add nsw i32 %1406, %1407
%1409 = load i32, i32* %3
%1410 = add nsw i32 %1408, %1409
%1411 = load i32, i32* %3
%1412 = add nsw i32 %1410, %1411
%1413 = load i32, i32* %3
%1414 = add nsw i32 %1412, %1413
%1415 = load i32, i32* %3
%1416 = add nsw i32 %1414, %1415
%1417 = load i32, i32* %3
%1418 = add nsw i32 %1416, %1417
%1419 = load i32, i32* %3
%1420 = add nsw i32 %1418, %1419
%1421 = load i32, i32* %3
%1422 = add nsw i32 %1420, %1421
%1423 = load i32, i32* %3
%1424 = add nsw i32 %1422, %1423
%1425 = load i32, i32* %3
%1426 = add nsw i32 %1424, %1425
%1427 = load i32, i32* %3
%1428 = add nsw i32 %1426, %1427
%1429 = load i32, i32* %3
%1430 = add nsw i32 %1428, %1429
%1431 = load i32, i32* %3
%1432 = add nsw i32 %1430, %1431
%1433 = load i32, i32* %3
%1434 = add nsw i32 %1432, %1433
%1435 = load i32, i32* %3
%1436 = add nsw i32 %1434, %1435
%1437 = load i32, i32* %3
%1438 = add nsw i32 %1436, %1437
%1439 = load i32, i32* %3
%1440 = add nsw i32 %1438, %1439
%1441 = load i32, i32* %3
%1442 = add nsw i32 %1440, %1441
%1443 = load i32, i32* %3
%1444 = add nsw i32 %1442, %1443
%1445 = load i32, i32* %3
%1446 = add nsw i32 %1444, %1445
%1447 = load i32, i32* %3
%1448 = add nsw i32 %1446, %1447
%1449 = load i32, i32* %3
%1450 = add nsw i32 %1448, %1449
%1451 = load i32, i32* %3
%1452 = add nsw i32 %1450, %1451
%1453 = load i32, i32* %3
%1454 = add nsw i32 %1452, %1453
%1455 = load i32, i32* %3
%1456 = add nsw i32 %1454, %1455
%1457 = load i32, i32* %3
%1458 = add nsw i32 %1456, %1457
%1459 = load i32, i32* %3
%1460 = add nsw i32 %1458, %1459
%1461 = load i32, i32* %3
%1462 = add nsw i32 %1460, %1461
%1463 = load i32, i32* %3
%1464 = add nsw i32 %1462, %1463
%1465 = load i32, i32* %3
%1466 = add nsw i32 %1464, %1465
%1467 = load i32, i32* %3
%1468 = add nsw i32 %1466, %1467
%1469 = load i32, i32* %3
%1470 = add nsw i32 %1468, %1469
%1471 = load i32, i32* %3
%1472 = add nsw i32 %1470, %1471
%1473 = load i32, i32* %3
%1474 = add nsw i32 %1472, %1473
%1475 = load i32, i32* %3
%1476 = add nsw i32 %1474, %1475
%1477 = load i32, i32* %3
%1478 = add nsw i32 %1476, %1477
%1479 = load i32, i32* %3
%1480 = add nsw i32 %1478, %1479
%1481 = load i32, i32* %3
%1482 = add nsw i32 %1480, %1481
%1483 = load i32, i32* %3
%1484 = add nsw i32 %1482, %1483
%1485 = load i32, i32* %3
%1486 = add nsw i32 %1484, %1485
%1487 = load i32, i32* %3
%1488 = add nsw i32 %1486, %1487
%1489 = load i32, i32* %3
%1490 = add nsw i32 %1488, %1489
%1491 = load i32, i32* %3
%1492 = add nsw i32 %1490, %1491
%1493 = load i32, i32* %3
%1494 = add nsw i32 %1492, %1493
%1495 = load i32, i32* %3
%1496 = add nsw i32 %1494, %1495
%1497 = load i32, i32* %3
%1498 = add nsw i32 %1496, %1497
%1499 = load i32, i32* %3
%1500 = add nsw i32 %1498, %1499
%1501 = load i32, i32* %3
%1502 = add nsw i32 %1500, %1501
%1503 = load i32, i32* %3
%1504 = add nsw i32 %1502, %1503
%1505 = load i32, i32* %3
%1506 = add nsw i32 %1504, %1505
%1507 = load i32, i32* %3
%1508 = add nsw i32 %1506, %1507
%1509 = load i32, i32* %3
%1510 = add nsw i32 %1508, %1509
%1511 = load i32, i32* %3
%1512 = add nsw i32 %1510, %1511
%1513 = load i32, i32* %3
%1514 = add nsw i32 %1512, %1513
%1515 = load i32, i32* %3
%1516 = add nsw i32 %1514, %1515
%1517 = load i32, i32* %3
%1518 = add nsw i32 %1516, %1517
%1519 = load i32, i32* %3
%1520 = add nsw i32 %1518, %1519
%1521 = load i32, i32* %3
%1522 = add nsw i32 %1520, %1521
%1523 = load i32, i32* %3
%1524 = add nsw i32 %1522, %1523
%1525 = load i32, i32* %3
%1526 = add nsw i32 %1524, %1525
%1527 = load i32, i32* %3
%1528 = add nsw i32 %1526, %1527
%1529 = load i32, i32* %3
%1530 = add nsw i32 %1528, %1529
%1531 = load i32, i32* %3
%1532 = add nsw i32 %1530, %1531
%1533 = load i32, i32* %3
%1534 = add nsw i32 %1532, %1533
%1535 = load i32, i32* %3
%1536 = add nsw i32 %1534, %1535
%1537 = load i32, i32* %3
%1538 = add nsw i32 %1536, %1537
%1539 = load i32, i32* %3
%1540 = add nsw i32 %1538, %1539
%1541 = load i32, i32* %3
%1542 = add nsw i32 %1540, %1541
%1543 = load i32, i32* %3
%1544 = add nsw i32 %1542, %1543
%1545 = load i32, i32* %3
%1546 = add nsw i32 %1544, %1545
%1547 = load i32, i32* %3
%1548 = add nsw i32 %1546, %1547
%1549 = load i32, i32* %3
%1550 = add nsw i32 %1548, %1549
%1551 = load i32, i32* %3
%1552 = add nsw i32 %1550, %1551
%1553 = load i32, i32* %3
%1554 = add nsw i32 %1552, %1553
%1555 = load i32, i32* %3
%1556 = add nsw i32 %1554, %1555
%1557 = load i32, i32* %3
%1558 = add nsw i32 %1556, %1557
%1559 = load i32, i32* %3
%1560 = add nsw i32 %1558, %1559
%1561 = load i32, i32* %3
%1562 = add nsw i32 %1560, %1561
%1563 = load i32, i32* %3
%1564 = add nsw i32 %1562, %1563
%1565 = load i32, i32* %3
%1566 = add nsw i32 %1564, %1565
%1567 = load i32, i32* %3
%1568 = add nsw i32 %1566, %1567
%1569 = load i32, i32* %3
%1570 = add nsw i32 %1568, %1569
%1571 = load i32, i32* %3
%1572 = add nsw i32 %1570, %1571
%1573 = load i32, i32* %3
%1574 = add nsw i32 %1572, %1573
%1575 = load i32, i32* %3
%1576 = add nsw i32 %1574, %1575
%1577 = load i32, i32* %3
%1578 = add nsw i32 %1576, %1577
%1579 = load i32, i32* %3
%1580 = add nsw i32 %1578, %1579
%1581 = load i32, i32* %3
%1582 = add nsw i32 %1580, %1581
%1583 = load i32, i32* %3
%1584 = add nsw i32 %1582, %1583
%1585 = load i32, i32* %3
%1586 = add nsw i32 %1584, %1585
%1587 = load i32, i32* %3
%1588 = add nsw i32 %1586, %1587
%1589 = load i32, i32* %3
%1590 = add nsw i32 %1588, %1589
%1591 = load i32, i32* %3
%1592 = add nsw i32 %1590, %1591
%1593 = load i32, i32* %3
%1594 = add nsw i32 %1592, %1593
%1595 = load i32, i32* %3
%1596 = add nsw i32 %1594, %1595
%1597 = load i32, i32* %3
%1598 = add nsw i32 %1596, %1597
%1599 = load i32, i32* %3
%1600 = add nsw i32 %1598, %1599
%1601 = load i32, i32* %3
%1602 = add nsw i32 %1600, %1601
%1603 = load i32, i32* %3
%1604 = add nsw i32 %1602, %1603
%1605 = load i32, i32* %3
%1606 = add nsw i32 %1604, %1605
%1607 = load i32, i32* %3
%1608 = add nsw i32 %1606, %1607
%1609 = load i32, i32* %3
%1610 = add nsw i32 %1608, %1609
%1611 = load i32, i32* %3
%1612 = add nsw i32 %1610, %1611
%1613 = load i32, i32* %3
%1614 = add nsw i32 %1612, %1613
%1615 = load i32, i32* %3
%1616 = add nsw i32 %1614, %1615
%1617 = load i32, i32* %3
%1618 = add nsw i32 %1616, %1617
%1619 = load i32, i32* %3
%1620 = add nsw i32 %1618, %1619
%1621 = load i32, i32* %3
%1622 = add nsw i32 %1620, %1621
%1623 = load i32, i32* %3
%1624 = add nsw i32 %1622, %1623
%1625 = load i32, i32* %3
%1626 = add nsw i32 %1624, %1625
%1627 = load i32, i32* %3
%1628 = add nsw i32 %1626, %1627
%1629 = load i32, i32* %3
%1630 = add nsw i32 %1628, %1629
%1631 = load i32, i32* %3
%1632 = add nsw i32 %1630, %1631
%1633 = load i32, i32* %3
%1634 = add nsw i32 %1632, %1633
%1635 = load i32, i32* %3
%1636 = add nsw i32 %1634, %1635
%1637 = load i32, i32* %3
%1638 = add nsw i32 %1636, %1637
%1639 = load i32, i32* %3
%1640 = add nsw i32 %1638, %1639
%1641 = load i32, i32* %3
%1642 = add nsw i32 %1640, %1641
%1643 = load i32, i32* %3
%1644 = add nsw i32 %1642, %1643
%1645 = load i32, i32* %3
%1646 = add nsw i32 %1644, %1645
%1647 = load i32, i32* %3
%1648 = add nsw i32 %1646, %1647
%1649 = load i32, i32* %3
%1650 = add nsw i32 %1648, %1649
%1651 = load i32, i32* %3
%1652 = add nsw i32 %1650, %1651
%1653 = load i32, i32* %3
%1654 = add nsw i32 %1652, %1653
%1655 = load i32, i32* %3
%1656 = add nsw i32 %1654, %1655
%1657 = load i32, i32* %3
%1658 = add nsw i32 %1656, %1657
%1659 = load i32, i32* %3
%1660 = add nsw i32 %1658, %1659
%1661 = load i32, i32* %3
%1662 = add nsw i32 %1660, %1661
%1663 = load i32, i32* %3
%1664 = add nsw i32 %1662, %1663
%1665 = load i32, i32* %3
%1666 = add nsw i32 %1664, %1665
%1667 = load i32, i32* %3
%1668 = add nsw i32 %1666, %1667
%1669 = load i32, i32* %3
%1670 = add nsw i32 %1668, %1669
%1671 = load i32, i32* %3
%1672 = add nsw i32 %1670, %1671
%1673 = load i32, i32* %3
%1674 = add nsw i32 %1672, %1673
%1675 = load i32, i32* %3
%1676 = add nsw i32 %1674, %1675
%1677 = load i32, i32* %3
%1678 = add nsw i32 %1676, %1677
%1679 = load i32, i32* %3
%1680 = add nsw i32 %1678, %1679
%1681 = load i32, i32* %3
%1682 = add nsw i32 %1680, %1681
%1683 = load i32, i32* %3
%1684 = add nsw i32 %1682, %1683
%1685 = load i32, i32* %3
%1686 = add nsw i32 %1684, %1685
%1687 = load i32, i32* %3
%1688 = add nsw i32 %1686, %1687
%1689 = load i32, i32* %3
%1690 = add nsw i32 %1688, %1689
%1691 = load i32, i32* %3
%1692 = add nsw i32 %1690, %1691
%1693 = load i32, i32* %3
%1694 = add nsw i32 %1692, %1693
%1695 = load i32, i32* %3
%1696 = add nsw i32 %1694, %1695
%1697 = load i32, i32* %3
%1698 = add nsw i32 %1696, %1697
%1699 = load i32, i32* %3
%1700 = add nsw i32 %1698, %1699
%1701 = load i32, i32* %3
%1702 = add nsw i32 %1700, %1701
%1703 = load i32, i32* %3
%1704 = add nsw i32 %1702, %1703
%1705 = load i32, i32* %3
%1706 = add nsw i32 %1704, %1705
%1707 = load i32, i32* %3
%1708 = add nsw i32 %1706, %1707
%1709 = load i32, i32* %3
%1710 = add nsw i32 %1708, %1709
%1711 = load i32, i32* %3
%1712 = add nsw i32 %1710, %1711
%1713 = load i32, i32* %3
%1714 = add nsw i32 %1712, %1713
%1715 = load i32, i32* %3
%1716 = add nsw i32 %1714, %1715
%1717 = load i32, i32* %3
%1718 = add nsw i32 %1716, %1717
%1719 = load i32, i32* %3
%1720 = add nsw i32 %1718, %1719
%1721 = load i32, i32* %3
%1722 = add nsw i32 %1720, %1721
%1723 = load i32, i32* %3
%1724 = add nsw i32 %1722, %1723
%1725 = load i32, i32* %3
%1726 = add nsw i32 %1724, %1725
%1727 = load i32, i32* %3
%1728 = add nsw i32 %1726, %1727
%1729 = load i32, i32* %3
%1730 = add nsw i32 %1728, %1729
%1731 = load i32, i32* %3
%1732 = add nsw i32 %1730, %1731
%1733 = load i32, i32* %3
%1734 = add nsw i32 %1732, %1733
%1735 = load i32, i32* %3
%1736 = add nsw i32 %1734, %1735
%1737 = load i32, i32* %3
%1738 = add nsw i32 %1736, %1737
%1739 = load i32, i32* %3
%1740 = add nsw i32 %1738, %1739
%1741 = load i32, i32* %3
%1742 = add nsw i32 %1740, %1741
%1743 = load i32, i32* %3
%1744 = add nsw i32 %1742, %1743
%1745 = load i32, i32* %3
%1746 = add nsw i32 %1744, %1745
%1747 = load i32, i32* %3
%1748 = add nsw i32 %1746, %1747
%1749 = load i32, i32* %3
%1750 = add nsw i32 %1748, %1749
%1751 = load i32, i32* %3
%1752 = add nsw i32 %1750, %1751
%1753 = load i32, i32* %3
%1754 = add nsw i32 %1752, %1753
%1755 = load i32, i32* %3
%1756 = add nsw i32 %1754, %1755
%1757 = load i32, i32* %3
%1758 = add nsw i32 %1756, %1757
%1759 = load i32, i32* %3
%1760 = add nsw i32 %1758, %1759
%1761 = load i32, i32* %3
%1762 = add nsw i32 %1760, %1761
%1763 = load i32, i32* %3
%1764 = add nsw i32 %1762, %1763
%1765 = load i32, i32* %3
%1766 = add nsw i32 %1764, %1765
%1767 = load i32, i32* %3
%1768 = add nsw i32 %1766, %1767
%1769 = load i32, i32* %3
%1770 = add nsw i32 %1768, %1769
%1771 = load i32, i32* %3
%1772 = add nsw i32 %1770, %1771
%1773 = load i32, i32* %3
%1774 = add nsw i32 %1772, %1773
%1775 = load i32, i32* %3
%1776 = add nsw i32 %1774, %1775
%1777 = load i32, i32* %3
%1778 = add nsw i32 %1776, %1777
%1779 = load i32, i32* %3
%1780 = add nsw i32 %1778, %1779
%1781 = load i32, i32* %3
%1782 = add nsw i32 %1780, %1781
%1783 = load i32, i32* %3
%1784 = add nsw i32 %1782, %1783
%1785 = load i32, i32* %3
%1786 = add nsw i32 %1784, %1785
%1787 = load i32, i32* %3
%1788 = add nsw i32 %1786, %1787
%1789 = load i32, i32* %3
%1790 = add nsw i32 %1788, %1789
%1791 = load i32, i32* %3
%1792 = add nsw i32 %1790, %1791
%1793 = load i32, i32* %3
%1794 = add nsw i32 %1792, %1793
%1795 = load i32, i32* %3
%1796 = add nsw i32 %1794, %1795
%1797 = load i32, i32* %3
%1798 = add nsw i32 %1796, %1797
%1799 = load i32, i32* %3
%1800 = add nsw i32 %1798, %1799
%1801 = load i32, i32* %3
%1802 = add nsw i32 %1800, %1801
%1803 = load i32, i32* %3
%1804 = add nsw i32 %1802, %1803
%1805 = load i32, i32* %3
%1806 = add nsw i32 %1804, %1805
%1807 = load i32, i32* %3
%1808 = add nsw i32 %1806, %1807
%1809 = load i32, i32* %3
%1810 = add nsw i32 %1808, %1809
%1811 = load i32, i32* %3
%1812 = add nsw i32 %1810, %1811
%1813 = load i32, i32* %3
%1814 = add nsw i32 %1812, %1813
%1815 = load i32, i32* %3
%1816 = add nsw i32 %1814, %1815
%1817 = load i32, i32* %3
%1818 = add nsw i32 %1816, %1817
%1819 = load i32, i32* %3
%1820 = add nsw i32 %1818, %1819
%1821 = load i32, i32* %3
%1822 = add nsw i32 %1820, %1821
%1823 = load i32, i32* %3
%1824 = add nsw i32 %1822, %1823
%1825 = load i32, i32* %3
%1826 = add nsw i32 %1824, %1825
%1827 = load i32, i32* %3
%1828 = add nsw i32 %1826, %1827
%1829 = load i32, i32* %3
%1830 = add nsw i32 %1828, %1829
%1831 = load i32, i32* %3
%1832 = add nsw i32 %1830, %1831
%1833 = load i32, i32* %3
%1834 = add nsw i32 %1832, %1833
%1835 = load i32, i32* %3
%1836 = add nsw i32 %1834, %1835
%1837 = load i32, i32* %3
%1838 = add nsw i32 %1836, %1837
%1839 = load i32, i32* %3
%1840 = add nsw i32 %1838, %1839
%1841 = load i32, i32* %3
%1842 = add nsw i32 %1840, %1841
%1843 = load i32, i32* %3
%1844 = add nsw i32 %1842, %1843
%1845 = load i32, i32* %3
%1846 = add nsw i32 %1844, %1845
%1847 = load i32, i32* %3
%1848 = add nsw i32 %1846, %1847
%1849 = load i32, i32* %3
%1850 = add nsw i32 %1848, %1849
%1851 = load i32, i32* %3
%1852 = add nsw i32 %1850, %1851
%1853 = load i32, i32* %3
%1854 = add nsw i32 %1852, %1853
%1855 = load i32, i32* %3
%1856 = add nsw i32 %1854, %1855
%1857 = load i32, i32* %3
%1858 = add nsw i32 %1856, %1857
%1859 = load i32, i32* %3
%1860 = add nsw i32 %1858, %1859
%1861 = load i32, i32* %3
%1862 = add nsw i32 %1860, %1861
%1863 = load i32, i32* %3
%1864 = add nsw i32 %1862, %1863
%1865 = load i32, i32* %3
%1866 = add nsw i32 %1864, %1865
%1867 = load i32, i32* %3
%1868 = add nsw i32 %1866, %1867
%1869 = load i32, i32* %3
%1870 = add nsw i32 %1868, %1869
%1871 = load i32, i32* %3
%1872 = add nsw i32 %1870, %1871
%1873 = load i32, i32* %3
%1874 = add nsw i32 %1872, %1873
%1875 = load i32, i32* %3
%1876 = add nsw i32 %1874, %1875
%1877 = load i32, i32* %3
%1878 = add nsw i32 %1876, %1877
%1879 = load i32, i32* %3
%1880 = add nsw i32 %1878, %1879
%1881 = load i32, i32* %3
%1882 = add nsw i32 %1880, %1881
%1883 = load i32, i32* %3
%1884 = add nsw i32 %1882, %1883
%1885 = load i32, i32* %3
%1886 = add nsw i32 %1884, %1885
%1887 = load i32, i32* %3
%1888 = add nsw i32 %1886, %1887
%1889 = load i32, i32* %3
%1890 = add nsw i32 %1888, %1889
%1891 = load i32, i32* %3
%1892 = add nsw i32 %1890, %1891
%1893 = load i32, i32* %3
%1894 = add nsw i32 %1892, %1893
%1895 = load i32, i32* %3
%1896 = add nsw i32 %1894, %1895
%1897 = load i32, i32* %3
%1898 = add nsw i32 %1896, %1897
%1899 = load i32, i32* %3
%1900 = add nsw i32 %1898, %1899
%1901 = load i32, i32* %3
%1902 = add nsw i32 %1900, %1901
%1903 = load i32, i32* %3
%1904 = add nsw i32 %1902, %1903
%1905 = load i32, i32* %3
%1906 = add nsw i32 %1904, %1905
%1907 = load i32, i32* %3
%1908 = add nsw i32 %1906, %1907
%1909 = load i32, i32* %3
%1910 = add nsw i32 %1908, %1909
%1911 = load i32, i32* %3
%1912 = add nsw i32 %1910, %1911
%1913 = load i32, i32* %3
%1914 = add nsw i32 %1912, %1913
%1915 = load i32, i32* %3
%1916 = add nsw i32 %1914, %1915
%1917 = load i32, i32* %3
%1918 = add nsw i32 %1916, %1917
%1919 = load i32, i32* %3
%1920 = add nsw i32 %1918, %1919
%1921 = load i32, i32* %3
%1922 = add nsw i32 %1920, %1921
%1923 = load i32, i32* %3
%1924 = add nsw i32 %1922, %1923
%1925 = load i32, i32* %3
%1926 = add nsw i32 %1924, %1925
%1927 = load i32, i32* %3
%1928 = add nsw i32 %1926, %1927
%1929 = load i32, i32* %3
%1930 = add nsw i32 %1928, %1929
%1931 = load i32, i32* %3
%1932 = add nsw i32 %1930, %1931
%1933 = load i32, i32* %3
%1934 = add nsw i32 %1932, %1933
%1935 = load i32, i32* %3
%1936 = add nsw i32 %1934, %1935
%1937 = load i32, i32* %3
%1938 = add nsw i32 %1936, %1937
%1939 = load i32, i32* %3
%1940 = add nsw i32 %1938, %1939
%1941 = load i32, i32* %3
%1942 = add nsw i32 %1940, %1941
%1943 = load i32, i32* %3
%1944 = add nsw i32 %1942, %1943
%1945 = load i32, i32* %3
%1946 = add nsw i32 %1944, %1945
%1947 = load i32, i32* %3
%1948 = add nsw i32 %1946, %1947
%1949 = load i32, i32* %3
%1950 = add nsw i32 %1948, %1949
%1951 = load i32, i32* %3
%1952 = add nsw i32 %1950, %1951
%1953 = load i32, i32* %3
%1954 = add nsw i32 %1952, %1953
%1955 = load i32, i32* %3
%1956 = add nsw i32 %1954, %1955
%1957 = load i32, i32* %3
%1958 = add nsw i32 %1956, %1957
%1959 = load i32, i32* %3
%1960 = add nsw i32 %1958, %1959
%1961 = load i32, i32* %3
%1962 = add nsw i32 %1960, %1961
%1963 = load i32, i32* %3
%1964 = add nsw i32 %1962, %1963
%1965 = load i32, i32* %3
%1966 = add nsw i32 %1964, %1965
%1967 = load i32, i32* %3
%1968 = add nsw i32 %1966, %1967
%1969 = load i32, i32* %3
%1970 = add nsw i32 %1968, %1969
%1971 = load i32, i32* %3
%1972 = add nsw i32 %1970, %1971
%1973 = load i32, i32* %3
%1974 = add nsw i32 %1972, %1973
%1975 = load i32, i32* %3
%1976 = add nsw i32 %1974, %1975
%1977 = load i32, i32* %3
%1978 = add nsw i32 %1976, %1977
%1979 = load i32, i32* %3
%1980 = add nsw i32 %1978, %1979
%1981 = load i32, i32* %3
%1982 = add nsw i32 %1980, %1981
%1983 = load i32, i32* %3
%1984 = add nsw i32 %1982, %1983
%1985 = load i32, i32* %3
%1986 = add nsw i32 %1984, %1985
%1987 = load i32, i32* %3
%1988 = add nsw i32 %1986, %1987
%1989 = load i32, i32* %3
%1990 = add nsw i32 %1988, %1989
%1991 = load i32, i32* %3
%1992 = add nsw i32 %1990, %1991
%1993 = load i32, i32* %3
%1994 = add nsw i32 %1992, %1993
%1995 = load i32, i32* %3
%1996 = add nsw i32 %1994, %1995
%1997 = load i32, i32* %3
%1998 = add nsw i32 %1996, %1997
%1999 = load i32, i32* %3
%2000 = add nsw i32 %1998, %1999
%2001 = load i32, i32* %3
%2002 = add nsw i32 %2000, %2001
%2003 = load i32, i32* %3
%2004 = add nsw i32 %2002, %2003
store i32 %2004, i32* %2
%2005 = load i32, i32* %2
ret i32 %2005
}

LLVM IR (-O2):
define i32 @main() {
ret i32 undef
}