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


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

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

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