#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 x32;
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_p256_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, x14, x16, x18, x32, x20, x22, x23, x24, x26, x28,
      x29, x30, x31, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42;
  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);
  x25 = ((x24) < (x8)) + (x10);
  x26 = (x25) + (x23);
  x27 = (((x25) < (x10)) + ((x26) < (x23))) + (x12);
  x28 = (x27) + (x23);
  x29 = (((x27) < (x12)) + ((x28) < (x23))) + (x14);
  x30 = ((x29) < (x14)) + (x16);
  x31 = ((x30) < (x16)) + (x18);
  x32 = ((x31) < (x18)) + (x20);
  x33 = (x32) + ((x23) & ((uintptr_t)1ULL));
  x34 = ((((x32) < (x20)) + ((x33) < ((x23) & ((uintptr_t)1ULL)))) + (x22)) +
        (x23);
  x35 = x24;
  x36 = x26;
  x37 = x28;
  x38 = x29;
  x39 = x30;
  x40 = x31;
  x41 = x33;
  x42 = x34;
  _br2_store((out0) + ((uintptr_t)0ULL), x35, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x36, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x37, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x38, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x39, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)20ULL), x40, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x41, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)28ULL), x42, sizeof(uintptr_t));
  return;
}


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

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

LLVM IR (-O2):
define void @internal_fiat_p256_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 = sub i64 %71, %4
%73 = icmp ult i64 %72, %25
%74 = zext i1 %73 to i64
%75 = add i64 %29, %74
%76 = add i64 %75, %71
%77 = icmp ult i64 %75, %29
%78 = zext i1 %77 to i64
%79 = icmp ult i64 %76, %71
%80 = zext i1 %79 to i64
%81 = add i64 %35, %78
%82 = add i64 %81, %80
%83 = add i64 %82, %71
%84 = icmp ult i64 %82, %35
%85 = zext i1 %84 to i64
%86 = icmp ult i64 %83, %71
%87 = zext i1 %86 to i64
%88 = add i64 %41, %85
%89 = add i64 %88, %87
%90 = icmp ult i64 %89, %41
%91 = zext i1 %90 to i64
%92 = add i64 %47, %91
%93 = icmp ult i64 %92, %47
%94 = zext i1 %93 to i64
%95 = add i64 %53, %94
%96 = icmp ult i64 %95, %53
%97 = zext i1 %96 to i64
%98 = add i64 %59, %97
%99 = zext i1 %70 to i64
%100 = add i64 %98, %99
%101 = icmp ult i64 %98, %59
%102 = zext i1 %101 to i64
%103 = icmp ult i64 %100, %99
%104 = zext i1 %103 to i64
%105 = add i64 %65, %71
%106 = add i64 %105, %102
%107 = add i64 %106, %104
%108 = trunc i64 %0 to i32
%109 = tail call i32 @_br2_store(i32 %108, i64 %72, i32 8)
%110 = add i32 %108, 4
%111 = tail call i32 @_br2_store(i32 %110, i64 %76, i32 8)
%112 = add i32 %108, 8
%113 = tail call i32 @_br2_store(i32 %112, i64 %83, i32 8)
%114 = add i32 %108, 12
%115 = tail call i32 @_br2_store(i32 %114, i64 %89, i32 8)
%116 = add i32 %108, 16
%117 = tail call i32 @_br2_store(i32 %116, i64 %92, i32 8)
%118 = add i32 %108, 20
%119 = tail call i32 @_br2_store(i32 %118, i64 %95, i32 8)
%120 = add i32 %108, 24
%121 = tail call i32 @_br2_store(i32 %120, i64 %100, i32 8)
%122 = add i32 %108, 28
%123 = tail call i32 @_br2_store(i32 %122, i64 %107, i32 8)
ret void
}