#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 x7;
typedef uintptr_t x69;
typedef uintptr_t x67;
typedef uintptr_t x65;
typedef uintptr_t x63;
typedef uintptr_t x61;
typedef uintptr_t x59;
typedef uintptr_t x56;
typedef uintptr_t x54;
typedef uintptr_t x52;
typedef uintptr_t x50;
typedef uintptr_t x5;
typedef uintptr_t x48;
typedef uintptr_t x45;
typedef uintptr_t x43;
typedef uintptr_t x41;
typedef uintptr_t x39;
typedef uintptr_t x37;
typedef uintptr_t x36;
typedef uintptr_t x34;
typedef uintptr_t x33;
typedef uintptr_t x32;
typedef uintptr_t x3;
typedef uintptr_t x28;
typedef uintptr_t x27;
typedef uintptr_t x26;
typedef uintptr_t x25;
typedef uintptr_t x24;
typedef uintptr_t x22;
typedef uintptr_t x21;
typedef uintptr_t x2;
typedef uintptr_t x16;
typedef uintptr_t x15;
typedef uintptr_t x14;
typedef uintptr_t x1;
typedef uintptr_t x0;
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_poly1305_to_bytes(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x4, x3, x1, x6, x7, x8, x10, x11, x9, x2, x13, x14, x15, x17,
      x18, x16, x20, x5, x22, x23, x25, x12, x26, x27, x29, x28, x30, x32, x19,
      x33, x21, x34, x35, x31, x24, x39, x41, x43, x45, x37, x47, x48, x50, x52,
      x54, x56, x36, x58, x59, x61, x63, x65, x67, x69, x38, x40, x42, x44, x46,
      x49, x51, x53, x55, x57, x60, x62, x64, x66, x68, x70, x71, x72, x73, x74,
      x75, x76, x77, x78, x79, x80, x81, x82, x83, x84, x85, x86, x87, x88;
  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 = (x0) - ((uintptr_t)17592186044411ULL);
  x4 = (x0) < (x3);
  x5 = (x3) & ((uintptr_t)17592186044415ULL);
  x6 = ((x4) << ((uintptr_t)20ULL)) - ((x3) >> ((uintptr_t)44ULL));
  x7 = (x1) - ((uintptr_t)8796093022207ULL);
  x8 = (x1) < (x7);
  x9 = (x7) - (x6);
  x10 = (x7) < (x9);
  x11 = (x8) + (x10);
  x12 = (x9) & ((uintptr_t)8796093022207ULL);
  x13 = ((x11) << ((uintptr_t)21ULL)) - ((x9) >> ((uintptr_t)43ULL));
  x14 = (x2) - ((uintptr_t)8796093022207ULL);
  x15 = (x2) < (x14);
  x16 = (x14) - (x13);
  x17 = (x14) < (x16);
  x18 = (x15) + (x17);
  x19 = (x16) & ((uintptr_t)8796093022207ULL);
  x20 = ((x18) << ((uintptr_t)21ULL)) - ((x16) >> ((uintptr_t)43ULL));
  x21 = ((uintptr_t)-1ULL) + ((x20) == ((uintptr_t)0ULL));
  x22 = (x5) + ((x21) & ((uintptr_t)17592186044411ULL));
  x23 = (x22) < (x5);
  x24 = (x22) & ((uintptr_t)17592186044415ULL);
  x25 = ((x22) >> ((uintptr_t)44ULL)) + ((x23) << ((uintptr_t)20ULL));
  x26 = (x25) + (x12);
  x27 = (x26) < (x12);
  x28 = (x26) + ((x21) & ((uintptr_t)8796093022207ULL));
  x29 = (x28) < ((x21) & ((uintptr_t)8796093022207ULL));
  x30 = (x27) + (x29);
  x31 = (x28) & ((uintptr_t)8796093022207ULL);
  x32 = ((x28) >> ((uintptr_t)43ULL)) + ((x30) << ((uintptr_t)21ULL));
  x33 = (x32) + (x19);
  x34 = (x33) + ((x21) & ((uintptr_t)8796093022207ULL));
  x35 = (x34) & ((uintptr_t)8796093022207ULL);
  x36 = (x35) << ((uintptr_t)7ULL);
  x37 = (x31) << ((uintptr_t)4ULL);
  x38 = (x24) & ((uintptr_t)255ULL);
  x39 = (x24) >> ((uintptr_t)8ULL);
  x40 = (x39) & ((uintptr_t)255ULL);
  x41 = (x39) >> ((uintptr_t)8ULL);
  x42 = (x41) & ((uintptr_t)255ULL);
  x43 = (x41) >> ((uintptr_t)8ULL);
  x44 = (x43) & ((uintptr_t)255ULL);
  x45 = (x43) >> ((uintptr_t)8ULL);
  x46 = (x45) & ((uintptr_t)255ULL);
  x47 = (x45) >> ((uintptr_t)8ULL);
  x48 = (x37) + (x47);
  x49 = (x48) & ((uintptr_t)255ULL);
  x50 = (x48) >> ((uintptr_t)8ULL);
  x51 = (x50) & ((uintptr_t)255ULL);
  x52 = (x50) >> ((uintptr_t)8ULL);
  x53 = (x52) & ((uintptr_t)255ULL);
  x54 = (x52) >> ((uintptr_t)8ULL);
  x55 = (x54) & ((uintptr_t)255ULL);
  x56 = (x54) >> ((uintptr_t)8ULL);
  x57 = (x56) & ((uintptr_t)255ULL);
  x58 = (x56) >> ((uintptr_t)8ULL);
  x59 = (x36) + (x58);
  x60 = (x59) & ((uintptr_t)255ULL);
  x61 = (x59) >> ((uintptr_t)8ULL);
  x62 = (x61) & ((uintptr_t)255ULL);
  x63 = (x61) >> ((uintptr_t)8ULL);
  x64 = (x63) & ((uintptr_t)255ULL);
  x65 = (x63) >> ((uintptr_t)8ULL);
  x66 = (x65) & ((uintptr_t)255ULL);
  x67 = (x65) >> ((uintptr_t)8ULL);
  x68 = (x67) & ((uintptr_t)255ULL);
  x69 = (x67) >> ((uintptr_t)8ULL);
  x70 = (x69) & ((uintptr_t)255ULL);
  x71 = (x69) >> ((uintptr_t)8ULL);
  x72 = x38;
  x73 = x40;
  x74 = x42;
  x75 = x44;
  x76 = x46;
  x77 = x49;
  x78 = x51;
  x79 = x53;
  x80 = x55;
  x81 = x57;
  x82 = x60;
  x83 = x62;
  x84 = x64;
  x85 = x66;
  x86 = x68;
  x87 = x70;
  x88 = x71;
  _br2_store((out0) + ((uintptr_t)0ULL), x72, 1);
  _br2_store((out0) + ((uintptr_t)1ULL), x73, 1);
  _br2_store((out0) + ((uintptr_t)2ULL), x74, 1);
  _br2_store((out0) + ((uintptr_t)3ULL), x75, 1);
  _br2_store((out0) + ((uintptr_t)4ULL), x76, 1);
  _br2_store((out0) + ((uintptr_t)5ULL), x77, 1);
  _br2_store((out0) + ((uintptr_t)6ULL), x78, 1);
  _br2_store((out0) + ((uintptr_t)7ULL), x79, 1);
  _br2_store((out0) + ((uintptr_t)8ULL), x80, 1);
  _br2_store((out0) + ((uintptr_t)9ULL), x81, 1);
  _br2_store((out0) + ((uintptr_t)10ULL), x82, 1);
  _br2_store((out0) + ((uintptr_t)11ULL), x83, 1);
  _br2_store((out0) + ((uintptr_t)12ULL), x84, 1);
  _br2_store((out0) + ((uintptr_t)13ULL), x85, 1);
  _br2_store((out0) + ((uintptr_t)14ULL), x86, 1);
  _br2_store((out0) + ((uintptr_t)15ULL), x87, 1);
  _br2_store((out0) + ((uintptr_t)16ULL), x88, 1);
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_poly1305_to_bytes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2e0,%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,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
movabs $0xffffffffffb,%rcx
sub    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x20(%rbp)
movabs $0xfffffffffff,%rax
and    -0x28(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x14,%rax
mov    -0x28(%rbp),%rcx
shr    $0x2c,%rcx
sub    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
movabs $0x7ffffffffff,%rcx
sub    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x40(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x60(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
add    -0x50(%rbp),%rax
mov    %rax,-0x58(%rbp)
movabs $0x7ffffffffff,%rax
and    -0x60(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0x58(%rbp),%rax
shl    $0x15,%rax
mov    -0x60(%rbp),%rcx
shr    $0x2b,%rcx
sub    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
movabs $0x7ffffffffff,%rcx
sub    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x78(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rax
sub    -0x70(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x98(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x88(%rbp)
mov    -0x80(%rbp),%rax
add    -0x88(%rbp),%rax
mov    %rax,-0x90(%rbp)
movabs $0x7ffffffffff,%rax
and    -0x98(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0x90(%rbp),%rax
shl    $0x15,%rax
mov    -0x98(%rbp),%rcx
shr    $0x2b,%rcx
sub    %rcx,%rax
mov    %rax,-0xa0(%rbp)
cmpq   $0x0,-0xa0(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    $0xffffffffffffffff,%rax
mov    %rax,-0x110(%rbp)
mov    -0xa8(%rbp),%rax
movabs $0xffffffffffb,%rcx
and    -0x110(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
cmp    -0xa8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0xb8(%rbp)
movabs $0xfffffffffff,%rax
and    -0xb0(%rbp),%rax
mov    %rax,-0x130(%rbp)
mov    -0xb0(%rbp),%rax
shr    $0x2c,%rax
mov    -0xb8(%rbp),%rcx
shl    $0x14,%rcx
add    %rcx,%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc0(%rbp),%rax
add    -0xc8(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
cmp    -0xc8(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0xd8(%rbp)
mov    -0xd0(%rbp),%rax
movabs $0x7ffffffffff,%rcx
and    -0x110(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0xe8(%rbp)
mov    -0xe8(%rbp),%rax
movabs $0x7ffffffffff,%rcx
and    -0x110(%rbp),%rcx
cmp    %rcx,%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0xe0(%rbp)
mov    -0xd8(%rbp),%rax
add    -0xe0(%rbp),%rax
mov    %rax,-0xf0(%rbp)
movabs $0x7ffffffffff,%rax
and    -0xe8(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0xe8(%rbp),%rax
shr    $0x2b,%rax
mov    -0xf0(%rbp),%rcx
shl    $0x15,%rcx
add    %rcx,%rax
mov    %rax,-0xf8(%rbp)
mov    -0xf8(%rbp),%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x108(%rbp)
mov    -0x108(%rbp),%rax
movabs $0x7ffffffffff,%rcx
and    -0x110(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x118(%rbp)
movabs $0x7ffffffffff,%rax
and    -0x118(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0x120(%rbp),%rax
shl    $0x7,%rax
mov    %rax,-0x190(%rbp)
mov    -0x128(%rbp),%rax
shl    $0x4,%rax
mov    %rax,-0x158(%rbp)
mov    -0x130(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x1d0(%rbp)
mov    -0x130(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x138(%rbp)
mov    -0x138(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x1d8(%rbp)
mov    -0x138(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x140(%rbp)
mov    -0x140(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x1e0(%rbp)
mov    -0x140(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x148(%rbp)
mov    -0x148(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x1e8(%rbp)
mov    -0x148(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x150(%rbp)
mov    -0x150(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x1f0(%rbp)
mov    -0x150(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x160(%rbp)
mov    -0x158(%rbp),%rax
add    -0x160(%rbp),%rax
mov    %rax,-0x168(%rbp)
mov    -0x168(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x1f8(%rbp)
mov    -0x168(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x170(%rbp)
mov    -0x170(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x200(%rbp)
mov    -0x170(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x178(%rbp)
mov    -0x178(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x208(%rbp)
mov    -0x178(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x180(%rbp)
mov    -0x180(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x210(%rbp)
mov    -0x180(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x188(%rbp)
mov    -0x188(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x218(%rbp)
mov    -0x188(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x198(%rbp)
mov    -0x190(%rbp),%rax
add    -0x198(%rbp),%rax
mov    %rax,-0x1a0(%rbp)
mov    -0x1a0(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x220(%rbp)
mov    -0x1a0(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x1a8(%rbp)
mov    -0x1a8(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x228(%rbp)
mov    -0x1a8(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x1b0(%rbp)
mov    -0x1b0(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x230(%rbp)
mov    -0x1b0(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x1b8(%rbp)
mov    -0x1b8(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x238(%rbp)
mov    -0x1b8(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x1c0(%rbp)
mov    -0x1c0(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x240(%rbp)
mov    -0x1c0(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x1c8(%rbp)
mov    -0x1c8(%rbp),%rax
and    $0xff,%rax
mov    %rax,-0x248(%rbp)
mov    -0x1c8(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x250(%rbp)
mov    -0x1d0(%rbp),%rax
mov    %rax,-0x258(%rbp)
mov    -0x1d8(%rbp),%rax
mov    %rax,-0x260(%rbp)
mov    -0x1e0(%rbp),%rax
mov    %rax,-0x268(%rbp)
mov    -0x1e8(%rbp),%rax
mov    %rax,-0x270(%rbp)
mov    -0x1f0(%rbp),%rax
mov    %rax,-0x278(%rbp)
mov    -0x1f8(%rbp),%rax
mov    %rax,-0x280(%rbp)
mov    -0x200(%rbp),%rax
mov    %rax,-0x288(%rbp)
mov    -0x208(%rbp),%rax
mov    %rax,-0x290(%rbp)
mov    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
mov    -0x218(%rbp),%rax
mov    %rax,-0x2a0(%rbp)
mov    -0x220(%rbp),%rax
mov    %rax,-0x2a8(%rbp)
mov    -0x228(%rbp),%rax
mov    %rax,-0x2b0(%rbp)
mov    -0x230(%rbp),%rax
mov    %rax,-0x2b8(%rbp)
mov    -0x238(%rbp),%rax
mov    %rax,-0x2c0(%rbp)
mov    -0x240(%rbp),%rax
mov    %rax,-0x2c8(%rbp)
mov    -0x248(%rbp),%rax
mov    %rax,-0x2d0(%rbp)
mov    -0x250(%rbp),%rax
mov    %rax,-0x2d8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x258(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %eax,%edi
mov    -0x260(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %eax,%edi
mov    -0x268(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x3,%rax
mov    %eax,%edi
mov    -0x270(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    -0x278(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x5,%rax
mov    %eax,%edi
mov    -0x280(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x6,%rax
mov    %eax,%edi
mov    -0x288(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x7,%rax
mov    %eax,%edi
mov    -0x290(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x298(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x9,%rax
mov    %eax,%edi
mov    -0x2a0(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xa,%rax
mov    %eax,%edi
mov    -0x2a8(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xb,%rax
mov    %eax,%edi
mov    -0x2b0(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    -0x2b8(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xd,%rax
mov    %eax,%edi
mov    -0x2c0(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xe,%rax
mov    %eax,%edi
mov    -0x2c8(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xf,%rax
mov    %eax,%edi
mov    -0x2d0(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x2d8(%rbp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
add    $0x2e0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_poly1305_to_bytes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rsi,%rbx
mov    %rdi,%r14
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
lea    0x8(%rbx),%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
add    $0x10,%ebx
mov    %ebx,%edi
mov    $0x8,%esi
call   1030 <_br2_load@plt>
movabs $0xfffff00000000005,%rcx
f0 ff ff
add    %rbp,%rcx
movabs $0xffffffffffb,%rdx
xor    %ebx,%ebx
cmp    %rdx,%rbp
setae  %bl
lea    0x4(%rdx),%r9
and    %rcx,%r9
shld   $0x14,%rcx,%rbx
movabs $0xfffff80000000001,%rbp
f8 ff ff
lea    (%r15,%rbp,1),%rdi
movabs $0x7ffffffffff,%r8
cmp    %r8,%r15
sbb    %rsi,%rsi
lea    (%rbx,%rdi,1),%rcx
add    $0xfffffffffff00000,%rcx
cmp    %rcx,%rdi
sbb    $0x0,%rsi
shld   $0x15,%rcx,%rsi
and    %r8,%rcx
add    %rax,%rbp
add    %rbp,%rsi
xor    %edi,%edi
cmp    %rsi,%rbp
setb   %dil
cmp    %r8,%rax
adc    $0x0,%rdi
shl    $0x15,%rdi
mov    %rsi,%rax
shr    $0x2b,%rax
add    %r9,%rdx
xor    %ebx,%ebx
cmp    %rax,%rdi
cmove  %r9,%rdx
cmovne %r8,%rbx
mov    %rdx,%rax
shr    $0x2c,%rax
add    %rbx,%rcx
add    %rax,%rcx
mov    %rcx,%rax
shr    $0x2b,%rax
add    %rsi,%rbx
add    %rax,%rbx
mov    %rbx,%rbp
shl    $0x7,%rbp
mov    %ecx,%eax
shl    $0x4,%eax
movzbl %dl,%esi
movzbl %dh,%edi
mov    %rdi,(%rsp)
mov    %edx,%edi
shr    $0x10,%edi
movzbl %dil,%edi
mov    %rdi,0x8(%rsp)
mov    %edx,%r15d
shr    $0x18,%r15d
mov    %rdx,%rdi
shr    $0x20,%rdi
movzbl %dil,%edi
mov    %rdi,0x18(%rsp)
shr    $0x28,%rdx
and    $0xf,%edx
movzbl %al,%r13d
or     %rdx,%r13
mov    %ecx,%eax
shr    $0x4,%eax
movzbl %al,%eax
mov    %rax,0x10(%rsp)
mov    %ecx,%eax
shr    $0xc,%eax
movzbl %al,%eax
mov    %rax,0x20(%rsp)
mov    %ecx,%eax
shr    $0x14,%eax
movzbl %al,%eax
mov    %rax,0x28(%rsp)
mov    %rcx,%rax
shr    $0x1c,%rax
movzbl %al,%eax
mov    %rax,0x30(%rsp)
shr    $0x24,%rcx
and    $0x7f,%ecx
mov    %rbp,%rdx
movzbl %dl,%r12d
or     %rcx,%r12
movzbl %dh,%ebp
mov    %edx,%eax
shr    $0x10,%eax
movzbl %al,%eax
mov    %rax,0x40(%rsp)
shr    $0x18,%edx
mov    %rdx,0x48(%rsp)
mov    %rbx,%rax
shr    $0x19,%rax
movzbl %al,%eax
mov    %rax,0x50(%rsp)
mov    %rbx,%rax
shr    $0x21,%rax
movzbl %al,%eax
mov    %rax,0x38(%rsp)
shr    $0x29,%rbx
and    $0x3,%ebx
mov    %r14d,%edi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x1(%r14),%edi
mov    (%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x2(%r14),%edi
mov    0x8(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x3(%r14),%edi
mov    %r15,%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x4(%r14),%edi
mov    0x18(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x5(%r14),%edi
mov    %r13,%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x6(%r14),%edi
mov    0x10(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x7(%r14),%edi
mov    0x20(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x8(%r14),%edi
mov    0x28(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0x9(%r14),%edi
mov    0x30(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0xa(%r14),%edi
mov    %r12,%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0xb(%r14),%edi
mov    %rbp,%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0xc(%r14),%edi
mov    0x40(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0xd(%r14),%edi
mov    0x48(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0xe(%r14),%edi
mov    0x50(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
lea    0xf(%r14),%edi
mov    0x38(%rsp),%rsi
mov    $0x1,%edx
call   1040 <_br2_store@plt>
add    $0x10,%r14d
mov    %r14d,%edi
mov    %rbx,%rsi
mov    $0x1,%edx
add    $0x58,%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_poly1305_to_bytes(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
%35 = alloca i64
%36 = alloca i64
%37 = alloca i64
%38 = alloca i64
%39 = alloca i64
%40 = alloca i64
%41 = alloca i64
%42 = alloca i64
%43 = alloca i64
%44 = alloca i64
%45 = alloca i64
%46 = alloca i64
%47 = alloca i64
%48 = alloca i64
%49 = alloca i64
%50 = alloca i64
%51 = alloca i64
%52 = alloca i64
%53 = alloca i64
%54 = alloca i64
%55 = alloca i64
%56 = alloca i64
%57 = alloca i64
%58 = alloca i64
%59 = alloca i64
%60 = alloca i64
%61 = alloca i64
%62 = alloca i64
%63 = alloca i64
%64 = alloca i64
%65 = alloca i64
%66 = alloca i64
%67 = alloca i64
%68 = alloca i64
%69 = alloca i64
%70 = alloca i64
%71 = alloca i64
%72 = alloca i64
%73 = alloca i64
%74 = alloca i64
%75 = alloca i64
%76 = alloca i64
%77 = alloca i64
%78 = alloca i64
%79 = alloca i64
%80 = alloca i64
%81 = alloca i64
%82 = alloca i64
%83 = alloca i64
%84 = alloca i64
%85 = alloca i64
%86 = alloca i64
%87 = alloca i64
%88 = alloca i64
%89 = alloca i64
%90 = alloca i64
%91 = alloca i64
%92 = alloca i64
%93 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%94 = load i64, i64* %4
%95 = add i64 %94, 0
%96 = trunc i64 %95 to i32
%97 = call i64 @_br2_load(i32 %96, i32 8)
store i64 %97, i64* %5
%98 = load i64, i64* %4
%99 = add i64 %98, 8
%100 = trunc i64 %99 to i32
%101 = call i64 @_br2_load(i32 %100, i32 8)
store i64 %101, i64* %8
%102 = load i64, i64* %4
%103 = add i64 %102, 16
%104 = trunc i64 %103 to i32
%105 = call i64 @_br2_load(i32 %104, i32 8)
store i64 %105, i64* %15
%106 = load i64, i64* %5
%107 = sub i64 %106, 17592186044411
store i64 %107, i64* %7
%108 = load i64, i64* %5
%109 = load i64, i64* %7
%110 = icmp ult i64 %108, %109
%111 = zext i1 %110 to i32
%112 = sext i32 %111 to i64
store i64 %112, i64* %6
%113 = load i64, i64* %7
%114 = and i64 %113, 17592186044415
store i64 %114, i64* %23
%115 = load i64, i64* %6
%116 = shl i64 %115, 20
%117 = load i64, i64* %7
%118 = lshr i64 %117, 44
%119 = sub i64 %116, %118
store i64 %119, i64* %9
%120 = load i64, i64* %8
%121 = sub i64 %120, 8796093022207
store i64 %121, i64* %10
%122 = load i64, i64* %8
%123 = load i64, i64* %10
%124 = icmp ult i64 %122, %123
%125 = zext i1 %124 to i32
%126 = sext i32 %125 to i64
store i64 %126, i64* %11
%127 = load i64, i64* %10
%128 = load i64, i64* %9
%129 = sub i64 %127, %128
store i64 %129, i64* %14
%130 = load i64, i64* %10
%131 = load i64, i64* %14
%132 = icmp ult i64 %130, %131
%133 = zext i1 %132 to i32
%134 = sext i32 %133 to i64
store i64 %134, i64* %12
%135 = load i64, i64* %11
%136 = load i64, i64* %12
%137 = add i64 %135, %136
store i64 %137, i64* %13
%138 = load i64, i64* %14
%139 = and i64 %138, 8796093022207
store i64 %139, i64* %27
%140 = load i64, i64* %13
%141 = shl i64 %140, 21
%142 = load i64, i64* %14
%143 = lshr i64 %142, 43
%144 = sub i64 %141, %143
store i64 %144, i64* %16
%145 = load i64, i64* %15
%146 = sub i64 %145, 8796093022207
store i64 %146, i64* %17
%147 = load i64, i64* %15
%148 = load i64, i64* %17
%149 = icmp ult i64 %147, %148
%150 = zext i1 %149 to i32
%151 = sext i32 %150 to i64
store i64 %151, i64* %18
%152 = load i64, i64* %17
%153 = load i64, i64* %16
%154 = sub i64 %152, %153
store i64 %154, i64* %21
%155 = load i64, i64* %17
%156 = load i64, i64* %21
%157 = icmp ult i64 %155, %156
%158 = zext i1 %157 to i32
%159 = sext i32 %158 to i64
store i64 %159, i64* %19
%160 = load i64, i64* %18
%161 = load i64, i64* %19
%162 = add i64 %160, %161
store i64 %162, i64* %20
%163 = load i64, i64* %21
%164 = and i64 %163, 8796093022207
store i64 %164, i64* %34
%165 = load i64, i64* %20
%166 = shl i64 %165, 21
%167 = load i64, i64* %21
%168 = lshr i64 %167, 43
%169 = sub i64 %166, %168
store i64 %169, i64* %22
%170 = load i64, i64* %22
%171 = icmp eq i64 %170, 0
%172 = zext i1 %171 to i32
%173 = sext i32 %172 to i64
%174 = add i64 -1, %173
store i64 %174, i64* %36
%175 = load i64, i64* %23
%176 = load i64, i64* %36
%177 = and i64 %176, 17592186044411
%178 = add i64 %175, %177
store i64 %178, i64* %24
%179 = load i64, i64* %24
%180 = load i64, i64* %23
%181 = icmp ult i64 %179, %180
%182 = zext i1 %181 to i32
%183 = sext i32 %182 to i64
store i64 %183, i64* %25
%184 = load i64, i64* %24
%185 = and i64 %184, 17592186044415
store i64 %185, i64* %40
%186 = load i64, i64* %24
%187 = lshr i64 %186, 44
%188 = load i64, i64* %25
%189 = shl i64 %188, 20
%190 = add i64 %187, %189
store i64 %190, i64* %26
%191 = load i64, i64* %26
%192 = load i64, i64* %27
%193 = add i64 %191, %192
store i64 %193, i64* %28
%194 = load i64, i64* %28
%195 = load i64, i64* %27
%196 = icmp ult i64 %194, %195
%197 = zext i1 %196 to i32
%198 = sext i32 %197 to i64
store i64 %198, i64* %29
%199 = load i64, i64* %28
%200 = load i64, i64* %36
%201 = and i64 %200, 8796093022207
%202 = add i64 %199, %201
store i64 %202, i64* %31
%203 = load i64, i64* %31
%204 = load i64, i64* %36
%205 = and i64 %204, 8796093022207
%206 = icmp ult i64 %203, %205
%207 = zext i1 %206 to i32
%208 = sext i32 %207 to i64
store i64 %208, i64* %30
%209 = load i64, i64* %29
%210 = load i64, i64* %30
%211 = add i64 %209, %210
store i64 %211, i64* %32
%212 = load i64, i64* %31
%213 = and i64 %212, 8796093022207
store i64 %213, i64* %39
%214 = load i64, i64* %31
%215 = lshr i64 %214, 43
%216 = load i64, i64* %32
%217 = shl i64 %216, 21
%218 = add i64 %215, %217
store i64 %218, i64* %33
%219 = load i64, i64* %33
%220 = load i64, i64* %34
%221 = add i64 %219, %220
store i64 %221, i64* %35
%222 = load i64, i64* %35
%223 = load i64, i64* %36
%224 = and i64 %223, 8796093022207
%225 = add i64 %222, %224
store i64 %225, i64* %37
%226 = load i64, i64* %37
%227 = and i64 %226, 8796093022207
store i64 %227, i64* %38
%228 = load i64, i64* %38
%229 = shl i64 %228, 7
store i64 %229, i64* %52
%230 = load i64, i64* %39
%231 = shl i64 %230, 4
store i64 %231, i64* %45
%232 = load i64, i64* %40
%233 = and i64 %232, 255
store i64 %233, i64* %60
%234 = load i64, i64* %40
%235 = lshr i64 %234, 8
store i64 %235, i64* %41
%236 = load i64, i64* %41
%237 = and i64 %236, 255
store i64 %237, i64* %61
%238 = load i64, i64* %41
%239 = lshr i64 %238, 8
store i64 %239, i64* %42
%240 = load i64, i64* %42
%241 = and i64 %240, 255
store i64 %241, i64* %62
%242 = load i64, i64* %42
%243 = lshr i64 %242, 8
store i64 %243, i64* %43
%244 = load i64, i64* %43
%245 = and i64 %244, 255
store i64 %245, i64* %63
%246 = load i64, i64* %43
%247 = lshr i64 %246, 8
store i64 %247, i64* %44
%248 = load i64, i64* %44
%249 = and i64 %248, 255
store i64 %249, i64* %64
%250 = load i64, i64* %44
%251 = lshr i64 %250, 8
store i64 %251, i64* %46
%252 = load i64, i64* %45
%253 = load i64, i64* %46
%254 = add i64 %252, %253
store i64 %254, i64* %47
%255 = load i64, i64* %47
%256 = and i64 %255, 255
store i64 %256, i64* %65
%257 = load i64, i64* %47
%258 = lshr i64 %257, 8
store i64 %258, i64* %48
%259 = load i64, i64* %48
%260 = and i64 %259, 255
store i64 %260, i64* %66
%261 = load i64, i64* %48
%262 = lshr i64 %261, 8
store i64 %262, i64* %49
%263 = load i64, i64* %49
%264 = and i64 %263, 255
store i64 %264, i64* %67
%265 = load i64, i64* %49
%266 = lshr i64 %265, 8
store i64 %266, i64* %50
%267 = load i64, i64* %50
%268 = and i64 %267, 255
store i64 %268, i64* %68
%269 = load i64, i64* %50
%270 = lshr i64 %269, 8
store i64 %270, i64* %51
%271 = load i64, i64* %51
%272 = and i64 %271, 255
store i64 %272, i64* %69
%273 = load i64, i64* %51
%274 = lshr i64 %273, 8
store i64 %274, i64* %53
%275 = load i64, i64* %52
%276 = load i64, i64* %53
%277 = add i64 %275, %276
store i64 %277, i64* %54
%278 = load i64, i64* %54
%279 = and i64 %278, 255
store i64 %279, i64* %70
%280 = load i64, i64* %54
%281 = lshr i64 %280, 8
store i64 %281, i64* %55
%282 = load i64, i64* %55
%283 = and i64 %282, 255
store i64 %283, i64* %71
%284 = load i64, i64* %55
%285 = lshr i64 %284, 8
store i64 %285, i64* %56
%286 = load i64, i64* %56
%287 = and i64 %286, 255
store i64 %287, i64* %72
%288 = load i64, i64* %56
%289 = lshr i64 %288, 8
store i64 %289, i64* %57
%290 = load i64, i64* %57
%291 = and i64 %290, 255
store i64 %291, i64* %73
%292 = load i64, i64* %57
%293 = lshr i64 %292, 8
store i64 %293, i64* %58
%294 = load i64, i64* %58
%295 = and i64 %294, 255
store i64 %295, i64* %74
%296 = load i64, i64* %58
%297 = lshr i64 %296, 8
store i64 %297, i64* %59
%298 = load i64, i64* %59
%299 = and i64 %298, 255
store i64 %299, i64* %75
%300 = load i64, i64* %59
%301 = lshr i64 %300, 8
store i64 %301, i64* %76
%302 = load i64, i64* %60
store i64 %302, i64* %77
%303 = load i64, i64* %61
store i64 %303, i64* %78
%304 = load i64, i64* %62
store i64 %304, i64* %79
%305 = load i64, i64* %63
store i64 %305, i64* %80
%306 = load i64, i64* %64
store i64 %306, i64* %81
%307 = load i64, i64* %65
store i64 %307, i64* %82
%308 = load i64, i64* %66
store i64 %308, i64* %83
%309 = load i64, i64* %67
store i64 %309, i64* %84
%310 = load i64, i64* %68
store i64 %310, i64* %85
%311 = load i64, i64* %69
store i64 %311, i64* %86
%312 = load i64, i64* %70
store i64 %312, i64* %87
%313 = load i64, i64* %71
store i64 %313, i64* %88
%314 = load i64, i64* %72
store i64 %314, i64* %89
%315 = load i64, i64* %73
store i64 %315, i64* %90
%316 = load i64, i64* %74
store i64 %316, i64* %91
%317 = load i64, i64* %75
store i64 %317, i64* %92
%318 = load i64, i64* %76
store i64 %318, i64* %93
%319 = load i64, i64* %3
%320 = add i64 %319, 0
%321 = trunc i64 %320 to i32
%322 = load i64, i64* %77
%323 = call i32 @_br2_store(i32 %321, i64 %322, i32 1)
%324 = load i64, i64* %3
%325 = add i64 %324, 1
%326 = trunc i64 %325 to i32
%327 = load i64, i64* %78
%328 = call i32 @_br2_store(i32 %326, i64 %327, i32 1)
%329 = load i64, i64* %3
%330 = add i64 %329, 2
%331 = trunc i64 %330 to i32
%332 = load i64, i64* %79
%333 = call i32 @_br2_store(i32 %331, i64 %332, i32 1)
%334 = load i64, i64* %3
%335 = add i64 %334, 3
%336 = trunc i64 %335 to i32
%337 = load i64, i64* %80
%338 = call i32 @_br2_store(i32 %336, i64 %337, i32 1)
%339 = load i64, i64* %3
%340 = add i64 %339, 4
%341 = trunc i64 %340 to i32
%342 = load i64, i64* %81
%343 = call i32 @_br2_store(i32 %341, i64 %342, i32 1)
%344 = load i64, i64* %3
%345 = add i64 %344, 5
%346 = trunc i64 %345 to i32
%347 = load i64, i64* %82
%348 = call i32 @_br2_store(i32 %346, i64 %347, i32 1)
%349 = load i64, i64* %3
%350 = add i64 %349, 6
%351 = trunc i64 %350 to i32
%352 = load i64, i64* %83
%353 = call i32 @_br2_store(i32 %351, i64 %352, i32 1)
%354 = load i64, i64* %3
%355 = add i64 %354, 7
%356 = trunc i64 %355 to i32
%357 = load i64, i64* %84
%358 = call i32 @_br2_store(i32 %356, i64 %357, i32 1)
%359 = load i64, i64* %3
%360 = add i64 %359, 8
%361 = trunc i64 %360 to i32
%362 = load i64, i64* %85
%363 = call i32 @_br2_store(i32 %361, i64 %362, i32 1)
%364 = load i64, i64* %3
%365 = add i64 %364, 9
%366 = trunc i64 %365 to i32
%367 = load i64, i64* %86
%368 = call i32 @_br2_store(i32 %366, i64 %367, i32 1)
%369 = load i64, i64* %3
%370 = add i64 %369, 10
%371 = trunc i64 %370 to i32
%372 = load i64, i64* %87
%373 = call i32 @_br2_store(i32 %371, i64 %372, i32 1)
%374 = load i64, i64* %3
%375 = add i64 %374, 11
%376 = trunc i64 %375 to i32
%377 = load i64, i64* %88
%378 = call i32 @_br2_store(i32 %376, i64 %377, i32 1)
%379 = load i64, i64* %3
%380 = add i64 %379, 12
%381 = trunc i64 %380 to i32
%382 = load i64, i64* %89
%383 = call i32 @_br2_store(i32 %381, i64 %382, i32 1)
%384 = load i64, i64* %3
%385 = add i64 %384, 13
%386 = trunc i64 %385 to i32
%387 = load i64, i64* %90
%388 = call i32 @_br2_store(i32 %386, i64 %387, i32 1)
%389 = load i64, i64* %3
%390 = add i64 %389, 14
%391 = trunc i64 %390 to i32
%392 = load i64, i64* %91
%393 = call i32 @_br2_store(i32 %391, i64 %392, i32 1)
%394 = load i64, i64* %3
%395 = add i64 %394, 15
%396 = trunc i64 %395 to i32
%397 = load i64, i64* %92
%398 = call i32 @_br2_store(i32 %396, i64 %397, i32 1)
%399 = load i64, i64* %3
%400 = add i64 %399, 16
%401 = trunc i64 %400 to i32
%402 = load i64, i64* %93
%403 = call i32 @_br2_store(i32 %401, i64 %402, i32 1)
ret void
}

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