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


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

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

LLVM IR (-O2):
define void @internal_fiat_p224_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 = 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 = zext i1 %61 to i64
%64 = sub i64 %63, %4
%65 = icmp ult i64 %64, %22
%66 = zext i1 %65 to i64
%67 = add i64 %26, %66
%68 = icmp ult i64 %67, %26
%69 = zext i1 %68 to i64
%70 = add i64 %32, %69
%71 = icmp ult i64 %70, %32
%72 = zext i1 %71 to i64
%73 = add i64 %38, %72
%74 = add i64 %73, %62
%75 = icmp ult i64 %73, %38
%76 = zext i1 %75 to i64
%77 = icmp ult i64 %74, %62
%78 = zext i1 %77 to i64
%79 = add i64 %44, %76
%80 = add i64 %79, %78
%81 = add i64 %80, %62
%82 = icmp ult i64 %80, %44
%83 = zext i1 %82 to i64
%84 = icmp ult i64 %81, %62
%85 = zext i1 %84 to i64
%86 = add i64 %50, %83
%87 = add i64 %86, %85
%88 = add i64 %87, %62
%89 = icmp ult i64 %87, %50
%90 = zext i1 %89 to i64
%91 = icmp ult i64 %88, %62
%92 = zext i1 %91 to i64
%93 = add i64 %56, %62
%94 = add i64 %93, %90
%95 = add i64 %94, %92
%96 = trunc i64 %0 to i32
%97 = tail call i32 @_br2_store(i32 %96, i64 %64, i32 8)
%98 = add i32 %96, 4
%99 = tail call i32 @_br2_store(i32 %98, i64 %67, i32 8)
%100 = add i32 %96, 8
%101 = tail call i32 @_br2_store(i32 %100, i64 %70, i32 8)
%102 = add i32 %96, 12
%103 = tail call i32 @_br2_store(i32 %102, i64 %74, i32 8)
%104 = add i32 %96, 16
%105 = tail call i32 @_br2_store(i32 %104, i64 %81, i32 8)
%106 = add i32 %96, 20
%107 = tail call i32 @_br2_store(i32 %106, i64 %88, i32 8)
%108 = add i32 %96, 24
%109 = tail call i32 @_br2_store(i32 %108, i64 %95, i32 8)
ret void
}