#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 x53;
typedef uintptr_t x51;
typedef uintptr_t x49;
typedef uintptr_t x47;
typedef uintptr_t x45;
typedef uintptr_t x43;
typedef uintptr_t x41;
typedef uintptr_t x39;
typedef uintptr_t x35;
typedef uintptr_t x33;
typedef uintptr_t x31;
typedef uintptr_t x29;
typedef uintptr_t x27;
typedef uintptr_t x25;
typedef uintptr_t x23;
typedef uintptr_t x21;
typedef uintptr_t x19;
typedef uintptr_t x17;
typedef uintptr_t x15;
typedef uintptr_t x13;
typedef uintptr_t x12;
typedef int /*<<< orphan*/ out0;
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_opp(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x1, x2, x13, x3, x15, x4, x17, x5, x19, x6, x21, x7, x23, x8,
      x25, x9, x27, x10, x29, x11, x31, x33, x12, x14, x16, x39, x18, x41, x20,
      x43, x22, x45, x24, x47, x26, x49, x28, x51, x30, x53, x32, x34, x35, x36,
      x37, x38, x40, x42, x44, x46, x48, x50, x52, x54, x55, x56, x57, x58, x59,
      x60, x61, x62, x63, x64, x65, x66, x67;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in0) + ((uintptr_t)4ULL), sizeof(uintptr_t));
  x2 = _br2_load((in0) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x3 = _br2_load((in0) + ((uintptr_t)12ULL), sizeof(uintptr_t));
  x4 = _br2_load((in0) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x5 = _br2_load((in0) + ((uintptr_t)20ULL), sizeof(uintptr_t));
  x6 = _br2_load((in0) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x7 = _br2_load((in0) + ((uintptr_t)28ULL), sizeof(uintptr_t));
  x8 = _br2_load((in0) + ((uintptr_t)32ULL), sizeof(uintptr_t));
  x9 = _br2_load((in0) + ((uintptr_t)36ULL), sizeof(uintptr_t));
  x10 = _br2_load((in0) + ((uintptr_t)40ULL), sizeof(uintptr_t));
  x11 = _br2_load((in0) + ((uintptr_t)44ULL), sizeof(uintptr_t));
  x12 = ((uintptr_t)0ULL) - (x0);
  x13 = ((uintptr_t)0ULL) - (x1);
  x14 = (x13) - (((uintptr_t)0ULL) < (x12));
  x15 = ((uintptr_t)0ULL) - (x2);
  x16 = (x15) - ((((uintptr_t)0ULL) < (x13)) + ((x13) < (x14)));
  x17 = ((uintptr_t)0ULL) - (x3);
  x18 = (x17) - ((((uintptr_t)0ULL) < (x15)) + ((x15) < (x16)));
  x19 = ((uintptr_t)0ULL) - (x4);
  x20 = (x19) - ((((uintptr_t)0ULL) < (x17)) + ((x17) < (x18)));
  x21 = ((uintptr_t)0ULL) - (x5);
  x22 = (x21) - ((((uintptr_t)0ULL) < (x19)) + ((x19) < (x20)));
  x23 = ((uintptr_t)0ULL) - (x6);
  x24 = (x23) - ((((uintptr_t)0ULL) < (x21)) + ((x21) < (x22)));
  x25 = ((uintptr_t)0ULL) - (x7);
  x26 = (x25) - ((((uintptr_t)0ULL) < (x23)) + ((x23) < (x24)));
  x27 = ((uintptr_t)0ULL) - (x8);
  x28 = (x27) - ((((uintptr_t)0ULL) < (x25)) + ((x25) < (x26)));
  x29 = ((uintptr_t)0ULL) - (x9);
  x30 = (x29) - ((((uintptr_t)0ULL) < (x27)) + ((x27) < (x28)));
  x31 = ((uintptr_t)0ULL) - (x10);
  x32 = (x31) - ((((uintptr_t)0ULL) < (x29)) + ((x29) < (x30)));
  x33 = ((uintptr_t)0ULL) - (x11);
  x34 = (x33) - ((((uintptr_t)0ULL) < (x31)) + ((x31) < (x32)));
  x35 = ((uintptr_t)-1ULL) +
        (((((uintptr_t)0ULL) < (x33)) + ((x33) < (x34))) == ((uintptr_t)0ULL));
  x36 = (x12) + (x35);
  x37 = ((x36) < (x12)) + (x14);
  x38 = ((x37) < (x14)) + (x16);
  x39 = ((x38) < (x16)) + (x18);
  x40 = (x39) + (x35);
  x41 = (((x39) < (x18)) + ((x40) < (x35))) + (x20);
  x42 = (x41) + ((x35) & ((uintptr_t)4294967294ULL));
  x43 = (((x41) < (x20)) + ((x42) < ((x35) & ((uintptr_t)4294967294ULL)))) +
        (x22);
  x44 = (x43) + (x35);
  x45 = (((x43) < (x22)) + ((x44) < (x35))) + (x24);
  x46 = (x45) + (x35);
  x47 = (((x45) < (x24)) + ((x46) < (x35))) + (x26);
  x48 = (x47) + (x35);
  x49 = (((x47) < (x26)) + ((x48) < (x35))) + (x28);
  x50 = (x49) + (x35);
  x51 = (((x49) < (x28)) + ((x50) < (x35))) + (x30);
  x52 = (x51) + (x35);
  x53 = (((x51) < (x30)) + ((x52) < (x35))) + (x32);
  x54 = (x53) + (x35);
  x55 = ((((x53) < (x32)) + ((x54) < (x35))) + (x34)) + (x35);
  x56 = x36;
  x57 = x37;
  x58 = x38;
  x59 = x40;
  x60 = x42;
  x61 = x44;
  x62 = x46;
  x63 = x48;
  x64 = x50;
  x65 = x52;
  x66 = x54;
  x67 = x55;
  _br2_store((out0) + ((uintptr_t)0ULL), x56, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x57, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x58, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x59, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x60, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)20ULL), x61, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x62, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)28ULL), x63, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x64, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)36ULL), x65, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)40ULL), x66, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)44ULL), x67, sizeof(uintptr_t));
  return;
}


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

x86 assembly (clang, -O2):
<internal_fiat_p384_opp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rsi,%rbx
mov    %rdi,0x60(%rsp)
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
mov    %rax,0x10(%rsp)
lea    0x4(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r13
lea    0x8(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
lea    0xc(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
lea    0x10(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0x14(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x20(%rsp)
lea    0x18(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x1c(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x58(%rsp)
lea    0x20(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x50(%rsp)
lea    0x24(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x48(%rsp)
lea    0x28(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
add    $0x2c,%ebx
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
xor    %ecx,%ecx
mov    %rax,%rdx
neg    %rdx
setb   %cl
mov    %rcx,0x40(%rsp)
neg    %r14
mov    %r14,0x18(%rsp)
sbb    %rbx,%rbx
sub    %r13,%rbx
neg    %r13
sbb    %rdi,%rdi
cmp    %rbx,%r13
sbb    %rbp,%rdi
mov    %rdi,0x30(%rsp)
neg    %rbp
sbb    %r13,%r13
xor    %ecx,%ecx
cmp    %rbp,%rdi
seta   %cl
sub    %r15,%r13
mov    %r13,0x38(%rsp)
sub    %rcx,%r13
neg    %rcx
mov    %rcx,0x28(%rsp)
neg    %r15
sbb    %r14,%r14
cmp    %r13,%r15
mov    (%rsp),%rcx
sbb    %rcx,%r14
neg    %rcx
sbb    %r15,%r15
cmp    %r14,%rcx
mov    0x20(%rsp),%rcx
sbb    %rcx,%r15
neg    %rcx
sbb    %rbp,%rbp
cmp    %r15,%rcx
mov    0x8(%rsp),%rcx
sbb    %rcx,%rbp
neg    %rcx
sbb    %r9,%r9
cmp    %rbp,%rcx
mov    0x58(%rsp),%rcx
sbb    %rcx,%r9
neg    %rcx
sbb    %r10,%r10
cmp    %r9,%rcx
mov    0x50(%rsp),%rcx
sbb    %rcx,%r10
neg    %rcx
sbb    %r11,%r11
cmp    %r10,%rcx
mov    0x48(%rsp),%rcx
sbb    %rcx,%r11
neg    %rcx
mov    %rcx,%rsi
sbb    %rcx,%rcx
cmp    %r11,%rsi
sbb    %r12,%rcx
mov    %rcx,(%rsp)
neg    %r12
sbb    %rdi,%rdi
cmp    %rcx,%r12
sbb    %rax,%rdi
cmp    %rdi,%rdx
sbb    %r12,%r12
xor    %r8d,%r8d
mov    0x40(%rsp),%rsi
cmp    %r12,%rsi
setne  %r8b
mov    %r8,%rdx
neg    %rdx
mov    %rdx,%rcx
sub    0x10(%rsp),%rcx
mov    %rcx,0x8(%rsp)
xor    %eax,%eax
cmp    0x18(%rsp),%rcx
setb   %al
add    %rbx,%rax
mov    %rax,0x18(%rsp)
adcq   $0x0,0x30(%rsp)
setb   %bl
mov    0x28(%rsp),%rax
adc    0x38(%rsp),%rax
xor    %ecx,%ecx
cmp    %r12,%rsi
mov    $0xfffffffe,%r12d
cmove  %rcx,%r12
add    $0xff,%bl
adc    %rdx,%r13
mov    %r14,%rcx
adc    $0x0,%rcx
sub    %r8,%rax
mov    %rax,0x28(%rsp)
xor    %eax,%eax
cmp    %r14,%rcx
setb   %al
add    %r12,%rcx
mov    %rcx,0x20(%rsp)
adc    %r15,%rax
xor    %r12d,%r12d
cmp    %r15,%rax
setb   %r12b
add    %rdx,%rax
mov    %rax,0x10(%rsp)
adc    %rbp,%r12
xor    %r15d,%r15d
cmp    %rbp,%r12
setb   %r15b
add    %rdx,%r12
adc    %r9,%r15
xor    %r14d,%r14d
cmp    %r9,%r15
setb   %r14b
add    %rdx,%r15
adc    %r10,%r14
xor    %r13d,%r13d
cmp    %r10,%r14
setb   %r13b
add    %rdx,%r14
adc    %r11,%r13
xor    %ebp,%ebp
cmp    %r11,%r13
setb   %bpl
add    %rdx,%r13
mov    (%rsp),%rax
adc    %rax,%rbp
cmp    %rax,%rbp
mov    $0x0,%eax
setb   %al
sub    %r8,%rdi
add    %rdx,%rbp
adc    %rdi,%rax
mov    %rax,(%rsp)
mov    0x60(%rsp),%rbx
mov    %ebx,%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x4(%rbx),%edi
mov    0x18(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbx),%edi
mov    0x30(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0xc(%rbx),%edi
mov    0x28(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbx),%edi
mov    0x20(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x14(%rbx),%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbx),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x1c(%rbx),%edi
mov    %r15,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbx),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x24(%rbx),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x28(%rbx),%edi
mov    %rbp,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x2c,%ebx
mov    %ebx,%edi
mov    (%rsp),%rsi
mov    $0x8,%edx
add    $0x68,%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_opp(i64 %0, i64 %1) {
%3 = alloca i64
%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
%67 = alloca i64
%68 = alloca i64
%69 = alloca i64
%70 = alloca i64
%71 = alloca i64
%72 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%73 = load i64, i64* %4
%74 = add i64 %73, 0
%75 = trunc i64 %74 to i32
%76 = call i64 @_br2_load(i32 %75, i32 8)
store i64 %76, i64* %5
%77 = load i64, i64* %4
%78 = add i64 %77, 4
%79 = trunc i64 %78 to i32
%80 = call i64 @_br2_load(i32 %79, i32 8)
store i64 %80, i64* %6
%81 = load i64, i64* %4
%82 = add i64 %81, 8
%83 = trunc i64 %82 to i32
%84 = call i64 @_br2_load(i32 %83, i32 8)
store i64 %84, i64* %7
%85 = load i64, i64* %4
%86 = add i64 %85, 12
%87 = trunc i64 %86 to i32
%88 = call i64 @_br2_load(i32 %87, i32 8)
store i64 %88, i64* %9
%89 = load i64, i64* %4
%90 = add i64 %89, 16
%91 = trunc i64 %90 to i32
%92 = call i64 @_br2_load(i32 %91, i32 8)
store i64 %92, i64* %11
%93 = load i64, i64* %4
%94 = add i64 %93, 20
%95 = trunc i64 %94 to i32
%96 = call i64 @_br2_load(i32 %95, i32 8)
store i64 %96, i64* %13
%97 = load i64, i64* %4
%98 = add i64 %97, 24
%99 = trunc i64 %98 to i32
%100 = call i64 @_br2_load(i32 %99, i32 8)
store i64 %100, i64* %15
%101 = load i64, i64* %4
%102 = add i64 %101, 28
%103 = trunc i64 %102 to i32
%104 = call i64 @_br2_load(i32 %103, i32 8)
store i64 %104, i64* %17
%105 = load i64, i64* %4
%106 = add i64 %105, 32
%107 = trunc i64 %106 to i32
%108 = call i64 @_br2_load(i32 %107, i32 8)
store i64 %108, i64* %19
%109 = load i64, i64* %4
%110 = add i64 %109, 36
%111 = trunc i64 %110 to i32
%112 = call i64 @_br2_load(i32 %111, i32 8)
store i64 %112, i64* %21
%113 = load i64, i64* %4
%114 = add i64 %113, 40
%115 = trunc i64 %114 to i32
%116 = call i64 @_br2_load(i32 %115, i32 8)
store i64 %116, i64* %23
%117 = load i64, i64* %4
%118 = add i64 %117, 44
%119 = trunc i64 %118 to i32
%120 = call i64 @_br2_load(i32 %119, i32 8)
store i64 %120, i64* %25
%121 = load i64, i64* %5
%122 = sub i64 0, %121
store i64 %122, i64* %28
%123 = load i64, i64* %6
%124 = sub i64 0, %123
store i64 %124, i64* %8
%125 = load i64, i64* %8
%126 = load i64, i64* %28
%127 = icmp ult i64 0, %126
%128 = zext i1 %127 to i32
%129 = sext i32 %128 to i64
%130 = sub i64 %125, %129
store i64 %130, i64* %29
%131 = load i64, i64* %7
%132 = sub i64 0, %131
store i64 %132, i64* %10
%133 = load i64, i64* %10
%134 = load i64, i64* %8
%135 = icmp ult i64 0, %134
%136 = zext i1 %135 to i32
%137 = load i64, i64* %8
%138 = load i64, i64* %29
%139 = icmp ult i64 %137, %138
%140 = zext i1 %139 to i32
%141 = add nsw i32 %136, %140
%142 = sext i32 %141 to i64
%143 = sub i64 %133, %142
store i64 %143, i64* %30
%144 = load i64, i64* %9
%145 = sub i64 0, %144
store i64 %145, i64* %12
%146 = load i64, i64* %12
%147 = load i64, i64* %10
%148 = icmp ult i64 0, %147
%149 = zext i1 %148 to i32
%150 = load i64, i64* %10
%151 = load i64, i64* %30
%152 = icmp ult i64 %150, %151
%153 = zext i1 %152 to i32
%154 = add nsw i32 %149, %153
%155 = sext i32 %154 to i64
%156 = sub i64 %146, %155
store i64 %156, i64* %32
%157 = load i64, i64* %11
%158 = sub i64 0, %157
store i64 %158, i64* %14
%159 = load i64, i64* %14
%160 = load i64, i64* %12
%161 = icmp ult i64 0, %160
%162 = zext i1 %161 to i32
%163 = load i64, i64* %12
%164 = load i64, i64* %32
%165 = icmp ult i64 %163, %164
%166 = zext i1 %165 to i32
%167 = add nsw i32 %162, %166
%168 = sext i32 %167 to i64
%169 = sub i64 %159, %168
store i64 %169, i64* %34
%170 = load i64, i64* %13
%171 = sub i64 0, %170
store i64 %171, i64* %16
%172 = load i64, i64* %16
%173 = load i64, i64* %14
%174 = icmp ult i64 0, %173
%175 = zext i1 %174 to i32
%176 = load i64, i64* %14
%177 = load i64, i64* %34
%178 = icmp ult i64 %176, %177
%179 = zext i1 %178 to i32
%180 = add nsw i32 %175, %179
%181 = sext i32 %180 to i64
%182 = sub i64 %172, %181
store i64 %182, i64* %36
%183 = load i64, i64* %15
%184 = sub i64 0, %183
store i64 %184, i64* %18
%185 = load i64, i64* %18
%186 = load i64, i64* %16
%187 = icmp ult i64 0, %186
%188 = zext i1 %187 to i32
%189 = load i64, i64* %16
%190 = load i64, i64* %36
%191 = icmp ult i64 %189, %190
%192 = zext i1 %191 to i32
%193 = add nsw i32 %188, %192
%194 = sext i32 %193 to i64
%195 = sub i64 %185, %194
store i64 %195, i64* %38
%196 = load i64, i64* %17
%197 = sub i64 0, %196
store i64 %197, i64* %20
%198 = load i64, i64* %20
%199 = load i64, i64* %18
%200 = icmp ult i64 0, %199
%201 = zext i1 %200 to i32
%202 = load i64, i64* %18
%203 = load i64, i64* %38
%204 = icmp ult i64 %202, %203
%205 = zext i1 %204 to i32
%206 = add nsw i32 %201, %205
%207 = sext i32 %206 to i64
%208 = sub i64 %198, %207
store i64 %208, i64* %40
%209 = load i64, i64* %19
%210 = sub i64 0, %209
store i64 %210, i64* %22
%211 = load i64, i64* %22
%212 = load i64, i64* %20
%213 = icmp ult i64 0, %212
%214 = zext i1 %213 to i32
%215 = load i64, i64* %20
%216 = load i64, i64* %40
%217 = icmp ult i64 %215, %216
%218 = zext i1 %217 to i32
%219 = add nsw i32 %214, %218
%220 = sext i32 %219 to i64
%221 = sub i64 %211, %220
store i64 %221, i64* %42
%222 = load i64, i64* %21
%223 = sub i64 0, %222
store i64 %223, i64* %24
%224 = load i64, i64* %24
%225 = load i64, i64* %22
%226 = icmp ult i64 0, %225
%227 = zext i1 %226 to i32
%228 = load i64, i64* %22
%229 = load i64, i64* %42
%230 = icmp ult i64 %228, %229
%231 = zext i1 %230 to i32
%232 = add nsw i32 %227, %231
%233 = sext i32 %232 to i64
%234 = sub i64 %224, %233
store i64 %234, i64* %44
%235 = load i64, i64* %23
%236 = sub i64 0, %235
store i64 %236, i64* %26
%237 = load i64, i64* %26
%238 = load i64, i64* %24
%239 = icmp ult i64 0, %238
%240 = zext i1 %239 to i32
%241 = load i64, i64* %24
%242 = load i64, i64* %44
%243 = icmp ult i64 %241, %242
%244 = zext i1 %243 to i32
%245 = add nsw i32 %240, %244
%246 = sext i32 %245 to i64
%247 = sub i64 %237, %246
store i64 %247, i64* %46
%248 = load i64, i64* %25
%249 = sub i64 0, %248
store i64 %249, i64* %27
%250 = load i64, i64* %27
%251 = load i64, i64* %26
%252 = icmp ult i64 0, %251
%253 = zext i1 %252 to i32
%254 = load i64, i64* %26
%255 = load i64, i64* %46
%256 = icmp ult i64 %254, %255
%257 = zext i1 %256 to i32
%258 = add nsw i32 %253, %257
%259 = sext i32 %258 to i64
%260 = sub i64 %250, %259
store i64 %260, i64* %47
%261 = load i64, i64* %27
%262 = icmp ult i64 0, %261
%263 = zext i1 %262 to i32
%264 = load i64, i64* %27
%265 = load i64, i64* %47
%266 = icmp ult i64 %264, %265
%267 = zext i1 %266 to i32
%268 = add nsw i32 %263, %267
%269 = sext i32 %268 to i64
%270 = icmp eq i64 %269, 0
%271 = zext i1 %270 to i32
%272 = sext i32 %271 to i64
%273 = add i64 -1, %272
store i64 %273, i64* %48
%274 = load i64, i64* %28
%275 = load i64, i64* %48
%276 = add i64 %274, %275
store i64 %276, i64* %49
%277 = load i64, i64* %49
%278 = load i64, i64* %28
%279 = icmp ult i64 %277, %278
%280 = zext i1 %279 to i32
%281 = sext i32 %280 to i64
%282 = load i64, i64* %29
%283 = add i64 %281, %282
store i64 %283, i64* %50
%284 = load i64, i64* %50
%285 = load i64, i64* %29
%286 = icmp ult i64 %284, %285
%287 = zext i1 %286 to i32
%288 = sext i32 %287 to i64
%289 = load i64, i64* %30
%290 = add i64 %288, %289
store i64 %290, i64* %51
%291 = load i64, i64* %51
%292 = load i64, i64* %30
%293 = icmp ult i64 %291, %292
%294 = zext i1 %293 to i32
%295 = sext i32 %294 to i64
%296 = load i64, i64* %32
%297 = add i64 %295, %296
store i64 %297, i64* %31
%298 = load i64, i64* %31
%299 = load i64, i64* %48
%300 = add i64 %298, %299
store i64 %300, i64* %52
%301 = load i64, i64* %31
%302 = load i64, i64* %32
%303 = icmp ult i64 %301, %302
%304 = zext i1 %303 to i32
%305 = load i64, i64* %52
%306 = load i64, i64* %48
%307 = icmp ult i64 %305, %306
%308 = zext i1 %307 to i32
%309 = add nsw i32 %304, %308
%310 = sext i32 %309 to i64
%311 = load i64, i64* %34
%312 = add i64 %310, %311
store i64 %312, i64* %33
%313 = load i64, i64* %33
%314 = load i64, i64* %48
%315 = and i64 %314, 4294967294
%316 = add i64 %313, %315
store i64 %316, i64* %53
%317 = load i64, i64* %33
%318 = load i64, i64* %34
%319 = icmp ult i64 %317, %318
%320 = zext i1 %319 to i32
%321 = load i64, i64* %53
%322 = load i64, i64* %48
%323 = and i64 %322, 4294967294
%324 = icmp ult i64 %321, %323
%325 = zext i1 %324 to i32
%326 = add nsw i32 %320, %325
%327 = sext i32 %326 to i64
%328 = load i64, i64* %36
%329 = add i64 %327, %328
store i64 %329, i64* %35
%330 = load i64, i64* %35
%331 = load i64, i64* %48
%332 = add i64 %330, %331
store i64 %332, i64* %54
%333 = load i64, i64* %35
%334 = load i64, i64* %36
%335 = icmp ult i64 %333, %334
%336 = zext i1 %335 to i32
%337 = load i64, i64* %54
%338 = load i64, i64* %48
%339 = icmp ult i64 %337, %338
%340 = zext i1 %339 to i32
%341 = add nsw i32 %336, %340
%342 = sext i32 %341 to i64
%343 = load i64, i64* %38
%344 = add i64 %342, %343
store i64 %344, i64* %37
%345 = load i64, i64* %37
%346 = load i64, i64* %48
%347 = add i64 %345, %346
store i64 %347, i64* %55
%348 = load i64, i64* %37
%349 = load i64, i64* %38
%350 = icmp ult i64 %348, %349
%351 = zext i1 %350 to i32
%352 = load i64, i64* %55
%353 = load i64, i64* %48
%354 = icmp ult i64 %352, %353
%355 = zext i1 %354 to i32
%356 = add nsw i32 %351, %355
%357 = sext i32 %356 to i64
%358 = load i64, i64* %40
%359 = add i64 %357, %358
store i64 %359, i64* %39
%360 = load i64, i64* %39
%361 = load i64, i64* %48
%362 = add i64 %360, %361
store i64 %362, i64* %56
%363 = load i64, i64* %39
%364 = load i64, i64* %40
%365 = icmp ult i64 %363, %364
%366 = zext i1 %365 to i32
%367 = load i64, i64* %56
%368 = load i64, i64* %48
%369 = icmp ult i64 %367, %368
%370 = zext i1 %369 to i32
%371 = add nsw i32 %366, %370
%372 = sext i32 %371 to i64
%373 = load i64, i64* %42
%374 = add i64 %372, %373
store i64 %374, i64* %41
%375 = load i64, i64* %41
%376 = load i64, i64* %48
%377 = add i64 %375, %376
store i64 %377, i64* %57
%378 = load i64, i64* %41
%379 = load i64, i64* %42
%380 = icmp ult i64 %378, %379
%381 = zext i1 %380 to i32
%382 = load i64, i64* %57
%383 = load i64, i64* %48
%384 = icmp ult i64 %382, %383
%385 = zext i1 %384 to i32
%386 = add nsw i32 %381, %385
%387 = sext i32 %386 to i64
%388 = load i64, i64* %44
%389 = add i64 %387, %388
store i64 %389, i64* %43
%390 = load i64, i64* %43
%391 = load i64, i64* %48
%392 = add i64 %390, %391
store i64 %392, i64* %58
%393 = load i64, i64* %43
%394 = load i64, i64* %44
%395 = icmp ult i64 %393, %394
%396 = zext i1 %395 to i32
%397 = load i64, i64* %58
%398 = load i64, i64* %48
%399 = icmp ult i64 %397, %398
%400 = zext i1 %399 to i32
%401 = add nsw i32 %396, %400
%402 = sext i32 %401 to i64
%403 = load i64, i64* %46
%404 = add i64 %402, %403
store i64 %404, i64* %45
%405 = load i64, i64* %45
%406 = load i64, i64* %48
%407 = add i64 %405, %406
store i64 %407, i64* %59
%408 = load i64, i64* %45
%409 = load i64, i64* %46
%410 = icmp ult i64 %408, %409
%411 = zext i1 %410 to i32
%412 = load i64, i64* %59
%413 = load i64, i64* %48
%414 = icmp ult i64 %412, %413
%415 = zext i1 %414 to i32
%416 = add nsw i32 %411, %415
%417 = sext i32 %416 to i64
%418 = load i64, i64* %47
%419 = add i64 %417, %418
%420 = load i64, i64* %48
%421 = add i64 %419, %420
store i64 %421, i64* %60
%422 = load i64, i64* %49
store i64 %422, i64* %61
%423 = load i64, i64* %50
store i64 %423, i64* %62
%424 = load i64, i64* %51
store i64 %424, i64* %63
%425 = load i64, i64* %52
store i64 %425, i64* %64
%426 = load i64, i64* %53
store i64 %426, i64* %65
%427 = load i64, i64* %54
store i64 %427, i64* %66
%428 = load i64, i64* %55
store i64 %428, i64* %67
%429 = load i64, i64* %56
store i64 %429, i64* %68
%430 = load i64, i64* %57
store i64 %430, i64* %69
%431 = load i64, i64* %58
store i64 %431, i64* %70
%432 = load i64, i64* %59
store i64 %432, i64* %71
%433 = load i64, i64* %60
store i64 %433, i64* %72
%434 = load i64, i64* %3
%435 = add i64 %434, 0
%436 = trunc i64 %435 to i32
%437 = load i64, i64* %61
%438 = call i32 @_br2_store(i32 %436, i64 %437, i32 8)
%439 = load i64, i64* %3
%440 = add i64 %439, 4
%441 = trunc i64 %440 to i32
%442 = load i64, i64* %62
%443 = call i32 @_br2_store(i32 %441, i64 %442, i32 8)
%444 = load i64, i64* %3
%445 = add i64 %444, 8
%446 = trunc i64 %445 to i32
%447 = load i64, i64* %63
%448 = call i32 @_br2_store(i32 %446, i64 %447, i32 8)
%449 = load i64, i64* %3
%450 = add i64 %449, 12
%451 = trunc i64 %450 to i32
%452 = load i64, i64* %64
%453 = call i32 @_br2_store(i32 %451, i64 %452, i32 8)
%454 = load i64, i64* %3
%455 = add i64 %454, 16
%456 = trunc i64 %455 to i32
%457 = load i64, i64* %65
%458 = call i32 @_br2_store(i32 %456, i64 %457, i32 8)
%459 = load i64, i64* %3
%460 = add i64 %459, 20
%461 = trunc i64 %460 to i32
%462 = load i64, i64* %66
%463 = call i32 @_br2_store(i32 %461, i64 %462, i32 8)
%464 = load i64, i64* %3
%465 = add i64 %464, 24
%466 = trunc i64 %465 to i32
%467 = load i64, i64* %67
%468 = call i32 @_br2_store(i32 %466, i64 %467, i32 8)
%469 = load i64, i64* %3
%470 = add i64 %469, 28
%471 = trunc i64 %470 to i32
%472 = load i64, i64* %68
%473 = call i32 @_br2_store(i32 %471, i64 %472, i32 8)
%474 = load i64, i64* %3
%475 = add i64 %474, 32
%476 = trunc i64 %475 to i32
%477 = load i64, i64* %69
%478 = call i32 @_br2_store(i32 %476, i64 %477, i32 8)
%479 = load i64, i64* %3
%480 = add i64 %479, 36
%481 = trunc i64 %480 to i32
%482 = load i64, i64* %70
%483 = call i32 @_br2_store(i32 %481, i64 %482, i32 8)
%484 = load i64, i64* %3
%485 = add i64 %484, 40
%486 = trunc i64 %485 to i32
%487 = load i64, i64* %71
%488 = call i32 @_br2_store(i32 %486, i64 %487, i32 8)
%489 = load i64, i64* %3
%490 = add i64 %489, 44
%491 = trunc i64 %490 to i32
%492 = load i64, i64* %72
%493 = call i32 @_br2_store(i32 %491, i64 %492, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_p384_opp(i64 %0, i64 %1) {
%3 = trunc i64 %1 to i32
%4 = tail call i64 @_br2_load(i32 %3, i32 8)
%5 = add i32 %3, 4
%6 = tail call i64 @_br2_load(i32 %5, i32 8)
%7 = add i32 %3, 8
%8 = tail call i64 @_br2_load(i32 %7, i32 8)
%9 = sub i64 0, %8
%10 = add i32 %3, 12
%11 = tail call i64 @_br2_load(i32 %10, i32 8)
%12 = sub i64 0, %11
%13 = add i32 %3, 16
%14 = tail call i64 @_br2_load(i32 %13, i32 8)
%15 = sub i64 0, %14
%16 = add i32 %3, 20
%17 = tail call i64 @_br2_load(i32 %16, i32 8)
%18 = sub i64 0, %17
%19 = add i32 %3, 24
%20 = tail call i64 @_br2_load(i32 %19, i32 8)
%21 = sub i64 0, %20
%22 = add i32 %3, 28
%23 = tail call i64 @_br2_load(i32 %22, i32 8)
%24 = sub i64 0, %23
%25 = add i32 %3, 32
%26 = tail call i64 @_br2_load(i32 %25, i32 8)
%27 = sub i64 0, %26
%28 = add i32 %3, 36
%29 = tail call i64 @_br2_load(i32 %28, i32 8)
%30 = sub i64 0, %29
%31 = add i32 %3, 40
%32 = tail call i64 @_br2_load(i32 %31, i32 8)
%33 = sub i64 0, %32
%34 = add i32 %3, 44
%35 = tail call i64 @_br2_load(i32 %34, i32 8)
%36 = sub i64 0, %35
%37 = sub i64 0, %4
%38 = sub i64 0, %6
%39 = icmp ne i64 %4, 0
%40 = sext i1 %39 to i64
%41 = sub i64 %40, %6
%42 = icmp ne i64 %6, 0
%43 = sext i1 %42 to i64
%44 = icmp ugt i64 %41, %38
%45 = sext i1 %44 to i64
%46 = sub i64 %43, %8
%47 = add i64 %46, %45
%48 = icmp ne i64 %8, 0
%49 = sext i1 %48 to i64
%50 = icmp ugt i64 %47, %9
%51 = sext i1 %50 to i64
%52 = sub i64 %49, %11
%53 = add i64 %52, %51
%54 = icmp ne i64 %11, 0
%55 = sext i1 %54 to i64
%56 = icmp ugt i64 %53, %12
%57 = sext i1 %56 to i64
%58 = sub i64 %55, %14
%59 = add i64 %58, %57
%60 = icmp ne i64 %14, 0
%61 = sext i1 %60 to i64
%62 = icmp ugt i64 %59, %15
%63 = sext i1 %62 to i64
%64 = sub i64 %61, %17
%65 = add i64 %64, %63
%66 = icmp ne i64 %17, 0
%67 = sext i1 %66 to i64
%68 = icmp ugt i64 %65, %18
%69 = sext i1 %68 to i64
%70 = sub i64 %67, %20
%71 = add i64 %70, %69
%72 = icmp ne i64 %20, 0
%73 = sext i1 %72 to i64
%74 = icmp ugt i64 %71, %21
%75 = sext i1 %74 to i64
%76 = sub i64 %73, %23
%77 = add i64 %76, %75
%78 = icmp ne i64 %23, 0
%79 = sext i1 %78 to i64
%80 = icmp ugt i64 %77, %24
%81 = sext i1 %80 to i64
%82 = sub i64 %79, %26
%83 = add i64 %82, %81
%84 = icmp ne i64 %26, 0
%85 = sext i1 %84 to i64
%86 = icmp ugt i64 %83, %27
%87 = sext i1 %86 to i64
%88 = sub i64 %85, %29
%89 = add i64 %88, %87
%90 = icmp ne i64 %29, 0
%91 = sext i1 %90 to i64
%92 = icmp ugt i64 %89, %30
%93 = sext i1 %92 to i64
%94 = sub i64 %91, %32
%95 = add i64 %94, %93
%96 = icmp ne i64 %32, 0
%97 = sext i1 %96 to i64
%98 = icmp ugt i64 %95, %33
%99 = sext i1 %98 to i64
%100 = sub i64 %97, %35
%101 = add i64 %100, %99
%102 = icmp ne i64 %35, 0
%103 = zext i1 %102 to i64
%104 = icmp ugt i64 %101, %36
%105 = sext i1 %104 to i64
%106 = icmp ne i64 %103, %105
%107 = sext i1 %106 to i64
%108 = sub i64 %107, %4
%109 = icmp ult i64 %108, %37
%110 = zext i1 %109 to i64
%111 = add i64 %41, %110
%112 = icmp ult i64 %111, %41
%113 = zext i1 %112 to i64
%114 = add i64 %47, %113
%115 = icmp ult i64 %114, %47
%116 = zext i1 %115 to i64
%117 = add i64 %53, %116
%118 = add i64 %117, %107
%119 = icmp ult i64 %117, %53
%120 = zext i1 %119 to i64
%121 = icmp ult i64 %118, %107
%122 = zext i1 %121 to i64
%123 = add i64 %59, %120
%124 = add i64 %123, %122
%125 = select i1 %106, i64 4294967294, i64 0
%126 = add i64 %124, %125
%127 = icmp ult i64 %124, %59
%128 = zext i1 %127 to i64
%129 = icmp ult i64 %126, %125
%130 = zext i1 %129 to i64
%131 = add i64 %65, %128
%132 = add i64 %131, %130
%133 = add i64 %132, %107
%134 = icmp ult i64 %132, %65
%135 = zext i1 %134 to i64
%136 = icmp ult i64 %133, %107
%137 = zext i1 %136 to i64
%138 = add i64 %71, %135
%139 = add i64 %138, %137
%140 = add i64 %139, %107
%141 = icmp ult i64 %139, %71
%142 = zext i1 %141 to i64
%143 = icmp ult i64 %140, %107
%144 = zext i1 %143 to i64
%145 = add i64 %77, %142
%146 = add i64 %145, %144
%147 = add i64 %146, %107
%148 = icmp ult i64 %146, %77
%149 = zext i1 %148 to i64
%150 = icmp ult i64 %147, %107
%151 = zext i1 %150 to i64
%152 = add i64 %83, %149
%153 = add i64 %152, %151
%154 = add i64 %153, %107
%155 = icmp ult i64 %153, %83
%156 = zext i1 %155 to i64
%157 = icmp ult i64 %154, %107
%158 = zext i1 %157 to i64
%159 = add i64 %89, %156
%160 = add i64 %159, %158
%161 = add i64 %160, %107
%162 = icmp ult i64 %160, %89
%163 = zext i1 %162 to i64
%164 = icmp ult i64 %161, %107
%165 = zext i1 %164 to i64
%166 = add i64 %95, %163
%167 = add i64 %166, %165
%168 = add i64 %167, %107
%169 = icmp ult i64 %167, %95
%170 = zext i1 %169 to i64
%171 = icmp ult i64 %168, %107
%172 = zext i1 %171 to i64
%173 = add i64 %101, %107
%174 = add i64 %173, %170
%175 = add i64 %174, %172
%176 = trunc i64 %0 to i32
%177 = tail call i32 @_br2_store(i32 %176, i64 %108, i32 8)
%178 = add i32 %176, 4
%179 = tail call i32 @_br2_store(i32 %178, i64 %111, i32 8)
%180 = add i32 %176, 8
%181 = tail call i32 @_br2_store(i32 %180, i64 %114, i32 8)
%182 = add i32 %176, 12
%183 = tail call i32 @_br2_store(i32 %182, i64 %118, i32 8)
%184 = add i32 %176, 16
%185 = tail call i32 @_br2_store(i32 %184, i64 %126, i32 8)
%186 = add i32 %176, 20
%187 = tail call i32 @_br2_store(i32 %186, i64 %133, i32 8)
%188 = add i32 %176, 24
%189 = tail call i32 @_br2_store(i32 %188, i64 %140, i32 8)
%190 = add i32 %176, 28
%191 = tail call i32 @_br2_store(i32 %190, i64 %147, i32 8)
%192 = add i32 %176, 32
%193 = tail call i32 @_br2_store(i32 %192, i64 %154, i32 8)
%194 = add i32 %176, 36
%195 = tail call i32 @_br2_store(i32 %194, i64 %161, i32 8)
%196 = add i32 %176, 40
%197 = tail call i32 @_br2_store(i32 %196, i64 %168, i32 8)
%198 = add i32 %176, 44
%199 = tail call i32 @_br2_store(i32 %198, i64 %175, i32 8)
ret void
}