#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef uintptr_t x34;
typedef uintptr_t x33;
typedef uintptr_t x32;
typedef uintptr_t x31;
typedef uintptr_t x30;
typedef uintptr_t x29;
typedef uintptr_t x28;
typedef uintptr_t x27;
typedef uintptr_t x26;
typedef uintptr_t x25;
typedef uintptr_t x24;
typedef uintptr_t x23;
typedef uintptr_t x22;
typedef uintptr_t x21;
typedef uintptr_t x20;
typedef uintptr_t x19;
typedef uintptr_t x18;
typedef uintptr_t x17;
typedef uintptr_t x16;
typedef uintptr_t x15;
typedef uintptr_t x14;
typedef uintptr_t x13;
typedef uintptr_t x12;
typedef uintptr_t x0;
typedef int /*<<< orphan*/ out0;
typedef int /*<<< orphan*/ in1;
typedef int /*<<< orphan*/ in0;

/* Variables and functions */
uintptr_t _br2_load(int /*<<< orphan*/, int);
int /*<<< orphan*/ _br2_store(int /*<<< orphan*/, uintptr_t, int);
void internal_fiat_p384_add(uintptr_t out0, uintptr_t in0, uintptr_t in1) {
  uintptr_t x6, x0, x13, x1, x7, x15, x2, x8, x17, x3, x9, x19, x4, x10, x21,
      x5, x11, x25, x27, x29, x31, x23, x33, x12, x36, x24, x37, x14, x39, x26,
      x40, x16, x42, x28, x43, x18, x45, x30, x46, x20, x48, x32, x49, x35, x22,
      x51, x34, x52, x38, x41, x44, x47, x50, x53, x54, x55, x56, x57, x58, x59;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in0) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x2 = _br2_load((in0) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x3 = _br2_load((in0) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x4 = _br2_load((in0) + ((uintptr_t)32ULL), sizeof(uintptr_t));
  x5 = _br2_load((in0) + ((uintptr_t)40ULL), sizeof(uintptr_t));
  x6 = _br2_load((in1) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x7 = _br2_load((in1) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x8 = _br2_load((in1) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x9 = _br2_load((in1) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x10 = _br2_load((in1) + ((uintptr_t)32ULL), sizeof(uintptr_t));
  x11 = _br2_load((in1) + ((uintptr_t)40ULL), sizeof(uintptr_t));
  x12 = (x0) + (x6);
  x13 = ((x12) < (x0)) + (x1);
  x14 = (x13) + (x7);
  x15 = (((x13) < (x1)) + ((x14) < (x7))) + (x2);
  x16 = (x15) + (x8);
  x17 = (((x15) < (x2)) + ((x16) < (x8))) + (x3);
  x18 = (x17) + (x9);
  x19 = (((x17) < (x3)) + ((x18) < (x9))) + (x4);
  x20 = (x19) + (x10);
  x21 = (((x19) < (x4)) + ((x20) < (x10))) + (x5);
  x22 = (x21) + (x11);
  x23 = ((x21) < (x5)) + ((x22) < (x11));
  x24 = (x12) - ((uintptr_t)4294967295ULL);
  x25 = (x14) - ((uintptr_t)18446744069414584320ULL);
  x26 = (x25) - ((x12) < (x24));
  x27 = (x16) - ((uintptr_t)18446744073709551614ULL);
  x28 = (x27) - (((x14) < (x25)) + ((x25) < (x26)));
  x29 = (x18) - ((uintptr_t)18446744073709551615ULL);
  x30 = (x29) - (((x16) < (x27)) + ((x27) < (x28)));
  x31 = (x20) - ((uintptr_t)18446744073709551615ULL);
  x32 = (x31) - (((x18) < (x29)) + ((x29) < (x30)));
  x33 = (x22) - ((uintptr_t)18446744073709551615ULL);
  x34 = (x33) - (((x20) < (x31)) + ((x31) < (x32)));
  x35 = (x23) < ((x23) - (((x22) < (x33)) + ((x33) < (x34))));
  x36 = ((uintptr_t)-1ULL) + ((x35) == ((uintptr_t)0ULL));
  x37 = (x36) ^ ((uintptr_t)18446744073709551615ULL);
  x38 = ((x12) & (x36)) | ((x24) & (x37));
  x39 = ((uintptr_t)-1ULL) + ((x35) == ((uintptr_t)0ULL));
  x40 = (x39) ^ ((uintptr_t)18446744073709551615ULL);
  x41 = ((x14) & (x39)) | ((x26) & (x40));
  x42 = ((uintptr_t)-1ULL) + ((x35) == ((uintptr_t)0ULL));
  x43 = (x42) ^ ((uintptr_t)18446744073709551615ULL);
  x44 = ((x16) & (x42)) | ((x28) & (x43));
  x45 = ((uintptr_t)-1ULL) + ((x35) == ((uintptr_t)0ULL));
  x46 = (x45) ^ ((uintptr_t)18446744073709551615ULL);
  x47 = ((x18) & (x45)) | ((x30) & (x46));
  x48 = ((uintptr_t)-1ULL) + ((x35) == ((uintptr_t)0ULL));
  x49 = (x48) ^ ((uintptr_t)18446744073709551615ULL);
  x50 = ((x20) & (x48)) | ((x32) & (x49));
  x51 = ((uintptr_t)-1ULL) + ((x35) == ((uintptr_t)0ULL));
  x52 = (x51) ^ ((uintptr_t)18446744073709551615ULL);
  x53 = ((x22) & (x51)) | ((x34) & (x52));
  x54 = x38;
  x55 = x41;
  x56 = x44;
  x57 = x47;
  x58 = x50;
  x59 = x53;
  _br2_store((out0) + ((uintptr_t)0ULL), x54, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x55, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x56, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x57, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x58, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)40ULL), x59, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_p384_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x200,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x98(%rbp)
mov    -0x18(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%rbp)
mov    -0x18(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x88(%rbp)
mov    -0x18(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa0(%rbp)
mov    -0x28(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0xf8(%rbp),%rcx
cmp    -0x40(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0x50(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x118(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x50(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x118(%rbp),%rcx
cmp    -0x58(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0x68(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x68(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x138(%rbp),%rcx
cmp    -0x70(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0x80(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
add    -0x88(%rbp),%rax
mov    %rax,-0x158(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x80(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x158(%rbp),%rcx
cmp    -0x88(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0x98(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0x180(%rbp)
mov    -0x90(%rbp),%rax
cmp    -0x98(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x180(%rbp),%rcx
cmp    -0xa0(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
mov    %rax,-0xc8(%rbp)
mov    -0xd8(%rbp),%rax
movabs $0xffffffff,%rcx
sub    %rcx,%rax
mov    %rax,-0xe8(%rbp)
mov    -0xf8(%rbp),%rax
movabs $0xffffffff00000000,%rcx
ff ff ff
sub    %rcx,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
mov    -0xd8(%rbp),%rcx
cmp    -0xe8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x108(%rbp)
mov    -0x118(%rbp),%rax
sub    $0xfffffffffffffffe,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
mov    -0xf8(%rbp),%rcx
cmp    -0xa8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0xa8(%rbp),%rdx
cmp    -0x108(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x128(%rbp)
mov    -0x138(%rbp),%rax
sub    $0xffffffffffffffff,%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
mov    -0x118(%rbp),%rcx
cmp    -0xb0(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0xb0(%rbp),%rdx
cmp    -0x128(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x148(%rbp)
mov    -0x158(%rbp),%rax
sub    $0xffffffffffffffff,%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc0(%rbp),%rax
mov    -0x138(%rbp),%rcx
cmp    -0xb8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0xb8(%rbp),%rdx
cmp    -0x148(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x168(%rbp)
mov    -0x180(%rbp),%rax
sub    $0xffffffffffffffff,%rax
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
mov    -0x158(%rbp),%rcx
cmp    -0xc0(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0xc0(%rbp),%rdx
cmp    -0x168(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x190(%rbp)
mov    -0xc8(%rbp),%rax
mov    -0xc8(%rbp),%rcx
mov    -0x180(%rbp),%rdx
cmp    -0xd0(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
mov    -0xd0(%rbp),%rsi
cmp    -0x190(%rbp),%rsi
setb   %sil
and    $0x1,%sil
movzbl %sil,%esi
add    %esi,%edx
movslq %edx,%rdx
sub    %rdx,%rcx
cmp    %rcx,%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x178(%rbp)
cmpq   $0x0,-0x178(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0xf0(%rbp)
mov    -0xd8(%rbp),%rax
and    -0xe0(%rbp),%rax
mov    -0xe8(%rbp),%rcx
and    -0xf0(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x1a0(%rbp)
cmpq   $0x0,-0x178(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x100(%rbp)
mov    -0x100(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x110(%rbp)
mov    -0xf8(%rbp),%rax
and    -0x100(%rbp),%rax
mov    -0x108(%rbp),%rcx
and    -0x110(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x1a8(%rbp)
cmpq   $0x0,-0x178(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x120(%rbp)
mov    -0x120(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x130(%rbp)
mov    -0x118(%rbp),%rax
and    -0x120(%rbp),%rax
mov    -0x128(%rbp),%rcx
and    -0x130(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x1b0(%rbp)
cmpq   $0x0,-0x178(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x140(%rbp)
mov    -0x140(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x150(%rbp)
mov    -0x138(%rbp),%rax
and    -0x140(%rbp),%rax
mov    -0x148(%rbp),%rcx
and    -0x150(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x1b8(%rbp)
cmpq   $0x0,-0x178(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x160(%rbp)
mov    -0x160(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x170(%rbp)
mov    -0x158(%rbp),%rax
and    -0x160(%rbp),%rax
mov    -0x168(%rbp),%rcx
and    -0x170(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x1c0(%rbp)
cmpq   $0x0,-0x178(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x188(%rbp)
mov    -0x188(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x198(%rbp)
mov    -0x180(%rbp),%rax
and    -0x188(%rbp),%rax
mov    -0x190(%rbp),%rcx
and    -0x198(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x1c8(%rbp)
mov    -0x1a0(%rbp),%rax
mov    %rax,-0x1d0(%rbp)
mov    -0x1a8(%rbp),%rax
mov    %rax,-0x1d8(%rbp)
mov    -0x1b0(%rbp),%rax
mov    %rax,-0x1e0(%rbp)
mov    -0x1b8(%rbp),%rax
mov    %rax,-0x1e8(%rbp)
mov    -0x1c0(%rbp),%rax
mov    %rax,-0x1f0(%rbp)
mov    -0x1c8(%rbp),%rax
mov    %rax,-0x1f8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x1d0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x1d8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x1e0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x1e8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0x1f0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    -0x1f8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x200,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_p384_add>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rdx,%rbx
mov    %rsi,%rbp
mov    %rdi,0x40(%rsp)
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
lea    0x8(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
lea    0x10(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r13
lea    0x18(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
lea    0x20(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%rsp)
add    $0x28,%ebp
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x38(%rsp)
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
lea    0x8(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rbp,%rcx
add    %r14,%rcx
mov    %rax,%r15
adc    %r12,%r15
add    %r14,%rbp
mov    %rbp,0x20(%rsp)
adc    %r12,%rax
mov    %r13,%rbp
adc    $0x0,%r13
lea    0x10(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
lea    0x18(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0x20(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
add    $0x28,%ebx
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
xor    %r12d,%r12d
cmp    %rbp,%r13
setb   %r12b
mov    %r14,%rsi
add    %r13,%rsi
mov    %rsi,0x10(%rsp)
mov    0x28(%rsp),%rcx
adc    %rcx,%r12
xor    %r13d,%r13d
cmp    %rcx,%r12
setb   %r13b
add    (%rsp),%r12
mov    0x30(%rsp),%rcx
adc    %rcx,%r13
xor    %ebx,%ebx
cmp    %rcx,%r13
setb   %bl
add    0x8(%rsp),%r13
mov    0x38(%rsp),%rcx
adc    %rcx,%rbx
xor    %ebp,%ebp
cmp    %rcx,%rbx
setb   %bpl
add    %rax,%rbx
adc    $0x0,%rbp
movabs $0x100000000,%rax
mov    %r15,%rdi
mov    %r15,0x18(%rsp)
add    %r15,%rax
mov    $0xffffffff,%edx
mov    0x20(%rsp),%r11
cmp    %rdx,%r11
mov    %rax,%r15
sbb    $0x0,%r15
movabs $0xffffffff00000000,%rdx
ff ff ff
cmp    %rdx,%rdi
sbb    %r14,%r14
cmp    %r15,%rax
sbb    $0x0,%r14
mov    %rsi,%rax
sub    $0xfffffffffffffffe,%rax
sbb    %rdi,%rdi
lea    (%r11,%rdx,1),%rsi
add    $0x1,%rsi
add    %rax,%r14
lea    0x1(%r12),%rdx
cmp    %r14,%rax
sbb    $0x0,%rdi
lea    (%rdi,%r12,1),%r8
add    $0x1,%r8
lea    0x1(%r13),%r9
xor    %eax,%eax
cmp    $0xffffffffffffffff,%r12
setne  %al
cmp    %r8,%rdx
adc    $0x0,%rax
neg    %rax
lea    (%rax,%r13,1),%rdx
add    $0x1,%rdx
lea    0x1(%rbx),%r10
xor    %edi,%edi
cmp    $0xffffffffffffffff,%r13
setne  %dil
cmp    %rdx,%r9
adc    $0x0,%rdi
neg    %rdi
add    %rbx,%rdi
add    $0x1,%rdi
xor    %eax,%eax
cmp    $0xffffffffffffffff,%rbx
setne  %al
cmp    %rdi,%r10
mov    %rbp,%rcx
sbb    %rax,%rcx
cmp    %rcx,%rbp
cmovb  %r11,%rsi
cmovb  0x18(%rsp),%r15
cmovb  0x10(%rsp),%r14
cmovae %r8,%r12
cmovae %rdx,%r13
cmovae %rdi,%rbx
mov    0x40(%rsp),%rbp
mov    %ebp,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbp),%edi
mov    %r15,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbp),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbp),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbp),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x28,%ebp
mov    %ebp,%edi
mov    %rbx,%rsi
mov    $0x8,%edx
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <_br2_store@plt>

LLVM IR (-O0):
define void @internal_fiat_p384_add(i64 %0, i64 %1, i64 %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
%35 = alloca i64
%36 = alloca i64
%37 = alloca i64
%38 = alloca i64
%39 = alloca i64
%40 = alloca i64
%41 = alloca i64
%42 = alloca i64
%43 = alloca i64
%44 = alloca i64
%45 = alloca i64
%46 = alloca i64
%47 = alloca i64
%48 = alloca i64
%49 = alloca i64
%50 = alloca i64
%51 = alloca i64
%52 = alloca i64
%53 = alloca i64
%54 = alloca i64
%55 = alloca i64
%56 = alloca i64
%57 = alloca i64
%58 = alloca i64
%59 = alloca i64
%60 = alloca i64
%61 = alloca i64
%62 = alloca i64
%63 = alloca i64
%64 = alloca i64
%65 = alloca i64
%66 = alloca i64
store i64 %0, i64* %4
store i64 %1, i64* %5
store i64 %2, i64* %6
%67 = load i64, i64* %5
%68 = add i64 %67, 0
%69 = trunc i64 %68 to i32
%70 = call i64 @_br2_load(i32 %69, i32 8)
store i64 %70, i64* %8
%71 = load i64, i64* %5
%72 = add i64 %71, 8
%73 = trunc i64 %72 to i32
%74 = call i64 @_br2_load(i32 %73, i32 8)
store i64 %74, i64* %10
%75 = load i64, i64* %5
%76 = add i64 %75, 16
%77 = trunc i64 %76 to i32
%78 = call i64 @_br2_load(i32 %77, i32 8)
store i64 %78, i64* %13
%79 = load i64, i64* %5
%80 = add i64 %79, 24
%81 = trunc i64 %80 to i32
%82 = call i64 @_br2_load(i32 %81, i32 8)
store i64 %82, i64* %16
%83 = load i64, i64* %5
%84 = add i64 %83, 32
%85 = trunc i64 %84 to i32
%86 = call i64 @_br2_load(i32 %85, i32 8)
store i64 %86, i64* %19
%87 = load i64, i64* %5
%88 = add i64 %87, 40
%89 = trunc i64 %88 to i32
%90 = call i64 @_br2_load(i32 %89, i32 8)
store i64 %90, i64* %22
%91 = load i64, i64* %6
%92 = add i64 %91, 0
%93 = trunc i64 %92 to i32
%94 = call i64 @_br2_load(i32 %93, i32 8)
store i64 %94, i64* %7
%95 = load i64, i64* %6
%96 = add i64 %95, 8
%97 = trunc i64 %96 to i32
%98 = call i64 @_br2_load(i32 %97, i32 8)
store i64 %98, i64* %11
%99 = load i64, i64* %6
%100 = add i64 %99, 16
%101 = trunc i64 %100 to i32
%102 = call i64 @_br2_load(i32 %101, i32 8)
store i64 %102, i64* %14
%103 = load i64, i64* %6
%104 = add i64 %103, 24
%105 = trunc i64 %104 to i32
%106 = call i64 @_br2_load(i32 %105, i32 8)
store i64 %106, i64* %17
%107 = load i64, i64* %6
%108 = add i64 %107, 32
%109 = trunc i64 %108 to i32
%110 = call i64 @_br2_load(i32 %109, i32 8)
store i64 %110, i64* %20
%111 = load i64, i64* %6
%112 = add i64 %111, 40
%113 = trunc i64 %112 to i32
%114 = call i64 @_br2_load(i32 %113, i32 8)
store i64 %114, i64* %23
%115 = load i64, i64* %8
%116 = load i64, i64* %7
%117 = add i64 %115, %116
store i64 %117, i64* %30
%118 = load i64, i64* %30
%119 = load i64, i64* %8
%120 = icmp ult i64 %118, %119
%121 = zext i1 %120 to i32
%122 = sext i32 %121 to i64
%123 = load i64, i64* %10
%124 = add i64 %122, %123
store i64 %124, i64* %9
%125 = load i64, i64* %9
%126 = load i64, i64* %11
%127 = add i64 %125, %126
store i64 %127, i64* %34
%128 = load i64, i64* %9
%129 = load i64, i64* %10
%130 = icmp ult i64 %128, %129
%131 = zext i1 %130 to i32
%132 = load i64, i64* %34
%133 = load i64, i64* %11
%134 = icmp ult i64 %132, %133
%135 = zext i1 %134 to i32
%136 = add nsw i32 %131, %135
%137 = sext i32 %136 to i64
%138 = load i64, i64* %13
%139 = add i64 %137, %138
store i64 %139, i64* %12
%140 = load i64, i64* %12
%141 = load i64, i64* %14
%142 = add i64 %140, %141
store i64 %142, i64* %38
%143 = load i64, i64* %12
%144 = load i64, i64* %13
%145 = icmp ult i64 %143, %144
%146 = zext i1 %145 to i32
%147 = load i64, i64* %38
%148 = load i64, i64* %14
%149 = icmp ult i64 %147, %148
%150 = zext i1 %149 to i32
%151 = add nsw i32 %146, %150
%152 = sext i32 %151 to i64
%153 = load i64, i64* %16
%154 = add i64 %152, %153
store i64 %154, i64* %15
%155 = load i64, i64* %15
%156 = load i64, i64* %17
%157 = add i64 %155, %156
store i64 %157, i64* %42
%158 = load i64, i64* %15
%159 = load i64, i64* %16
%160 = icmp ult i64 %158, %159
%161 = zext i1 %160 to i32
%162 = load i64, i64* %42
%163 = load i64, i64* %17
%164 = icmp ult i64 %162, %163
%165 = zext i1 %164 to i32
%166 = add nsw i32 %161, %165
%167 = sext i32 %166 to i64
%168 = load i64, i64* %19
%169 = add i64 %167, %168
store i64 %169, i64* %18
%170 = load i64, i64* %18
%171 = load i64, i64* %20
%172 = add i64 %170, %171
store i64 %172, i64* %46
%173 = load i64, i64* %18
%174 = load i64, i64* %19
%175 = icmp ult i64 %173, %174
%176 = zext i1 %175 to i32
%177 = load i64, i64* %46
%178 = load i64, i64* %20
%179 = icmp ult i64 %177, %178
%180 = zext i1 %179 to i32
%181 = add nsw i32 %176, %180
%182 = sext i32 %181 to i64
%183 = load i64, i64* %22
%184 = add i64 %182, %183
store i64 %184, i64* %21
%185 = load i64, i64* %21
%186 = load i64, i64* %23
%187 = add i64 %185, %186
store i64 %187, i64* %51
%188 = load i64, i64* %21
%189 = load i64, i64* %22
%190 = icmp ult i64 %188, %189
%191 = zext i1 %190 to i32
%192 = load i64, i64* %51
%193 = load i64, i64* %23
%194 = icmp ult i64 %192, %193
%195 = zext i1 %194 to i32
%196 = add nsw i32 %191, %195
%197 = sext i32 %196 to i64
store i64 %197, i64* %28
%198 = load i64, i64* %30
%199 = sub i64 %198, 4294967295
store i64 %199, i64* %32
%200 = load i64, i64* %34
%201 = sub i64 %200, -4294967296
store i64 %201, i64* %24
%202 = load i64, i64* %24
%203 = load i64, i64* %30
%204 = load i64, i64* %32
%205 = icmp ult i64 %203, %204
%206 = zext i1 %205 to i32
%207 = sext i32 %206 to i64
%208 = sub i64 %202, %207
store i64 %208, i64* %36
%209 = load i64, i64* %38
%210 = sub i64 %209, -2
store i64 %210, i64* %25
%211 = load i64, i64* %25
%212 = load i64, i64* %34
%213 = load i64, i64* %24
%214 = icmp ult i64 %212, %213
%215 = zext i1 %214 to i32
%216 = load i64, i64* %24
%217 = load i64, i64* %36
%218 = icmp ult i64 %216, %217
%219 = zext i1 %218 to i32
%220 = add nsw i32 %215, %219
%221 = sext i32 %220 to i64
%222 = sub i64 %211, %221
store i64 %222, i64* %40
%223 = load i64, i64* %42
%224 = sub i64 %223, -1
store i64 %224, i64* %26
%225 = load i64, i64* %26
%226 = load i64, i64* %38
%227 = load i64, i64* %25
%228 = icmp ult i64 %226, %227
%229 = zext i1 %228 to i32
%230 = load i64, i64* %25
%231 = load i64, i64* %40
%232 = icmp ult i64 %230, %231
%233 = zext i1 %232 to i32
%234 = add nsw i32 %229, %233
%235 = sext i32 %234 to i64
%236 = sub i64 %225, %235
store i64 %236, i64* %44
%237 = load i64, i64* %46
%238 = sub i64 %237, -1
store i64 %238, i64* %27
%239 = load i64, i64* %27
%240 = load i64, i64* %42
%241 = load i64, i64* %26
%242 = icmp ult i64 %240, %241
%243 = zext i1 %242 to i32
%244 = load i64, i64* %26
%245 = load i64, i64* %44
%246 = icmp ult i64 %244, %245
%247 = zext i1 %246 to i32
%248 = add nsw i32 %243, %247
%249 = sext i32 %248 to i64
%250 = sub i64 %239, %249
store i64 %250, i64* %48
%251 = load i64, i64* %51
%252 = sub i64 %251, -1
store i64 %252, i64* %29
%253 = load i64, i64* %29
%254 = load i64, i64* %46
%255 = load i64, i64* %27
%256 = icmp ult i64 %254, %255
%257 = zext i1 %256 to i32
%258 = load i64, i64* %27
%259 = load i64, i64* %48
%260 = icmp ult i64 %258, %259
%261 = zext i1 %260 to i32
%262 = add nsw i32 %257, %261
%263 = sext i32 %262 to i64
%264 = sub i64 %253, %263
store i64 %264, i64* %53
%265 = load i64, i64* %28
%266 = load i64, i64* %28
%267 = load i64, i64* %51
%268 = load i64, i64* %29
%269 = icmp ult i64 %267, %268
%270 = zext i1 %269 to i32
%271 = load i64, i64* %29
%272 = load i64, i64* %53
%273 = icmp ult i64 %271, %272
%274 = zext i1 %273 to i32
%275 = add nsw i32 %270, %274
%276 = sext i32 %275 to i64
%277 = sub i64 %266, %276
%278 = icmp ult i64 %265, %277
%279 = zext i1 %278 to i32
%280 = sext i32 %279 to i64
store i64 %280, i64* %50
%281 = load i64, i64* %50
%282 = icmp eq i64 %281, 0
%283 = zext i1 %282 to i32
%284 = sext i32 %283 to i64
%285 = add i64 -1, %284
store i64 %285, i64* %31
%286 = load i64, i64* %31
%287 = xor i64 %286, -1
store i64 %287, i64* %33
%288 = load i64, i64* %30
%289 = load i64, i64* %31
%290 = and i64 %288, %289
%291 = load i64, i64* %32
%292 = load i64, i64* %33
%293 = and i64 %291, %292
%294 = or i64 %290, %293
store i64 %294, i64* %55
%295 = load i64, i64* %50
%296 = icmp eq i64 %295, 0
%297 = zext i1 %296 to i32
%298 = sext i32 %297 to i64
%299 = add i64 -1, %298
store i64 %299, i64* %35
%300 = load i64, i64* %35
%301 = xor i64 %300, -1
store i64 %301, i64* %37
%302 = load i64, i64* %34
%303 = load i64, i64* %35
%304 = and i64 %302, %303
%305 = load i64, i64* %36
%306 = load i64, i64* %37
%307 = and i64 %305, %306
%308 = or i64 %304, %307
store i64 %308, i64* %56
%309 = load i64, i64* %50
%310 = icmp eq i64 %309, 0
%311 = zext i1 %310 to i32
%312 = sext i32 %311 to i64
%313 = add i64 -1, %312
store i64 %313, i64* %39
%314 = load i64, i64* %39
%315 = xor i64 %314, -1
store i64 %315, i64* %41
%316 = load i64, i64* %38
%317 = load i64, i64* %39
%318 = and i64 %316, %317
%319 = load i64, i64* %40
%320 = load i64, i64* %41
%321 = and i64 %319, %320
%322 = or i64 %318, %321
store i64 %322, i64* %57
%323 = load i64, i64* %50
%324 = icmp eq i64 %323, 0
%325 = zext i1 %324 to i32
%326 = sext i32 %325 to i64
%327 = add i64 -1, %326
store i64 %327, i64* %43
%328 = load i64, i64* %43
%329 = xor i64 %328, -1
store i64 %329, i64* %45
%330 = load i64, i64* %42
%331 = load i64, i64* %43
%332 = and i64 %330, %331
%333 = load i64, i64* %44
%334 = load i64, i64* %45
%335 = and i64 %333, %334
%336 = or i64 %332, %335
store i64 %336, i64* %58
%337 = load i64, i64* %50
%338 = icmp eq i64 %337, 0
%339 = zext i1 %338 to i32
%340 = sext i32 %339 to i64
%341 = add i64 -1, %340
store i64 %341, i64* %47
%342 = load i64, i64* %47
%343 = xor i64 %342, -1
store i64 %343, i64* %49
%344 = load i64, i64* %46
%345 = load i64, i64* %47
%346 = and i64 %344, %345
%347 = load i64, i64* %48
%348 = load i64, i64* %49
%349 = and i64 %347, %348
%350 = or i64 %346, %349
store i64 %350, i64* %59
%351 = load i64, i64* %50
%352 = icmp eq i64 %351, 0
%353 = zext i1 %352 to i32
%354 = sext i32 %353 to i64
%355 = add i64 -1, %354
store i64 %355, i64* %52
%356 = load i64, i64* %52
%357 = xor i64 %356, -1
store i64 %357, i64* %54
%358 = load i64, i64* %51
%359 = load i64, i64* %52
%360 = and i64 %358, %359
%361 = load i64, i64* %53
%362 = load i64, i64* %54
%363 = and i64 %361, %362
%364 = or i64 %360, %363
store i64 %364, i64* %60
%365 = load i64, i64* %55
store i64 %365, i64* %61
%366 = load i64, i64* %56
store i64 %366, i64* %62
%367 = load i64, i64* %57
store i64 %367, i64* %63
%368 = load i64, i64* %58
store i64 %368, i64* %64
%369 = load i64, i64* %59
store i64 %369, i64* %65
%370 = load i64, i64* %60
store i64 %370, i64* %66
%371 = load i64, i64* %4
%372 = add i64 %371, 0
%373 = trunc i64 %372 to i32
%374 = load i64, i64* %61
%375 = call i32 @_br2_store(i32 %373, i64 %374, i32 8)
%376 = load i64, i64* %4
%377 = add i64 %376, 8
%378 = trunc i64 %377 to i32
%379 = load i64, i64* %62
%380 = call i32 @_br2_store(i32 %378, i64 %379, i32 8)
%381 = load i64, i64* %4
%382 = add i64 %381, 16
%383 = trunc i64 %382 to i32
%384 = load i64, i64* %63
%385 = call i32 @_br2_store(i32 %383, i64 %384, i32 8)
%386 = load i64, i64* %4
%387 = add i64 %386, 24
%388 = trunc i64 %387 to i32
%389 = load i64, i64* %64
%390 = call i32 @_br2_store(i32 %388, i64 %389, i32 8)
%391 = load i64, i64* %4
%392 = add i64 %391, 32
%393 = trunc i64 %392 to i32
%394 = load i64, i64* %65
%395 = call i32 @_br2_store(i32 %393, i64 %394, i32 8)
%396 = load i64, i64* %4
%397 = add i64 %396, 40
%398 = trunc i64 %397 to i32
%399 = load i64, i64* %66
%400 = call i32 @_br2_store(i32 %398, i64 %399, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_p384_add(i64 %0, i64 %1, i64 %2) {
%4 = trunc i64 %1 to i32
%5 = tail call i64 @_br2_load(i32 %4, i32 8)
%6 = add i32 %4, 8
%7 = tail call i64 @_br2_load(i32 %6, i32 8)
%8 = add i32 %4, 16
%9 = tail call i64 @_br2_load(i32 %8, i32 8)
%10 = add i32 %4, 24
%11 = tail call i64 @_br2_load(i32 %10, i32 8)
%12 = add i32 %4, 32
%13 = tail call i64 @_br2_load(i32 %12, i32 8)
%14 = add i32 %4, 40
%15 = tail call i64 @_br2_load(i32 %14, i32 8)
%16 = trunc i64 %2 to i32
%17 = tail call i64 @_br2_load(i32 %16, i32 8)
%18 = add i32 %16, 8
%19 = tail call i64 @_br2_load(i32 %18, i32 8)
%20 = add i32 %16, 16
%21 = tail call i64 @_br2_load(i32 %20, i32 8)
%22 = add i32 %16, 24
%23 = tail call i64 @_br2_load(i32 %22, i32 8)
%24 = add i32 %16, 32
%25 = tail call i64 @_br2_load(i32 %24, i32 8)
%26 = add i32 %16, 40
%27 = tail call i64 @_br2_load(i32 %26, i32 8)
%28 = add i64 %17, %5
%29 = icmp ult i64 %28, %5
%30 = zext i1 %29 to i64
%31 = add i64 %7, %30
%32 = add i64 %31, %19
%33 = icmp ult i64 %31, %7
%34 = zext i1 %33 to i64
%35 = icmp ult i64 %32, %19
%36 = zext i1 %35 to i64
%37 = add i64 %9, %34
%38 = add i64 %37, %36
%39 = add i64 %38, %21
%40 = icmp ult i64 %38, %9
%41 = zext i1 %40 to i64
%42 = icmp ult i64 %39, %21
%43 = zext i1 %42 to i64
%44 = add i64 %11, %41
%45 = add i64 %44, %43
%46 = add i64 %45, %23
%47 = icmp ult i64 %45, %11
%48 = zext i1 %47 to i64
%49 = icmp ult i64 %46, %23
%50 = zext i1 %49 to i64
%51 = add i64 %13, %48
%52 = add i64 %51, %50
%53 = add i64 %52, %25
%54 = icmp ult i64 %52, %13
%55 = zext i1 %54 to i64
%56 = icmp ult i64 %53, %25
%57 = zext i1 %56 to i64
%58 = add i64 %15, %55
%59 = add i64 %58, %57
%60 = add i64 %59, %27
%61 = icmp ult i64 %59, %15
%62 = zext i1 %61 to i64
%63 = icmp ult i64 %60, %27
%64 = zext i1 %63 to i64
%65 = add nuw nsw i64 %64, %62
%66 = add i64 %28, -4294967295
%67 = add i64 %32, 4294967296
%68 = icmp ult i64 %28, 4294967295
%69 = sext i1 %68 to i64
%70 = add i64 %67, %69
%71 = add i64 %39, 2
%72 = icmp ult i64 %32, -4294967296
%73 = sext i1 %72 to i64
%74 = icmp ult i64 %67, %70
%75 = sext i1 %74 to i64
%76 = add nsw i64 %75, %73
%77 = add i64 %76, %71
%78 = add i64 %46, 1
%79 = icmp ult i64 %39, -2
%80 = sext i1 %79 to i64
%81 = icmp ult i64 %71, %77
%82 = sext i1 %81 to i64
%83 = add nsw i64 %82, %80
%84 = add i64 %83, %78
%85 = add i64 %53, 1
%86 = icmp ne i64 %46, -1
%87 = sext i1 %86 to i64
%88 = icmp ult i64 %78, %84
%89 = sext i1 %88 to i64
%90 = add nsw i64 %89, %87
%91 = add i64 %90, %85
%92 = add i64 %60, 1
%93 = icmp ne i64 %53, -1
%94 = sext i1 %93 to i64
%95 = icmp ult i64 %85, %91
%96 = sext i1 %95 to i64
%97 = add nsw i64 %96, %94
%98 = add i64 %97, %92
%99 = icmp ne i64 %60, -1
%100 = sext i1 %99 to i64
%101 = icmp ult i64 %92, %98
%102 = sext i1 %101 to i64
%103 = add nsw i64 %65, %100
%104 = add nsw i64 %103, %102
%105 = icmp ult i64 %65, %104
%106 = select i1 %105, i64 %28, i64 %66
%107 = select i1 %105, i64 %32, i64 %70
%108 = select i1 %105, i64 %39, i64 %77
%109 = select i1 %105, i64 %46, i64 %84
%110 = select i1 %105, i64 %53, i64 %91
%111 = select i1 %105, i64 %60, i64 %98
%112 = trunc i64 %0 to i32
%113 = tail call i32 @_br2_store(i32 %112, i64 %106, i32 8)
%114 = add i32 %112, 8
%115 = tail call i32 @_br2_store(i32 %114, i64 %107, i32 8)
%116 = add i32 %112, 16
%117 = tail call i32 @_br2_store(i32 %116, i64 %108, i32 8)
%118 = add i32 %112, 24
%119 = tail call i32 @_br2_store(i32 %118, i64 %109, i32 8)
%120 = add i32 %112, 32
%121 = tail call i32 @_br2_store(i32 %120, i64 %110, i32 8)
%122 = add i32 %112, 40
%123 = tail call i32 @_br2_store(i32 %122, i64 %111, i32 8)
ret void
}