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


x86 assembly (clang, -O0):
<internal_fiat_secp256k1_opp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x180,%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,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x14,%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,-0x68(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x78(%rbp)
xor    %eax,%eax
sub    -0x18(%rbp),%rax
mov    %rax,-0x90(%rbp)
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x90(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xa0(%rbp)
xor    %eax,%eax
sub    -0x28(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x30(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x30(%rbp),%rdx
cmp    -0xa0(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xb0(%rbp)
xor    %eax,%eax
sub    -0x38(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x40(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x40(%rbp),%rdx
cmp    -0xb0(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xc0(%rbp)
xor    %eax,%eax
sub    -0x48(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x50(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x50(%rbp),%rdx
cmp    -0xc0(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xd0(%rbp)
xor    %eax,%eax
sub    -0x58(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
xor    %ecx,%ecx
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)
xor    %eax,%eax
sub    -0x68(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x70(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x70(%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)
xor    %eax,%eax
sub    -0x78(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x80(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x80(%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,-0xf8(%rbp)
xor    %eax,%eax
cmp    -0x88(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x88(%rbp),%rcx
cmp    -0xf8(%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,-0x100(%rbp)
mov    -0x90(%rbp),%rax
movabs $0xfffffc2f,%rcx
and    -0x100(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x108(%rbp)
mov    -0x108(%rbp),%rax
cmp    -0x90(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0xa0(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
movabs $0xfffffffe,%rcx
and    -0x100(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x110(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0xa0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x110(%rbp),%rcx
movabs $0xfffffffe,%rdx
and    -0x100(%rbp),%rdx
cmp    %rdx,%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xb0(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x118(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0xb0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x118(%rbp),%rcx
cmp    -0x100(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xc0(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x120(%rbp),%rcx
cmp    -0x100(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xd0(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0xc8(%rbp),%rax
cmp    -0xd0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x128(%rbp),%rcx
cmp    -0x100(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xe0(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
add    -0x100(%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    -0x100(%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    -0x100(%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    -0x100(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xf8(%rbp),%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0x108(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x110(%rbp),%rax
mov    %rax,-0x150(%rbp)
mov    -0x118(%rbp),%rax
mov    %rax,-0x158(%rbp)
mov    -0x120(%rbp),%rax
mov    %rax,-0x160(%rbp)
mov    -0x128(%rbp),%rax
mov    %rax,-0x168(%rbp)
mov    -0x130(%rbp),%rax
mov    %rax,-0x170(%rbp)
mov    -0x138(%rbp),%rax
mov    %rax,-0x178(%rbp)
mov    -0x140(%rbp),%rax
mov    %rax,-0x180(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x148(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    -0x150(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x158(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    -0x160(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x168(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    -0x170(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x178(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x1c,%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_secp256k1_opp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rsi,%rbp
mov    %rdi,0x20(%rsp)
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x4(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0x8(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
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,%rbx
lea    0x14(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
lea    0x18(%rbp),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
add    $0x1c,%ebp
mov    %ebp,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r11
xor    %eax,%eax
mov    %r11,%rsi
neg    %rsi
setb   %al
mov    0x8(%rsp),%rcx
neg    %rcx
mov    %rcx,0x10(%rsp)
sbb    %r10,%r10
mov    0x18(%rsp),%rcx
sub    %rcx,%r10
neg    %rcx
sbb    %rdi,%rdi
cmp    %r10,%rcx
sbb    %r12,%rdi
neg    %r12
sbb    %rbp,%rbp
cmp    %rdi,%r12
sbb    %r13,%rbp
neg    %r13
sbb    %rdx,%rdx
cmp    %rbp,%r13
sbb    %rbx,%rdx
neg    %rbx
sbb    %r9,%r9
cmp    %rdx,%rbx
sbb    %r14,%r9
neg    %r14
sbb    %r8,%r8
cmp    %r9,%r14
sbb    %r15,%r8
neg    %r15
sbb    %r13,%r13
cmp    %r8,%r15
sbb    %r11,%r13
cmp    %r13,%rsi
sbb    %r14,%r14
mov    $0xfffffc2f,%esi
lea    0x3cf(%rsi),%rbx
xor    %r15d,%r15d
xor    %r11d,%r11d
cmp    %r14,%rax
cmove  %r15,%rsi
cmove  %r15,%rbx
setne  %r11b
mov    %r11,%rax
neg    %rax
sub    0x8(%rsp),%rsi
xor    %ecx,%ecx
cmp    0x10(%rsp),%rsi
setb   %cl
xor    %r12d,%r12d
add    %r10,%rcx
setb   %r12b
add    %rbx,%rcx
mov    %rcx,0x8(%rsp)
adc    %rdi,%r12
xor    %r14d,%r14d
cmp    %rdi,%r12
setb   %r14b
add    %rax,%r12
adc    %rbp,%r14
xor    %ebx,%ebx
cmp    %rbp,%r14
setb   %bl
add    %rax,%r14
adc    %rdx,%rbx
xor    %ebp,%ebp
cmp    %rdx,%rbx
setb   %bpl
add    %rax,%rbx
adc    %r9,%rbp
xor    %r15d,%r15d
cmp    %r9,%rbp
setb   %r15b
add    %rax,%rbp
adc    %r8,%r15
xor    %ecx,%ecx
cmp    %r8,%r15
setb   %cl
sub    %r11,%r13
add    %rax,%r15
adc    %r13,%rcx
mov    %rcx,0x10(%rsp)
mov    0x20(%rsp),%r13
mov    %r13d,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x4(%r13),%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%r13),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0xc(%r13),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%r13),%edi
mov    %rbx,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x14(%r13),%edi
mov    %rbp,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%r13),%edi
mov    %r15,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x1c,%r13d
mov    %r13d,%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
add    $0x28,%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_secp256k1_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
%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
store i64 %0, i64* %3
store i64 %1, i64* %4
%51 = load i64, i64* %4
%52 = add i64 %51, 0
%53 = trunc i64 %52 to i32
%54 = call i64 @_br2_load(i32 %53, i32 8)
store i64 %54, i64* %5
%55 = load i64, i64* %4
%56 = add i64 %55, 4
%57 = trunc i64 %56 to i32
%58 = call i64 @_br2_load(i32 %57, i32 8)
store i64 %58, i64* %6
%59 = load i64, i64* %4
%60 = add i64 %59, 8
%61 = trunc i64 %60 to i32
%62 = call i64 @_br2_load(i32 %61, i32 8)
store i64 %62, i64* %7
%63 = load i64, i64* %4
%64 = add i64 %63, 12
%65 = trunc i64 %64 to i32
%66 = call i64 @_br2_load(i32 %65, i32 8)
store i64 %66, i64* %9
%67 = load i64, i64* %4
%68 = add i64 %67, 16
%69 = trunc i64 %68 to i32
%70 = call i64 @_br2_load(i32 %69, i32 8)
store i64 %70, i64* %11
%71 = load i64, i64* %4
%72 = add i64 %71, 20
%73 = trunc i64 %72 to i32
%74 = call i64 @_br2_load(i32 %73, i32 8)
store i64 %74, i64* %13
%75 = load i64, i64* %4
%76 = add i64 %75, 24
%77 = trunc i64 %76 to i32
%78 = call i64 @_br2_load(i32 %77, i32 8)
store i64 %78, i64* %15
%79 = load i64, i64* %4
%80 = add i64 %79, 28
%81 = trunc i64 %80 to i32
%82 = call i64 @_br2_load(i32 %81, i32 8)
store i64 %82, i64* %17
%83 = load i64, i64* %5
%84 = sub i64 0, %83
store i64 %84, i64* %20
%85 = load i64, i64* %6
%86 = sub i64 0, %85
store i64 %86, i64* %8
%87 = load i64, i64* %8
%88 = load i64, i64* %20
%89 = icmp ult i64 0, %88
%90 = zext i1 %89 to i32
%91 = sext i32 %90 to i64
%92 = sub i64 %87, %91
store i64 %92, i64* %22
%93 = load i64, i64* %7
%94 = sub i64 0, %93
store i64 %94, i64* %10
%95 = load i64, i64* %10
%96 = load i64, i64* %8
%97 = icmp ult i64 0, %96
%98 = zext i1 %97 to i32
%99 = load i64, i64* %8
%100 = load i64, i64* %22
%101 = icmp ult i64 %99, %100
%102 = zext i1 %101 to i32
%103 = add nsw i32 %98, %102
%104 = sext i32 %103 to i64
%105 = sub i64 %95, %104
store i64 %105, i64* %24
%106 = load i64, i64* %9
%107 = sub i64 0, %106
store i64 %107, i64* %12
%108 = load i64, i64* %12
%109 = load i64, i64* %10
%110 = icmp ult i64 0, %109
%111 = zext i1 %110 to i32
%112 = load i64, i64* %10
%113 = load i64, i64* %24
%114 = icmp ult i64 %112, %113
%115 = zext i1 %114 to i32
%116 = add nsw i32 %111, %115
%117 = sext i32 %116 to i64
%118 = sub i64 %108, %117
store i64 %118, i64* %26
%119 = load i64, i64* %11
%120 = sub i64 0, %119
store i64 %120, i64* %14
%121 = load i64, i64* %14
%122 = load i64, i64* %12
%123 = icmp ult i64 0, %122
%124 = zext i1 %123 to i32
%125 = load i64, i64* %12
%126 = load i64, i64* %26
%127 = icmp ult i64 %125, %126
%128 = zext i1 %127 to i32
%129 = add nsw i32 %124, %128
%130 = sext i32 %129 to i64
%131 = sub i64 %121, %130
store i64 %131, i64* %28
%132 = load i64, i64* %13
%133 = sub i64 0, %132
store i64 %133, i64* %16
%134 = load i64, i64* %16
%135 = load i64, i64* %14
%136 = icmp ult i64 0, %135
%137 = zext i1 %136 to i32
%138 = load i64, i64* %14
%139 = load i64, i64* %28
%140 = icmp ult i64 %138, %139
%141 = zext i1 %140 to i32
%142 = add nsw i32 %137, %141
%143 = sext i32 %142 to i64
%144 = sub i64 %134, %143
store i64 %144, i64* %30
%145 = load i64, i64* %15
%146 = sub i64 0, %145
store i64 %146, i64* %18
%147 = load i64, i64* %18
%148 = load i64, i64* %16
%149 = icmp ult i64 0, %148
%150 = zext i1 %149 to i32
%151 = load i64, i64* %16
%152 = load i64, i64* %30
%153 = icmp ult i64 %151, %152
%154 = zext i1 %153 to i32
%155 = add nsw i32 %150, %154
%156 = sext i32 %155 to i64
%157 = sub i64 %147, %156
store i64 %157, i64* %32
%158 = load i64, i64* %17
%159 = sub i64 0, %158
store i64 %159, i64* %19
%160 = load i64, i64* %19
%161 = load i64, i64* %18
%162 = icmp ult i64 0, %161
%163 = zext i1 %162 to i32
%164 = load i64, i64* %18
%165 = load i64, i64* %32
%166 = icmp ult i64 %164, %165
%167 = zext i1 %166 to i32
%168 = add nsw i32 %163, %167
%169 = sext i32 %168 to i64
%170 = sub i64 %160, %169
store i64 %170, i64* %33
%171 = load i64, i64* %19
%172 = icmp ult i64 0, %171
%173 = zext i1 %172 to i32
%174 = load i64, i64* %19
%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 = icmp eq i64 %179, 0
%181 = zext i1 %180 to i32
%182 = sext i32 %181 to i64
%183 = add i64 -1, %182
store i64 %183, i64* %34
%184 = load i64, i64* %20
%185 = load i64, i64* %34
%186 = and i64 %185, 4294966319
%187 = add i64 %184, %186
store i64 %187, i64* %35
%188 = load i64, i64* %35
%189 = load i64, i64* %20
%190 = icmp ult i64 %188, %189
%191 = zext i1 %190 to i32
%192 = sext i32 %191 to i64
%193 = load i64, i64* %22
%194 = add i64 %192, %193
store i64 %194, i64* %21
%195 = load i64, i64* %21
%196 = load i64, i64* %34
%197 = and i64 %196, 4294967294
%198 = add i64 %195, %197
store i64 %198, i64* %36
%199 = load i64, i64* %21
%200 = load i64, i64* %22
%201 = icmp ult i64 %199, %200
%202 = zext i1 %201 to i32
%203 = load i64, i64* %36
%204 = load i64, i64* %34
%205 = and i64 %204, 4294967294
%206 = icmp ult i64 %203, %205
%207 = zext i1 %206 to i32
%208 = add nsw i32 %202, %207
%209 = sext i32 %208 to i64
%210 = load i64, i64* %24
%211 = add i64 %209, %210
store i64 %211, i64* %23
%212 = load i64, i64* %23
%213 = load i64, i64* %34
%214 = add i64 %212, %213
store i64 %214, i64* %37
%215 = load i64, i64* %23
%216 = load i64, i64* %24
%217 = icmp ult i64 %215, %216
%218 = zext i1 %217 to i32
%219 = load i64, i64* %37
%220 = load i64, i64* %34
%221 = icmp ult i64 %219, %220
%222 = zext i1 %221 to i32
%223 = add nsw i32 %218, %222
%224 = sext i32 %223 to i64
%225 = load i64, i64* %26
%226 = add i64 %224, %225
store i64 %226, i64* %25
%227 = load i64, i64* %25
%228 = load i64, i64* %34
%229 = add i64 %227, %228
store i64 %229, i64* %38
%230 = load i64, i64* %25
%231 = load i64, i64* %26
%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* %28
%241 = add i64 %239, %240
store i64 %241, i64* %27
%242 = load i64, i64* %27
%243 = load i64, i64* %34
%244 = add i64 %242, %243
store i64 %244, i64* %39
%245 = load i64, i64* %27
%246 = load i64, i64* %28
%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* %30
%256 = add i64 %254, %255
store i64 %256, i64* %29
%257 = load i64, i64* %29
%258 = load i64, i64* %34
%259 = add i64 %257, %258
store i64 %259, i64* %40
%260 = load i64, i64* %29
%261 = load i64, i64* %30
%262 = icmp ult i64 %260, %261
%263 = zext i1 %262 to i32
%264 = load i64, i64* %40
%265 = load i64, i64* %34
%266 = icmp ult i64 %264, %265
%267 = zext i1 %266 to i32
%268 = add nsw i32 %263, %267
%269 = sext i32 %268 to i64
%270 = load i64, i64* %32
%271 = add i64 %269, %270
store i64 %271, i64* %31
%272 = load i64, i64* %31
%273 = load i64, i64* %34
%274 = add i64 %272, %273
store i64 %274, i64* %41
%275 = load i64, i64* %31
%276 = load i64, i64* %32
%277 = icmp ult i64 %275, %276
%278 = zext i1 %277 to i32
%279 = load i64, i64* %41
%280 = load i64, i64* %34
%281 = icmp ult i64 %279, %280
%282 = zext i1 %281 to i32
%283 = add nsw i32 %278, %282
%284 = sext i32 %283 to i64
%285 = load i64, i64* %33
%286 = add i64 %284, %285
%287 = load i64, i64* %34
%288 = add i64 %286, %287
store i64 %288, i64* %42
%289 = load i64, i64* %35
store i64 %289, i64* %43
%290 = load i64, i64* %36
store i64 %290, i64* %44
%291 = load i64, i64* %37
store i64 %291, i64* %45
%292 = load i64, i64* %38
store i64 %292, i64* %46
%293 = load i64, i64* %39
store i64 %293, i64* %47
%294 = load i64, i64* %40
store i64 %294, i64* %48
%295 = load i64, i64* %41
store i64 %295, i64* %49
%296 = load i64, i64* %42
store i64 %296, i64* %50
%297 = load i64, i64* %3
%298 = add i64 %297, 0
%299 = trunc i64 %298 to i32
%300 = load i64, i64* %43
%301 = call i32 @_br2_store(i32 %299, i64 %300, i32 8)
%302 = load i64, i64* %3
%303 = add i64 %302, 4
%304 = trunc i64 %303 to i32
%305 = load i64, i64* %44
%306 = call i32 @_br2_store(i32 %304, i64 %305, i32 8)
%307 = load i64, i64* %3
%308 = add i64 %307, 8
%309 = trunc i64 %308 to i32
%310 = load i64, i64* %45
%311 = call i32 @_br2_store(i32 %309, i64 %310, i32 8)
%312 = load i64, i64* %3
%313 = add i64 %312, 12
%314 = trunc i64 %313 to i32
%315 = load i64, i64* %46
%316 = call i32 @_br2_store(i32 %314, i64 %315, i32 8)
%317 = load i64, i64* %3
%318 = add i64 %317, 16
%319 = trunc i64 %318 to i32
%320 = load i64, i64* %47
%321 = call i32 @_br2_store(i32 %319, i64 %320, i32 8)
%322 = load i64, i64* %3
%323 = add i64 %322, 20
%324 = trunc i64 %323 to i32
%325 = load i64, i64* %48
%326 = call i32 @_br2_store(i32 %324, i64 %325, i32 8)
%327 = load i64, i64* %3
%328 = add i64 %327, 24
%329 = trunc i64 %328 to i32
%330 = load i64, i64* %49
%331 = call i32 @_br2_store(i32 %329, i64 %330, i32 8)
%332 = load i64, i64* %3
%333 = add i64 %332, 28
%334 = trunc i64 %333 to i32
%335 = load i64, i64* %50
%336 = call i32 @_br2_store(i32 %334, i64 %335, i32 8)
ret void
}

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