#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*/ in0;

/* Variables and functions */
uintptr_t _br2_load(int /*<<< orphan*/, int);
int /*<<< orphan*/ _br2_store(int /*<<< orphan*/, uintptr_t, int);
void internal_fiat_25519_opp(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14,
      x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29;
  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 = ((uintptr_t)134217690ULL) - (x0);
  x11 = ((uintptr_t)67108862ULL) - (x1);
  x12 = ((uintptr_t)134217726ULL) - (x2);
  x13 = ((uintptr_t)67108862ULL) - (x3);
  x14 = ((uintptr_t)134217726ULL) - (x4);
  x15 = ((uintptr_t)67108862ULL) - (x5);
  x16 = ((uintptr_t)134217726ULL) - (x6);
  x17 = ((uintptr_t)67108862ULL) - (x7);
  x18 = ((uintptr_t)134217726ULL) - (x8);
  x19 = ((uintptr_t)67108862ULL) - (x9);
  x20 = x10;
  x21 = x11;
  x22 = x12;
  x23 = x13;
  x24 = x14;
  x25 = x15;
  x26 = x16;
  x27 = x17;
  x28 = x18;
  x29 = x19;
  _br2_store((out0) + ((uintptr_t)0ULL), x20, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x21, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x22, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x23, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x24, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)20ULL), x25, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x26, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)28ULL), x27, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x28, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)36ULL), x29, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_25519_opp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x14,%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,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1c,%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,-0x58(%rbp)
mov    -0x10(%rbp),%rax
add    $0x24,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x60(%rbp)
mov    $0x7ffffda,%eax
sub    -0x18(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    $0x3fffffe,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    $0x7fffffe,%eax
sub    -0x28(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    $0x3fffffe,%eax
sub    -0x30(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    $0x7fffffe,%eax
sub    -0x38(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    $0x3fffffe,%eax
sub    -0x40(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    $0x7fffffe,%eax
sub    -0x48(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    $0x3fffffe,%eax
sub    -0x50(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    $0x7fffffe,%eax
sub    -0x58(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    $0x3fffffe,%eax
sub    -0x60(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0x68(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0x80(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0x88(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0x90(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0xe8(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0xb0(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0xb8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    -0xc0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0xc8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    -0xd0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0xd8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    -0xe0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0xe8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    -0xf0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0xf8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x24,%rax
mov    %eax,%edi
mov    -0x100(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x100,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_25519_opp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rsi,%rbx
mov    %rdi,%r12
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
lea    0x4(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
lea    0x8(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0xc(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0x10(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x14(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0x18(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%rsp)
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,0x20(%rsp)
add    $0x24,%ebx
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    $0x7ffffda,%esi
sub    %r14,%rsi
mov    $0x3fffffe,%ecx
mov    $0x3fffffe,%ebp
sub    %r15,%rbp
mov    $0x7fffffe,%edx
mov    $0x7fffffe,%r13d
sub    0x18(%rsp),%r13
mov    $0x3fffffe,%r15d
sub    0x10(%rsp),%r15
mov    $0x7fffffe,%r14d
sub    0x8(%rsp),%r14
mov    $0x3fffffe,%ebx
sub    (%rsp),%rbx
mov    $0x7fffffe,%edi
sub    0x30(%rsp),%rdi
mov    %rdi,(%rsp)
mov    $0x3fffffe,%edi
sub    0x28(%rsp),%rdi
mov    %rdi,0x8(%rsp)
sub    0x20(%rsp),%rdx
mov    %rdx,0x10(%rsp)
sub    %rax,%rcx
mov    %rcx,0x18(%rsp)
mov    %r12d,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x4(%r12),%edi
mov    %rbp,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%r12),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0xc(%r12),%edi
mov    %r15,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%r12),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x14(%r12),%edi
mov    %rbx,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%r12),%edi
mov    (%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x1c(%r12),%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%r12),%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x24,%r12d
mov    %r12d,%edi
mov    0x18(%rsp),%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_25519_opp(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%35 = load i64, i64* %4
%36 = add i64 %35, 0
%37 = trunc i64 %36 to i32
%38 = call i64 @_br2_load(i32 %37, i32 8)
store i64 %38, i64* %5
%39 = load i64, i64* %4
%40 = add i64 %39, 4
%41 = trunc i64 %40 to i32
%42 = call i64 @_br2_load(i32 %41, i32 8)
store i64 %42, i64* %6
%43 = load i64, i64* %4
%44 = add i64 %43, 8
%45 = trunc i64 %44 to i32
%46 = call i64 @_br2_load(i32 %45, i32 8)
store i64 %46, i64* %7
%47 = load i64, i64* %4
%48 = add i64 %47, 12
%49 = trunc i64 %48 to i32
%50 = call i64 @_br2_load(i32 %49, i32 8)
store i64 %50, i64* %8
%51 = load i64, i64* %4
%52 = add i64 %51, 16
%53 = trunc i64 %52 to i32
%54 = call i64 @_br2_load(i32 %53, i32 8)
store i64 %54, i64* %9
%55 = load i64, i64* %4
%56 = add i64 %55, 20
%57 = trunc i64 %56 to i32
%58 = call i64 @_br2_load(i32 %57, i32 8)
store i64 %58, i64* %10
%59 = load i64, i64* %4
%60 = add i64 %59, 24
%61 = trunc i64 %60 to i32
%62 = call i64 @_br2_load(i32 %61, i32 8)
store i64 %62, i64* %11
%63 = load i64, i64* %4
%64 = add i64 %63, 28
%65 = trunc i64 %64 to i32
%66 = call i64 @_br2_load(i32 %65, i32 8)
store i64 %66, i64* %12
%67 = load i64, i64* %4
%68 = add i64 %67, 32
%69 = trunc i64 %68 to i32
%70 = call i64 @_br2_load(i32 %69, i32 8)
store i64 %70, i64* %13
%71 = load i64, i64* %4
%72 = add i64 %71, 36
%73 = trunc i64 %72 to i32
%74 = call i64 @_br2_load(i32 %73, i32 8)
store i64 %74, i64* %14
%75 = load i64, i64* %5
%76 = sub i64 134217690, %75
store i64 %76, i64* %15
%77 = load i64, i64* %6
%78 = sub i64 67108862, %77
store i64 %78, i64* %16
%79 = load i64, i64* %7
%80 = sub i64 134217726, %79
store i64 %80, i64* %17
%81 = load i64, i64* %8
%82 = sub i64 67108862, %81
store i64 %82, i64* %18
%83 = load i64, i64* %9
%84 = sub i64 134217726, %83
store i64 %84, i64* %19
%85 = load i64, i64* %10
%86 = sub i64 67108862, %85
store i64 %86, i64* %20
%87 = load i64, i64* %11
%88 = sub i64 134217726, %87
store i64 %88, i64* %21
%89 = load i64, i64* %12
%90 = sub i64 67108862, %89
store i64 %90, i64* %22
%91 = load i64, i64* %13
%92 = sub i64 134217726, %91
store i64 %92, i64* %23
%93 = load i64, i64* %14
%94 = sub i64 67108862, %93
store i64 %94, i64* %24
%95 = load i64, i64* %15
store i64 %95, i64* %25
%96 = load i64, i64* %16
store i64 %96, i64* %26
%97 = load i64, i64* %17
store i64 %97, i64* %27
%98 = load i64, i64* %18
store i64 %98, i64* %28
%99 = load i64, i64* %19
store i64 %99, i64* %29
%100 = load i64, i64* %20
store i64 %100, i64* %30
%101 = load i64, i64* %21
store i64 %101, i64* %31
%102 = load i64, i64* %22
store i64 %102, i64* %32
%103 = load i64, i64* %23
store i64 %103, i64* %33
%104 = load i64, i64* %24
store i64 %104, i64* %34
%105 = load i64, i64* %3
%106 = add i64 %105, 0
%107 = trunc i64 %106 to i32
%108 = load i64, i64* %25
%109 = call i32 @_br2_store(i32 %107, i64 %108, i32 8)
%110 = load i64, i64* %3
%111 = add i64 %110, 4
%112 = trunc i64 %111 to i32
%113 = load i64, i64* %26
%114 = call i32 @_br2_store(i32 %112, i64 %113, i32 8)
%115 = load i64, i64* %3
%116 = add i64 %115, 8
%117 = trunc i64 %116 to i32
%118 = load i64, i64* %27
%119 = call i32 @_br2_store(i32 %117, i64 %118, i32 8)
%120 = load i64, i64* %3
%121 = add i64 %120, 12
%122 = trunc i64 %121 to i32
%123 = load i64, i64* %28
%124 = call i32 @_br2_store(i32 %122, i64 %123, i32 8)
%125 = load i64, i64* %3
%126 = add i64 %125, 16
%127 = trunc i64 %126 to i32
%128 = load i64, i64* %29
%129 = call i32 @_br2_store(i32 %127, i64 %128, i32 8)
%130 = load i64, i64* %3
%131 = add i64 %130, 20
%132 = trunc i64 %131 to i32
%133 = load i64, i64* %30
%134 = call i32 @_br2_store(i32 %132, i64 %133, i32 8)
%135 = load i64, i64* %3
%136 = add i64 %135, 24
%137 = trunc i64 %136 to i32
%138 = load i64, i64* %31
%139 = call i32 @_br2_store(i32 %137, i64 %138, i32 8)
%140 = load i64, i64* %3
%141 = add i64 %140, 28
%142 = trunc i64 %141 to i32
%143 = load i64, i64* %32
%144 = call i32 @_br2_store(i32 %142, i64 %143, i32 8)
%145 = load i64, i64* %3
%146 = add i64 %145, 32
%147 = trunc i64 %146 to i32
%148 = load i64, i64* %33
%149 = call i32 @_br2_store(i32 %147, i64 %148, i32 8)
%150 = load i64, i64* %3
%151 = add i64 %150, 36
%152 = trunc i64 %151 to i32
%153 = load i64, i64* %34
%154 = call i32 @_br2_store(i32 %152, i64 %153, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_25519_opp(i64 %0, i64 %1) {
%3 = trunc i64 %1 to i32
%4 = tail call i64 @_br2_load(i32 %3, i32 8)
%5 = add i32 %3, 4
%6 = tail call i64 @_br2_load(i32 %5, i32 8)
%7 = add i32 %3, 8
%8 = tail call i64 @_br2_load(i32 %7, i32 8)
%9 = add i32 %3, 12
%10 = tail call i64 @_br2_load(i32 %9, i32 8)
%11 = add i32 %3, 16
%12 = tail call i64 @_br2_load(i32 %11, i32 8)
%13 = add i32 %3, 20
%14 = tail call i64 @_br2_load(i32 %13, i32 8)
%15 = add i32 %3, 24
%16 = tail call i64 @_br2_load(i32 %15, i32 8)
%17 = add i32 %3, 28
%18 = tail call i64 @_br2_load(i32 %17, i32 8)
%19 = add i32 %3, 32
%20 = tail call i64 @_br2_load(i32 %19, i32 8)
%21 = add i32 %3, 36
%22 = tail call i64 @_br2_load(i32 %21, i32 8)
%23 = sub i64 134217690, %4
%24 = sub i64 67108862, %6
%25 = sub i64 134217726, %8
%26 = sub i64 67108862, %10
%27 = sub i64 134217726, %12
%28 = sub i64 67108862, %14
%29 = sub i64 134217726, %16
%30 = sub i64 67108862, %18
%31 = sub i64 134217726, %20
%32 = sub i64 67108862, %22
%33 = trunc i64 %0 to i32
%34 = tail call i32 @_br2_store(i32 %33, i64 %23, i32 8)
%35 = add i32 %33, 4
%36 = tail call i32 @_br2_store(i32 %35, i64 %24, i32 8)
%37 = add i32 %33, 8
%38 = tail call i32 @_br2_store(i32 %37, i64 %25, i32 8)
%39 = add i32 %33, 12
%40 = tail call i32 @_br2_store(i32 %39, i64 %26, i32 8)
%41 = add i32 %33, 16
%42 = tail call i32 @_br2_store(i32 %41, i64 %27, i32 8)
%43 = add i32 %33, 20
%44 = tail call i32 @_br2_store(i32 %43, i64 %28, i32 8)
%45 = add i32 %33, 24
%46 = tail call i32 @_br2_store(i32 %45, i64 %29, i32 8)
%47 = add i32 %33, 28
%48 = tail call i32 @_br2_store(i32 %47, i64 %30, i32 8)
%49 = add i32 %33, 32
%50 = tail call i32 @_br2_store(i32 %49, i64 %31, i32 8)
%51 = add i32 %33, 36
%52 = tail call i32 @_br2_store(i32 %51, i64 %32, i32 8)
ret void
}