#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 x94;
typedef uintptr_t x93;
typedef uintptr_t x92;
typedef uintptr_t x90;
typedef uintptr_t x89;
typedef uintptr_t x88;
typedef uintptr_t x86;
typedef uintptr_t x85;
typedef uintptr_t x84;
typedef uintptr_t x82;
typedef uintptr_t x81;
typedef uintptr_t x80;
typedef uintptr_t x78;
typedef uintptr_t x77;
typedef uintptr_t x76;
typedef uintptr_t x74;
typedef uintptr_t x73;
typedef uintptr_t x72;
typedef uintptr_t x70;
typedef uintptr_t x69;
typedef uintptr_t x68;
typedef uintptr_t x66;
typedef uintptr_t x65;
typedef uintptr_t x64;
typedef uintptr_t x62;
typedef uintptr_t x61;
typedef uintptr_t x60;
typedef uintptr_t x58;
typedef uintptr_t x57;
typedef uintptr_t x56;
typedef uintptr_t x54;
typedef uintptr_t x53;
typedef uintptr_t x52;
typedef uintptr_t x50;
typedef uintptr_t x49;
typedef uintptr_t x48;
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_p384_from_bytes(uintptr_t out0, uintptr_t in0) {
  uintptr_t x47, x46, x45, x44, x43, x42, x41, x40, x39, x38, x37, x36, x35,
      x34, x33, x32, x31, x30, x29, x28, x27, x26, x25, x24, x23, x22, x21, x20,
      x19, x18, x17, x16, x15, x14, x13, x12, x11, x10, x9, x8, x7, x6, x5, x4,
      x3, x2, x1, x0, x94, x95, x93, x96, x92, x97, x90, x91, x89, x99, x88,
      x100, x86, x87, x85, x102, x84, x103, x82, x83, x81, x105, x80, x106, x78,
      x79, x77, x108, x76, x109, x74, x75, x73, x111, x72, x112, x70, x71, x69,
      x114, x68, x115, x66, x67, x65, x117, x64, x118, x62, x63, x61, x120, x60,
      x121, x58, x59, x57, x123, x56, x124, x54, x55, x53, x126, x52, x127, x50,
      x51, x49, x129, x48, x130, x98, x101, x104, x107, x110, x113, x116, x119,
      x122, x125, x128, x131, x132, x133, x134, x135, x136, x137, x138, x139,
      x140, x141, x142, x143;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), 1);
  x1 = _br2_load((in0) + ((uintptr_t)1ULL), 1);
  x2 = _br2_load((in0) + ((uintptr_t)2ULL), 1);
  x3 = _br2_load((in0) + ((uintptr_t)3ULL), 1);
  x4 = _br2_load((in0) + ((uintptr_t)4ULL), 1);
  x5 = _br2_load((in0) + ((uintptr_t)5ULL), 1);
  x6 = _br2_load((in0) + ((uintptr_t)6ULL), 1);
  x7 = _br2_load((in0) + ((uintptr_t)7ULL), 1);
  x8 = _br2_load((in0) + ((uintptr_t)8ULL), 1);
  x9 = _br2_load((in0) + ((uintptr_t)9ULL), 1);
  x10 = _br2_load((in0) + ((uintptr_t)10ULL), 1);
  x11 = _br2_load((in0) + ((uintptr_t)11ULL), 1);
  x12 = _br2_load((in0) + ((uintptr_t)12ULL), 1);
  x13 = _br2_load((in0) + ((uintptr_t)13ULL), 1);
  x14 = _br2_load((in0) + ((uintptr_t)14ULL), 1);
  x15 = _br2_load((in0) + ((uintptr_t)15ULL), 1);
  x16 = _br2_load((in0) + ((uintptr_t)16ULL), 1);
  x17 = _br2_load((in0) + ((uintptr_t)17ULL), 1);
  x18 = _br2_load((in0) + ((uintptr_t)18ULL), 1);
  x19 = _br2_load((in0) + ((uintptr_t)19ULL), 1);
  x20 = _br2_load((in0) + ((uintptr_t)20ULL), 1);
  x21 = _br2_load((in0) + ((uintptr_t)21ULL), 1);
  x22 = _br2_load((in0) + ((uintptr_t)22ULL), 1);
  x23 = _br2_load((in0) + ((uintptr_t)23ULL), 1);
  x24 = _br2_load((in0) + ((uintptr_t)24ULL), 1);
  x25 = _br2_load((in0) + ((uintptr_t)25ULL), 1);
  x26 = _br2_load((in0) + ((uintptr_t)26ULL), 1);
  x27 = _br2_load((in0) + ((uintptr_t)27ULL), 1);
  x28 = _br2_load((in0) + ((uintptr_t)28ULL), 1);
  x29 = _br2_load((in0) + ((uintptr_t)29ULL), 1);
  x30 = _br2_load((in0) + ((uintptr_t)30ULL), 1);
  x31 = _br2_load((in0) + ((uintptr_t)31ULL), 1);
  x32 = _br2_load((in0) + ((uintptr_t)32ULL), 1);
  x33 = _br2_load((in0) + ((uintptr_t)33ULL), 1);
  x34 = _br2_load((in0) + ((uintptr_t)34ULL), 1);
  x35 = _br2_load((in0) + ((uintptr_t)35ULL), 1);
  x36 = _br2_load((in0) + ((uintptr_t)36ULL), 1);
  x37 = _br2_load((in0) + ((uintptr_t)37ULL), 1);
  x38 = _br2_load((in0) + ((uintptr_t)38ULL), 1);
  x39 = _br2_load((in0) + ((uintptr_t)39ULL), 1);
  x40 = _br2_load((in0) + ((uintptr_t)40ULL), 1);
  x41 = _br2_load((in0) + ((uintptr_t)41ULL), 1);
  x42 = _br2_load((in0) + ((uintptr_t)42ULL), 1);
  x43 = _br2_load((in0) + ((uintptr_t)43ULL), 1);
  x44 = _br2_load((in0) + ((uintptr_t)44ULL), 1);
  x45 = _br2_load((in0) + ((uintptr_t)45ULL), 1);
  x46 = _br2_load((in0) + ((uintptr_t)46ULL), 1);
  x47 = _br2_load((in0) + ((uintptr_t)47ULL), 1);
  x48 = (x47) << ((uintptr_t)24ULL);
  x49 = (x46) << ((uintptr_t)16ULL);
  x50 = (x45) << ((uintptr_t)8ULL);
  x51 = x44;
  x52 = (x43) << ((uintptr_t)24ULL);
  x53 = (x42) << ((uintptr_t)16ULL);
  x54 = (x41) << ((uintptr_t)8ULL);
  x55 = x40;
  x56 = (x39) << ((uintptr_t)24ULL);
  x57 = (x38) << ((uintptr_t)16ULL);
  x58 = (x37) << ((uintptr_t)8ULL);
  x59 = x36;
  x60 = (x35) << ((uintptr_t)24ULL);
  x61 = (x34) << ((uintptr_t)16ULL);
  x62 = (x33) << ((uintptr_t)8ULL);
  x63 = x32;
  x64 = (x31) << ((uintptr_t)24ULL);
  x65 = (x30) << ((uintptr_t)16ULL);
  x66 = (x29) << ((uintptr_t)8ULL);
  x67 = x28;
  x68 = (x27) << ((uintptr_t)24ULL);
  x69 = (x26) << ((uintptr_t)16ULL);
  x70 = (x25) << ((uintptr_t)8ULL);
  x71 = x24;
  x72 = (x23) << ((uintptr_t)24ULL);
  x73 = (x22) << ((uintptr_t)16ULL);
  x74 = (x21) << ((uintptr_t)8ULL);
  x75 = x20;
  x76 = (x19) << ((uintptr_t)24ULL);
  x77 = (x18) << ((uintptr_t)16ULL);
  x78 = (x17) << ((uintptr_t)8ULL);
  x79 = x16;
  x80 = (x15) << ((uintptr_t)24ULL);
  x81 = (x14) << ((uintptr_t)16ULL);
  x82 = (x13) << ((uintptr_t)8ULL);
  x83 = x12;
  x84 = (x11) << ((uintptr_t)24ULL);
  x85 = (x10) << ((uintptr_t)16ULL);
  x86 = (x9) << ((uintptr_t)8ULL);
  x87 = x8;
  x88 = (x7) << ((uintptr_t)24ULL);
  x89 = (x6) << ((uintptr_t)16ULL);
  x90 = (x5) << ((uintptr_t)8ULL);
  x91 = x4;
  x92 = (x3) << ((uintptr_t)24ULL);
  x93 = (x2) << ((uintptr_t)16ULL);
  x94 = (x1) << ((uintptr_t)8ULL);
  x95 = x0;
  x96 = (x94) + (x95);
  x97 = (x93) + (x96);
  x98 = (x92) + (x97);
  x99 = (x90) + (x91);
  x100 = (x89) + (x99);
  x101 = (x88) + (x100);
  x102 = (x86) + (x87);
  x103 = (x85) + (x102);
  x104 = (x84) + (x103);
  x105 = (x82) + (x83);
  x106 = (x81) + (x105);
  x107 = (x80) + (x106);
  x108 = (x78) + (x79);
  x109 = (x77) + (x108);
  x110 = (x76) + (x109);
  x111 = (x74) + (x75);
  x112 = (x73) + (x111);
  x113 = (x72) + (x112);
  x114 = (x70) + (x71);
  x115 = (x69) + (x114);
  x116 = (x68) + (x115);
  x117 = (x66) + (x67);
  x118 = (x65) + (x117);
  x119 = (x64) + (x118);
  x120 = (x62) + (x63);
  x121 = (x61) + (x120);
  x122 = (x60) + (x121);
  x123 = (x58) + (x59);
  x124 = (x57) + (x123);
  x125 = (x56) + (x124);
  x126 = (x54) + (x55);
  x127 = (x53) + (x126);
  x128 = (x52) + (x127);
  x129 = (x50) + (x51);
  x130 = (x49) + (x129);
  x131 = (x48) + (x130);
  x132 = x98;
  x133 = x101;
  x134 = x104;
  x135 = x107;
  x136 = x110;
  x137 = x113;
  x138 = x116;
  x139 = x119;
  x140 = x122;
  x141 = x125;
  x142 = x128;
  x143 = x131;
  _br2_store((out0) + ((uintptr_t)0ULL), x132, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x133, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x134, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x135, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x136, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)20ULL), x137, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x138, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)28ULL), x139, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x140, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)36ULL), x141, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)40ULL), x142, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)44ULL), x143, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_p384_from_bytes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x490,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x190(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x188(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x180(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x178(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x170(%rbp)
mov    -0x10(%rbp),%rax
add    $0x5,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x168(%rbp)
mov    -0x10(%rbp),%rax
add    $0x6,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x160(%rbp)
mov    -0x10(%rbp),%rax
add    $0x7,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x158(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x150(%rbp)
mov    -0x10(%rbp),%rax
add    $0x9,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x148(%rbp)
mov    -0x10(%rbp),%rax
add    $0xa,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x140(%rbp)
mov    -0x10(%rbp),%rax
add    $0xb,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x138(%rbp)
mov    -0x10(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x130(%rbp)
mov    -0x10(%rbp),%rax
add    $0xd,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x128(%rbp)
mov    -0x10(%rbp),%rax
add    $0xe,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x120(%rbp)
mov    -0x10(%rbp),%rax
add    $0xf,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x118(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x110(%rbp)
mov    -0x10(%rbp),%rax
add    $0x11,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x108(%rbp)
mov    -0x10(%rbp),%rax
add    $0x12,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x100(%rbp)
mov    -0x10(%rbp),%rax
add    $0x13,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xf8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xf0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x15,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xe8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x16,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xe0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x17,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xd8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xd0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x19,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xc8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1a,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xc0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1b,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xb8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xb0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1d,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1e,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1f,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x98(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x90(%rbp)
mov    -0x10(%rbp),%rax
add    $0x21,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x88(%rbp)
mov    -0x10(%rbp),%rax
add    $0x22,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
add    $0x23,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
add    $0x24,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
add    $0x25,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rax
add    $0x26,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
add    $0x27,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0x29,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2a,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2b,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2c,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2d,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2e,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2f,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x3c8(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x3b8(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x3a8(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x3b0(%rbp)
mov    -0x38(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x398(%rbp)
mov    -0x40(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x388(%rbp)
mov    -0x48(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x378(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x380(%rbp)
mov    -0x58(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x368(%rbp)
mov    -0x60(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x358(%rbp)
mov    -0x68(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x348(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x350(%rbp)
mov    -0x78(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x338(%rbp)
mov    -0x80(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x328(%rbp)
mov    -0x88(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x318(%rbp)
mov    -0x90(%rbp),%rax
mov    %rax,-0x320(%rbp)
mov    -0x98(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x308(%rbp)
mov    -0xa0(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x2f8(%rbp)
mov    -0xa8(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x2e8(%rbp)
mov    -0xb0(%rbp),%rax
mov    %rax,-0x2f0(%rbp)
mov    -0xb8(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x2d8(%rbp)
mov    -0xc0(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x2c8(%rbp)
mov    -0xc8(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x2b8(%rbp)
mov    -0xd0(%rbp),%rax
mov    %rax,-0x2c0(%rbp)
mov    -0xd8(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x2a8(%rbp)
mov    -0xe0(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x298(%rbp)
mov    -0xe8(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x288(%rbp)
mov    -0xf0(%rbp),%rax
mov    %rax,-0x290(%rbp)
mov    -0xf8(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x278(%rbp)
mov    -0x100(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x268(%rbp)
mov    -0x108(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x258(%rbp)
mov    -0x110(%rbp),%rax
mov    %rax,-0x260(%rbp)
mov    -0x118(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x248(%rbp)
mov    -0x120(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x238(%rbp)
mov    -0x128(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x228(%rbp)
mov    -0x130(%rbp),%rax
mov    %rax,-0x230(%rbp)
mov    -0x138(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x218(%rbp)
mov    -0x140(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x208(%rbp)
mov    -0x148(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x1f8(%rbp)
mov    -0x150(%rbp),%rax
mov    %rax,-0x200(%rbp)
mov    -0x158(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x1e8(%rbp)
mov    -0x160(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x1d8(%rbp)
mov    -0x168(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x1c8(%rbp)
mov    -0x170(%rbp),%rax
mov    %rax,-0x1d0(%rbp)
mov    -0x178(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x1b8(%rbp)
mov    -0x180(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x1a8(%rbp)
mov    -0x188(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x198(%rbp)
mov    -0x190(%rbp),%rax
mov    %rax,-0x1a0(%rbp)
mov    -0x198(%rbp),%rax
add    -0x1a0(%rbp),%rax
mov    %rax,-0x1b0(%rbp)
mov    -0x1a8(%rbp),%rax
add    -0x1b0(%rbp),%rax
mov    %rax,-0x1c0(%rbp)
mov    -0x1b8(%rbp),%rax
add    -0x1c0(%rbp),%rax
mov    %rax,-0x3d8(%rbp)
mov    -0x1c8(%rbp),%rax
add    -0x1d0(%rbp),%rax
mov    %rax,-0x1e0(%rbp)
mov    -0x1d8(%rbp),%rax
add    -0x1e0(%rbp),%rax
mov    %rax,-0x1f0(%rbp)
mov    -0x1e8(%rbp),%rax
add    -0x1f0(%rbp),%rax
mov    %rax,-0x3e0(%rbp)
mov    -0x1f8(%rbp),%rax
add    -0x200(%rbp),%rax
mov    %rax,-0x210(%rbp)
mov    -0x208(%rbp),%rax
add    -0x210(%rbp),%rax
mov    %rax,-0x220(%rbp)
mov    -0x218(%rbp),%rax
add    -0x220(%rbp),%rax
mov    %rax,-0x3e8(%rbp)
mov    -0x228(%rbp),%rax
add    -0x230(%rbp),%rax
mov    %rax,-0x240(%rbp)
mov    -0x238(%rbp),%rax
add    -0x240(%rbp),%rax
mov    %rax,-0x250(%rbp)
mov    -0x248(%rbp),%rax
add    -0x250(%rbp),%rax
mov    %rax,-0x3f0(%rbp)
mov    -0x258(%rbp),%rax
add    -0x260(%rbp),%rax
mov    %rax,-0x270(%rbp)
mov    -0x268(%rbp),%rax
add    -0x270(%rbp),%rax
mov    %rax,-0x280(%rbp)
mov    -0x278(%rbp),%rax
add    -0x280(%rbp),%rax
mov    %rax,-0x3f8(%rbp)
mov    -0x288(%rbp),%rax
add    -0x290(%rbp),%rax
mov    %rax,-0x2a0(%rbp)
mov    -0x298(%rbp),%rax
add    -0x2a0(%rbp),%rax
mov    %rax,-0x2b0(%rbp)
mov    -0x2a8(%rbp),%rax
add    -0x2b0(%rbp),%rax
mov    %rax,-0x400(%rbp)
mov    -0x2b8(%rbp),%rax
add    -0x2c0(%rbp),%rax
mov    %rax,-0x2d0(%rbp)
mov    -0x2c8(%rbp),%rax
add    -0x2d0(%rbp),%rax
mov    %rax,-0x2e0(%rbp)
mov    -0x2d8(%rbp),%rax
add    -0x2e0(%rbp),%rax
mov    %rax,-0x408(%rbp)
mov    -0x2e8(%rbp),%rax
add    -0x2f0(%rbp),%rax
mov    %rax,-0x300(%rbp)
mov    -0x2f8(%rbp),%rax
add    -0x300(%rbp),%rax
mov    %rax,-0x310(%rbp)
mov    -0x308(%rbp),%rax
add    -0x310(%rbp),%rax
mov    %rax,-0x410(%rbp)
mov    -0x318(%rbp),%rax
add    -0x320(%rbp),%rax
mov    %rax,-0x330(%rbp)
mov    -0x328(%rbp),%rax
add    -0x330(%rbp),%rax
mov    %rax,-0x340(%rbp)
mov    -0x338(%rbp),%rax
add    -0x340(%rbp),%rax
mov    %rax,-0x418(%rbp)
mov    -0x348(%rbp),%rax
add    -0x350(%rbp),%rax
mov    %rax,-0x360(%rbp)
mov    -0x358(%rbp),%rax
add    -0x360(%rbp),%rax
mov    %rax,-0x370(%rbp)
mov    -0x368(%rbp),%rax
add    -0x370(%rbp),%rax
mov    %rax,-0x420(%rbp)
mov    -0x378(%rbp),%rax
add    -0x380(%rbp),%rax
mov    %rax,-0x390(%rbp)
mov    -0x388(%rbp),%rax
add    -0x390(%rbp),%rax
mov    %rax,-0x3a0(%rbp)
mov    -0x398(%rbp),%rax
add    -0x3a0(%rbp),%rax
mov    %rax,-0x428(%rbp)
mov    -0x3a8(%rbp),%rax
add    -0x3b0(%rbp),%rax
mov    %rax,-0x3c0(%rbp)
mov    -0x3b8(%rbp),%rax
add    -0x3c0(%rbp),%rax
mov    %rax,-0x3d0(%rbp)
mov    -0x3c8(%rbp),%rax
add    -0x3d0(%rbp),%rax
mov    %rax,-0x430(%rbp)
mov    -0x3d8(%rbp),%rax
mov    %rax,-0x438(%rbp)
mov    -0x3e0(%rbp),%rax
mov    %rax,-0x440(%rbp)
mov    -0x3e8(%rbp),%rax
mov    %rax,-0x448(%rbp)
mov    -0x3f0(%rbp),%rax
mov    %rax,-0x450(%rbp)
mov    -0x3f8(%rbp),%rax
mov    %rax,-0x458(%rbp)
mov    -0x400(%rbp),%rax
mov    %rax,-0x460(%rbp)
mov    -0x408(%rbp),%rax
mov    %rax,-0x468(%rbp)
mov    -0x410(%rbp),%rax
mov    %rax,-0x470(%rbp)
mov    -0x418(%rbp),%rax
mov    %rax,-0x478(%rbp)
mov    -0x420(%rbp),%rax
mov    %rax,-0x480(%rbp)
mov    -0x428(%rbp),%rax
mov    %rax,-0x488(%rbp)
mov    -0x430(%rbp),%rax
mov    %rax,-0x490(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x438(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    -0x440(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x448(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    -0x450(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x458(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    -0x460(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x468(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    -0x470(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0x478(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x24,%rax
mov    %eax,%edi
mov    -0x480(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    -0x488(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x2c,%rax
mov    %eax,%edi
mov    -0x490(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x490,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_p384_from_bytes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x158,%rsp
mov    %rsi,%r15
mov    %rdi,0x150(%rsp)
mov    %r15d,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x148(%rsp)
lea    0x1(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
lea    0x2(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x140(%rsp)
lea    0x3(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x138(%rsp)
lea    0x4(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x130(%rsp)
lea    0x5(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x128(%rsp)
lea    0x6(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x120(%rsp)
lea    0x7(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x118(%rsp)
lea    0x8(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x110(%rsp)
lea    0x9(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
lea    0xa(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x108(%rsp)
lea    0xb(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x100(%rsp)
lea    0xc(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xf8(%rsp)
lea    0xd(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x20(%rsp)
lea    0xe(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xf0(%rsp)
lea    0xf(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xe8(%rsp)
lea    0x10(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xe0(%rsp)
lea    0x11(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0x12(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xd8(%rsp)
lea    0x13(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xd0(%rsp)
lea    0x14(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xc8(%rsp)
lea    0x15(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0x16(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xc0(%rsp)
lea    0x17(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xb8(%rsp)
lea    0x18(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xb0(%rsp)
lea    0x19(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x1a(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xa8(%rsp)
lea    0x1b(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xa0(%rsp)
lea    0x1c(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x98(%rsp)
lea    0x1d(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0x1e(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x90(%rsp)
lea    0x1f(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x88(%rsp)
lea    0x20(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x80(%rsp)
lea    0x21(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r13
lea    0x22(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x78(%rsp)
lea    0x23(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x70(%rsp)
lea    0x24(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x68(%rsp)
lea    0x25(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbx
lea    0x26(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x60(%rsp)
lea    0x27(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x58(%rsp)
lea    0x28(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x50(%rsp)
lea    0x29(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
lea    0x2a(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x48(%rsp)
lea    0x2b(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x40(%rsp)
lea    0x2c(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x38(%rsp)
lea    0x2d(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
lea    0x2e(%r15),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%rsp)
add    $0x2f,%r15d
mov    %r15d,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
shl    $0x8,%rbp
add    0x148(%rsp),%rbp
mov    0x140(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%rbp
mov    0x138(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%rbp
mov    %rbp,%rsi
mov    0x128(%rsp),%r15
shl    $0x8,%r15
add    0x130(%rsp),%r15
mov    0x120(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%r15
mov    0x118(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%r15
mov    0x28(%rsp),%rcx
shl    $0x8,%rcx
add    0x110(%rsp),%rcx
mov    0x108(%rsp),%rdx
shl    $0x10,%rdx
add    %rdx,%rcx
mov    0x100(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rcx
mov    %rcx,0x28(%rsp)
mov    0x20(%rsp),%rcx
shl    $0x8,%rcx
add    0xf8(%rsp),%rcx
mov    0xf0(%rsp),%rdx
shl    $0x10,%rdx
add    %rdx,%rcx
mov    0xe8(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rcx
mov    %rcx,0x20(%rsp)
mov    0x18(%rsp),%rcx
shl    $0x8,%rcx
add    0xe0(%rsp),%rcx
mov    0xd8(%rsp),%rdx
shl    $0x10,%rdx
add    %rdx,%rcx
mov    0xd0(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rcx
mov    %rcx,0x18(%rsp)
mov    0x10(%rsp),%rcx
shl    $0x8,%rcx
add    0xc8(%rsp),%rcx
mov    0xc0(%rsp),%rdx
shl    $0x10,%rdx
add    %rdx,%rcx
mov    0xb8(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rcx
mov    %rcx,0x10(%rsp)
mov    0x8(%rsp),%rcx
shl    $0x8,%rcx
add    0xb0(%rsp),%rcx
mov    0xa8(%rsp),%rdx
shl    $0x10,%rdx
add    %rdx,%rcx
mov    0xa0(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rcx
mov    %rcx,0x8(%rsp)
mov    (%rsp),%rcx
shl    $0x8,%rcx
add    0x98(%rsp),%rcx
mov    0x90(%rsp),%rdx
shl    $0x10,%rdx
add    %rdx,%rcx
mov    0x88(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rcx
mov    %rcx,(%rsp)
shl    $0x8,%r13
add    0x80(%rsp),%r13
mov    0x78(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%r13
mov    0x70(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%r13
shl    $0x8,%rbx
add    0x68(%rsp),%rbx
mov    0x60(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%rbx
mov    0x58(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%rbx
shl    $0x8,%r14
add    0x50(%rsp),%r14
mov    0x48(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%r14
mov    0x40(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%r14
shl    $0x8,%r12
add    0x38(%rsp),%r12
mov    0x30(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%r12
shl    $0x18,%rax
add    %rax,%r12
mov    0x150(%rsp),%rbp
mov    %ebp,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x4(%rbp),%edi
mov    %r15,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbp),%edi
mov    0x28(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0xc(%rbp),%edi
mov    0x20(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbp),%edi
mov    0x18(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x14(%rbp),%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbp),%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x1c(%rbp),%edi
mov    (%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbp),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x24(%rbp),%edi
mov    %rbx,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x28(%rbp),%edi
mov    %r14,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x2c,%ebp
mov    %ebp,%edi
mov    %r12,%rsi
mov    $0x8,%edx
add    $0x158,%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_p384_from_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
%94 = alloca i64
%95 = alloca i64
%96 = alloca i64
%97 = alloca i64
%98 = alloca i64
%99 = alloca i64
%100 = alloca i64
%101 = alloca i64
%102 = alloca i64
%103 = alloca i64
%104 = alloca i64
%105 = alloca i64
%106 = alloca i64
%107 = alloca i64
%108 = alloca i64
%109 = alloca i64
%110 = alloca i64
%111 = alloca i64
%112 = alloca i64
%113 = alloca i64
%114 = alloca i64
%115 = alloca i64
%116 = alloca i64
%117 = alloca i64
%118 = alloca i64
%119 = alloca i64
%120 = alloca i64
%121 = alloca i64
%122 = alloca i64
%123 = alloca i64
%124 = alloca i64
%125 = alloca i64
%126 = alloca i64
%127 = alloca i64
%128 = alloca i64
%129 = alloca i64
%130 = alloca i64
%131 = alloca i64
%132 = alloca i64
%133 = alloca i64
%134 = alloca i64
%135 = alloca i64
%136 = alloca i64
%137 = alloca i64
%138 = alloca i64
%139 = alloca i64
%140 = alloca i64
%141 = alloca i64
%142 = alloca i64
%143 = alloca i64
%144 = alloca i64
%145 = alloca i64
%146 = alloca i64
%147 = alloca i64
%148 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%149 = load i64, i64* %4
%150 = add i64 %149, 0
%151 = trunc i64 %150 to i32
%152 = call i64 @_br2_load(i32 %151, i32 1)
store i64 %152, i64* %52
%153 = load i64, i64* %4
%154 = add i64 %153, 1
%155 = trunc i64 %154 to i32
%156 = call i64 @_br2_load(i32 %155, i32 1)
store i64 %156, i64* %51
%157 = load i64, i64* %4
%158 = add i64 %157, 2
%159 = trunc i64 %158 to i32
%160 = call i64 @_br2_load(i32 %159, i32 1)
store i64 %160, i64* %50
%161 = load i64, i64* %4
%162 = add i64 %161, 3
%163 = trunc i64 %162 to i32
%164 = call i64 @_br2_load(i32 %163, i32 1)
store i64 %164, i64* %49
%165 = load i64, i64* %4
%166 = add i64 %165, 4
%167 = trunc i64 %166 to i32
%168 = call i64 @_br2_load(i32 %167, i32 1)
store i64 %168, i64* %48
%169 = load i64, i64* %4
%170 = add i64 %169, 5
%171 = trunc i64 %170 to i32
%172 = call i64 @_br2_load(i32 %171, i32 1)
store i64 %172, i64* %47
%173 = load i64, i64* %4
%174 = add i64 %173, 6
%175 = trunc i64 %174 to i32
%176 = call i64 @_br2_load(i32 %175, i32 1)
store i64 %176, i64* %46
%177 = load i64, i64* %4
%178 = add i64 %177, 7
%179 = trunc i64 %178 to i32
%180 = call i64 @_br2_load(i32 %179, i32 1)
store i64 %180, i64* %45
%181 = load i64, i64* %4
%182 = add i64 %181, 8
%183 = trunc i64 %182 to i32
%184 = call i64 @_br2_load(i32 %183, i32 1)
store i64 %184, i64* %44
%185 = load i64, i64* %4
%186 = add i64 %185, 9
%187 = trunc i64 %186 to i32
%188 = call i64 @_br2_load(i32 %187, i32 1)
store i64 %188, i64* %43
%189 = load i64, i64* %4
%190 = add i64 %189, 10
%191 = trunc i64 %190 to i32
%192 = call i64 @_br2_load(i32 %191, i32 1)
store i64 %192, i64* %42
%193 = load i64, i64* %4
%194 = add i64 %193, 11
%195 = trunc i64 %194 to i32
%196 = call i64 @_br2_load(i32 %195, i32 1)
store i64 %196, i64* %41
%197 = load i64, i64* %4
%198 = add i64 %197, 12
%199 = trunc i64 %198 to i32
%200 = call i64 @_br2_load(i32 %199, i32 1)
store i64 %200, i64* %40
%201 = load i64, i64* %4
%202 = add i64 %201, 13
%203 = trunc i64 %202 to i32
%204 = call i64 @_br2_load(i32 %203, i32 1)
store i64 %204, i64* %39
%205 = load i64, i64* %4
%206 = add i64 %205, 14
%207 = trunc i64 %206 to i32
%208 = call i64 @_br2_load(i32 %207, i32 1)
store i64 %208, i64* %38
%209 = load i64, i64* %4
%210 = add i64 %209, 15
%211 = trunc i64 %210 to i32
%212 = call i64 @_br2_load(i32 %211, i32 1)
store i64 %212, i64* %37
%213 = load i64, i64* %4
%214 = add i64 %213, 16
%215 = trunc i64 %214 to i32
%216 = call i64 @_br2_load(i32 %215, i32 1)
store i64 %216, i64* %36
%217 = load i64, i64* %4
%218 = add i64 %217, 17
%219 = trunc i64 %218 to i32
%220 = call i64 @_br2_load(i32 %219, i32 1)
store i64 %220, i64* %35
%221 = load i64, i64* %4
%222 = add i64 %221, 18
%223 = trunc i64 %222 to i32
%224 = call i64 @_br2_load(i32 %223, i32 1)
store i64 %224, i64* %34
%225 = load i64, i64* %4
%226 = add i64 %225, 19
%227 = trunc i64 %226 to i32
%228 = call i64 @_br2_load(i32 %227, i32 1)
store i64 %228, i64* %33
%229 = load i64, i64* %4
%230 = add i64 %229, 20
%231 = trunc i64 %230 to i32
%232 = call i64 @_br2_load(i32 %231, i32 1)
store i64 %232, i64* %32
%233 = load i64, i64* %4
%234 = add i64 %233, 21
%235 = trunc i64 %234 to i32
%236 = call i64 @_br2_load(i32 %235, i32 1)
store i64 %236, i64* %31
%237 = load i64, i64* %4
%238 = add i64 %237, 22
%239 = trunc i64 %238 to i32
%240 = call i64 @_br2_load(i32 %239, i32 1)
store i64 %240, i64* %30
%241 = load i64, i64* %4
%242 = add i64 %241, 23
%243 = trunc i64 %242 to i32
%244 = call i64 @_br2_load(i32 %243, i32 1)
store i64 %244, i64* %29
%245 = load i64, i64* %4
%246 = add i64 %245, 24
%247 = trunc i64 %246 to i32
%248 = call i64 @_br2_load(i32 %247, i32 1)
store i64 %248, i64* %28
%249 = load i64, i64* %4
%250 = add i64 %249, 25
%251 = trunc i64 %250 to i32
%252 = call i64 @_br2_load(i32 %251, i32 1)
store i64 %252, i64* %27
%253 = load i64, i64* %4
%254 = add i64 %253, 26
%255 = trunc i64 %254 to i32
%256 = call i64 @_br2_load(i32 %255, i32 1)
store i64 %256, i64* %26
%257 = load i64, i64* %4
%258 = add i64 %257, 27
%259 = trunc i64 %258 to i32
%260 = call i64 @_br2_load(i32 %259, i32 1)
store i64 %260, i64* %25
%261 = load i64, i64* %4
%262 = add i64 %261, 28
%263 = trunc i64 %262 to i32
%264 = call i64 @_br2_load(i32 %263, i32 1)
store i64 %264, i64* %24
%265 = load i64, i64* %4
%266 = add i64 %265, 29
%267 = trunc i64 %266 to i32
%268 = call i64 @_br2_load(i32 %267, i32 1)
store i64 %268, i64* %23
%269 = load i64, i64* %4
%270 = add i64 %269, 30
%271 = trunc i64 %270 to i32
%272 = call i64 @_br2_load(i32 %271, i32 1)
store i64 %272, i64* %22
%273 = load i64, i64* %4
%274 = add i64 %273, 31
%275 = trunc i64 %274 to i32
%276 = call i64 @_br2_load(i32 %275, i32 1)
store i64 %276, i64* %21
%277 = load i64, i64* %4
%278 = add i64 %277, 32
%279 = trunc i64 %278 to i32
%280 = call i64 @_br2_load(i32 %279, i32 1)
store i64 %280, i64* %20
%281 = load i64, i64* %4
%282 = add i64 %281, 33
%283 = trunc i64 %282 to i32
%284 = call i64 @_br2_load(i32 %283, i32 1)
store i64 %284, i64* %19
%285 = load i64, i64* %4
%286 = add i64 %285, 34
%287 = trunc i64 %286 to i32
%288 = call i64 @_br2_load(i32 %287, i32 1)
store i64 %288, i64* %18
%289 = load i64, i64* %4
%290 = add i64 %289, 35
%291 = trunc i64 %290 to i32
%292 = call i64 @_br2_load(i32 %291, i32 1)
store i64 %292, i64* %17
%293 = load i64, i64* %4
%294 = add i64 %293, 36
%295 = trunc i64 %294 to i32
%296 = call i64 @_br2_load(i32 %295, i32 1)
store i64 %296, i64* %16
%297 = load i64, i64* %4
%298 = add i64 %297, 37
%299 = trunc i64 %298 to i32
%300 = call i64 @_br2_load(i32 %299, i32 1)
store i64 %300, i64* %15
%301 = load i64, i64* %4
%302 = add i64 %301, 38
%303 = trunc i64 %302 to i32
%304 = call i64 @_br2_load(i32 %303, i32 1)
store i64 %304, i64* %14
%305 = load i64, i64* %4
%306 = add i64 %305, 39
%307 = trunc i64 %306 to i32
%308 = call i64 @_br2_load(i32 %307, i32 1)
store i64 %308, i64* %13
%309 = load i64, i64* %4
%310 = add i64 %309, 40
%311 = trunc i64 %310 to i32
%312 = call i64 @_br2_load(i32 %311, i32 1)
store i64 %312, i64* %12
%313 = load i64, i64* %4
%314 = add i64 %313, 41
%315 = trunc i64 %314 to i32
%316 = call i64 @_br2_load(i32 %315, i32 1)
store i64 %316, i64* %11
%317 = load i64, i64* %4
%318 = add i64 %317, 42
%319 = trunc i64 %318 to i32
%320 = call i64 @_br2_load(i32 %319, i32 1)
store i64 %320, i64* %10
%321 = load i64, i64* %4
%322 = add i64 %321, 43
%323 = trunc i64 %322 to i32
%324 = call i64 @_br2_load(i32 %323, i32 1)
store i64 %324, i64* %9
%325 = load i64, i64* %4
%326 = add i64 %325, 44
%327 = trunc i64 %326 to i32
%328 = call i64 @_br2_load(i32 %327, i32 1)
store i64 %328, i64* %8
%329 = load i64, i64* %4
%330 = add i64 %329, 45
%331 = trunc i64 %330 to i32
%332 = call i64 @_br2_load(i32 %331, i32 1)
store i64 %332, i64* %7
%333 = load i64, i64* %4
%334 = add i64 %333, 46
%335 = trunc i64 %334 to i32
%336 = call i64 @_br2_load(i32 %335, i32 1)
store i64 %336, i64* %6
%337 = load i64, i64* %4
%338 = add i64 %337, 47
%339 = trunc i64 %338 to i32
%340 = call i64 @_br2_load(i32 %339, i32 1)
store i64 %340, i64* %5
%341 = load i64, i64* %5
%342 = shl i64 %341, 24
store i64 %342, i64* %123
%343 = load i64, i64* %6
%344 = shl i64 %343, 16
store i64 %344, i64* %121
%345 = load i64, i64* %7
%346 = shl i64 %345, 8
store i64 %346, i64* %119
%347 = load i64, i64* %8
store i64 %347, i64* %120
%348 = load i64, i64* %9
%349 = shl i64 %348, 24
store i64 %349, i64* %117
%350 = load i64, i64* %10
%351 = shl i64 %350, 16
store i64 %351, i64* %115
%352 = load i64, i64* %11
%353 = shl i64 %352, 8
store i64 %353, i64* %113
%354 = load i64, i64* %12
store i64 %354, i64* %114
%355 = load i64, i64* %13
%356 = shl i64 %355, 24
store i64 %356, i64* %111
%357 = load i64, i64* %14
%358 = shl i64 %357, 16
store i64 %358, i64* %109
%359 = load i64, i64* %15
%360 = shl i64 %359, 8
store i64 %360, i64* %107
%361 = load i64, i64* %16
store i64 %361, i64* %108
%362 = load i64, i64* %17
%363 = shl i64 %362, 24
store i64 %363, i64* %105
%364 = load i64, i64* %18
%365 = shl i64 %364, 16
store i64 %365, i64* %103
%366 = load i64, i64* %19
%367 = shl i64 %366, 8
store i64 %367, i64* %101
%368 = load i64, i64* %20
store i64 %368, i64* %102
%369 = load i64, i64* %21
%370 = shl i64 %369, 24
store i64 %370, i64* %99
%371 = load i64, i64* %22
%372 = shl i64 %371, 16
store i64 %372, i64* %97
%373 = load i64, i64* %23
%374 = shl i64 %373, 8
store i64 %374, i64* %95
%375 = load i64, i64* %24
store i64 %375, i64* %96
%376 = load i64, i64* %25
%377 = shl i64 %376, 24
store i64 %377, i64* %93
%378 = load i64, i64* %26
%379 = shl i64 %378, 16
store i64 %379, i64* %91
%380 = load i64, i64* %27
%381 = shl i64 %380, 8
store i64 %381, i64* %89
%382 = load i64, i64* %28
store i64 %382, i64* %90
%383 = load i64, i64* %29
%384 = shl i64 %383, 24
store i64 %384, i64* %87
%385 = load i64, i64* %30
%386 = shl i64 %385, 16
store i64 %386, i64* %85
%387 = load i64, i64* %31
%388 = shl i64 %387, 8
store i64 %388, i64* %83
%389 = load i64, i64* %32
store i64 %389, i64* %84
%390 = load i64, i64* %33
%391 = shl i64 %390, 24
store i64 %391, i64* %81
%392 = load i64, i64* %34
%393 = shl i64 %392, 16
store i64 %393, i64* %79
%394 = load i64, i64* %35
%395 = shl i64 %394, 8
store i64 %395, i64* %77
%396 = load i64, i64* %36
store i64 %396, i64* %78
%397 = load i64, i64* %37
%398 = shl i64 %397, 24
store i64 %398, i64* %75
%399 = load i64, i64* %38
%400 = shl i64 %399, 16
store i64 %400, i64* %73
%401 = load i64, i64* %39
%402 = shl i64 %401, 8
store i64 %402, i64* %71
%403 = load i64, i64* %40
store i64 %403, i64* %72
%404 = load i64, i64* %41
%405 = shl i64 %404, 24
store i64 %405, i64* %69
%406 = load i64, i64* %42
%407 = shl i64 %406, 16
store i64 %407, i64* %67
%408 = load i64, i64* %43
%409 = shl i64 %408, 8
store i64 %409, i64* %65
%410 = load i64, i64* %44
store i64 %410, i64* %66
%411 = load i64, i64* %45
%412 = shl i64 %411, 24
store i64 %412, i64* %63
%413 = load i64, i64* %46
%414 = shl i64 %413, 16
store i64 %414, i64* %61
%415 = load i64, i64* %47
%416 = shl i64 %415, 8
store i64 %416, i64* %59
%417 = load i64, i64* %48
store i64 %417, i64* %60
%418 = load i64, i64* %49
%419 = shl i64 %418, 24
store i64 %419, i64* %57
%420 = load i64, i64* %50
%421 = shl i64 %420, 16
store i64 %421, i64* %55
%422 = load i64, i64* %51
%423 = shl i64 %422, 8
store i64 %423, i64* %53
%424 = load i64, i64* %52
store i64 %424, i64* %54
%425 = load i64, i64* %53
%426 = load i64, i64* %54
%427 = add i64 %425, %426
store i64 %427, i64* %56
%428 = load i64, i64* %55
%429 = load i64, i64* %56
%430 = add i64 %428, %429
store i64 %430, i64* %58
%431 = load i64, i64* %57
%432 = load i64, i64* %58
%433 = add i64 %431, %432
store i64 %433, i64* %125
%434 = load i64, i64* %59
%435 = load i64, i64* %60
%436 = add i64 %434, %435
store i64 %436, i64* %62
%437 = load i64, i64* %61
%438 = load i64, i64* %62
%439 = add i64 %437, %438
store i64 %439, i64* %64
%440 = load i64, i64* %63
%441 = load i64, i64* %64
%442 = add i64 %440, %441
store i64 %442, i64* %126
%443 = load i64, i64* %65
%444 = load i64, i64* %66
%445 = add i64 %443, %444
store i64 %445, i64* %68
%446 = load i64, i64* %67
%447 = load i64, i64* %68
%448 = add i64 %446, %447
store i64 %448, i64* %70
%449 = load i64, i64* %69
%450 = load i64, i64* %70
%451 = add i64 %449, %450
store i64 %451, i64* %127
%452 = load i64, i64* %71
%453 = load i64, i64* %72
%454 = add i64 %452, %453
store i64 %454, i64* %74
%455 = load i64, i64* %73
%456 = load i64, i64* %74
%457 = add i64 %455, %456
store i64 %457, i64* %76
%458 = load i64, i64* %75
%459 = load i64, i64* %76
%460 = add i64 %458, %459
store i64 %460, i64* %128
%461 = load i64, i64* %77
%462 = load i64, i64* %78
%463 = add i64 %461, %462
store i64 %463, i64* %80
%464 = load i64, i64* %79
%465 = load i64, i64* %80
%466 = add i64 %464, %465
store i64 %466, i64* %82
%467 = load i64, i64* %81
%468 = load i64, i64* %82
%469 = add i64 %467, %468
store i64 %469, i64* %129
%470 = load i64, i64* %83
%471 = load i64, i64* %84
%472 = add i64 %470, %471
store i64 %472, i64* %86
%473 = load i64, i64* %85
%474 = load i64, i64* %86
%475 = add i64 %473, %474
store i64 %475, i64* %88
%476 = load i64, i64* %87
%477 = load i64, i64* %88
%478 = add i64 %476, %477
store i64 %478, i64* %130
%479 = load i64, i64* %89
%480 = load i64, i64* %90
%481 = add i64 %479, %480
store i64 %481, i64* %92
%482 = load i64, i64* %91
%483 = load i64, i64* %92
%484 = add i64 %482, %483
store i64 %484, i64* %94
%485 = load i64, i64* %93
%486 = load i64, i64* %94
%487 = add i64 %485, %486
store i64 %487, i64* %131
%488 = load i64, i64* %95
%489 = load i64, i64* %96
%490 = add i64 %488, %489
store i64 %490, i64* %98
%491 = load i64, i64* %97
%492 = load i64, i64* %98
%493 = add i64 %491, %492
store i64 %493, i64* %100
%494 = load i64, i64* %99
%495 = load i64, i64* %100
%496 = add i64 %494, %495
store i64 %496, i64* %132
%497 = load i64, i64* %101
%498 = load i64, i64* %102
%499 = add i64 %497, %498
store i64 %499, i64* %104
%500 = load i64, i64* %103
%501 = load i64, i64* %104
%502 = add i64 %500, %501
store i64 %502, i64* %106
%503 = load i64, i64* %105
%504 = load i64, i64* %106
%505 = add i64 %503, %504
store i64 %505, i64* %133
%506 = load i64, i64* %107
%507 = load i64, i64* %108
%508 = add i64 %506, %507
store i64 %508, i64* %110
%509 = load i64, i64* %109
%510 = load i64, i64* %110
%511 = add i64 %509, %510
store i64 %511, i64* %112
%512 = load i64, i64* %111
%513 = load i64, i64* %112
%514 = add i64 %512, %513
store i64 %514, i64* %134
%515 = load i64, i64* %113
%516 = load i64, i64* %114
%517 = add i64 %515, %516
store i64 %517, i64* %116
%518 = load i64, i64* %115
%519 = load i64, i64* %116
%520 = add i64 %518, %519
store i64 %520, i64* %118
%521 = load i64, i64* %117
%522 = load i64, i64* %118
%523 = add i64 %521, %522
store i64 %523, i64* %135
%524 = load i64, i64* %119
%525 = load i64, i64* %120
%526 = add i64 %524, %525
store i64 %526, i64* %122
%527 = load i64, i64* %121
%528 = load i64, i64* %122
%529 = add i64 %527, %528
store i64 %529, i64* %124
%530 = load i64, i64* %123
%531 = load i64, i64* %124
%532 = add i64 %530, %531
store i64 %532, i64* %136
%533 = load i64, i64* %125
store i64 %533, i64* %137
%534 = load i64, i64* %126
store i64 %534, i64* %138
%535 = load i64, i64* %127
store i64 %535, i64* %139
%536 = load i64, i64* %128
store i64 %536, i64* %140
%537 = load i64, i64* %129
store i64 %537, i64* %141
%538 = load i64, i64* %130
store i64 %538, i64* %142
%539 = load i64, i64* %131
store i64 %539, i64* %143
%540 = load i64, i64* %132
store i64 %540, i64* %144
%541 = load i64, i64* %133
store i64 %541, i64* %145
%542 = load i64, i64* %134
store i64 %542, i64* %146
%543 = load i64, i64* %135
store i64 %543, i64* %147
%544 = load i64, i64* %136
store i64 %544, i64* %148
%545 = load i64, i64* %3
%546 = add i64 %545, 0
%547 = trunc i64 %546 to i32
%548 = load i64, i64* %137
%549 = call i32 @_br2_store(i32 %547, i64 %548, i32 8)
%550 = load i64, i64* %3
%551 = add i64 %550, 4
%552 = trunc i64 %551 to i32
%553 = load i64, i64* %138
%554 = call i32 @_br2_store(i32 %552, i64 %553, i32 8)
%555 = load i64, i64* %3
%556 = add i64 %555, 8
%557 = trunc i64 %556 to i32
%558 = load i64, i64* %139
%559 = call i32 @_br2_store(i32 %557, i64 %558, i32 8)
%560 = load i64, i64* %3
%561 = add i64 %560, 12
%562 = trunc i64 %561 to i32
%563 = load i64, i64* %140
%564 = call i32 @_br2_store(i32 %562, i64 %563, i32 8)
%565 = load i64, i64* %3
%566 = add i64 %565, 16
%567 = trunc i64 %566 to i32
%568 = load i64, i64* %141
%569 = call i32 @_br2_store(i32 %567, i64 %568, i32 8)
%570 = load i64, i64* %3
%571 = add i64 %570, 20
%572 = trunc i64 %571 to i32
%573 = load i64, i64* %142
%574 = call i32 @_br2_store(i32 %572, i64 %573, i32 8)
%575 = load i64, i64* %3
%576 = add i64 %575, 24
%577 = trunc i64 %576 to i32
%578 = load i64, i64* %143
%579 = call i32 @_br2_store(i32 %577, i64 %578, i32 8)
%580 = load i64, i64* %3
%581 = add i64 %580, 28
%582 = trunc i64 %581 to i32
%583 = load i64, i64* %144
%584 = call i32 @_br2_store(i32 %582, i64 %583, i32 8)
%585 = load i64, i64* %3
%586 = add i64 %585, 32
%587 = trunc i64 %586 to i32
%588 = load i64, i64* %145
%589 = call i32 @_br2_store(i32 %587, i64 %588, i32 8)
%590 = load i64, i64* %3
%591 = add i64 %590, 36
%592 = trunc i64 %591 to i32
%593 = load i64, i64* %146
%594 = call i32 @_br2_store(i32 %592, i64 %593, i32 8)
%595 = load i64, i64* %3
%596 = add i64 %595, 40
%597 = trunc i64 %596 to i32
%598 = load i64, i64* %147
%599 = call i32 @_br2_store(i32 %597, i64 %598, i32 8)
%600 = load i64, i64* %3
%601 = add i64 %600, 44
%602 = trunc i64 %601 to i32
%603 = load i64, i64* %148
%604 = call i32 @_br2_store(i32 %602, i64 %603, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_p384_from_bytes(i64 %0, i64 %1) {
%3 = trunc i64 %1 to i32
%4 = tail call i64 @_br2_load(i32 %3, i32 1)
%5 = add i32 %3, 1
%6 = tail call i64 @_br2_load(i32 %5, i32 1)
%7 = add i32 %3, 2
%8 = tail call i64 @_br2_load(i32 %7, i32 1)
%9 = add i32 %3, 3
%10 = tail call i64 @_br2_load(i32 %9, i32 1)
%11 = add i32 %3, 4
%12 = tail call i64 @_br2_load(i32 %11, i32 1)
%13 = add i32 %3, 5
%14 = tail call i64 @_br2_load(i32 %13, i32 1)
%15 = add i32 %3, 6
%16 = tail call i64 @_br2_load(i32 %15, i32 1)
%17 = add i32 %3, 7
%18 = tail call i64 @_br2_load(i32 %17, i32 1)
%19 = add i32 %3, 8
%20 = tail call i64 @_br2_load(i32 %19, i32 1)
%21 = add i32 %3, 9
%22 = tail call i64 @_br2_load(i32 %21, i32 1)
%23 = add i32 %3, 10
%24 = tail call i64 @_br2_load(i32 %23, i32 1)
%25 = add i32 %3, 11
%26 = tail call i64 @_br2_load(i32 %25, i32 1)
%27 = add i32 %3, 12
%28 = tail call i64 @_br2_load(i32 %27, i32 1)
%29 = add i32 %3, 13
%30 = tail call i64 @_br2_load(i32 %29, i32 1)
%31 = add i32 %3, 14
%32 = tail call i64 @_br2_load(i32 %31, i32 1)
%33 = add i32 %3, 15
%34 = tail call i64 @_br2_load(i32 %33, i32 1)
%35 = add i32 %3, 16
%36 = tail call i64 @_br2_load(i32 %35, i32 1)
%37 = add i32 %3, 17
%38 = tail call i64 @_br2_load(i32 %37, i32 1)
%39 = add i32 %3, 18
%40 = tail call i64 @_br2_load(i32 %39, i32 1)
%41 = add i32 %3, 19
%42 = tail call i64 @_br2_load(i32 %41, i32 1)
%43 = add i32 %3, 20
%44 = tail call i64 @_br2_load(i32 %43, i32 1)
%45 = add i32 %3, 21
%46 = tail call i64 @_br2_load(i32 %45, i32 1)
%47 = add i32 %3, 22
%48 = tail call i64 @_br2_load(i32 %47, i32 1)
%49 = add i32 %3, 23
%50 = tail call i64 @_br2_load(i32 %49, i32 1)
%51 = add i32 %3, 24
%52 = tail call i64 @_br2_load(i32 %51, i32 1)
%53 = add i32 %3, 25
%54 = tail call i64 @_br2_load(i32 %53, i32 1)
%55 = add i32 %3, 26
%56 = tail call i64 @_br2_load(i32 %55, i32 1)
%57 = add i32 %3, 27
%58 = tail call i64 @_br2_load(i32 %57, i32 1)
%59 = add i32 %3, 28
%60 = tail call i64 @_br2_load(i32 %59, i32 1)
%61 = add i32 %3, 29
%62 = tail call i64 @_br2_load(i32 %61, i32 1)
%63 = add i32 %3, 30
%64 = tail call i64 @_br2_load(i32 %63, i32 1)
%65 = add i32 %3, 31
%66 = tail call i64 @_br2_load(i32 %65, i32 1)
%67 = add i32 %3, 32
%68 = tail call i64 @_br2_load(i32 %67, i32 1)
%69 = add i32 %3, 33
%70 = tail call i64 @_br2_load(i32 %69, i32 1)
%71 = add i32 %3, 34
%72 = tail call i64 @_br2_load(i32 %71, i32 1)
%73 = add i32 %3, 35
%74 = tail call i64 @_br2_load(i32 %73, i32 1)
%75 = add i32 %3, 36
%76 = tail call i64 @_br2_load(i32 %75, i32 1)
%77 = add i32 %3, 37
%78 = tail call i64 @_br2_load(i32 %77, i32 1)
%79 = add i32 %3, 38
%80 = tail call i64 @_br2_load(i32 %79, i32 1)
%81 = add i32 %3, 39
%82 = tail call i64 @_br2_load(i32 %81, i32 1)
%83 = add i32 %3, 40
%84 = tail call i64 @_br2_load(i32 %83, i32 1)
%85 = add i32 %3, 41
%86 = tail call i64 @_br2_load(i32 %85, i32 1)
%87 = add i32 %3, 42
%88 = tail call i64 @_br2_load(i32 %87, i32 1)
%89 = add i32 %3, 43
%90 = tail call i64 @_br2_load(i32 %89, i32 1)
%91 = add i32 %3, 44
%92 = tail call i64 @_br2_load(i32 %91, i32 1)
%93 = add i32 %3, 45
%94 = tail call i64 @_br2_load(i32 %93, i32 1)
%95 = add i32 %3, 46
%96 = tail call i64 @_br2_load(i32 %95, i32 1)
%97 = add i32 %3, 47
%98 = tail call i64 @_br2_load(i32 %97, i32 1)
%99 = shl i64 %98, 24
%100 = shl i64 %96, 16
%101 = shl i64 %94, 8
%102 = shl i64 %90, 24
%103 = shl i64 %88, 16
%104 = shl i64 %86, 8
%105 = shl i64 %82, 24
%106 = shl i64 %80, 16
%107 = shl i64 %78, 8
%108 = shl i64 %74, 24
%109 = shl i64 %72, 16
%110 = shl i64 %70, 8
%111 = shl i64 %66, 24
%112 = shl i64 %64, 16
%113 = shl i64 %62, 8
%114 = shl i64 %58, 24
%115 = shl i64 %56, 16
%116 = shl i64 %54, 8
%117 = shl i64 %50, 24
%118 = shl i64 %48, 16
%119 = shl i64 %46, 8
%120 = shl i64 %42, 24
%121 = shl i64 %40, 16
%122 = shl i64 %38, 8
%123 = shl i64 %34, 24
%124 = shl i64 %32, 16
%125 = shl i64 %30, 8
%126 = shl i64 %26, 24
%127 = shl i64 %24, 16
%128 = shl i64 %22, 8
%129 = shl i64 %18, 24
%130 = shl i64 %16, 16
%131 = shl i64 %14, 8
%132 = shl i64 %10, 24
%133 = shl i64 %8, 16
%134 = shl i64 %6, 8
%135 = add i64 %134, %4
%136 = add i64 %135, %133
%137 = add i64 %136, %132
%138 = add i64 %131, %12
%139 = add i64 %138, %130
%140 = add i64 %139, %129
%141 = add i64 %128, %20
%142 = add i64 %141, %127
%143 = add i64 %142, %126
%144 = add i64 %125, %28
%145 = add i64 %144, %124
%146 = add i64 %145, %123
%147 = add i64 %122, %36
%148 = add i64 %147, %121
%149 = add i64 %148, %120
%150 = add i64 %119, %44
%151 = add i64 %150, %118
%152 = add i64 %151, %117
%153 = add i64 %116, %52
%154 = add i64 %153, %115
%155 = add i64 %154, %114
%156 = add i64 %113, %60
%157 = add i64 %156, %112
%158 = add i64 %157, %111
%159 = add i64 %110, %68
%160 = add i64 %159, %109
%161 = add i64 %160, %108
%162 = add i64 %107, %76
%163 = add i64 %162, %106
%164 = add i64 %163, %105
%165 = add i64 %104, %84
%166 = add i64 %165, %103
%167 = add i64 %166, %102
%168 = add i64 %101, %92
%169 = add i64 %168, %100
%170 = add i64 %169, %99
%171 = trunc i64 %0 to i32
%172 = tail call i32 @_br2_store(i32 %171, i64 %137, i32 8)
%173 = add i32 %171, 4
%174 = tail call i32 @_br2_store(i32 %173, i64 %140, i32 8)
%175 = add i32 %171, 8
%176 = tail call i32 @_br2_store(i32 %175, i64 %143, i32 8)
%177 = add i32 %171, 12
%178 = tail call i32 @_br2_store(i32 %177, i64 %146, i32 8)
%179 = add i32 %171, 16
%180 = tail call i32 @_br2_store(i32 %179, i64 %149, i32 8)
%181 = add i32 %171, 20
%182 = tail call i32 @_br2_store(i32 %181, i64 %152, i32 8)
%183 = add i32 %171, 24
%184 = tail call i32 @_br2_store(i32 %183, i64 %155, i32 8)
%185 = add i32 %171, 28
%186 = tail call i32 @_br2_store(i32 %185, i64 %158, i32 8)
%187 = add i32 %171, 32
%188 = tail call i32 @_br2_store(i32 %187, i64 %161, i32 8)
%189 = add i32 %171, 36
%190 = tail call i32 @_br2_store(i32 %189, i64 %164, i32 8)
%191 = add i32 %171, 40
%192 = tail call i32 @_br2_store(i32 %191, i64 %167, i32 8)
%193 = add i32 %171, 44
%194 = tail call i32 @_br2_store(i32 %193, i64 %170, i32 8)
ret void
}