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


x86 assembly (clang, -O0):
<internal_fiat_secp256k1_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x160,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%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,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%rbp)
mov    -0x18(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0xb8(%rbp),%rcx
cmp    -0x40(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0x50(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x50(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0xd8(%rbp),%rcx
cmp    -0x58(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
add    -0x68(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x68(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x100(%rbp),%rcx
cmp    -0x70(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
cltq
mov    %rax,-0x88(%rbp)
mov    -0x98(%rbp),%rax
movabs $0xfffffffefffffc2f,%rcx
ff ff ff
sub    %rcx,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xb8(%rbp),%rax
sub    $0xffffffffffffffff,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    -0x98(%rbp),%rcx
cmp    -0xa8(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0xc8(%rbp)
mov    -0xd8(%rbp),%rax
sub    $0xffffffffffffffff,%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
mov    -0xb8(%rbp),%rcx
cmp    -0x78(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x78(%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,-0xe8(%rbp)
mov    -0x100(%rbp),%rax
sub    $0xffffffffffffffff,%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
mov    -0xd8(%rbp),%rcx
cmp    -0x80(%rbp),%rcx
setb   %cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    -0x80(%rbp),%rdx
cmp    -0xe8(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
add    %edx,%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x110(%rbp)
mov    -0x88(%rbp),%rax
mov    -0x88(%rbp),%rcx
mov    -0x100(%rbp),%rdx
cmp    -0x90(%rbp),%rdx
setb   %dl
and    $0x1,%dl
movzbl %dl,%edx
mov    -0x90(%rbp),%rsi
cmp    -0x110(%rbp),%rsi
setb   %sil
and    $0x1,%sil
movzbl %sil,%esi
add    %esi,%edx
movslq %edx,%rdx
sub    %rdx,%rcx
cmp    %rcx,%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0xf8(%rbp)
cmpq   $0x0,-0xf8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0xb0(%rbp)
mov    -0x98(%rbp),%rax
and    -0xa0(%rbp),%rax
mov    -0xa8(%rbp),%rcx
and    -0xb0(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x120(%rbp)
cmpq   $0x0,-0xf8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc0(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0xd0(%rbp)
mov    -0xb8(%rbp),%rax
and    -0xc0(%rbp),%rax
mov    -0xc8(%rbp),%rcx
and    -0xd0(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x128(%rbp)
cmpq   $0x0,-0xf8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0xf0(%rbp)
mov    -0xd8(%rbp),%rax
and    -0xe0(%rbp),%rax
mov    -0xe8(%rbp),%rcx
and    -0xf0(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x130(%rbp)
cmpq   $0x0,-0xf8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x108(%rbp)
mov    -0x108(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x118(%rbp)
mov    -0x100(%rbp),%rax
and    -0x108(%rbp),%rax
mov    -0x110(%rbp),%rcx
and    -0x118(%rbp),%rcx
or     %rcx,%rax
mov    %rax,-0x138(%rbp)
mov    -0x120(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0x128(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x130(%rbp),%rax
mov    %rax,-0x150(%rbp)
mov    -0x138(%rbp),%rax
mov    %rax,-0x158(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x140(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%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    $0x18,%rax
mov    %eax,%edi
mov    -0x158(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x160,%rsp
pop    %rbp
ret

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

LLVM IR (-O2):
define void @internal_fiat_secp256k1_add(i64 %0, i64 %1, i64 %2) {
%4 = trunc i64 %1 to i32
%5 = tail call i64 @_br2_load(i32 %4, i32 8)
%6 = add i32 %4, 8
%7 = tail call i64 @_br2_load(i32 %6, i32 8)
%8 = add i32 %4, 16
%9 = tail call i64 @_br2_load(i32 %8, i32 8)
%10 = add i32 %4, 24
%11 = tail call i64 @_br2_load(i32 %10, i32 8)
%12 = trunc i64 %2 to i32
%13 = tail call i64 @_br2_load(i32 %12, i32 8)
%14 = add i32 %12, 8
%15 = tail call i64 @_br2_load(i32 %14, i32 8)
%16 = add i32 %12, 16
%17 = tail call i64 @_br2_load(i32 %16, i32 8)
%18 = add i32 %12, 24
%19 = tail call i64 @_br2_load(i32 %18, i32 8)
%20 = add i64 %13, %5
%21 = icmp ult i64 %20, %5
%22 = zext i1 %21 to i64
%23 = add i64 %7, %22
%24 = add i64 %23, %15
%25 = icmp ult i64 %23, %7
%26 = zext i1 %25 to i64
%27 = icmp ult i64 %24, %15
%28 = zext i1 %27 to i64
%29 = add i64 %9, %26
%30 = add i64 %29, %28
%31 = add i64 %30, %17
%32 = icmp ult i64 %30, %9
%33 = zext i1 %32 to i64
%34 = icmp ult i64 %31, %17
%35 = zext i1 %34 to i64
%36 = add i64 %11, %33
%37 = add i64 %36, %35
%38 = add i64 %37, %19
%39 = icmp ult i64 %37, %11
%40 = zext i1 %39 to i64
%41 = icmp ult i64 %38, %19
%42 = zext i1 %41 to i64
%43 = add nuw nsw i64 %42, %40
%44 = add i64 %20, 4294968273
%45 = add i64 %24, 1
%46 = icmp ult i64 %20, -4294968273
%47 = sext i1 %46 to i64
%48 = add i64 %45, %47
%49 = add i64 %31, 1
%50 = icmp ne i64 %24, -1
%51 = sext i1 %50 to i64
%52 = icmp ult i64 %45, %48
%53 = sext i1 %52 to i64
%54 = add nsw i64 %53, %51
%55 = add i64 %54, %49
%56 = add i64 %38, 1
%57 = icmp ne i64 %31, -1
%58 = sext i1 %57 to i64
%59 = icmp ult i64 %49, %55
%60 = sext i1 %59 to i64
%61 = add nsw i64 %60, %58
%62 = add i64 %61, %56
%63 = icmp ne i64 %38, -1
%64 = sext i1 %63 to i64
%65 = icmp ult i64 %56, %62
%66 = sext i1 %65 to i64
%67 = add nsw i64 %43, %64
%68 = add nsw i64 %67, %66
%69 = icmp ult i64 %43, %68
%70 = select i1 %69, i64 %20, i64 %44
%71 = select i1 %69, i64 %24, i64 %48
%72 = select i1 %69, i64 %31, i64 %55
%73 = select i1 %69, i64 %38, i64 %62
%74 = trunc i64 %0 to i32
%75 = tail call i32 @_br2_store(i32 %74, i64 %70, i32 8)
%76 = add i32 %74, 8
%77 = tail call i32 @_br2_store(i32 %76, i64 %71, i32 8)
%78 = add i32 %74, 16
%79 = tail call i32 @_br2_store(i32 %78, i64 %72, i32 8)
%80 = add i32 %74, 24
%81 = tail call i32 @_br2_store(i32 %80, i64 %73, i32 8)
ret void
}