#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 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_p521_sub(uintptr_t out0, uintptr_t in0, uintptr_t in1) {
  uintptr_t x0, x9, x1, x10, x2, x11, x3, x12, x4, x13, x5, x14, x6, x15, x7,
      x16, x8, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29,
      x30, x31, x32, x33, x34, x35;
  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((in0) + ((uintptr_t)48ULL), sizeof(uintptr_t));
  x7 = _br2_load((in0) + ((uintptr_t)56ULL), sizeof(uintptr_t));
  x8 = _br2_load((in0) + ((uintptr_t)64ULL), sizeof(uintptr_t));
  x9 = _br2_load((in1) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x10 = _br2_load((in1) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x11 = _br2_load((in1) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x12 = _br2_load((in1) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x13 = _br2_load((in1) + ((uintptr_t)32ULL), sizeof(uintptr_t));
  x14 = _br2_load((in1) + ((uintptr_t)40ULL), sizeof(uintptr_t));
  x15 = _br2_load((in1) + ((uintptr_t)48ULL), sizeof(uintptr_t));
  x16 = _br2_load((in1) + ((uintptr_t)56ULL), sizeof(uintptr_t));
  x17 = _br2_load((in1) + ((uintptr_t)64ULL), sizeof(uintptr_t));
  x18 = (((uintptr_t)576460752303423486ULL) + (x0)) - (x9);
  x19 = (((uintptr_t)576460752303423486ULL) + (x1)) - (x10);
  x20 = (((uintptr_t)576460752303423486ULL) + (x2)) - (x11);
  x21 = (((uintptr_t)576460752303423486ULL) + (x3)) - (x12);
  x22 = (((uintptr_t)576460752303423486ULL) + (x4)) - (x13);
  x23 = (((uintptr_t)576460752303423486ULL) + (x5)) - (x14);
  x24 = (((uintptr_t)576460752303423486ULL) + (x6)) - (x15);
  x25 = (((uintptr_t)576460752303423486ULL) + (x7)) - (x16);
  x26 = (((uintptr_t)288230376151711742ULL) + (x8)) - (x17);
  x27 = x18;
  x28 = x19;
  x29 = x20;
  x30 = x21;
  x31 = x22;
  x32 = x23;
  x33 = x24;
  x34 = x25;
  x35 = x26;
  _br2_store((out0) + ((uintptr_t)0ULL), x27, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x28, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x29, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x30, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x31, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)40ULL), x32, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)48ULL), x33, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)56ULL), x34, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)64ULL), x35, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_p521_sub>:
push   %rbp
mov    %rsp,%rbp
sub    $0x140,%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,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
add    $0x38,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x90(%rbp)
mov    -0x10(%rbp),%rax
add    $0x40,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa0(%rbp)
mov    -0x18(%rbp),%rax
add    $0x0,%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    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%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,-0x78(%rbp)
mov    -0x18(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x88(%rbp)
mov    -0x18(%rbp),%rax
add    $0x38,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x98(%rbp)
mov    -0x18(%rbp),%rax
add    $0x40,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa8(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x20(%rbp),%rax
sub    -0x28(%rbp),%rax
mov    %rax,-0xb0(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x30(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0xb8(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x40(%rbp),%rax
sub    -0x48(%rbp),%rax
mov    %rax,-0xc0(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x50(%rbp),%rax
sub    -0x58(%rbp),%rax
mov    %rax,-0xc8(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x60(%rbp),%rax
sub    -0x68(%rbp),%rax
mov    %rax,-0xd0(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x70(%rbp),%rax
sub    -0x78(%rbp),%rax
mov    %rax,-0xd8(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x80(%rbp),%rax
sub    -0x88(%rbp),%rax
mov    %rax,-0xe0(%rbp)
movabs $0x7fffffffffffffe,%rax
ff ff 07
add    -0x90(%rbp),%rax
sub    -0x98(%rbp),%rax
mov    %rax,-0xe8(%rbp)
movabs $0x3fffffffffffffe,%rax
ff ff 03
add    -0xa0(%rbp),%rax
sub    -0xa8(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0xb0(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0xb8(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xc0(%rbp),%rax
mov    %rax,-0x108(%rbp)
mov    -0xc8(%rbp),%rax
mov    %rax,-0x110(%rbp)
mov    -0xd0(%rbp),%rax
mov    %rax,-0x118(%rbp)
mov    -0xd8(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0xe0(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0xe8(%rbp),%rax
mov    %rax,-0x130(%rbp)
mov    -0xf0(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0xf8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x100(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x108(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x110(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0x118(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    -0x120(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    -0x128(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x38,%rax
mov    %eax,%edi
mov    -0x130(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x40,%rax
mov    %eax,%edi
mov    -0x138(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x140,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_p521_sub>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rdx,%r14
mov    %rsi,%rbp
mov    %rdi,%rbx
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x60(%rsp)
lea    0x8(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x58(%rsp)
lea    0x10(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
lea    0x18(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r13
lea    0x20(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0x28(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0x30(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x38(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
add    $0x40,%ebp
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
mov    %r14d,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x50(%rsp)
lea    0x8(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x48(%rsp)
lea    0x10(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x40(%rsp)
lea    0x18(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x38(%rsp)
lea    0x20(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%rsp)
lea    0x28(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
lea    0x30(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x20(%rsp)
lea    0x38(%r14),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
add    $0x40,%r14d
mov    %r14d,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
movabs $0x7fffffffffffffe,%rcx
ff ff 07
mov    0x60(%rsp),%rsi
add    %rcx,%rsi
sub    0x50(%rsp),%rsi
mov    0x58(%rsp),%r14
add    %rcx,%r14
sub    0x48(%rsp),%r14
add    %rcx,%r12
sub    0x40(%rsp),%r12
add    %rcx,%r13
sub    0x38(%rsp),%r13
mov    0x18(%rsp),%rdx
add    %rcx,%rdx
sub    0x30(%rsp),%rdx
mov    %rdx,0x18(%rsp)
mov    0x10(%rsp),%rdx
add    %rcx,%rdx
sub    0x28(%rsp),%rdx
mov    %rdx,0x10(%rsp)
mov    0x8(%rsp),%rdx
add    %rcx,%rdx
sub    0x20(%rsp),%rdx
mov    %rdx,0x8(%rsp)
mov    (%rsp),%rdx
add    %rcx,%rdx
sub    %rbp,%rdx
mov    %rdx,(%rsp)
sub    %rax,%r15
movabs $0x3fffffffffffffe,%rbp
ff ff 03
add    %r15,%rbp
mov    %ebx,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbx),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbx),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbx),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbx),%edi
mov    0x18(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x28(%rbx),%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x30(%rbx),%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x38(%rbx),%edi
mov    (%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x40,%ebx
mov    %ebx,%edi
mov    %rbp,%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_p521_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
store i64 %0, i64* %4
store i64 %1, i64* %5
store i64 %2, i64* %6
%43 = load i64, i64* %5
%44 = add i64 %43, 0
%45 = trunc i64 %44 to i32
%46 = call i64 @_br2_load(i32 %45, i32 8)
store i64 %46, i64* %7
%47 = load i64, i64* %5
%48 = add i64 %47, 8
%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, 16
%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, 24
%57 = trunc i64 %56 to i32
%58 = call i64 @_br2_load(i32 %57, i32 8)
store i64 %58, i64* %13
%59 = load i64, i64* %5
%60 = add i64 %59, 32
%61 = trunc i64 %60 to i32
%62 = call i64 @_br2_load(i32 %61, i32 8)
store i64 %62, i64* %15
%63 = load i64, i64* %5
%64 = add i64 %63, 40
%65 = trunc i64 %64 to i32
%66 = call i64 @_br2_load(i32 %65, i32 8)
store i64 %66, i64* %17
%67 = load i64, i64* %5
%68 = add i64 %67, 48
%69 = trunc i64 %68 to i32
%70 = call i64 @_br2_load(i32 %69, i32 8)
store i64 %70, i64* %19
%71 = load i64, i64* %5
%72 = add i64 %71, 56
%73 = trunc i64 %72 to i32
%74 = call i64 @_br2_load(i32 %73, i32 8)
store i64 %74, i64* %21
%75 = load i64, i64* %5
%76 = add i64 %75, 64
%77 = trunc i64 %76 to i32
%78 = call i64 @_br2_load(i32 %77, i32 8)
store i64 %78, i64* %23
%79 = load i64, i64* %6
%80 = add i64 %79, 0
%81 = trunc i64 %80 to i32
%82 = call i64 @_br2_load(i32 %81, i32 8)
store i64 %82, i64* %8
%83 = load i64, i64* %6
%84 = add i64 %83, 8
%85 = trunc i64 %84 to i32
%86 = call i64 @_br2_load(i32 %85, i32 8)
store i64 %86, i64* %10
%87 = load i64, i64* %6
%88 = add i64 %87, 16
%89 = trunc i64 %88 to i32
%90 = call i64 @_br2_load(i32 %89, i32 8)
store i64 %90, i64* %12
%91 = load i64, i64* %6
%92 = add i64 %91, 24
%93 = trunc i64 %92 to i32
%94 = call i64 @_br2_load(i32 %93, i32 8)
store i64 %94, i64* %14
%95 = load i64, i64* %6
%96 = add i64 %95, 32
%97 = trunc i64 %96 to i32
%98 = call i64 @_br2_load(i32 %97, i32 8)
store i64 %98, i64* %16
%99 = load i64, i64* %6
%100 = add i64 %99, 40
%101 = trunc i64 %100 to i32
%102 = call i64 @_br2_load(i32 %101, i32 8)
store i64 %102, i64* %18
%103 = load i64, i64* %6
%104 = add i64 %103, 48
%105 = trunc i64 %104 to i32
%106 = call i64 @_br2_load(i32 %105, i32 8)
store i64 %106, i64* %20
%107 = load i64, i64* %6
%108 = add i64 %107, 56
%109 = trunc i64 %108 to i32
%110 = call i64 @_br2_load(i32 %109, i32 8)
store i64 %110, i64* %22
%111 = load i64, i64* %6
%112 = add i64 %111, 64
%113 = trunc i64 %112 to i32
%114 = call i64 @_br2_load(i32 %113, i32 8)
store i64 %114, i64* %24
%115 = load i64, i64* %7
%116 = add i64 576460752303423486, %115
%117 = load i64, i64* %8
%118 = sub i64 %116, %117
store i64 %118, i64* %25
%119 = load i64, i64* %9
%120 = add i64 576460752303423486, %119
%121 = load i64, i64* %10
%122 = sub i64 %120, %121
store i64 %122, i64* %26
%123 = load i64, i64* %11
%124 = add i64 576460752303423486, %123
%125 = load i64, i64* %12
%126 = sub i64 %124, %125
store i64 %126, i64* %27
%127 = load i64, i64* %13
%128 = add i64 576460752303423486, %127
%129 = load i64, i64* %14
%130 = sub i64 %128, %129
store i64 %130, i64* %28
%131 = load i64, i64* %15
%132 = add i64 576460752303423486, %131
%133 = load i64, i64* %16
%134 = sub i64 %132, %133
store i64 %134, i64* %29
%135 = load i64, i64* %17
%136 = add i64 576460752303423486, %135
%137 = load i64, i64* %18
%138 = sub i64 %136, %137
store i64 %138, i64* %30
%139 = load i64, i64* %19
%140 = add i64 576460752303423486, %139
%141 = load i64, i64* %20
%142 = sub i64 %140, %141
store i64 %142, i64* %31
%143 = load i64, i64* %21
%144 = add i64 576460752303423486, %143
%145 = load i64, i64* %22
%146 = sub i64 %144, %145
store i64 %146, i64* %32
%147 = load i64, i64* %23
%148 = add i64 288230376151711742, %147
%149 = load i64, i64* %24
%150 = sub i64 %148, %149
store i64 %150, i64* %33
%151 = load i64, i64* %25
store i64 %151, i64* %34
%152 = load i64, i64* %26
store i64 %152, i64* %35
%153 = load i64, i64* %27
store i64 %153, i64* %36
%154 = load i64, i64* %28
store i64 %154, i64* %37
%155 = load i64, i64* %29
store i64 %155, i64* %38
%156 = load i64, i64* %30
store i64 %156, i64* %39
%157 = load i64, i64* %31
store i64 %157, i64* %40
%158 = load i64, i64* %32
store i64 %158, i64* %41
%159 = load i64, i64* %33
store i64 %159, i64* %42
%160 = load i64, i64* %4
%161 = add i64 %160, 0
%162 = trunc i64 %161 to i32
%163 = load i64, i64* %34
%164 = call i32 @_br2_store(i32 %162, i64 %163, i32 8)
%165 = load i64, i64* %4
%166 = add i64 %165, 8
%167 = trunc i64 %166 to i32
%168 = load i64, i64* %35
%169 = call i32 @_br2_store(i32 %167, i64 %168, i32 8)
%170 = load i64, i64* %4
%171 = add i64 %170, 16
%172 = trunc i64 %171 to i32
%173 = load i64, i64* %36
%174 = call i32 @_br2_store(i32 %172, i64 %173, i32 8)
%175 = load i64, i64* %4
%176 = add i64 %175, 24
%177 = trunc i64 %176 to i32
%178 = load i64, i64* %37
%179 = call i32 @_br2_store(i32 %177, i64 %178, i32 8)
%180 = load i64, i64* %4
%181 = add i64 %180, 32
%182 = trunc i64 %181 to i32
%183 = load i64, i64* %38
%184 = call i32 @_br2_store(i32 %182, i64 %183, i32 8)
%185 = load i64, i64* %4
%186 = add i64 %185, 40
%187 = trunc i64 %186 to i32
%188 = load i64, i64* %39
%189 = call i32 @_br2_store(i32 %187, i64 %188, i32 8)
%190 = load i64, i64* %4
%191 = add i64 %190, 48
%192 = trunc i64 %191 to i32
%193 = load i64, i64* %40
%194 = call i32 @_br2_store(i32 %192, i64 %193, i32 8)
%195 = load i64, i64* %4
%196 = add i64 %195, 56
%197 = trunc i64 %196 to i32
%198 = load i64, i64* %41
%199 = call i32 @_br2_store(i32 %197, i64 %198, i32 8)
%200 = load i64, i64* %4
%201 = add i64 %200, 64
%202 = trunc i64 %201 to i32
%203 = load i64, i64* %42
%204 = call i32 @_br2_store(i32 %202, i64 %203, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_p521_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 = add i32 %4, 48
%17 = tail call i64 @_br2_load(i32 %16, i32 8)
%18 = add i32 %4, 56
%19 = tail call i64 @_br2_load(i32 %18, i32 8)
%20 = add i32 %4, 64
%21 = tail call i64 @_br2_load(i32 %20, i32 8)
%22 = trunc i64 %2 to i32
%23 = tail call i64 @_br2_load(i32 %22, i32 8)
%24 = add i32 %22, 8
%25 = tail call i64 @_br2_load(i32 %24, i32 8)
%26 = add i32 %22, 16
%27 = tail call i64 @_br2_load(i32 %26, i32 8)
%28 = add i32 %22, 24
%29 = tail call i64 @_br2_load(i32 %28, i32 8)
%30 = add i32 %22, 32
%31 = tail call i64 @_br2_load(i32 %30, i32 8)
%32 = add i32 %22, 40
%33 = tail call i64 @_br2_load(i32 %32, i32 8)
%34 = add i32 %22, 48
%35 = tail call i64 @_br2_load(i32 %34, i32 8)
%36 = add i32 %22, 56
%37 = tail call i64 @_br2_load(i32 %36, i32 8)
%38 = add i32 %22, 64
%39 = tail call i64 @_br2_load(i32 %38, i32 8)
%40 = add i64 %5, 576460752303423486
%41 = sub i64 %40, %23
%42 = add i64 %7, 576460752303423486
%43 = sub i64 %42, %25
%44 = add i64 %9, 576460752303423486
%45 = sub i64 %44, %27
%46 = add i64 %11, 576460752303423486
%47 = sub i64 %46, %29
%48 = add i64 %13, 576460752303423486
%49 = sub i64 %48, %31
%50 = add i64 %15, 576460752303423486
%51 = sub i64 %50, %33
%52 = add i64 %17, 576460752303423486
%53 = sub i64 %52, %35
%54 = add i64 %19, 576460752303423486
%55 = sub i64 %54, %37
%56 = add i64 %21, 288230376151711742
%57 = sub i64 %56, %39
%58 = trunc i64 %0 to i32
%59 = tail call i32 @_br2_store(i32 %58, i64 %41, i32 8)
%60 = add i32 %58, 8
%61 = tail call i32 @_br2_store(i32 %60, i64 %43, i32 8)
%62 = add i32 %58, 16
%63 = tail call i32 @_br2_store(i32 %62, i64 %45, i32 8)
%64 = add i32 %58, 24
%65 = tail call i32 @_br2_store(i32 %64, i64 %47, i32 8)
%66 = add i32 %58, 32
%67 = tail call i32 @_br2_store(i32 %66, i64 %49, i32 8)
%68 = add i32 %58, 40
%69 = tail call i32 @_br2_store(i32 %68, i64 %51, i32 8)
%70 = add i32 %58, 48
%71 = tail call i32 @_br2_store(i32 %70, i64 %53, i32 8)
%72 = add i32 %58, 56
%73 = tail call i32 @_br2_store(i32 %72, i64 %55, i32 8)
%74 = add i32 %58, 64
%75 = tail call i32 @_br2_store(i32 %74, i64 %57, i32 8)
ret void
}