#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 x46;
typedef uintptr_t x41;
typedef uintptr_t x36;
typedef uintptr_t x32;
typedef uintptr_t x31;
typedef uintptr_t x30;
typedef uintptr_t x29;
typedef uintptr_t x28;
typedef uintptr_t x27;
typedef uintptr_t x26;
typedef uintptr_t x25;
typedef uintptr_t x24;
typedef uintptr_t x23;
typedef uintptr_t x22;
typedef uintptr_t x21;
typedef uintptr_t x19;
typedef uintptr_t x18;
typedef uintptr_t x17;
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_from_bytes(uintptr_t out0, uintptr_t in0) {
  uintptr_t x16, x15, x14, x13, x12, x11, x10, x9, x8, x7, x6, x5, x4, x3, x2,
      x1, x0, x32, x33, x31, x34, x30, x35, x36, x29, x38, x28, x39, x27, x40,
      x41, x26, x43, x25, x44, x24, x45, x46, x23, x48, x22, x49, x21, x50, x19,
      x20, x18, x52, x17, x53, x37, x42, x47, x51, x54, x55, x56, x57, x58, x59;
  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 = (x16) << ((uintptr_t)24ULL);
  x18 = (x15) << ((uintptr_t)16ULL);
  x19 = (x14) << ((uintptr_t)8ULL);
  x20 = x13;
  x21 = (x12) << ((uintptr_t)18ULL);
  x22 = (x11) << ((uintptr_t)10ULL);
  x23 = (x10) << ((uintptr_t)2ULL);
  x24 = (x9) << ((uintptr_t)20ULL);
  x25 = (x8) << ((uintptr_t)12ULL);
  x26 = (x7) << ((uintptr_t)4ULL);
  x27 = (x6) << ((uintptr_t)22ULL);
  x28 = (x5) << ((uintptr_t)14ULL);
  x29 = (x4) << ((uintptr_t)6ULL);
  x30 = (x3) << ((uintptr_t)24ULL);
  x31 = (x2) << ((uintptr_t)16ULL);
  x32 = (x1) << ((uintptr_t)8ULL);
  x33 = x0;
  x34 = (x32) + (x33);
  x35 = (x31) + (x34);
  x36 = (x30) + (x35);
  x37 = (x36) & ((uintptr_t)67108863ULL);
  x38 = (x36) >> ((uintptr_t)26ULL);
  x39 = (x29) + (x38);
  x40 = (x28) + (x39);
  x41 = (x27) + (x40);
  x42 = (x41) & ((uintptr_t)67108863ULL);
  x43 = (x41) >> ((uintptr_t)26ULL);
  x44 = (x26) + (x43);
  x45 = (x25) + (x44);
  x46 = (x24) + (x45);
  x47 = (x46) & ((uintptr_t)67108863ULL);
  x48 = (x46) >> ((uintptr_t)26ULL);
  x49 = (x23) + (x48);
  x50 = (x22) + (x49);
  x51 = (x21) + (x50);
  x52 = (x19) + (x20);
  x53 = (x18) + (x52);
  x54 = (x17) + (x53);
  x55 = x37;
  x56 = x42;
  x57 = x47;
  x58 = x51;
  x59 = x54;
  _br2_store((out0) + ((uintptr_t)0ULL), x55, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x56, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x57, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x58, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x59, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_poly1305_from_bytes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1f0,%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,-0x98(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x90(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x88(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
add    $0x5,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
add    $0x6,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rax
add    $0x7,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rax
add    $0x9,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0xa,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0xb,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0xd,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0xe,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0xf,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%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,-0x198(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x188(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x178(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x180(%rbp)
mov    -0x38(%rbp),%rax
shl    $0x12,%rax
mov    %rax,-0x168(%rbp)
mov    -0x40(%rbp),%rax
shl    $0xa,%rax
mov    %rax,-0x158(%rbp)
mov    -0x48(%rbp),%rax
shl    $0x2,%rax
mov    %rax,-0x148(%rbp)
mov    -0x50(%rbp),%rax
shl    $0x14,%rax
mov    %rax,-0x130(%rbp)
mov    -0x58(%rbp),%rax
shl    $0xc,%rax
mov    %rax,-0x120(%rbp)
mov    -0x60(%rbp),%rax
shl    $0x4,%rax
mov    %rax,-0x110(%rbp)
mov    -0x68(%rbp),%rax
shl    $0x16,%rax
mov    %rax,-0xf8(%rbp)
mov    -0x70(%rbp),%rax
shl    $0xe,%rax
mov    %rax,-0xe8(%rbp)
mov    -0x78(%rbp),%rax
shl    $0x6,%rax
mov    %rax,-0xd8(%rbp)
mov    -0x80(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0xc0(%rbp)
mov    -0x88(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0xb0(%rbp)
mov    -0x90(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0xa0(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa0(%rbp),%rax
add    -0xa8(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb0(%rbp),%rax
add    -0xb8(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc0(%rbp),%rax
add    -0xc8(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
and    $0x3ffffff,%rax
mov    %rax,-0x1a8(%rbp)
mov    -0xd0(%rbp),%rax
shr    $0x1a,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xd8(%rbp),%rax
add    -0xe0(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0xe8(%rbp),%rax
add    -0xf0(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xf8(%rbp),%rax
add    -0x100(%rbp),%rax
mov    %rax,-0x108(%rbp)
mov    -0x108(%rbp),%rax
and    $0x3ffffff,%rax
mov    %rax,-0x1b0(%rbp)
mov    -0x108(%rbp),%rax
shr    $0x1a,%rax
mov    %rax,-0x118(%rbp)
mov    -0x110(%rbp),%rax
add    -0x118(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0x120(%rbp),%rax
add    -0x128(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0x130(%rbp),%rax
add    -0x138(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0x140(%rbp),%rax
and    $0x3ffffff,%rax
mov    %rax,-0x1b8(%rbp)
mov    -0x140(%rbp),%rax
shr    $0x1a,%rax
mov    %rax,-0x150(%rbp)
mov    -0x148(%rbp),%rax
add    -0x150(%rbp),%rax
mov    %rax,-0x160(%rbp)
mov    -0x158(%rbp),%rax
add    -0x160(%rbp),%rax
mov    %rax,-0x170(%rbp)
mov    -0x168(%rbp),%rax
add    -0x170(%rbp),%rax
mov    %rax,-0x1c0(%rbp)
mov    -0x178(%rbp),%rax
add    -0x180(%rbp),%rax
mov    %rax,-0x190(%rbp)
mov    -0x188(%rbp),%rax
add    -0x190(%rbp),%rax
mov    %rax,-0x1a0(%rbp)
mov    -0x198(%rbp),%rax
add    -0x1a0(%rbp),%rax
mov    %rax,-0x1c8(%rbp)
mov    -0x1a8(%rbp),%rax
mov    %rax,-0x1d0(%rbp)
mov    -0x1b0(%rbp),%rax
mov    %rax,-0x1d8(%rbp)
mov    -0x1b8(%rbp),%rax
mov    %rax,-0x1e0(%rbp)
mov    -0x1c0(%rbp),%rax
mov    %rax,-0x1e8(%rbp)
mov    -0x1c8(%rbp),%rax
mov    %rax,-0x1f0(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x1d0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    -0x1d8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x1e0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    -0x1e8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x1f0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x1f0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_poly1305_from_bytes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rsi,%r12
mov    %rdi,0x60(%rsp)
mov    %r12d,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x58(%rsp)
lea    0x1(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbx
lea    0x2(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x50(%rsp)
lea    0x3(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x48(%rsp)
lea    0x4(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x38(%rsp)
lea    0x5(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x40(%rsp)
lea    0x6(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%rsp)
lea    0x7(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
lea    0x8(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r13
lea    0x9(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x20(%rsp)
lea    0xa(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
lea    0xb(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0xc(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0xd(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0xe(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
lea    0xf(%r12),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
add    $0x10,%r12d
mov    %r12d,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
shl    $0xc,%r13
shl    $0x4,%rbp
add    %r13,%rbp
shl    $0x8,%rbx
add    0x58(%rsp),%rbx
mov    0x50(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%rbx
mov    0x38(%rsp),%rcx
shl    $0x6,%rcx
mov    0x48(%rsp),%rdx
shl    $0x18,%rdx
add    %rdx,%rbx
mov    %ebx,%esi
shr    $0x1a,%rbx
add    %rcx,%rbx
mov    0x40(%rsp),%rcx
shl    $0xe,%rcx
add    %rcx,%rbx
mov    0x30(%rsp),%rcx
shl    $0x16,%rcx
add    %rcx,%rbx
mov    %ebx,%r12d
shr    $0x1a,%rbx
add    %rbp,%rbx
mov    0x20(%rsp),%rcx
shl    $0x14,%rcx
add    %rcx,%rbx
mov    0x18(%rsp),%rdx
shl    $0xa,%rdx
mov    0x28(%rsp),%rcx
lea    (%rdx,%rcx,4),%rbp
mov    0x10(%rsp),%rcx
shl    $0x12,%rcx
add    %rcx,%rbp
mov    %ebx,%r13d
shr    $0x1a,%rbx
add    %rbx,%rbp
shl    $0x8,%r15
add    0x8(%rsp),%r15
shl    $0x10,%r14
add    %r14,%r15
shl    $0x18,%rax
add    %rax,%r15
and    $0x3ffffff,%esi
and    $0x3ffffff,%r12d
and    $0x3ffffff,%r13d
mov    0x60(%rsp),%rbx
mov    %ebx,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x4(%rbx),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbx),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0xc(%rbx),%edi
mov    %rbp,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x10,%ebx
mov    %ebx,%edi
mov    %r15,%rsi
mov    $0x8,%edx
add    $0x68,%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_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
store i64 %0, i64* %3
store i64 %1, i64* %4
%65 = load i64, i64* %4
%66 = add i64 %65, 0
%67 = trunc i64 %66 to i32
%68 = call i64 @_br2_load(i32 %67, i32 1)
store i64 %68, i64* %21
%69 = load i64, i64* %4
%70 = add i64 %69, 1
%71 = trunc i64 %70 to i32
%72 = call i64 @_br2_load(i32 %71, i32 1)
store i64 %72, i64* %20
%73 = load i64, i64* %4
%74 = add i64 %73, 2
%75 = trunc i64 %74 to i32
%76 = call i64 @_br2_load(i32 %75, i32 1)
store i64 %76, i64* %19
%77 = load i64, i64* %4
%78 = add i64 %77, 3
%79 = trunc i64 %78 to i32
%80 = call i64 @_br2_load(i32 %79, i32 1)
store i64 %80, i64* %18
%81 = load i64, i64* %4
%82 = add i64 %81, 4
%83 = trunc i64 %82 to i32
%84 = call i64 @_br2_load(i32 %83, i32 1)
store i64 %84, i64* %17
%85 = load i64, i64* %4
%86 = add i64 %85, 5
%87 = trunc i64 %86 to i32
%88 = call i64 @_br2_load(i32 %87, i32 1)
store i64 %88, i64* %16
%89 = load i64, i64* %4
%90 = add i64 %89, 6
%91 = trunc i64 %90 to i32
%92 = call i64 @_br2_load(i32 %91, i32 1)
store i64 %92, i64* %15
%93 = load i64, i64* %4
%94 = add i64 %93, 7
%95 = trunc i64 %94 to i32
%96 = call i64 @_br2_load(i32 %95, i32 1)
store i64 %96, i64* %14
%97 = load i64, i64* %4
%98 = add i64 %97, 8
%99 = trunc i64 %98 to i32
%100 = call i64 @_br2_load(i32 %99, i32 1)
store i64 %100, i64* %13
%101 = load i64, i64* %4
%102 = add i64 %101, 9
%103 = trunc i64 %102 to i32
%104 = call i64 @_br2_load(i32 %103, i32 1)
store i64 %104, i64* %12
%105 = load i64, i64* %4
%106 = add i64 %105, 10
%107 = trunc i64 %106 to i32
%108 = call i64 @_br2_load(i32 %107, i32 1)
store i64 %108, i64* %11
%109 = load i64, i64* %4
%110 = add i64 %109, 11
%111 = trunc i64 %110 to i32
%112 = call i64 @_br2_load(i32 %111, i32 1)
store i64 %112, i64* %10
%113 = load i64, i64* %4
%114 = add i64 %113, 12
%115 = trunc i64 %114 to i32
%116 = call i64 @_br2_load(i32 %115, i32 1)
store i64 %116, i64* %9
%117 = load i64, i64* %4
%118 = add i64 %117, 13
%119 = trunc i64 %118 to i32
%120 = call i64 @_br2_load(i32 %119, i32 1)
store i64 %120, i64* %8
%121 = load i64, i64* %4
%122 = add i64 %121, 14
%123 = trunc i64 %122 to i32
%124 = call i64 @_br2_load(i32 %123, i32 1)
store i64 %124, i64* %7
%125 = load i64, i64* %4
%126 = add i64 %125, 15
%127 = trunc i64 %126 to i32
%128 = call i64 @_br2_load(i32 %127, i32 1)
store i64 %128, i64* %6
%129 = load i64, i64* %4
%130 = add i64 %129, 16
%131 = trunc i64 %130 to i32
%132 = call i64 @_br2_load(i32 %131, i32 1)
store i64 %132, i64* %5
%133 = load i64, i64* %5
%134 = shl i64 %133, 24
store i64 %134, i64* %53
%135 = load i64, i64* %6
%136 = shl i64 %135, 16
store i64 %136, i64* %51
%137 = load i64, i64* %7
%138 = shl i64 %137, 8
store i64 %138, i64* %49
%139 = load i64, i64* %8
store i64 %139, i64* %50
%140 = load i64, i64* %9
%141 = shl i64 %140, 18
store i64 %141, i64* %47
%142 = load i64, i64* %10
%143 = shl i64 %142, 10
store i64 %143, i64* %45
%144 = load i64, i64* %11
%145 = shl i64 %144, 2
store i64 %145, i64* %43
%146 = load i64, i64* %12
%147 = shl i64 %146, 20
store i64 %147, i64* %40
%148 = load i64, i64* %13
%149 = shl i64 %148, 12
store i64 %149, i64* %38
%150 = load i64, i64* %14
%151 = shl i64 %150, 4
store i64 %151, i64* %36
%152 = load i64, i64* %15
%153 = shl i64 %152, 22
store i64 %153, i64* %33
%154 = load i64, i64* %16
%155 = shl i64 %154, 14
store i64 %155, i64* %31
%156 = load i64, i64* %17
%157 = shl i64 %156, 6
store i64 %157, i64* %29
%158 = load i64, i64* %18
%159 = shl i64 %158, 24
store i64 %159, i64* %26
%160 = load i64, i64* %19
%161 = shl i64 %160, 16
store i64 %161, i64* %24
%162 = load i64, i64* %20
%163 = shl i64 %162, 8
store i64 %163, i64* %22
%164 = load i64, i64* %21
store i64 %164, i64* %23
%165 = load i64, i64* %22
%166 = load i64, i64* %23
%167 = add i64 %165, %166
store i64 %167, i64* %25
%168 = load i64, i64* %24
%169 = load i64, i64* %25
%170 = add i64 %168, %169
store i64 %170, i64* %27
%171 = load i64, i64* %26
%172 = load i64, i64* %27
%173 = add i64 %171, %172
store i64 %173, i64* %28
%174 = load i64, i64* %28
%175 = and i64 %174, 67108863
store i64 %175, i64* %55
%176 = load i64, i64* %28
%177 = lshr i64 %176, 26
store i64 %177, i64* %30
%178 = load i64, i64* %29
%179 = load i64, i64* %30
%180 = add i64 %178, %179
store i64 %180, i64* %32
%181 = load i64, i64* %31
%182 = load i64, i64* %32
%183 = add i64 %181, %182
store i64 %183, i64* %34
%184 = load i64, i64* %33
%185 = load i64, i64* %34
%186 = add i64 %184, %185
store i64 %186, i64* %35
%187 = load i64, i64* %35
%188 = and i64 %187, 67108863
store i64 %188, i64* %56
%189 = load i64, i64* %35
%190 = lshr i64 %189, 26
store i64 %190, i64* %37
%191 = load i64, i64* %36
%192 = load i64, i64* %37
%193 = add i64 %191, %192
store i64 %193, i64* %39
%194 = load i64, i64* %38
%195 = load i64, i64* %39
%196 = add i64 %194, %195
store i64 %196, i64* %41
%197 = load i64, i64* %40
%198 = load i64, i64* %41
%199 = add i64 %197, %198
store i64 %199, i64* %42
%200 = load i64, i64* %42
%201 = and i64 %200, 67108863
store i64 %201, i64* %57
%202 = load i64, i64* %42
%203 = lshr i64 %202, 26
store i64 %203, i64* %44
%204 = load i64, i64* %43
%205 = load i64, i64* %44
%206 = add i64 %204, %205
store i64 %206, i64* %46
%207 = load i64, i64* %45
%208 = load i64, i64* %46
%209 = add i64 %207, %208
store i64 %209, i64* %48
%210 = load i64, i64* %47
%211 = load i64, i64* %48
%212 = add i64 %210, %211
store i64 %212, i64* %58
%213 = load i64, i64* %49
%214 = load i64, i64* %50
%215 = add i64 %213, %214
store i64 %215, i64* %52
%216 = load i64, i64* %51
%217 = load i64, i64* %52
%218 = add i64 %216, %217
store i64 %218, i64* %54
%219 = load i64, i64* %53
%220 = load i64, i64* %54
%221 = add i64 %219, %220
store i64 %221, i64* %59
%222 = load i64, i64* %55
store i64 %222, i64* %60
%223 = load i64, i64* %56
store i64 %223, i64* %61
%224 = load i64, i64* %57
store i64 %224, i64* %62
%225 = load i64, i64* %58
store i64 %225, i64* %63
%226 = load i64, i64* %59
store i64 %226, i64* %64
%227 = load i64, i64* %3
%228 = add i64 %227, 0
%229 = trunc i64 %228 to i32
%230 = load i64, i64* %60
%231 = call i32 @_br2_store(i32 %229, i64 %230, i32 8)
%232 = load i64, i64* %3
%233 = add i64 %232, 4
%234 = trunc i64 %233 to i32
%235 = load i64, i64* %61
%236 = call i32 @_br2_store(i32 %234, i64 %235, i32 8)
%237 = load i64, i64* %3
%238 = add i64 %237, 8
%239 = trunc i64 %238 to i32
%240 = load i64, i64* %62
%241 = call i32 @_br2_store(i32 %239, i64 %240, i32 8)
%242 = load i64, i64* %3
%243 = add i64 %242, 12
%244 = trunc i64 %243 to i32
%245 = load i64, i64* %63
%246 = call i32 @_br2_store(i32 %244, i64 %245, i32 8)
%247 = load i64, i64* %3
%248 = add i64 %247, 16
%249 = trunc i64 %248 to i32
%250 = load i64, i64* %64
%251 = call i32 @_br2_store(i32 %249, i64 %250, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_poly1305_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 = shl i64 %36, 24
%38 = shl i64 %34, 16
%39 = shl i64 %32, 8
%40 = shl i64 %28, 18
%41 = shl i64 %26, 10
%42 = shl i64 %24, 2
%43 = shl i64 %22, 20
%44 = shl i64 %20, 12
%45 = shl i64 %18, 4
%46 = shl i64 %16, 22
%47 = shl i64 %14, 14
%48 = shl i64 %12, 6
%49 = shl i64 %10, 24
%50 = shl i64 %8, 16
%51 = shl i64 %6, 8
%52 = add i64 %51, %4
%53 = add i64 %52, %50
%54 = add i64 %53, %49
%55 = and i64 %54, 67108863
%56 = lshr i64 %54, 26
%57 = add i64 %56, %48
%58 = add i64 %57, %47
%59 = add i64 %58, %46
%60 = and i64 %59, 67108863
%61 = lshr i64 %59, 26
%62 = add i64 %44, %45
%63 = add i64 %62, %61
%64 = add i64 %63, %43
%65 = and i64 %64, 67108863
%66 = lshr i64 %64, 26
%67 = add i64 %41, %42
%68 = add i64 %67, %40
%69 = add i64 %68, %66
%70 = add i64 %39, %30
%71 = add i64 %70, %38
%72 = add i64 %71, %37
%73 = trunc i64 %0 to i32
%74 = tail call i32 @_br2_store(i32 %73, i64 %55, i32 8)
%75 = add i32 %73, 4
%76 = tail call i32 @_br2_store(i32 %75, i64 %60, i32 8)
%77 = add i32 %73, 8
%78 = tail call i32 @_br2_store(i32 %77, i64 %65, i32 8)
%79 = add i32 %73, 12
%80 = tail call i32 @_br2_store(i32 %79, i64 %69, i32 8)
%81 = add i32 %73, 16
%82 = tail call i32 @_br2_store(i32 %81, i64 %72, i32 8)
ret void
}