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


x86 assembly (clang, -O0):
<internal_fiat_25519_add>:
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,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%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    $0xc,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x90(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x24,%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,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%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,-0x78(%rbp)
mov    -0x18(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x88(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x98(%rbp)
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa8(%rbp)
mov    -0x18(%rbp),%rax
add    $0x24,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xb8(%rbp)
mov    -0x20(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0x30(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0x40(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0x50(%rbp),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0x60(%rbp),%rax
add    -0x68(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0x70(%rbp),%rax
add    -0x78(%rbp),%rax
mov    %rax,-0xe8(%rbp)
mov    -0x80(%rbp),%rax
add    -0x88(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0x90(%rbp),%rax
add    -0x98(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0xa0(%rbp),%rax
add    -0xa8(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xb0(%rbp),%rax
add    -0xb8(%rbp),%rax
mov    %rax,-0x108(%rbp)
mov    -0xc0(%rbp),%rax
mov    %rax,-0x110(%rbp)
mov    -0xc8(%rbp),%rax
mov    %rax,-0x118(%rbp)
mov    -0xd0(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0xd8(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0xe0(%rbp),%rax
mov    %rax,-0x130(%rbp)
mov    -0xe8(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0xf0(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0xf8(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x100(%rbp),%rax
mov    %rax,-0x150(%rbp)
mov    -0x108(%rbp),%rax
mov    %rax,-0x158(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x110(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    -0x118(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x120(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    -0x128(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x130(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    -0x138(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x140(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x1c,%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    $0x24,%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_25519_add>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %rdx,%rbx
mov    %rsi,%rbp
mov    %rdi,0x38(%rsp)
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0x4(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x8(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0xc(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x70(%rsp)
lea    0x10(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x68(%rsp)
lea    0x14(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x60(%rsp)
lea    0x18(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x58(%rsp)
lea    0x1c(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x50(%rsp)
lea    0x20(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x48(%rsp)
add    $0x24,%ebp
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x40(%rsp)
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%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,%r14
lea    0x10(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%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,%r13
lea    0x1c(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
lea    0x20(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
add    $0x24,%ebx
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    0x30(%rsp),%rsi
add    0x10(%rsp),%rsi
add    0x8(%rsp),%r12
add    (%rsp),%r15
mov    %r15,(%rsp)
add    0x70(%rsp),%r14
mov    0x18(%rsp),%rcx
add    0x68(%rsp),%rcx
mov    %rcx,0x18(%rsp)
mov    0x20(%rsp),%rcx
add    0x60(%rsp),%rcx
mov    %rcx,0x20(%rsp)
add    0x58(%rsp),%r13
mov    %r13,0x8(%rsp)
mov    0x28(%rsp),%r13
add    0x50(%rsp),%r13
add    0x48(%rsp),%rbp
mov    %rbp,0x10(%rsp)
mov    0x40(%rsp),%r15
add    %rax,%r15
mov    0x38(%rsp),%rbx
mov    %ebx,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x4(%rbx),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbx),%edi
mov    (%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0xc(%rbx),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbx),%edi
mov    0x18(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x14(%rbx),%edi
mov    0x20(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbx),%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x1c(%rbx),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbx),%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x24,%ebx
mov    %ebx,%edi
mov    %r15,%rsi
mov    $0x8,%edx
add    $0x78,%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_25519_add(i64 %0, i64 %1, i64 %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
%35 = alloca i64
%36 = alloca i64
%37 = alloca i64
%38 = alloca i64
%39 = alloca i64
%40 = alloca i64
%41 = alloca i64
%42 = alloca i64
%43 = alloca i64
%44 = alloca i64
%45 = alloca i64
%46 = alloca i64
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* %7
%51 = load i64, i64* %5
%52 = add i64 %51, 4
%53 = trunc i64 %52 to i32
%54 = call i64 @_br2_load(i32 %53, i32 8)
store i64 %54, i64* %9
%55 = load i64, i64* %5
%56 = add i64 %55, 8
%57 = trunc i64 %56 to i32
%58 = call i64 @_br2_load(i32 %57, i32 8)
store i64 %58, i64* %11
%59 = load i64, i64* %5
%60 = add i64 %59, 12
%61 = trunc i64 %60 to i32
%62 = call i64 @_br2_load(i32 %61, i32 8)
store i64 %62, i64* %13
%63 = load i64, i64* %5
%64 = add i64 %63, 16
%65 = trunc i64 %64 to i32
%66 = call i64 @_br2_load(i32 %65, i32 8)
store i64 %66, i64* %15
%67 = load i64, i64* %5
%68 = add i64 %67, 20
%69 = trunc i64 %68 to i32
%70 = call i64 @_br2_load(i32 %69, i32 8)
store i64 %70, i64* %17
%71 = load i64, i64* %5
%72 = add i64 %71, 24
%73 = trunc i64 %72 to i32
%74 = call i64 @_br2_load(i32 %73, i32 8)
store i64 %74, i64* %19
%75 = load i64, i64* %5
%76 = add i64 %75, 28
%77 = trunc i64 %76 to i32
%78 = call i64 @_br2_load(i32 %77, i32 8)
store i64 %78, i64* %21
%79 = load i64, i64* %5
%80 = add i64 %79, 32
%81 = trunc i64 %80 to i32
%82 = call i64 @_br2_load(i32 %81, i32 8)
store i64 %82, i64* %23
%83 = load i64, i64* %5
%84 = add i64 %83, 36
%85 = trunc i64 %84 to i32
%86 = call i64 @_br2_load(i32 %85, i32 8)
store i64 %86, i64* %25
%87 = load i64, i64* %6
%88 = add i64 %87, 0
%89 = trunc i64 %88 to i32
%90 = call i64 @_br2_load(i32 %89, i32 8)
store i64 %90, i64* %8
%91 = load i64, i64* %6
%92 = add i64 %91, 4
%93 = trunc i64 %92 to i32
%94 = call i64 @_br2_load(i32 %93, i32 8)
store i64 %94, i64* %10
%95 = load i64, i64* %6
%96 = add i64 %95, 8
%97 = trunc i64 %96 to i32
%98 = call i64 @_br2_load(i32 %97, i32 8)
store i64 %98, i64* %12
%99 = load i64, i64* %6
%100 = add i64 %99, 12
%101 = trunc i64 %100 to i32
%102 = call i64 @_br2_load(i32 %101, i32 8)
store i64 %102, i64* %14
%103 = load i64, i64* %6
%104 = add i64 %103, 16
%105 = trunc i64 %104 to i32
%106 = call i64 @_br2_load(i32 %105, i32 8)
store i64 %106, i64* %16
%107 = load i64, i64* %6
%108 = add i64 %107, 20
%109 = trunc i64 %108 to i32
%110 = call i64 @_br2_load(i32 %109, i32 8)
store i64 %110, i64* %18
%111 = load i64, i64* %6
%112 = add i64 %111, 24
%113 = trunc i64 %112 to i32
%114 = call i64 @_br2_load(i32 %113, i32 8)
store i64 %114, i64* %20
%115 = load i64, i64* %6
%116 = add i64 %115, 28
%117 = trunc i64 %116 to i32
%118 = call i64 @_br2_load(i32 %117, i32 8)
store i64 %118, i64* %22
%119 = load i64, i64* %6
%120 = add i64 %119, 32
%121 = trunc i64 %120 to i32
%122 = call i64 @_br2_load(i32 %121, i32 8)
store i64 %122, i64* %24
%123 = load i64, i64* %6
%124 = add i64 %123, 36
%125 = trunc i64 %124 to i32
%126 = call i64 @_br2_load(i32 %125, i32 8)
store i64 %126, i64* %26
%127 = load i64, i64* %7
%128 = load i64, i64* %8
%129 = add i64 %127, %128
store i64 %129, i64* %27
%130 = load i64, i64* %9
%131 = load i64, i64* %10
%132 = add i64 %130, %131
store i64 %132, i64* %28
%133 = load i64, i64* %11
%134 = load i64, i64* %12
%135 = add i64 %133, %134
store i64 %135, i64* %29
%136 = load i64, i64* %13
%137 = load i64, i64* %14
%138 = add i64 %136, %137
store i64 %138, i64* %30
%139 = load i64, i64* %15
%140 = load i64, i64* %16
%141 = add i64 %139, %140
store i64 %141, i64* %31
%142 = load i64, i64* %17
%143 = load i64, i64* %18
%144 = add i64 %142, %143
store i64 %144, i64* %32
%145 = load i64, i64* %19
%146 = load i64, i64* %20
%147 = add i64 %145, %146
store i64 %147, i64* %33
%148 = load i64, i64* %21
%149 = load i64, i64* %22
%150 = add i64 %148, %149
store i64 %150, i64* %34
%151 = load i64, i64* %23
%152 = load i64, i64* %24
%153 = add i64 %151, %152
store i64 %153, i64* %35
%154 = load i64, i64* %25
%155 = load i64, i64* %26
%156 = add i64 %154, %155
store i64 %156, i64* %36
%157 = load i64, i64* %27
store i64 %157, i64* %37
%158 = load i64, i64* %28
store i64 %158, i64* %38
%159 = load i64, i64* %29
store i64 %159, i64* %39
%160 = load i64, i64* %30
store i64 %160, i64* %40
%161 = load i64, i64* %31
store i64 %161, i64* %41
%162 = load i64, i64* %32
store i64 %162, i64* %42
%163 = load i64, i64* %33
store i64 %163, i64* %43
%164 = load i64, i64* %34
store i64 %164, i64* %44
%165 = load i64, i64* %35
store i64 %165, i64* %45
%166 = load i64, i64* %36
store i64 %166, i64* %46
%167 = load i64, i64* %4
%168 = add i64 %167, 0
%169 = trunc i64 %168 to i32
%170 = load i64, i64* %37
%171 = call i32 @_br2_store(i32 %169, i64 %170, i32 8)
%172 = load i64, i64* %4
%173 = add i64 %172, 4
%174 = trunc i64 %173 to i32
%175 = load i64, i64* %38
%176 = call i32 @_br2_store(i32 %174, i64 %175, i32 8)
%177 = load i64, i64* %4
%178 = add i64 %177, 8
%179 = trunc i64 %178 to i32
%180 = load i64, i64* %39
%181 = call i32 @_br2_store(i32 %179, i64 %180, i32 8)
%182 = load i64, i64* %4
%183 = add i64 %182, 12
%184 = trunc i64 %183 to i32
%185 = load i64, i64* %40
%186 = call i32 @_br2_store(i32 %184, i64 %185, i32 8)
%187 = load i64, i64* %4
%188 = add i64 %187, 16
%189 = trunc i64 %188 to i32
%190 = load i64, i64* %41
%191 = call i32 @_br2_store(i32 %189, i64 %190, i32 8)
%192 = load i64, i64* %4
%193 = add i64 %192, 20
%194 = trunc i64 %193 to i32
%195 = load i64, i64* %42
%196 = call i32 @_br2_store(i32 %194, i64 %195, i32 8)
%197 = load i64, i64* %4
%198 = add i64 %197, 24
%199 = trunc i64 %198 to i32
%200 = load i64, i64* %43
%201 = call i32 @_br2_store(i32 %199, i64 %200, i32 8)
%202 = load i64, i64* %4
%203 = add i64 %202, 28
%204 = trunc i64 %203 to i32
%205 = load i64, i64* %44
%206 = call i32 @_br2_store(i32 %204, i64 %205, i32 8)
%207 = load i64, i64* %4
%208 = add i64 %207, 32
%209 = trunc i64 %208 to i32
%210 = load i64, i64* %45
%211 = call i32 @_br2_store(i32 %209, i64 %210, i32 8)
%212 = load i64, i64* %4
%213 = add i64 %212, 36
%214 = trunc i64 %213 to i32
%215 = load i64, i64* %46
%216 = call i32 @_br2_store(i32 %214, i64 %215, i32 8)
ret void
}

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