#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 int const w0;
typedef int /*<<< orphan*/ uint8_t;
typedef int uint64_t;

/* Variables and functions */
void unpackforblock13_64(const uint64_t base, const uint8_t **pw,
                         uint64_t **pout) {
  const uint64_t *pw64 = *(const uint64_t **)pw;
  uint64_t *out = *pout;
  const uint64_t mask = (8191ULL);
  uint64_t w0 = pw64[0];
  uint64_t w1 = pw64[1];
  uint64_t w2 = pw64[2];
  uint64_t w3 = pw64[3];
  uint64_t w4 = pw64[4];
  uint64_t w5 = pw64[5];
  uint64_t w6 = pw64[6];
  *pw += 52;
  out[0] = base + ((w0)&mask);
  out[1] = base + ((w0 >> 13) & mask);
  out[2] = base + ((w0 >> 26) & mask);
  out[3] = base + ((w0 >> 39) & mask);
  out[4] = base + (((w0 >> 52) | (w1 << 12)) & mask);
  out[5] = base + ((w1 >> 1) & mask);
  out[6] = base + ((w1 >> 14) & mask);
  out[7] = base + ((w1 >> 27) & mask);
  out[8] = base + ((w1 >> 40) & mask);
  out[9] = base + (((w1 >> 53) | (w2 << 11)) & mask);
  out[10] = base + ((w2 >> 2) & mask);
  out[11] = base + ((w2 >> 15) & mask);
  out[12] = base + ((w2 >> 28) & mask);
  out[13] = base + ((w2 >> 41) & mask);
  out[14] = base + (((w2 >> 54) | (w3 << 10)) & mask);
  out[15] = base + ((w3 >> 3) & mask);
  out[16] = base + ((w3 >> 16) & mask);
  out[17] = base + ((w3 >> 29) & mask);
  out[18] = base + ((w3 >> 42) & mask);
  out[19] = base + (((w3 >> 55) | (w4 << 9)) & mask);
  out[20] = base + ((w4 >> 4) & mask);
  out[21] = base + ((w4 >> 17) & mask);
  out[22] = base + ((w4 >> 30) & mask);
  out[23] = base + ((w4 >> 43) & mask);
  out[24] = base + (((w4 >> 56) | (w5 << 8)) & mask);
  out[25] = base + ((w5 >> 5) & mask);
  out[26] = base + ((w5 >> 18) & mask);
  out[27] = base + ((w5 >> 31) & mask);
  out[28] = base + ((w5 >> 44) & mask);
  out[29] = base + (((w5 >> 57) | (w6 << 7)) & mask);
  out[30] = base + ((w6 >> 6) & mask);
  out[31] = base + ((w6 >> 19) & mask);
  *pout += 32;
}


x86 assembly (clang, -O0):
<unpackforblock13_64>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
movl   $0x1fff,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
mov    0x10(%rax),%eax
mov    %eax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    0x14(%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x20(%rbp),%rax
mov    0x18(%rax),%eax
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0xd0,%rcx
mov    %rcx,(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x30(%rbp),%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x30(%rbp),%eax
sar    $0xd,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x30(%rbp),%eax
sar    $0x1a,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x30(%rbp),%eax
mov    $0x27,%ecx
sar    %cl,%eax
mov    -0x78(%rbp),%ecx
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x30(%rbp),%eax
mov    $0x34,%ecx
sar    %cl,%eax
mov    -0x74(%rbp),%ecx
mov    -0x34(%rbp),%edx
shl    $0xc,%edx
or     %edx,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x10(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x34(%rbp),%eax
sar    $0x1,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x14(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x34(%rbp),%eax
sar    $0xe,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x18(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x34(%rbp),%eax
sar    $0x1b,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x1c(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x28,%ecx
sar    %cl,%eax
mov    -0x70(%rbp),%ecx
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x20(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x35,%ecx
sar    %cl,%eax
mov    -0x6c(%rbp),%ecx
mov    -0x38(%rbp),%edx
shl    $0xb,%edx
or     %edx,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x24(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x38(%rbp),%eax
sar    $0x2,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x28(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x38(%rbp),%eax
sar    $0xf,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x2c(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x38(%rbp),%eax
sar    $0x1c,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x30(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x38(%rbp),%eax
mov    $0x29,%ecx
sar    %cl,%eax
mov    -0x68(%rbp),%ecx
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x34(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x38(%rbp),%eax
mov    $0x36,%ecx
sar    %cl,%eax
mov    -0x64(%rbp),%ecx
mov    -0x3c(%rbp),%edx
shl    $0xa,%edx
or     %edx,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x38(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x3c(%rbp),%eax
sar    $0x3,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x3c(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x3c(%rbp),%eax
sar    $0x10,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x40(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x3c(%rbp),%eax
sar    $0x1d,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x44(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x3c(%rbp),%eax
mov    $0x2a,%ecx
sar    %cl,%eax
mov    -0x60(%rbp),%ecx
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x48(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x3c(%rbp),%eax
mov    $0x37,%ecx
sar    %cl,%eax
mov    -0x5c(%rbp),%ecx
mov    -0x40(%rbp),%edx
shl    $0x9,%edx
or     %edx,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4c(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x40(%rbp),%eax
sar    $0x4,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x50(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x40(%rbp),%eax
sar    $0x11,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x54(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x40(%rbp),%eax
sar    $0x1e,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x58(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x40(%rbp),%eax
mov    $0x2b,%ecx
sar    %cl,%eax
mov    -0x58(%rbp),%ecx
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x5c(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x40(%rbp),%eax
mov    $0x38,%ecx
sar    %cl,%eax
mov    -0x54(%rbp),%ecx
mov    -0x44(%rbp),%edx
shl    $0x8,%edx
or     %edx,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x60(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x44(%rbp),%eax
sar    $0x5,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x64(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x44(%rbp),%eax
sar    $0x12,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x68(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x44(%rbp),%eax
sar    $0x1f,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x6c(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
mov    $0x2c,%ecx
sar    %cl,%eax
mov    -0x50(%rbp),%ecx
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x70(%rax)
mov    -0x4(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%eax
mov    $0x39,%ecx
sar    %cl,%eax
mov    -0x4c(%rbp),%ecx
mov    -0x48(%rbp),%edx
shl    $0x7,%edx
or     %edx,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x74(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x48(%rbp),%eax
sar    $0x6,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x78(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x48(%rbp),%eax
sar    $0x13,%eax
and    $0x1fff,%eax
add    %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x7c(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x80,%rcx
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<unpackforblock13_64>:
push   %rbp
push   %r14
push   %rbx
mov    (%rsi),%rcx
mov    (%rdx),%rax
mov    (%rcx),%ebp
mov    0x4(%rcx),%ebx
mov    0x8(%rcx),%r14d
mov    0xc(%rcx),%r11d
mov    0x10(%rcx),%r10d
mov    0x14(%rcx),%r9d
mov    0x18(%rcx),%r8d
add    $0xd0,%rcx
mov    %rcx,(%rsi)
mov    %ebp,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,(%rax)
mov    %ebp,%ecx
shr    $0xd,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x4(%rax)
sar    $0x1a,%ebp
and    $0x1fff,%ebp
add    %edi,%ebp
mov    %ebp,0x8(%rax)
mov    %ebx,%ecx
shr    %ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x14(%rax)
mov    %ebx,%ecx
shr    $0xe,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x18(%rax)
sar    $0x1b,%ebx
and    $0x1fff,%ebx
add    %edi,%ebx
mov    %ebx,0x1c(%rax)
mov    %r14d,%ecx
shr    $0x2,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x28(%rax)
mov    %r14d,%ecx
shr    $0xf,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x2c(%rax)
sar    $0x1c,%r14d
and    $0x1fff,%r14d
add    %edi,%r14d
mov    %r14d,0x30(%rax)
mov    %r11d,%ecx
shr    $0x3,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x3c(%rax)
mov    %r11d,%ecx
shr    $0x10,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x40(%rax)
sar    $0x1d,%r11d
and    $0x1fff,%r11d
add    %edi,%r11d
mov    %r11d,0x44(%rax)
mov    %r10d,%ecx
shr    $0x4,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x50(%rax)
mov    %r10d,%ecx
shr    $0x11,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x54(%rax)
sar    $0x1e,%r10d
and    $0x1fff,%r10d
add    %edi,%r10d
mov    %r10d,0x58(%rax)
mov    %r9d,%ecx
shr    $0x5,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x64(%rax)
mov    %r9d,%ecx
shr    $0x12,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x68(%rax)
sar    $0x1f,%r9d
and    $0x1fff,%r9d
add    %edi,%r9d
mov    %r9d,0x6c(%rax)
mov    %r8d,%ecx
shr    $0x6,%ecx
and    $0x1fff,%ecx
add    %edi,%ecx
mov    %ecx,0x78(%rax)
shr    $0x13,%r8d
add    %edi,%r8d
mov    %r8d,0x7c(%rax)
subq   $0xffffffffffffff80,(%rdx)
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @unpackforblock13_64(i32 %0, i32** %1, i32** %2) {
%4 = alloca i32
%5 = alloca i32**
%6 = alloca i32**
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i32 %0, i32* %4
store i32** %1, i32*** %5
store i32** %2, i32*** %6
%17 = load i32**, i32*** %5
%18 = load i32*, i32** %17
store i32* %18, i32** %7
%19 = load i32**, i32*** %6
%20 = load i32*, i32** %19
store i32* %20, i32** %8
store i32 8191, i32* %9
%21 = load i32*, i32** %7
%22 = getelementptr inbounds i32, i32* %21, i64 0
%23 = load i32, i32* %22
store i32 %23, i32* %10
%24 = load i32*, i32** %7
%25 = getelementptr inbounds i32, i32* %24, i64 1
%26 = load i32, i32* %25
store i32 %26, i32* %11
%27 = load i32*, i32** %7
%28 = getelementptr inbounds i32, i32* %27, i64 2
%29 = load i32, i32* %28
store i32 %29, i32* %12
%30 = load i32*, i32** %7
%31 = getelementptr inbounds i32, i32* %30, i64 3
%32 = load i32, i32* %31
store i32 %32, i32* %13
%33 = load i32*, i32** %7
%34 = getelementptr inbounds i32, i32* %33, i64 4
%35 = load i32, i32* %34
store i32 %35, i32* %14
%36 = load i32*, i32** %7
%37 = getelementptr inbounds i32, i32* %36, i64 5
%38 = load i32, i32* %37
store i32 %38, i32* %15
%39 = load i32*, i32** %7
%40 = getelementptr inbounds i32, i32* %39, i64 6
%41 = load i32, i32* %40
store i32 %41, i32* %16
%42 = load i32**, i32*** %5
%43 = load i32*, i32** %42
%44 = getelementptr inbounds i32, i32* %43, i64 52
store i32* %44, i32** %42
%45 = load i32, i32* %4
%46 = load i32, i32* %10
%47 = and i32 %46, 8191
%48 = add nsw i32 %45, %47
%49 = load i32*, i32** %8
%50 = getelementptr inbounds i32, i32* %49, i64 0
store i32 %48, i32* %50
%51 = load i32, i32* %4
%52 = load i32, i32* %10
%53 = ashr i32 %52, 13
%54 = and i32 %53, 8191
%55 = add nsw i32 %51, %54
%56 = load i32*, i32** %8
%57 = getelementptr inbounds i32, i32* %56, i64 1
store i32 %55, i32* %57
%58 = load i32, i32* %4
%59 = load i32, i32* %10
%60 = ashr i32 %59, 26
%61 = and i32 %60, 8191
%62 = add nsw i32 %58, %61
%63 = load i32*, i32** %8
%64 = getelementptr inbounds i32, i32* %63, i64 2
store i32 %62, i32* %64
%65 = load i32, i32* %4
%66 = load i32, i32* %10
%67 = ashr i32 %66, 39
%68 = and i32 %67, 8191
%69 = add nsw i32 %65, %68
%70 = load i32*, i32** %8
%71 = getelementptr inbounds i32, i32* %70, i64 3
store i32 %69, i32* %71
%72 = load i32, i32* %4
%73 = load i32, i32* %10
%74 = ashr i32 %73, 52
%75 = load i32, i32* %11
%76 = shl i32 %75, 12
%77 = or i32 %74, %76
%78 = and i32 %77, 8191
%79 = add nsw i32 %72, %78
%80 = load i32*, i32** %8
%81 = getelementptr inbounds i32, i32* %80, i64 4
store i32 %79, i32* %81
%82 = load i32, i32* %4
%83 = load i32, i32* %11
%84 = ashr i32 %83, 1
%85 = and i32 %84, 8191
%86 = add nsw i32 %82, %85
%87 = load i32*, i32** %8
%88 = getelementptr inbounds i32, i32* %87, i64 5
store i32 %86, i32* %88
%89 = load i32, i32* %4
%90 = load i32, i32* %11
%91 = ashr i32 %90, 14
%92 = and i32 %91, 8191
%93 = add nsw i32 %89, %92
%94 = load i32*, i32** %8
%95 = getelementptr inbounds i32, i32* %94, i64 6
store i32 %93, i32* %95
%96 = load i32, i32* %4
%97 = load i32, i32* %11
%98 = ashr i32 %97, 27
%99 = and i32 %98, 8191
%100 = add nsw i32 %96, %99
%101 = load i32*, i32** %8
%102 = getelementptr inbounds i32, i32* %101, i64 7
store i32 %100, i32* %102
%103 = load i32, i32* %4
%104 = load i32, i32* %11
%105 = ashr i32 %104, 40
%106 = and i32 %105, 8191
%107 = add nsw i32 %103, %106
%108 = load i32*, i32** %8
%109 = getelementptr inbounds i32, i32* %108, i64 8
store i32 %107, i32* %109
%110 = load i32, i32* %4
%111 = load i32, i32* %11
%112 = ashr i32 %111, 53
%113 = load i32, i32* %12
%114 = shl i32 %113, 11
%115 = or i32 %112, %114
%116 = and i32 %115, 8191
%117 = add nsw i32 %110, %116
%118 = load i32*, i32** %8
%119 = getelementptr inbounds i32, i32* %118, i64 9
store i32 %117, i32* %119
%120 = load i32, i32* %4
%121 = load i32, i32* %12
%122 = ashr i32 %121, 2
%123 = and i32 %122, 8191
%124 = add nsw i32 %120, %123
%125 = load i32*, i32** %8
%126 = getelementptr inbounds i32, i32* %125, i64 10
store i32 %124, i32* %126
%127 = load i32, i32* %4
%128 = load i32, i32* %12
%129 = ashr i32 %128, 15
%130 = and i32 %129, 8191
%131 = add nsw i32 %127, %130
%132 = load i32*, i32** %8
%133 = getelementptr inbounds i32, i32* %132, i64 11
store i32 %131, i32* %133
%134 = load i32, i32* %4
%135 = load i32, i32* %12
%136 = ashr i32 %135, 28
%137 = and i32 %136, 8191
%138 = add nsw i32 %134, %137
%139 = load i32*, i32** %8
%140 = getelementptr inbounds i32, i32* %139, i64 12
store i32 %138, i32* %140
%141 = load i32, i32* %4
%142 = load i32, i32* %12
%143 = ashr i32 %142, 41
%144 = and i32 %143, 8191
%145 = add nsw i32 %141, %144
%146 = load i32*, i32** %8
%147 = getelementptr inbounds i32, i32* %146, i64 13
store i32 %145, i32* %147
%148 = load i32, i32* %4
%149 = load i32, i32* %12
%150 = ashr i32 %149, 54
%151 = load i32, i32* %13
%152 = shl i32 %151, 10
%153 = or i32 %150, %152
%154 = and i32 %153, 8191
%155 = add nsw i32 %148, %154
%156 = load i32*, i32** %8
%157 = getelementptr inbounds i32, i32* %156, i64 14
store i32 %155, i32* %157
%158 = load i32, i32* %4
%159 = load i32, i32* %13
%160 = ashr i32 %159, 3
%161 = and i32 %160, 8191
%162 = add nsw i32 %158, %161
%163 = load i32*, i32** %8
%164 = getelementptr inbounds i32, i32* %163, i64 15
store i32 %162, i32* %164
%165 = load i32, i32* %4
%166 = load i32, i32* %13
%167 = ashr i32 %166, 16
%168 = and i32 %167, 8191
%169 = add nsw i32 %165, %168
%170 = load i32*, i32** %8
%171 = getelementptr inbounds i32, i32* %170, i64 16
store i32 %169, i32* %171
%172 = load i32, i32* %4
%173 = load i32, i32* %13
%174 = ashr i32 %173, 29
%175 = and i32 %174, 8191
%176 = add nsw i32 %172, %175
%177 = load i32*, i32** %8
%178 = getelementptr inbounds i32, i32* %177, i64 17
store i32 %176, i32* %178
%179 = load i32, i32* %4
%180 = load i32, i32* %13
%181 = ashr i32 %180, 42
%182 = and i32 %181, 8191
%183 = add nsw i32 %179, %182
%184 = load i32*, i32** %8
%185 = getelementptr inbounds i32, i32* %184, i64 18
store i32 %183, i32* %185
%186 = load i32, i32* %4
%187 = load i32, i32* %13
%188 = ashr i32 %187, 55
%189 = load i32, i32* %14
%190 = shl i32 %189, 9
%191 = or i32 %188, %190
%192 = and i32 %191, 8191
%193 = add nsw i32 %186, %192
%194 = load i32*, i32** %8
%195 = getelementptr inbounds i32, i32* %194, i64 19
store i32 %193, i32* %195
%196 = load i32, i32* %4
%197 = load i32, i32* %14
%198 = ashr i32 %197, 4
%199 = and i32 %198, 8191
%200 = add nsw i32 %196, %199
%201 = load i32*, i32** %8
%202 = getelementptr inbounds i32, i32* %201, i64 20
store i32 %200, i32* %202
%203 = load i32, i32* %4
%204 = load i32, i32* %14
%205 = ashr i32 %204, 17
%206 = and i32 %205, 8191
%207 = add nsw i32 %203, %206
%208 = load i32*, i32** %8
%209 = getelementptr inbounds i32, i32* %208, i64 21
store i32 %207, i32* %209
%210 = load i32, i32* %4
%211 = load i32, i32* %14
%212 = ashr i32 %211, 30
%213 = and i32 %212, 8191
%214 = add nsw i32 %210, %213
%215 = load i32*, i32** %8
%216 = getelementptr inbounds i32, i32* %215, i64 22
store i32 %214, i32* %216
%217 = load i32, i32* %4
%218 = load i32, i32* %14
%219 = ashr i32 %218, 43
%220 = and i32 %219, 8191
%221 = add nsw i32 %217, %220
%222 = load i32*, i32** %8
%223 = getelementptr inbounds i32, i32* %222, i64 23
store i32 %221, i32* %223
%224 = load i32, i32* %4
%225 = load i32, i32* %14
%226 = ashr i32 %225, 56
%227 = load i32, i32* %15
%228 = shl i32 %227, 8
%229 = or i32 %226, %228
%230 = and i32 %229, 8191
%231 = add nsw i32 %224, %230
%232 = load i32*, i32** %8
%233 = getelementptr inbounds i32, i32* %232, i64 24
store i32 %231, i32* %233
%234 = load i32, i32* %4
%235 = load i32, i32* %15
%236 = ashr i32 %235, 5
%237 = and i32 %236, 8191
%238 = add nsw i32 %234, %237
%239 = load i32*, i32** %8
%240 = getelementptr inbounds i32, i32* %239, i64 25
store i32 %238, i32* %240
%241 = load i32, i32* %4
%242 = load i32, i32* %15
%243 = ashr i32 %242, 18
%244 = and i32 %243, 8191
%245 = add nsw i32 %241, %244
%246 = load i32*, i32** %8
%247 = getelementptr inbounds i32, i32* %246, i64 26
store i32 %245, i32* %247
%248 = load i32, i32* %4
%249 = load i32, i32* %15
%250 = ashr i32 %249, 31
%251 = and i32 %250, 8191
%252 = add nsw i32 %248, %251
%253 = load i32*, i32** %8
%254 = getelementptr inbounds i32, i32* %253, i64 27
store i32 %252, i32* %254
%255 = load i32, i32* %4
%256 = load i32, i32* %15
%257 = ashr i32 %256, 44
%258 = and i32 %257, 8191
%259 = add nsw i32 %255, %258
%260 = load i32*, i32** %8
%261 = getelementptr inbounds i32, i32* %260, i64 28
store i32 %259, i32* %261
%262 = load i32, i32* %4
%263 = load i32, i32* %15
%264 = ashr i32 %263, 57
%265 = load i32, i32* %16
%266 = shl i32 %265, 7
%267 = or i32 %264, %266
%268 = and i32 %267, 8191
%269 = add nsw i32 %262, %268
%270 = load i32*, i32** %8
%271 = getelementptr inbounds i32, i32* %270, i64 29
store i32 %269, i32* %271
%272 = load i32, i32* %4
%273 = load i32, i32* %16
%274 = ashr i32 %273, 6
%275 = and i32 %274, 8191
%276 = add nsw i32 %272, %275
%277 = load i32*, i32** %8
%278 = getelementptr inbounds i32, i32* %277, i64 30
store i32 %276, i32* %278
%279 = load i32, i32* %4
%280 = load i32, i32* %16
%281 = ashr i32 %280, 19
%282 = and i32 %281, 8191
%283 = add nsw i32 %279, %282
%284 = load i32*, i32** %8
%285 = getelementptr inbounds i32, i32* %284, i64 31
store i32 %283, i32* %285
%286 = load i32**, i32*** %6
%287 = load i32*, i32** %286
%288 = getelementptr inbounds i32, i32* %287, i64 32
store i32* %288, i32** %286
ret void
}

LLVM IR (-O2):
define void @unpackforblock13_64(i32 %0, i32** nocapture %1, i32** nocapture %2) {
%4 = load i32*, i32** %1
%5 = load i32*, i32** %2
%6 = load i32, i32* %4
%7 = getelementptr inbounds i32, i32* %4, i64 1
%8 = load i32, i32* %7
%9 = getelementptr inbounds i32, i32* %4, i64 2
%10 = load i32, i32* %9
%11 = getelementptr inbounds i32, i32* %4, i64 3
%12 = load i32, i32* %11
%13 = getelementptr inbounds i32, i32* %4, i64 4
%14 = load i32, i32* %13
%15 = getelementptr inbounds i32, i32* %4, i64 5
%16 = load i32, i32* %15
%17 = getelementptr inbounds i32, i32* %4, i64 6
%18 = load i32, i32* %17
%19 = getelementptr inbounds i32, i32* %4, i64 52
store i32* %19, i32** %1
%20 = and i32 %6, 8191
%21 = add nsw i32 %20, %0
store i32 %21, i32* %5
%22 = lshr i32 %6, 13
%23 = and i32 %22, 8191
%24 = add nsw i32 %23, %0
%25 = getelementptr inbounds i32, i32* %5, i64 1
store i32 %24, i32* %25
%26 = ashr i32 %6, 26
%27 = and i32 %26, 8191
%28 = add nsw i32 %27, %0
%29 = getelementptr inbounds i32, i32* %5, i64 2
store i32 %28, i32* %29
%30 = lshr i32 %8, 1
%31 = and i32 %30, 8191
%32 = add nsw i32 %31, %0
%33 = getelementptr inbounds i32, i32* %5, i64 5
store i32 %32, i32* %33
%34 = lshr i32 %8, 14
%35 = and i32 %34, 8191
%36 = add nsw i32 %35, %0
%37 = getelementptr inbounds i32, i32* %5, i64 6
store i32 %36, i32* %37
%38 = ashr i32 %8, 27
%39 = and i32 %38, 8191
%40 = add nsw i32 %39, %0
%41 = getelementptr inbounds i32, i32* %5, i64 7
store i32 %40, i32* %41
%42 = lshr i32 %10, 2
%43 = and i32 %42, 8191
%44 = add nsw i32 %43, %0
%45 = getelementptr inbounds i32, i32* %5, i64 10
store i32 %44, i32* %45
%46 = lshr i32 %10, 15
%47 = and i32 %46, 8191
%48 = add nsw i32 %47, %0
%49 = getelementptr inbounds i32, i32* %5, i64 11
store i32 %48, i32* %49
%50 = ashr i32 %10, 28
%51 = and i32 %50, 8191
%52 = add nsw i32 %51, %0
%53 = getelementptr inbounds i32, i32* %5, i64 12
store i32 %52, i32* %53
%54 = lshr i32 %12, 3
%55 = and i32 %54, 8191
%56 = add nsw i32 %55, %0
%57 = getelementptr inbounds i32, i32* %5, i64 15
store i32 %56, i32* %57
%58 = lshr i32 %12, 16
%59 = and i32 %58, 8191
%60 = add nsw i32 %59, %0
%61 = getelementptr inbounds i32, i32* %5, i64 16
store i32 %60, i32* %61
%62 = ashr i32 %12, 29
%63 = and i32 %62, 8191
%64 = add nsw i32 %63, %0
%65 = getelementptr inbounds i32, i32* %5, i64 17
store i32 %64, i32* %65
%66 = lshr i32 %14, 4
%67 = and i32 %66, 8191
%68 = add nsw i32 %67, %0
%69 = getelementptr inbounds i32, i32* %5, i64 20
store i32 %68, i32* %69
%70 = lshr i32 %14, 17
%71 = and i32 %70, 8191
%72 = add nsw i32 %71, %0
%73 = getelementptr inbounds i32, i32* %5, i64 21
store i32 %72, i32* %73
%74 = ashr i32 %14, 30
%75 = and i32 %74, 8191
%76 = add nsw i32 %75, %0
%77 = getelementptr inbounds i32, i32* %5, i64 22
store i32 %76, i32* %77
%78 = lshr i32 %16, 5
%79 = and i32 %78, 8191
%80 = add nsw i32 %79, %0
%81 = getelementptr inbounds i32, i32* %5, i64 25
store i32 %80, i32* %81
%82 = lshr i32 %16, 18
%83 = and i32 %82, 8191
%84 = add nsw i32 %83, %0
%85 = getelementptr inbounds i32, i32* %5, i64 26
store i32 %84, i32* %85
%86 = icmp slt i32 %16, 0
%87 = select i1 %86, i32 8191, i32 0
%88 = add nsw i32 %87, %0
%89 = getelementptr inbounds i32, i32* %5, i64 27
store i32 %88, i32* %89
%90 = lshr i32 %18, 6
%91 = and i32 %90, 8191
%92 = add nsw i32 %91, %0
%93 = getelementptr inbounds i32, i32* %5, i64 30
store i32 %92, i32* %93
%94 = lshr i32 %18, 19
%95 = add nsw i32 %94, %0
%96 = getelementptr inbounds i32, i32* %5, i64 31
store i32 %95, i32* %96
%97 = load i32*, i32** %2
%98 = getelementptr inbounds i32, i32* %97, i64 32
store i32* %98, i32** %2
ret void
}