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


x86 assembly (clang, -O0):
<internal_fiat_p434_opp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x150,%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    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
xor    %eax,%eax
sub    -0x18(%rbp),%rax
mov    %rax,-0x80(%rbp)
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x80(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x90(%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    -0x90(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xa0(%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    -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    -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    -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    -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,-0xd0(%rbp)
xor    %eax,%eax
sub    -0x68(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
xor    %ecx,%ecx
cmp    -0x70(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x70(%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,-0xd8(%rbp)
xor    %eax,%eax
cmp    -0x78(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x78(%rbp),%rcx
cmp    -0xd8(%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,-0xe0(%rbp)
mov    -0x80(%rbp),%rax
add    -0xe0(%rbp),%rax
mov    %rax,-0xe8(%rbp)
mov    -0xe8(%rbp),%rax
cmp    -0x80(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x90(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
add    -0xe0(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x90(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0xf0(%rbp),%rcx
cmp    -0xe0(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xa0(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
add    -0xe0(%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    -0xe0(%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
movabs $0xfdc1767ae2ffffff,%rcx
76 c1 fd
and    -0xe0(%rbp),%rcx
add    %rcx,%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
movabs $0xfdc1767ae2ffffff,%rdx
76 c1 fd
and    -0xe0(%rbp),%rdx
cmp    %rdx,%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
movabs $0x7bc65c783158aea3,%rcx
5c c6 7b
and    -0xe0(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x108(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x108(%rbp),%rcx
movabs $0x7bc65c783158aea3,%rdx
5c c6 7b
and    -0xe0(%rbp),%rdx
cmp    %rdx,%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
movabs $0x6cfc5fd681c52056,%rcx
5f fc 6c
and    -0xe0(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x110(%rbp)
mov    -0xc8(%rbp),%rax
cmp    -0xd0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x110(%rbp),%rcx
movabs $0x6cfc5fd681c52056,%rdx
5f fc 6c
and    -0xe0(%rbp),%rdx
cmp    %rdx,%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0xd8(%rbp),%rax
movabs $0x2341f27177344,%rcx
and    -0xe0(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x118(%rbp)
mov    -0xe8(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0xf0(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0xf8(%rbp),%rax
mov    %rax,-0x130(%rbp)
mov    -0x100(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0x108(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0x110(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x118(%rbp),%rax
mov    %rax,-0x150(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x120(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%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    $0x18,%rax
mov    %eax,%edi
mov    -0x138(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0x140(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    -0x148(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    -0x150(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x150,%rsp
pop    %rbp
ret

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

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