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


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

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

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