#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 x5;
typedef uintptr_t x4;
typedef uintptr_t x31;
typedef uintptr_t x3;
typedef uintptr_t x29;
typedef uintptr_t x27;
typedef uintptr_t x25;
typedef uintptr_t x23;
typedef uintptr_t x21;
typedef uintptr_t x2;
typedef uintptr_t x19;
typedef uintptr_t x17;
typedef uintptr_t x15;
typedef uintptr_t x13;
typedef uintptr_t x12;
typedef uintptr_t x1;
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_sub(uintptr_t out0, uintptr_t in0, uintptr_t in1) {
  uintptr_t x6, x7, x0, x8, x1, x13, x9, x2, x15, x10, x3, x17, x11, x4, x19,
      x5, x21, x12, x25, x14, x27, x16, x29, x18, x31, x20, x22, x23, x24, x26,
      x28, x30, x32, x33, x34, x35, x36, x37, x38, x39;
  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 = (x1) - (x7);
  x14 = (x13) - ((x0) < (x12));
  x15 = (x2) - (x8);
  x16 = (x15) - (((x1) < (x13)) + ((x13) < (x14)));
  x17 = (x3) - (x9);
  x18 = (x17) - (((x2) < (x15)) + ((x15) < (x16)));
  x19 = (x4) - (x10);
  x20 = (x19) - (((x3) < (x17)) + ((x17) < (x18)));
  x21 = (x5) - (x11);
  x22 = (x21) - (((x4) < (x19)) + ((x19) < (x20)));
  x23 = ((uintptr_t)-1ULL) +
        ((((x5) < (x21)) + ((x21) < (x22))) == ((uintptr_t)0ULL));
  x24 = (x12) + ((x23) & ((uintptr_t)4294967295ULL));
  x25 = ((x24) < (x12)) + (x14);
  x26 = (x25) + ((x23) & ((uintptr_t)18446744069414584320ULL));
  x27 = (((x25) < (x14)) +
         ((x26) < ((x23) & ((uintptr_t)18446744069414584320ULL)))) +
        (x16);
  x28 = (x27) + ((x23) & ((uintptr_t)18446744073709551614ULL));
  x29 = (((x27) < (x16)) +
         ((x28) < ((x23) & ((uintptr_t)18446744073709551614ULL)))) +
        (x18);
  x30 = (x29) + (x23);
  x31 = (((x29) < (x18)) + ((x30) < (x23))) + (x20);
  x32 = (x31) + (x23);
  x33 = ((((x31) < (x20)) + ((x32) < (x23))) + (x22)) + (x23);
  x34 = x24;
  x35 = x26;
  x36 = x28;
  x37 = x30;
  x38 = x32;
  x39 = x33;
  _br2_store((out0) + ((uintptr_t)0ULL), x34, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x35, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x36, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x37, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x38, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)40ULL), x39, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_p384_sub>:
push   %rbp
mov    %rsp,%rbp
sub    $0x160,%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,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%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,-0x70(%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    $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,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x30(%rbp),%rax
sub    -0x20(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0x40(%rbp),%rax
sub    -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    -0x30(%rbp),%rcx
cmp    -0xa8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xb8(%rbp)
mov    -0x58(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
mov    -0x40(%rbp),%rcx
cmp    -0x48(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x48(%rbp),%rdx
cmp    -0xb8(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xc8(%rbp)
mov    -0x70(%rbp),%rax
sub    -0x50(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    -0x58(%rbp),%rcx
cmp    -0x60(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x60(%rbp),%rdx
cmp    -0xc8(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xd8(%rbp)
mov    -0x88(%rbp),%rax
sub    -0x68(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
mov    -0x70(%rbp),%rcx
cmp    -0x78(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x78(%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,-0xe8(%rbp)
mov    -0x98(%rbp),%rax
sub    -0x80(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
mov    -0x88(%rbp),%rcx
cmp    -0x90(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x90(%rbp),%rdx
cmp    -0xe8(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xf0(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0xa0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0xa0(%rbp),%rcx
cmp    -0xf0(%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,-0xf8(%rbp)
mov    -0xa8(%rbp),%rax
movabs $0xffffffff,%rcx
and    -0xf8(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x100(%rbp)
mov    -0x100(%rbp),%rax
cmp    -0xa8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0xb8(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
movabs $0xffffffff00000000,%rcx
ff ff ff
and    -0xf8(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x108(%rbp)
mov    -0xb0(%rbp),%rax
cmp    -0xb8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x108(%rbp),%rcx
movabs $0xffffffff00000000,%rdx
ff ff ff
and    -0xf8(%rbp),%rdx
cmp    %rdx,%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xc8(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc0(%rbp),%rax
mov    -0xf8(%rbp),%rcx
and    $0xfffffffffffffffe,%rcx
add    %rcx,%rax
mov    %rax,-0x110(%rbp)
mov    -0xc0(%rbp),%rax
cmp    -0xc8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x110(%rbp),%rcx
mov    -0xf8(%rbp),%rdx
and    $0xfffffffffffffffe,%rdx
cmp    %rdx,%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xd8(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
add    -0xf8(%rbp),%rax
mov    %rax,-0x118(%rbp)
mov    -0xd0(%rbp),%rax
cmp    -0xd8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x118(%rbp),%rcx
cmp    -0xf8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xe8(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rax
add    -0xf8(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0xe0(%rbp),%rax
cmp    -0xe8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x120(%rbp),%rcx
cmp    -0xf8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xf0(%rbp),%rax
add    -0xf8(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0x100(%rbp),%rax
mov    %rax,-0x130(%rbp)
mov    -0x108(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0x110(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0x118(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x120(%rbp),%rax
mov    %rax,-0x150(%rbp)
mov    -0x128(%rbp),%rax
mov    %rax,-0x158(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x130(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x138(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x140(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x148(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0x150(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    -0x158(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x160,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_p384_sub>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r15
mov    %rsi,%rbx
mov    %rdi,0x30(%rsp)
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0x8(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
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,%r13
lea    0x20(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
add    $0x28,%ebx
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
mov    %r15d,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0x8(%r15),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbx
lea    0x10(%r15),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x18(%r15),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0x20(%r15),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x20(%rsp)
add    $0x28,%r15d
mov    %r15d,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
xor    %ecx,%ecx
mov    (%rsp),%r15
sub    0x10(%rsp),%r15
setb   %cl
xor    %edx,%edx
sub    %rbx,%rbp
mov    %rbp,(%rsp)
setb   %dl
mov    %rbp,%r9
sub    %rcx,%r9
neg    %rcx
xor    %esi,%esi
sub    0x8(%rsp),%r14
setb   %sil
cmp    %r9,%rbp
mov    %r14,%r10
sbb    %rdx,%r10
xor    %ebp,%ebp
sub    0x18(%rsp),%r13
setb   %bpl
cmp    %r10,%r14
mov    %r13,%r14
sbb    %rsi,%r14
xor    %esi,%esi
sub    0x20(%rsp),%r12
setb   %sil
cmp    %r14,%r13
mov    %r12,%rdi
sbb    %rbp,%rdi
xor    %ebx,%ebx
mov    0x28(%rsp),%rdx
sub    %rax,%rdx
setb   %bl
cmp    %rdi,%r12
mov    %rdx,%rax
sbb    %rsi,%rax
cmp    %rax,%rdx
sbb    %rsi,%rsi
xor    %r11d,%r11d
xor    %r8d,%r8d
xor    %ebp,%ebp
cmp    %rsi,%rbx
setne  %r8b
mov    $0xffffffff,%esi
cmove  %r11,%rsi
sete   %bpl
mov    %rsi,%rbx
mov    %r15,%rdx
add    %r15,%rbx
adc    (%rsp),%rcx
lea    -0x2(,%rbp,1),%r15
ff
add    %rbp,%r15
shl    $0x20,%rbp
movabs $0xffffffff00000000,%r12
ff ff ff
add    %rbp,%r12
add    %rdx,%rsi
adc    %r12,%r9
mov    %r10,%rbx
adc    $0x0,%rbx
mov    %r8,%rdx
neg    %rdx
add    %rcx,%r12
xor    %ebp,%ebp
cmp    %r10,%rbx
setb   %bpl
add    %rbx,%r15
adc    %r14,%rbp
xor    %r13d,%r13d
cmp    %r14,%rbp
setb   %r13b
add    %rdx,%rbp
adc    %rdi,%r13
xor    %r14d,%r14d
cmp    %rdi,%r13
setb   %r14b
sub    %r8,%rax
add    %rdx,%r13
adc    %rax,%r14
mov    0x30(%rsp),%rbx
mov    %ebx,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbx),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbx),%edi
mov    %r15,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbx),%edi
mov    %rbp,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbx),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x28,%ebx
mov    %ebx,%edi
mov    %r14,%rsi
mov    $0x8,%edx
add    $0x38,%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_sub(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
store i64 %0, i64* %4
store i64 %1, i64* %5
store i64 %2, i64* %6
%47 = load i64, i64* %5
%48 = add i64 %47, 0
%49 = trunc i64 %48 to i32
%50 = call i64 @_br2_load(i32 %49, i32 8)
store i64 %50, i64* %9
%51 = load i64, i64* %5
%52 = add i64 %51, 8
%53 = trunc i64 %52 to i32
%54 = call i64 @_br2_load(i32 %53, i32 8)
store i64 %54, i64* %11
%55 = load i64, i64* %5
%56 = add i64 %55, 16
%57 = trunc i64 %56 to i32
%58 = call i64 @_br2_load(i32 %57, i32 8)
store i64 %58, i64* %14
%59 = load i64, i64* %5
%60 = add i64 %59, 24
%61 = trunc i64 %60 to i32
%62 = call i64 @_br2_load(i32 %61, i32 8)
store i64 %62, i64* %17
%63 = load i64, i64* %5
%64 = add i64 %63, 32
%65 = trunc i64 %64 to i32
%66 = call i64 @_br2_load(i32 %65, i32 8)
store i64 %66, i64* %20
%67 = load i64, i64* %5
%68 = add i64 %67, 40
%69 = trunc i64 %68 to i32
%70 = call i64 @_br2_load(i32 %69, i32 8)
store i64 %70, i64* %22
%71 = load i64, i64* %6
%72 = add i64 %71, 0
%73 = trunc i64 %72 to i32
%74 = call i64 @_br2_load(i32 %73, i32 8)
store i64 %74, i64* %7
%75 = load i64, i64* %6
%76 = add i64 %75, 8
%77 = trunc i64 %76 to i32
%78 = call i64 @_br2_load(i32 %77, i32 8)
store i64 %78, i64* %8
%79 = load i64, i64* %6
%80 = add i64 %79, 16
%81 = trunc i64 %80 to i32
%82 = call i64 @_br2_load(i32 %81, i32 8)
store i64 %82, i64* %10
%83 = load i64, i64* %6
%84 = add i64 %83, 24
%85 = trunc i64 %84 to i32
%86 = call i64 @_br2_load(i32 %85, i32 8)
store i64 %86, i64* %13
%87 = load i64, i64* %6
%88 = add i64 %87, 32
%89 = trunc i64 %88 to i32
%90 = call i64 @_br2_load(i32 %89, i32 8)
store i64 %90, i64* %16
%91 = load i64, i64* %6
%92 = add i64 %91, 40
%93 = trunc i64 %92 to i32
%94 = call i64 @_br2_load(i32 %93, i32 8)
store i64 %94, i64* %19
%95 = load i64, i64* %9
%96 = load i64, i64* %7
%97 = sub i64 %95, %96
store i64 %97, i64* %24
%98 = load i64, i64* %11
%99 = load i64, i64* %8
%100 = sub i64 %98, %99
store i64 %100, i64* %12
%101 = load i64, i64* %12
%102 = load i64, i64* %9
%103 = load i64, i64* %24
%104 = icmp ult i64 %102, %103
%105 = zext i1 %104 to i32
%106 = sext i32 %105 to i64
%107 = sub i64 %101, %106
store i64 %107, i64* %26
%108 = load i64, i64* %14
%109 = load i64, i64* %10
%110 = sub i64 %108, %109
store i64 %110, i64* %15
%111 = load i64, i64* %15
%112 = load i64, i64* %11
%113 = load i64, i64* %12
%114 = icmp ult i64 %112, %113
%115 = zext i1 %114 to i32
%116 = load i64, i64* %12
%117 = load i64, i64* %26
%118 = icmp ult i64 %116, %117
%119 = zext i1 %118 to i32
%120 = add nsw i32 %115, %119
%121 = sext i32 %120 to i64
%122 = sub i64 %111, %121
store i64 %122, i64* %28
%123 = load i64, i64* %17
%124 = load i64, i64* %13
%125 = sub i64 %123, %124
store i64 %125, i64* %18
%126 = load i64, i64* %18
%127 = load i64, i64* %14
%128 = load i64, i64* %15
%129 = icmp ult i64 %127, %128
%130 = zext i1 %129 to i32
%131 = load i64, i64* %15
%132 = load i64, i64* %28
%133 = icmp ult i64 %131, %132
%134 = zext i1 %133 to i32
%135 = add nsw i32 %130, %134
%136 = sext i32 %135 to i64
%137 = sub i64 %126, %136
store i64 %137, i64* %30
%138 = load i64, i64* %20
%139 = load i64, i64* %16
%140 = sub i64 %138, %139
store i64 %140, i64* %21
%141 = load i64, i64* %21
%142 = load i64, i64* %17
%143 = load i64, i64* %18
%144 = icmp ult i64 %142, %143
%145 = zext i1 %144 to i32
%146 = load i64, i64* %18
%147 = load i64, i64* %30
%148 = icmp ult i64 %146, %147
%149 = zext i1 %148 to i32
%150 = add nsw i32 %145, %149
%151 = sext i32 %150 to i64
%152 = sub i64 %141, %151
store i64 %152, i64* %32
%153 = load i64, i64* %22
%154 = load i64, i64* %19
%155 = sub i64 %153, %154
store i64 %155, i64* %23
%156 = load i64, i64* %23
%157 = load i64, i64* %20
%158 = load i64, i64* %21
%159 = icmp ult i64 %157, %158
%160 = zext i1 %159 to i32
%161 = load i64, i64* %21
%162 = load i64, i64* %32
%163 = icmp ult i64 %161, %162
%164 = zext i1 %163 to i32
%165 = add nsw i32 %160, %164
%166 = sext i32 %165 to i64
%167 = sub i64 %156, %166
store i64 %167, i64* %33
%168 = load i64, i64* %22
%169 = load i64, i64* %23
%170 = icmp ult i64 %168, %169
%171 = zext i1 %170 to i32
%172 = load i64, i64* %23
%173 = load i64, i64* %33
%174 = icmp ult i64 %172, %173
%175 = zext i1 %174 to i32
%176 = add nsw i32 %171, %175
%177 = sext i32 %176 to i64
%178 = icmp eq i64 %177, 0
%179 = zext i1 %178 to i32
%180 = sext i32 %179 to i64
%181 = add i64 -1, %180
store i64 %181, i64* %34
%182 = load i64, i64* %24
%183 = load i64, i64* %34
%184 = and i64 %183, 4294967295
%185 = add i64 %182, %184
store i64 %185, i64* %35
%186 = load i64, i64* %35
%187 = load i64, i64* %24
%188 = icmp ult i64 %186, %187
%189 = zext i1 %188 to i32
%190 = sext i32 %189 to i64
%191 = load i64, i64* %26
%192 = add i64 %190, %191
store i64 %192, i64* %25
%193 = load i64, i64* %25
%194 = load i64, i64* %34
%195 = and i64 %194, -4294967296
%196 = add i64 %193, %195
store i64 %196, i64* %36
%197 = load i64, i64* %25
%198 = load i64, i64* %26
%199 = icmp ult i64 %197, %198
%200 = zext i1 %199 to i32
%201 = load i64, i64* %36
%202 = load i64, i64* %34
%203 = and i64 %202, -4294967296
%204 = icmp ult i64 %201, %203
%205 = zext i1 %204 to i32
%206 = add nsw i32 %200, %205
%207 = sext i32 %206 to i64
%208 = load i64, i64* %28
%209 = add i64 %207, %208
store i64 %209, i64* %27
%210 = load i64, i64* %27
%211 = load i64, i64* %34
%212 = and i64 %211, -2
%213 = add i64 %210, %212
store i64 %213, i64* %37
%214 = load i64, i64* %27
%215 = load i64, i64* %28
%216 = icmp ult i64 %214, %215
%217 = zext i1 %216 to i32
%218 = load i64, i64* %37
%219 = load i64, i64* %34
%220 = and i64 %219, -2
%221 = icmp ult i64 %218, %220
%222 = zext i1 %221 to i32
%223 = add nsw i32 %217, %222
%224 = sext i32 %223 to i64
%225 = load i64, i64* %30
%226 = add i64 %224, %225
store i64 %226, i64* %29
%227 = load i64, i64* %29
%228 = load i64, i64* %34
%229 = add i64 %227, %228
store i64 %229, i64* %38
%230 = load i64, i64* %29
%231 = load i64, i64* %30
%232 = icmp ult i64 %230, %231
%233 = zext i1 %232 to i32
%234 = load i64, i64* %38
%235 = load i64, i64* %34
%236 = icmp ult i64 %234, %235
%237 = zext i1 %236 to i32
%238 = add nsw i32 %233, %237
%239 = sext i32 %238 to i64
%240 = load i64, i64* %32
%241 = add i64 %239, %240
store i64 %241, i64* %31
%242 = load i64, i64* %31
%243 = load i64, i64* %34
%244 = add i64 %242, %243
store i64 %244, i64* %39
%245 = load i64, i64* %31
%246 = load i64, i64* %32
%247 = icmp ult i64 %245, %246
%248 = zext i1 %247 to i32
%249 = load i64, i64* %39
%250 = load i64, i64* %34
%251 = icmp ult i64 %249, %250
%252 = zext i1 %251 to i32
%253 = add nsw i32 %248, %252
%254 = sext i32 %253 to i64
%255 = load i64, i64* %33
%256 = add i64 %254, %255
%257 = load i64, i64* %34
%258 = add i64 %256, %257
store i64 %258, i64* %40
%259 = load i64, i64* %35
store i64 %259, i64* %41
%260 = load i64, i64* %36
store i64 %260, i64* %42
%261 = load i64, i64* %37
store i64 %261, i64* %43
%262 = load i64, i64* %38
store i64 %262, i64* %44
%263 = load i64, i64* %39
store i64 %263, i64* %45
%264 = load i64, i64* %40
store i64 %264, i64* %46
%265 = load i64, i64* %4
%266 = add i64 %265, 0
%267 = trunc i64 %266 to i32
%268 = load i64, i64* %41
%269 = call i32 @_br2_store(i32 %267, i64 %268, i32 8)
%270 = load i64, i64* %4
%271 = add i64 %270, 8
%272 = trunc i64 %271 to i32
%273 = load i64, i64* %42
%274 = call i32 @_br2_store(i32 %272, i64 %273, i32 8)
%275 = load i64, i64* %4
%276 = add i64 %275, 16
%277 = trunc i64 %276 to i32
%278 = load i64, i64* %43
%279 = call i32 @_br2_store(i32 %277, i64 %278, i32 8)
%280 = load i64, i64* %4
%281 = add i64 %280, 24
%282 = trunc i64 %281 to i32
%283 = load i64, i64* %44
%284 = call i32 @_br2_store(i32 %282, i64 %283, i32 8)
%285 = load i64, i64* %4
%286 = add i64 %285, 32
%287 = trunc i64 %286 to i32
%288 = load i64, i64* %45
%289 = call i32 @_br2_store(i32 %287, i64 %288, i32 8)
%290 = load i64, i64* %4
%291 = add i64 %290, 40
%292 = trunc i64 %291 to i32
%293 = load i64, i64* %46
%294 = call i32 @_br2_store(i32 %292, i64 %293, i32 8)
ret void
}

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