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

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


x86 assembly (clang, -O0):
<packforblock13>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
sub    -0x8(%rbp),%rax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0xd,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1a,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x27,%ecx
shl    %cl,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x34,%ecx
shl    %cl,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%rax
sub    -0x8(%rbp),%rax
sar    $0xc,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x28(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1,%eax
or     -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0xe,%eax
or     -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1b,%eax
or     -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x40(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x35,%ecx
shl    %cl,%eax
or     -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%rax
sub    -0x8(%rbp),%rax
sar    $0xb,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x2,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0xf,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0x60(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1c,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x29,%ecx
shl    %cl,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x36,%ecx
shl    %cl,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%rax
sub    -0x8(%rbp),%rax
sar    $0xa,%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x3,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x80(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x10,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x88(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1d,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x90(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x2a,%ecx
shl    %cl,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x98(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x37,%ecx
shl    %cl,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x98(%rax),%rax
sub    -0x8(%rbp),%rax
sar    $0x9,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0xa0(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x4,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0xa8(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x11,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0xb0(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1e,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0xb8(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x2b,%ecx
shl    %cl,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc0(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc0(%rax),%rax
sub    -0x8(%rbp),%rax
sar    $0x8,%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc8(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x5,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0xd0(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x12,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0xd8(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x1f,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0xe0(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x2c,%ecx
shl    %cl,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0xe8(%rax),%rax
sub    -0x8(%rbp),%rax
mov    $0x39,%ecx
shl    %cl,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0xe8(%rax),%rax
sub    -0x8(%rbp),%rax
sar    $0x7,%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0xf0(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x6,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0xf8(%rax),%rax
sub    -0x8(%rbp),%rax
shl    $0x13,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x30(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x34(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x38(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x3c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x10(%rax)
mov    -0x40(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x14(%rax)
mov    -0x44(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x18(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x100,%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0xd0,%rcx
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<packforblock13>:
mov    (%rdx),%r8
mov    (%rsi),%r9
mov    0xe8(%r9),%eax
mov    0xf0(%r9),%ecx
sub    %edi,%eax
sar    $0x7,%eax
sub    %edi,%ecx
shl    $0x6,%ecx
or     %eax,%ecx
mov    0xf8(%r9),%eax
sub    %edi,%eax
shl    $0x13,%eax
or     %ecx,%eax
mov    %eax,0x18(%r8)
add    $0x100,%r9
mov    %r9,(%rsi)
addq   $0xd0,(%rdx)
ret

LLVM IR (-O0):
define void @packforblock13(i64 %0, i64** %1, i32** %2) {
%4 = alloca i64
%5 = alloca i64**
%6 = alloca i32**
%7 = alloca i32*
%8 = alloca i64*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i64 %0, i64* %4
store i64** %1, i64*** %5
store i32** %2, i32*** %6
%16 = load i32**, i32*** %6
%17 = load i32*, i32** %16
store i32* %17, i32** %7
%18 = load i64**, i64*** %5
%19 = load i64*, i64** %18
store i64* %19, i64** %8
%20 = load i64*, i64** %8
%21 = getelementptr inbounds i64, i64* %20, i64 0
%22 = load i64, i64* %21
%23 = load i64, i64* %4
%24 = sub nsw i64 %22, %23
%25 = trunc i64 %24 to i32
store i32 %25, i32* %9
%26 = load i64*, i64** %8
%27 = getelementptr inbounds i64, i64* %26, i64 1
%28 = load i64, i64* %27
%29 = load i64, i64* %4
%30 = sub nsw i64 %28, %29
%31 = trunc i64 %30 to i32
%32 = shl i32 %31, 13
%33 = load i32, i32* %9
%34 = or i32 %33, %32
store i32 %34, i32* %9
%35 = load i64*, i64** %8
%36 = getelementptr inbounds i64, i64* %35, i64 2
%37 = load i64, i64* %36
%38 = load i64, i64* %4
%39 = sub nsw i64 %37, %38
%40 = trunc i64 %39 to i32
%41 = shl i32 %40, 26
%42 = load i32, i32* %9
%43 = or i32 %42, %41
store i32 %43, i32* %9
%44 = load i64*, i64** %8
%45 = getelementptr inbounds i64, i64* %44, i64 3
%46 = load i64, i64* %45
%47 = load i64, i64* %4
%48 = sub nsw i64 %46, %47
%49 = trunc i64 %48 to i32
%50 = shl i32 %49, 39
%51 = load i32, i32* %9
%52 = or i32 %51, %50
store i32 %52, i32* %9
%53 = load i64*, i64** %8
%54 = getelementptr inbounds i64, i64* %53, i64 4
%55 = load i64, i64* %54
%56 = load i64, i64* %4
%57 = sub nsw i64 %55, %56
%58 = trunc i64 %57 to i32
%59 = shl i32 %58, 52
%60 = load i32, i32* %9
%61 = or i32 %60, %59
store i32 %61, i32* %9
%62 = load i64*, i64** %8
%63 = getelementptr inbounds i64, i64* %62, i64 4
%64 = load i64, i64* %63
%65 = load i64, i64* %4
%66 = sub nsw i64 %64, %65
%67 = trunc i64 %66 to i32
%68 = ashr i32 %67, 12
store i32 %68, i32* %10
%69 = load i64*, i64** %8
%70 = getelementptr inbounds i64, i64* %69, i64 5
%71 = load i64, i64* %70
%72 = load i64, i64* %4
%73 = sub nsw i64 %71, %72
%74 = trunc i64 %73 to i32
%75 = shl i32 %74, 1
%76 = load i32, i32* %10
%77 = or i32 %76, %75
store i32 %77, i32* %10
%78 = load i64*, i64** %8
%79 = getelementptr inbounds i64, i64* %78, i64 6
%80 = load i64, i64* %79
%81 = load i64, i64* %4
%82 = sub nsw i64 %80, %81
%83 = trunc i64 %82 to i32
%84 = shl i32 %83, 14
%85 = load i32, i32* %10
%86 = or i32 %85, %84
store i32 %86, i32* %10
%87 = load i64*, i64** %8
%88 = getelementptr inbounds i64, i64* %87, i64 7
%89 = load i64, i64* %88
%90 = load i64, i64* %4
%91 = sub nsw i64 %89, %90
%92 = trunc i64 %91 to i32
%93 = shl i32 %92, 27
%94 = load i32, i32* %10
%95 = or i32 %94, %93
store i32 %95, i32* %10
%96 = load i64*, i64** %8
%97 = getelementptr inbounds i64, i64* %96, i64 8
%98 = load i64, i64* %97
%99 = load i64, i64* %4
%100 = sub nsw i64 %98, %99
%101 = trunc i64 %100 to i32
%102 = shl i32 %101, 40
%103 = load i32, i32* %10
%104 = or i32 %103, %102
store i32 %104, i32* %10
%105 = load i64*, i64** %8
%106 = getelementptr inbounds i64, i64* %105, i64 9
%107 = load i64, i64* %106
%108 = load i64, i64* %4
%109 = sub nsw i64 %107, %108
%110 = trunc i64 %109 to i32
%111 = shl i32 %110, 53
%112 = load i32, i32* %10
%113 = or i32 %112, %111
store i32 %113, i32* %10
%114 = load i64*, i64** %8
%115 = getelementptr inbounds i64, i64* %114, i64 9
%116 = load i64, i64* %115
%117 = load i64, i64* %4
%118 = sub nsw i64 %116, %117
%119 = trunc i64 %118 to i32
%120 = ashr i32 %119, 11
store i32 %120, i32* %11
%121 = load i64*, i64** %8
%122 = getelementptr inbounds i64, i64* %121, i64 10
%123 = load i64, i64* %122
%124 = load i64, i64* %4
%125 = sub nsw i64 %123, %124
%126 = trunc i64 %125 to i32
%127 = shl i32 %126, 2
%128 = load i32, i32* %11
%129 = or i32 %128, %127
store i32 %129, i32* %11
%130 = load i64*, i64** %8
%131 = getelementptr inbounds i64, i64* %130, i64 11
%132 = load i64, i64* %131
%133 = load i64, i64* %4
%134 = sub nsw i64 %132, %133
%135 = trunc i64 %134 to i32
%136 = shl i32 %135, 15
%137 = load i32, i32* %11
%138 = or i32 %137, %136
store i32 %138, i32* %11
%139 = load i64*, i64** %8
%140 = getelementptr inbounds i64, i64* %139, i64 12
%141 = load i64, i64* %140
%142 = load i64, i64* %4
%143 = sub nsw i64 %141, %142
%144 = trunc i64 %143 to i32
%145 = shl i32 %144, 28
%146 = load i32, i32* %11
%147 = or i32 %146, %145
store i32 %147, i32* %11
%148 = load i64*, i64** %8
%149 = getelementptr inbounds i64, i64* %148, i64 13
%150 = load i64, i64* %149
%151 = load i64, i64* %4
%152 = sub nsw i64 %150, %151
%153 = trunc i64 %152 to i32
%154 = shl i32 %153, 41
%155 = load i32, i32* %11
%156 = or i32 %155, %154
store i32 %156, i32* %11
%157 = load i64*, i64** %8
%158 = getelementptr inbounds i64, i64* %157, i64 14
%159 = load i64, i64* %158
%160 = load i64, i64* %4
%161 = sub nsw i64 %159, %160
%162 = trunc i64 %161 to i32
%163 = shl i32 %162, 54
%164 = load i32, i32* %11
%165 = or i32 %164, %163
store i32 %165, i32* %11
%166 = load i64*, i64** %8
%167 = getelementptr inbounds i64, i64* %166, i64 14
%168 = load i64, i64* %167
%169 = load i64, i64* %4
%170 = sub nsw i64 %168, %169
%171 = trunc i64 %170 to i32
%172 = ashr i32 %171, 10
store i32 %172, i32* %12
%173 = load i64*, i64** %8
%174 = getelementptr inbounds i64, i64* %173, i64 15
%175 = load i64, i64* %174
%176 = load i64, i64* %4
%177 = sub nsw i64 %175, %176
%178 = trunc i64 %177 to i32
%179 = shl i32 %178, 3
%180 = load i32, i32* %12
%181 = or i32 %180, %179
store i32 %181, i32* %12
%182 = load i64*, i64** %8
%183 = getelementptr inbounds i64, i64* %182, i64 16
%184 = load i64, i64* %183
%185 = load i64, i64* %4
%186 = sub nsw i64 %184, %185
%187 = trunc i64 %186 to i32
%188 = shl i32 %187, 16
%189 = load i32, i32* %12
%190 = or i32 %189, %188
store i32 %190, i32* %12
%191 = load i64*, i64** %8
%192 = getelementptr inbounds i64, i64* %191, i64 17
%193 = load i64, i64* %192
%194 = load i64, i64* %4
%195 = sub nsw i64 %193, %194
%196 = trunc i64 %195 to i32
%197 = shl i32 %196, 29
%198 = load i32, i32* %12
%199 = or i32 %198, %197
store i32 %199, i32* %12
%200 = load i64*, i64** %8
%201 = getelementptr inbounds i64, i64* %200, i64 18
%202 = load i64, i64* %201
%203 = load i64, i64* %4
%204 = sub nsw i64 %202, %203
%205 = trunc i64 %204 to i32
%206 = shl i32 %205, 42
%207 = load i32, i32* %12
%208 = or i32 %207, %206
store i32 %208, i32* %12
%209 = load i64*, i64** %8
%210 = getelementptr inbounds i64, i64* %209, i64 19
%211 = load i64, i64* %210
%212 = load i64, i64* %4
%213 = sub nsw i64 %211, %212
%214 = trunc i64 %213 to i32
%215 = shl i32 %214, 55
%216 = load i32, i32* %12
%217 = or i32 %216, %215
store i32 %217, i32* %12
%218 = load i64*, i64** %8
%219 = getelementptr inbounds i64, i64* %218, i64 19
%220 = load i64, i64* %219
%221 = load i64, i64* %4
%222 = sub nsw i64 %220, %221
%223 = trunc i64 %222 to i32
%224 = ashr i32 %223, 9
store i32 %224, i32* %13
%225 = load i64*, i64** %8
%226 = getelementptr inbounds i64, i64* %225, i64 20
%227 = load i64, i64* %226
%228 = load i64, i64* %4
%229 = sub nsw i64 %227, %228
%230 = trunc i64 %229 to i32
%231 = shl i32 %230, 4
%232 = load i32, i32* %13
%233 = or i32 %232, %231
store i32 %233, i32* %13
%234 = load i64*, i64** %8
%235 = getelementptr inbounds i64, i64* %234, i64 21
%236 = load i64, i64* %235
%237 = load i64, i64* %4
%238 = sub nsw i64 %236, %237
%239 = trunc i64 %238 to i32
%240 = shl i32 %239, 17
%241 = load i32, i32* %13
%242 = or i32 %241, %240
store i32 %242, i32* %13
%243 = load i64*, i64** %8
%244 = getelementptr inbounds i64, i64* %243, i64 22
%245 = load i64, i64* %244
%246 = load i64, i64* %4
%247 = sub nsw i64 %245, %246
%248 = trunc i64 %247 to i32
%249 = shl i32 %248, 30
%250 = load i32, i32* %13
%251 = or i32 %250, %249
store i32 %251, i32* %13
%252 = load i64*, i64** %8
%253 = getelementptr inbounds i64, i64* %252, i64 23
%254 = load i64, i64* %253
%255 = load i64, i64* %4
%256 = sub nsw i64 %254, %255
%257 = trunc i64 %256 to i32
%258 = shl i32 %257, 43
%259 = load i32, i32* %13
%260 = or i32 %259, %258
store i32 %260, i32* %13
%261 = load i64*, i64** %8
%262 = getelementptr inbounds i64, i64* %261, i64 24
%263 = load i64, i64* %262
%264 = load i64, i64* %4
%265 = sub nsw i64 %263, %264
%266 = trunc i64 %265 to i32
%267 = shl i32 %266, 56
%268 = load i32, i32* %13
%269 = or i32 %268, %267
store i32 %269, i32* %13
%270 = load i64*, i64** %8
%271 = getelementptr inbounds i64, i64* %270, i64 24
%272 = load i64, i64* %271
%273 = load i64, i64* %4
%274 = sub nsw i64 %272, %273
%275 = trunc i64 %274 to i32
%276 = ashr i32 %275, 8
store i32 %276, i32* %14
%277 = load i64*, i64** %8
%278 = getelementptr inbounds i64, i64* %277, i64 25
%279 = load i64, i64* %278
%280 = load i64, i64* %4
%281 = sub nsw i64 %279, %280
%282 = trunc i64 %281 to i32
%283 = shl i32 %282, 5
%284 = load i32, i32* %14
%285 = or i32 %284, %283
store i32 %285, i32* %14
%286 = load i64*, i64** %8
%287 = getelementptr inbounds i64, i64* %286, i64 26
%288 = load i64, i64* %287
%289 = load i64, i64* %4
%290 = sub nsw i64 %288, %289
%291 = trunc i64 %290 to i32
%292 = shl i32 %291, 18
%293 = load i32, i32* %14
%294 = or i32 %293, %292
store i32 %294, i32* %14
%295 = load i64*, i64** %8
%296 = getelementptr inbounds i64, i64* %295, i64 27
%297 = load i64, i64* %296
%298 = load i64, i64* %4
%299 = sub nsw i64 %297, %298
%300 = trunc i64 %299 to i32
%301 = shl i32 %300, 31
%302 = load i32, i32* %14
%303 = or i32 %302, %301
store i32 %303, i32* %14
%304 = load i64*, i64** %8
%305 = getelementptr inbounds i64, i64* %304, i64 28
%306 = load i64, i64* %305
%307 = load i64, i64* %4
%308 = sub nsw i64 %306, %307
%309 = trunc i64 %308 to i32
%310 = shl i32 %309, 44
%311 = load i32, i32* %14
%312 = or i32 %311, %310
store i32 %312, i32* %14
%313 = load i64*, i64** %8
%314 = getelementptr inbounds i64, i64* %313, i64 29
%315 = load i64, i64* %314
%316 = load i64, i64* %4
%317 = sub nsw i64 %315, %316
%318 = trunc i64 %317 to i32
%319 = shl i32 %318, 57
%320 = load i32, i32* %14
%321 = or i32 %320, %319
store i32 %321, i32* %14
%322 = load i64*, i64** %8
%323 = getelementptr inbounds i64, i64* %322, i64 29
%324 = load i64, i64* %323
%325 = load i64, i64* %4
%326 = sub nsw i64 %324, %325
%327 = trunc i64 %326 to i32
%328 = ashr i32 %327, 7
store i32 %328, i32* %15
%329 = load i64*, i64** %8
%330 = getelementptr inbounds i64, i64* %329, i64 30
%331 = load i64, i64* %330
%332 = load i64, i64* %4
%333 = sub nsw i64 %331, %332
%334 = trunc i64 %333 to i32
%335 = shl i32 %334, 6
%336 = load i32, i32* %15
%337 = or i32 %336, %335
store i32 %337, i32* %15
%338 = load i64*, i64** %8
%339 = getelementptr inbounds i64, i64* %338, i64 31
%340 = load i64, i64* %339
%341 = load i64, i64* %4
%342 = sub nsw i64 %340, %341
%343 = trunc i64 %342 to i32
%344 = shl i32 %343, 19
%345 = load i32, i32* %15
%346 = or i32 %345, %344
store i32 %346, i32* %15
%347 = load i32, i32* %9
%348 = load i32*, i32** %7
%349 = getelementptr inbounds i32, i32* %348, i64 0
store i32 %347, i32* %349
%350 = load i32, i32* %10
%351 = load i32*, i32** %7
%352 = getelementptr inbounds i32, i32* %351, i64 1
store i32 %350, i32* %352
%353 = load i32, i32* %11
%354 = load i32*, i32** %7
%355 = getelementptr inbounds i32, i32* %354, i64 2
store i32 %353, i32* %355
%356 = load i32, i32* %12
%357 = load i32*, i32** %7
%358 = getelementptr inbounds i32, i32* %357, i64 3
store i32 %356, i32* %358
%359 = load i32, i32* %13
%360 = load i32*, i32** %7
%361 = getelementptr inbounds i32, i32* %360, i64 4
store i32 %359, i32* %361
%362 = load i32, i32* %14
%363 = load i32*, i32** %7
%364 = getelementptr inbounds i32, i32* %363, i64 5
store i32 %362, i32* %364
%365 = load i32, i32* %15
%366 = load i32*, i32** %7
%367 = getelementptr inbounds i32, i32* %366, i64 6
store i32 %365, i32* %367
%368 = load i64**, i64*** %5
%369 = load i64*, i64** %368
%370 = getelementptr inbounds i64, i64* %369, i64 32
store i64* %370, i64** %368
%371 = load i32**, i32*** %6
%372 = load i32*, i32** %371
%373 = getelementptr inbounds i32, i32* %372, i64 52
store i32* %373, i32** %371
ret void
}

LLVM IR (-O2):
define void @packforblock13(i64 %0, i64** nocapture %1, i32** nocapture %2) {
%4 = load i32*, i32** %2
%5 = load i64*, i64** %1
%6 = getelementptr inbounds i64, i64* %5, i64 29
%7 = load i64, i64* %6
%8 = sub nsw i64 %7, %0
%9 = trunc i64 %8 to i32
%10 = ashr i32 %9, 7
%11 = getelementptr inbounds i64, i64* %5, i64 30
%12 = load i64, i64* %11
%13 = sub nsw i64 %12, %0
%14 = trunc i64 %13 to i32
%15 = shl i32 %14, 6
%16 = or i32 %15, %10
%17 = getelementptr inbounds i64, i64* %5, i64 31
%18 = load i64, i64* %17
%19 = sub nsw i64 %18, %0
%20 = trunc i64 %19 to i32
%21 = shl i32 %20, 19
%22 = or i32 %16, %21
%23 = getelementptr inbounds i32, i32* %4, i64 6
store i32 %22, i32* %23
%24 = getelementptr inbounds i64, i64* %5, i64 32
store i64* %24, i64** %1
%25 = load i32*, i32** %2
%26 = getelementptr inbounds i32, i32* %25, i64 52
store i32* %26, i32** %2
ret void
}