#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;

/* Variables and functions */
void packforblock56_64(const uint64_t base, const uint64_t **pin,
                       uint8_t **pw) {
  uint64_t *pw64 = *(uint64_t **)pw;
  const uint64_t *in = *pin;
  uint64_t w0;
  uint64_t w1;
  uint64_t w2;
  uint64_t w3;
  uint64_t w4;
  uint64_t w5;
  uint64_t w6;
  uint64_t w7;
  uint64_t w8;
  uint64_t w9;
  uint64_t w10;
  uint64_t w11;
  uint64_t w12;
  uint64_t w13;
  uint64_t w14;
  uint64_t w15;
  uint64_t w16;
  uint64_t w17;
  uint64_t w18;
  uint64_t w19;
  uint64_t w20;
  uint64_t w21;
  uint64_t w22;
  uint64_t w23;
  uint64_t w24;
  uint64_t w25;
  uint64_t w26;
  uint64_t w27;
  w0 = (in[0] - base);
  w0 |= (in[1] - base) << 56;
  w1 = (in[1] - base) >> 8;
  w1 |= (in[2] - base) << 48;
  w2 = (in[2] - base) >> 16;
  w2 |= (in[3] - base) << 40;
  w3 = (in[3] - base) >> 24;
  w3 |= (in[4] - base) << 32;
  w4 = (in[4] - base) >> 32;
  w4 |= (in[5] - base) << 24;
  w5 = (in[5] - base) >> 40;
  w5 |= (in[6] - base) << 16;
  w6 = (in[6] - base) >> 48;
  w6 |= (in[7] - base) << 8;
  w7 = (in[8] - base);
  w7 |= (in[9] - base) << 56;
  w8 = (in[9] - base) >> 8;
  w8 |= (in[10] - base) << 48;
  w9 = (in[10] - base) >> 16;
  w9 |= (in[11] - base) << 40;
  w10 = (in[11] - base) >> 24;
  w10 |= (in[12] - base) << 32;
  w11 = (in[12] - base) >> 32;
  w11 |= (in[13] - base) << 24;
  w12 = (in[13] - base) >> 40;
  w12 |= (in[14] - base) << 16;
  w13 = (in[14] - base) >> 48;
  w13 |= (in[15] - base) << 8;
  w14 = (in[16] - base);
  w14 |= (in[17] - base) << 56;
  w15 = (in[17] - base) >> 8;
  w15 |= (in[18] - base) << 48;
  w16 = (in[18] - base) >> 16;
  w16 |= (in[19] - base) << 40;
  w17 = (in[19] - base) >> 24;
  w17 |= (in[20] - base) << 32;
  w18 = (in[20] - base) >> 32;
  w18 |= (in[21] - base) << 24;
  w19 = (in[21] - base) >> 40;
  w19 |= (in[22] - base) << 16;
  w20 = (in[22] - base) >> 48;
  w20 |= (in[23] - base) << 8;
  w21 = (in[24] - base);
  w21 |= (in[25] - base) << 56;
  w22 = (in[25] - base) >> 8;
  w22 |= (in[26] - base) << 48;
  w23 = (in[26] - base) >> 16;
  w23 |= (in[27] - base) << 40;
  w24 = (in[27] - base) >> 24;
  w24 |= (in[28] - base) << 32;
  w25 = (in[28] - base) >> 32;
  w25 |= (in[29] - base) << 24;
  w26 = (in[29] - base) >> 40;
  w26 |= (in[30] - base) << 16;
  w27 = (in[30] - base) >> 48;
  w27 |= (in[31] - base) << 8;
  pw64[0] = w0;
  pw64[1] = w1;
  pw64[2] = w2;
  pw64[3] = w3;
  pw64[4] = w4;
  pw64[5] = w5;
  pw64[6] = w6;
  pw64[7] = w7;
  pw64[8] = w8;
  pw64[9] = w9;
  pw64[10] = w10;
  pw64[11] = w11;
  pw64[12] = w12;
  pw64[13] = w13;
  pw64[14] = w14;
  pw64[15] = w15;
  pw64[16] = w16;
  pw64[17] = w17;
  pw64[18] = w18;
  pw64[19] = w19;
  pw64[20] = w20;
  pw64[21] = w21;
  pw64[22] = w22;
  pw64[23] = w23;
  pw64[24] = w24;
  pw64[25] = w25;
  pw64[26] = w26;
  pw64[27] = w27;
  *pin += 32;
  *pw += 224;
}


x86 assembly (clang, -O0):
<packforblock56_64>:
push   %rbp
mov    %rsp,%rbp
sub    $0x18,%rsp
mov    %edi,-0x4(%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),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
shl    %cl,%eax
or     -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x10,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x18,%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
shl    %cl,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x14(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x18,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x14(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
sar    %cl,%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x10,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0x1c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x8,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    0x24(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    0x24(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x28(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
shl    %cl,%eax
or     -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x28(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x10,%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x2c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x2c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x18,%eax
mov    %eax,-0x54(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
shl    %cl,%eax
or     -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    0x34(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x18,%eax
or     -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    0x34(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
sar    %cl,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x10,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    0x3c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x8,%eax
or     -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    0x40(%rax),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x44(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x64(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x44(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
shl    %cl,%eax
or     -0x68(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x10,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x6c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x18,%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
shl    %cl,%eax
or     -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,-0x74(%rbp)
mov    -0x28(%rbp),%rax
mov    0x54(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x18,%eax
or     -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x28(%rbp),%rax
mov    0x54(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
sar    %cl,%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x10,%eax
or     -0x78(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x5c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x8,%eax
or     -0x7c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x60(%rax),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    0x64(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x80(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    0x64(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x84(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
shl    %cl,%eax
or     -0x84(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x10,%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%rax
mov    0x6c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x88(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%rax
mov    0x6c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x18,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
shl    %cl,%eax
or     -0x8c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,-0x90(%rbp)
mov    -0x28(%rbp),%rax
mov    0x74(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x18,%eax
or     -0x90(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x28(%rbp),%rax
mov    0x74(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
sar    %cl,%eax
mov    %eax,-0x94(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x10,%eax
or     -0x94(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,-0x98(%rbp)
mov    -0x28(%rbp),%rax
mov    0x7c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x8,%eax
or     -0x98(%rbp),%eax
mov    %eax,-0x98(%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    -0x48(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x1c(%rax)
mov    -0x4c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x20(%rax)
mov    -0x50(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x24(%rax)
mov    -0x54(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x28(%rax)
mov    -0x58(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x2c(%rax)
mov    -0x5c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x30(%rax)
mov    -0x60(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x34(%rax)
mov    -0x64(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x38(%rax)
mov    -0x68(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x3c(%rax)
mov    -0x6c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x40(%rax)
mov    -0x70(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x44(%rax)
mov    -0x74(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x48(%rax)
mov    -0x78(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x4c(%rax)
mov    -0x7c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x50(%rax)
mov    -0x80(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x54(%rax)
mov    -0x84(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x58(%rax)
mov    -0x88(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x5c(%rax)
mov    -0x8c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x60(%rax)
mov    -0x90(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x64(%rax)
mov    -0x94(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x68(%rax)
mov    -0x98(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x6c(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x80,%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x380,%rcx
mov    %rcx,(%rax)
add    $0x18,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<packforblock56_64>:
subq   $0xffffffffffffff80,(%rsi)
addq   $0x380,(%rdx)
ret

LLVM IR (-O0):
define void @packforblock56_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
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i32
%33 = alloca i32
%34 = alloca i32
%35 = alloca i32
%36 = alloca i32
store i32 %0, i32* %4
store i32** %1, i32*** %5
store i32** %2, i32*** %6
%37 = load i32**, i32*** %6
%38 = load i32*, i32** %37
store i32* %38, i32** %7
%39 = load i32**, i32*** %5
%40 = load i32*, i32** %39
store i32* %40, i32** %8
%41 = load i32*, i32** %8
%42 = getelementptr inbounds i32, i32* %41, i64 0
%43 = load i32, i32* %42
%44 = load i32, i32* %4
%45 = sub nsw i32 %43, %44
store i32 %45, i32* %9
%46 = load i32*, i32** %8
%47 = getelementptr inbounds i32, i32* %46, i64 1
%48 = load i32, i32* %47
%49 = load i32, i32* %4
%50 = sub nsw i32 %48, %49
%51 = shl i32 %50, 56
%52 = load i32, i32* %9
%53 = or i32 %52, %51
store i32 %53, i32* %9
%54 = load i32*, i32** %8
%55 = getelementptr inbounds i32, i32* %54, i64 1
%56 = load i32, i32* %55
%57 = load i32, i32* %4
%58 = sub nsw i32 %56, %57
%59 = ashr i32 %58, 8
store i32 %59, i32* %10
%60 = load i32*, i32** %8
%61 = getelementptr inbounds i32, i32* %60, i64 2
%62 = load i32, i32* %61
%63 = load i32, i32* %4
%64 = sub nsw i32 %62, %63
%65 = shl i32 %64, 48
%66 = load i32, i32* %10
%67 = or i32 %66, %65
store i32 %67, i32* %10
%68 = load i32*, i32** %8
%69 = getelementptr inbounds i32, i32* %68, i64 2
%70 = load i32, i32* %69
%71 = load i32, i32* %4
%72 = sub nsw i32 %70, %71
%73 = ashr i32 %72, 16
store i32 %73, i32* %11
%74 = load i32*, i32** %8
%75 = getelementptr inbounds i32, i32* %74, i64 3
%76 = load i32, i32* %75
%77 = load i32, i32* %4
%78 = sub nsw i32 %76, %77
%79 = shl i32 %78, 40
%80 = load i32, i32* %11
%81 = or i32 %80, %79
store i32 %81, i32* %11
%82 = load i32*, i32** %8
%83 = getelementptr inbounds i32, i32* %82, i64 3
%84 = load i32, i32* %83
%85 = load i32, i32* %4
%86 = sub nsw i32 %84, %85
%87 = ashr i32 %86, 24
store i32 %87, i32* %12
%88 = load i32*, i32** %8
%89 = getelementptr inbounds i32, i32* %88, i64 4
%90 = load i32, i32* %89
%91 = load i32, i32* %4
%92 = sub nsw i32 %90, %91
%93 = shl i32 %92, 32
%94 = load i32, i32* %12
%95 = or i32 %94, %93
store i32 %95, i32* %12
%96 = load i32*, i32** %8
%97 = getelementptr inbounds i32, i32* %96, i64 4
%98 = load i32, i32* %97
%99 = load i32, i32* %4
%100 = sub nsw i32 %98, %99
%101 = ashr i32 %100, 32
store i32 %101, i32* %13
%102 = load i32*, i32** %8
%103 = getelementptr inbounds i32, i32* %102, i64 5
%104 = load i32, i32* %103
%105 = load i32, i32* %4
%106 = sub nsw i32 %104, %105
%107 = shl i32 %106, 24
%108 = load i32, i32* %13
%109 = or i32 %108, %107
store i32 %109, i32* %13
%110 = load i32*, i32** %8
%111 = getelementptr inbounds i32, i32* %110, i64 5
%112 = load i32, i32* %111
%113 = load i32, i32* %4
%114 = sub nsw i32 %112, %113
%115 = ashr i32 %114, 40
store i32 %115, i32* %14
%116 = load i32*, i32** %8
%117 = getelementptr inbounds i32, i32* %116, i64 6
%118 = load i32, i32* %117
%119 = load i32, i32* %4
%120 = sub nsw i32 %118, %119
%121 = shl i32 %120, 16
%122 = load i32, i32* %14
%123 = or i32 %122, %121
store i32 %123, i32* %14
%124 = load i32*, i32** %8
%125 = getelementptr inbounds i32, i32* %124, i64 6
%126 = load i32, i32* %125
%127 = load i32, i32* %4
%128 = sub nsw i32 %126, %127
%129 = ashr i32 %128, 48
store i32 %129, i32* %15
%130 = load i32*, i32** %8
%131 = getelementptr inbounds i32, i32* %130, i64 7
%132 = load i32, i32* %131
%133 = load i32, i32* %4
%134 = sub nsw i32 %132, %133
%135 = shl i32 %134, 8
%136 = load i32, i32* %15
%137 = or i32 %136, %135
store i32 %137, i32* %15
%138 = load i32*, i32** %8
%139 = getelementptr inbounds i32, i32* %138, i64 8
%140 = load i32, i32* %139
%141 = load i32, i32* %4
%142 = sub nsw i32 %140, %141
store i32 %142, i32* %16
%143 = load i32*, i32** %8
%144 = getelementptr inbounds i32, i32* %143, i64 9
%145 = load i32, i32* %144
%146 = load i32, i32* %4
%147 = sub nsw i32 %145, %146
%148 = shl i32 %147, 56
%149 = load i32, i32* %16
%150 = or i32 %149, %148
store i32 %150, i32* %16
%151 = load i32*, i32** %8
%152 = getelementptr inbounds i32, i32* %151, i64 9
%153 = load i32, i32* %152
%154 = load i32, i32* %4
%155 = sub nsw i32 %153, %154
%156 = ashr i32 %155, 8
store i32 %156, i32* %17
%157 = load i32*, i32** %8
%158 = getelementptr inbounds i32, i32* %157, i64 10
%159 = load i32, i32* %158
%160 = load i32, i32* %4
%161 = sub nsw i32 %159, %160
%162 = shl i32 %161, 48
%163 = load i32, i32* %17
%164 = or i32 %163, %162
store i32 %164, i32* %17
%165 = load i32*, i32** %8
%166 = getelementptr inbounds i32, i32* %165, i64 10
%167 = load i32, i32* %166
%168 = load i32, i32* %4
%169 = sub nsw i32 %167, %168
%170 = ashr i32 %169, 16
store i32 %170, i32* %18
%171 = load i32*, i32** %8
%172 = getelementptr inbounds i32, i32* %171, i64 11
%173 = load i32, i32* %172
%174 = load i32, i32* %4
%175 = sub nsw i32 %173, %174
%176 = shl i32 %175, 40
%177 = load i32, i32* %18
%178 = or i32 %177, %176
store i32 %178, i32* %18
%179 = load i32*, i32** %8
%180 = getelementptr inbounds i32, i32* %179, i64 11
%181 = load i32, i32* %180
%182 = load i32, i32* %4
%183 = sub nsw i32 %181, %182
%184 = ashr i32 %183, 24
store i32 %184, i32* %19
%185 = load i32*, i32** %8
%186 = getelementptr inbounds i32, i32* %185, i64 12
%187 = load i32, i32* %186
%188 = load i32, i32* %4
%189 = sub nsw i32 %187, %188
%190 = shl i32 %189, 32
%191 = load i32, i32* %19
%192 = or i32 %191, %190
store i32 %192, i32* %19
%193 = load i32*, i32** %8
%194 = getelementptr inbounds i32, i32* %193, i64 12
%195 = load i32, i32* %194
%196 = load i32, i32* %4
%197 = sub nsw i32 %195, %196
%198 = ashr i32 %197, 32
store i32 %198, i32* %20
%199 = load i32*, i32** %8
%200 = getelementptr inbounds i32, i32* %199, i64 13
%201 = load i32, i32* %200
%202 = load i32, i32* %4
%203 = sub nsw i32 %201, %202
%204 = shl i32 %203, 24
%205 = load i32, i32* %20
%206 = or i32 %205, %204
store i32 %206, i32* %20
%207 = load i32*, i32** %8
%208 = getelementptr inbounds i32, i32* %207, i64 13
%209 = load i32, i32* %208
%210 = load i32, i32* %4
%211 = sub nsw i32 %209, %210
%212 = ashr i32 %211, 40
store i32 %212, i32* %21
%213 = load i32*, i32** %8
%214 = getelementptr inbounds i32, i32* %213, i64 14
%215 = load i32, i32* %214
%216 = load i32, i32* %4
%217 = sub nsw i32 %215, %216
%218 = shl i32 %217, 16
%219 = load i32, i32* %21
%220 = or i32 %219, %218
store i32 %220, i32* %21
%221 = load i32*, i32** %8
%222 = getelementptr inbounds i32, i32* %221, i64 14
%223 = load i32, i32* %222
%224 = load i32, i32* %4
%225 = sub nsw i32 %223, %224
%226 = ashr i32 %225, 48
store i32 %226, i32* %22
%227 = load i32*, i32** %8
%228 = getelementptr inbounds i32, i32* %227, i64 15
%229 = load i32, i32* %228
%230 = load i32, i32* %4
%231 = sub nsw i32 %229, %230
%232 = shl i32 %231, 8
%233 = load i32, i32* %22
%234 = or i32 %233, %232
store i32 %234, i32* %22
%235 = load i32*, i32** %8
%236 = getelementptr inbounds i32, i32* %235, i64 16
%237 = load i32, i32* %236
%238 = load i32, i32* %4
%239 = sub nsw i32 %237, %238
store i32 %239, i32* %23
%240 = load i32*, i32** %8
%241 = getelementptr inbounds i32, i32* %240, i64 17
%242 = load i32, i32* %241
%243 = load i32, i32* %4
%244 = sub nsw i32 %242, %243
%245 = shl i32 %244, 56
%246 = load i32, i32* %23
%247 = or i32 %246, %245
store i32 %247, i32* %23
%248 = load i32*, i32** %8
%249 = getelementptr inbounds i32, i32* %248, i64 17
%250 = load i32, i32* %249
%251 = load i32, i32* %4
%252 = sub nsw i32 %250, %251
%253 = ashr i32 %252, 8
store i32 %253, i32* %24
%254 = load i32*, i32** %8
%255 = getelementptr inbounds i32, i32* %254, i64 18
%256 = load i32, i32* %255
%257 = load i32, i32* %4
%258 = sub nsw i32 %256, %257
%259 = shl i32 %258, 48
%260 = load i32, i32* %24
%261 = or i32 %260, %259
store i32 %261, i32* %24
%262 = load i32*, i32** %8
%263 = getelementptr inbounds i32, i32* %262, i64 18
%264 = load i32, i32* %263
%265 = load i32, i32* %4
%266 = sub nsw i32 %264, %265
%267 = ashr i32 %266, 16
store i32 %267, i32* %25
%268 = load i32*, i32** %8
%269 = getelementptr inbounds i32, i32* %268, i64 19
%270 = load i32, i32* %269
%271 = load i32, i32* %4
%272 = sub nsw i32 %270, %271
%273 = shl i32 %272, 40
%274 = load i32, i32* %25
%275 = or i32 %274, %273
store i32 %275, i32* %25
%276 = load i32*, i32** %8
%277 = getelementptr inbounds i32, i32* %276, i64 19
%278 = load i32, i32* %277
%279 = load i32, i32* %4
%280 = sub nsw i32 %278, %279
%281 = ashr i32 %280, 24
store i32 %281, i32* %26
%282 = load i32*, i32** %8
%283 = getelementptr inbounds i32, i32* %282, i64 20
%284 = load i32, i32* %283
%285 = load i32, i32* %4
%286 = sub nsw i32 %284, %285
%287 = shl i32 %286, 32
%288 = load i32, i32* %26
%289 = or i32 %288, %287
store i32 %289, i32* %26
%290 = load i32*, i32** %8
%291 = getelementptr inbounds i32, i32* %290, i64 20
%292 = load i32, i32* %291
%293 = load i32, i32* %4
%294 = sub nsw i32 %292, %293
%295 = ashr i32 %294, 32
store i32 %295, i32* %27
%296 = load i32*, i32** %8
%297 = getelementptr inbounds i32, i32* %296, i64 21
%298 = load i32, i32* %297
%299 = load i32, i32* %4
%300 = sub nsw i32 %298, %299
%301 = shl i32 %300, 24
%302 = load i32, i32* %27
%303 = or i32 %302, %301
store i32 %303, i32* %27
%304 = load i32*, i32** %8
%305 = getelementptr inbounds i32, i32* %304, i64 21
%306 = load i32, i32* %305
%307 = load i32, i32* %4
%308 = sub nsw i32 %306, %307
%309 = ashr i32 %308, 40
store i32 %309, i32* %28
%310 = load i32*, i32** %8
%311 = getelementptr inbounds i32, i32* %310, i64 22
%312 = load i32, i32* %311
%313 = load i32, i32* %4
%314 = sub nsw i32 %312, %313
%315 = shl i32 %314, 16
%316 = load i32, i32* %28
%317 = or i32 %316, %315
store i32 %317, i32* %28
%318 = load i32*, i32** %8
%319 = getelementptr inbounds i32, i32* %318, i64 22
%320 = load i32, i32* %319
%321 = load i32, i32* %4
%322 = sub nsw i32 %320, %321
%323 = ashr i32 %322, 48
store i32 %323, i32* %29
%324 = load i32*, i32** %8
%325 = getelementptr inbounds i32, i32* %324, i64 23
%326 = load i32, i32* %325
%327 = load i32, i32* %4
%328 = sub nsw i32 %326, %327
%329 = shl i32 %328, 8
%330 = load i32, i32* %29
%331 = or i32 %330, %329
store i32 %331, i32* %29
%332 = load i32*, i32** %8
%333 = getelementptr inbounds i32, i32* %332, i64 24
%334 = load i32, i32* %333
%335 = load i32, i32* %4
%336 = sub nsw i32 %334, %335
store i32 %336, i32* %30
%337 = load i32*, i32** %8
%338 = getelementptr inbounds i32, i32* %337, i64 25
%339 = load i32, i32* %338
%340 = load i32, i32* %4
%341 = sub nsw i32 %339, %340
%342 = shl i32 %341, 56
%343 = load i32, i32* %30
%344 = or i32 %343, %342
store i32 %344, i32* %30
%345 = load i32*, i32** %8
%346 = getelementptr inbounds i32, i32* %345, i64 25
%347 = load i32, i32* %346
%348 = load i32, i32* %4
%349 = sub nsw i32 %347, %348
%350 = ashr i32 %349, 8
store i32 %350, i32* %31
%351 = load i32*, i32** %8
%352 = getelementptr inbounds i32, i32* %351, i64 26
%353 = load i32, i32* %352
%354 = load i32, i32* %4
%355 = sub nsw i32 %353, %354
%356 = shl i32 %355, 48
%357 = load i32, i32* %31
%358 = or i32 %357, %356
store i32 %358, i32* %31
%359 = load i32*, i32** %8
%360 = getelementptr inbounds i32, i32* %359, i64 26
%361 = load i32, i32* %360
%362 = load i32, i32* %4
%363 = sub nsw i32 %361, %362
%364 = ashr i32 %363, 16
store i32 %364, i32* %32
%365 = load i32*, i32** %8
%366 = getelementptr inbounds i32, i32* %365, i64 27
%367 = load i32, i32* %366
%368 = load i32, i32* %4
%369 = sub nsw i32 %367, %368
%370 = shl i32 %369, 40
%371 = load i32, i32* %32
%372 = or i32 %371, %370
store i32 %372, i32* %32
%373 = load i32*, i32** %8
%374 = getelementptr inbounds i32, i32* %373, i64 27
%375 = load i32, i32* %374
%376 = load i32, i32* %4
%377 = sub nsw i32 %375, %376
%378 = ashr i32 %377, 24
store i32 %378, i32* %33
%379 = load i32*, i32** %8
%380 = getelementptr inbounds i32, i32* %379, i64 28
%381 = load i32, i32* %380
%382 = load i32, i32* %4
%383 = sub nsw i32 %381, %382
%384 = shl i32 %383, 32
%385 = load i32, i32* %33
%386 = or i32 %385, %384
store i32 %386, i32* %33
%387 = load i32*, i32** %8
%388 = getelementptr inbounds i32, i32* %387, i64 28
%389 = load i32, i32* %388
%390 = load i32, i32* %4
%391 = sub nsw i32 %389, %390
%392 = ashr i32 %391, 32
store i32 %392, i32* %34
%393 = load i32*, i32** %8
%394 = getelementptr inbounds i32, i32* %393, i64 29
%395 = load i32, i32* %394
%396 = load i32, i32* %4
%397 = sub nsw i32 %395, %396
%398 = shl i32 %397, 24
%399 = load i32, i32* %34
%400 = or i32 %399, %398
store i32 %400, i32* %34
%401 = load i32*, i32** %8
%402 = getelementptr inbounds i32, i32* %401, i64 29
%403 = load i32, i32* %402
%404 = load i32, i32* %4
%405 = sub nsw i32 %403, %404
%406 = ashr i32 %405, 40
store i32 %406, i32* %35
%407 = load i32*, i32** %8
%408 = getelementptr inbounds i32, i32* %407, i64 30
%409 = load i32, i32* %408
%410 = load i32, i32* %4
%411 = sub nsw i32 %409, %410
%412 = shl i32 %411, 16
%413 = load i32, i32* %35
%414 = or i32 %413, %412
store i32 %414, i32* %35
%415 = load i32*, i32** %8
%416 = getelementptr inbounds i32, i32* %415, i64 30
%417 = load i32, i32* %416
%418 = load i32, i32* %4
%419 = sub nsw i32 %417, %418
%420 = ashr i32 %419, 48
store i32 %420, i32* %36
%421 = load i32*, i32** %8
%422 = getelementptr inbounds i32, i32* %421, i64 31
%423 = load i32, i32* %422
%424 = load i32, i32* %4
%425 = sub nsw i32 %423, %424
%426 = shl i32 %425, 8
%427 = load i32, i32* %36
%428 = or i32 %427, %426
store i32 %428, i32* %36
%429 = load i32, i32* %9
%430 = load i32*, i32** %7
%431 = getelementptr inbounds i32, i32* %430, i64 0
store i32 %429, i32* %431
%432 = load i32, i32* %10
%433 = load i32*, i32** %7
%434 = getelementptr inbounds i32, i32* %433, i64 1
store i32 %432, i32* %434
%435 = load i32, i32* %11
%436 = load i32*, i32** %7
%437 = getelementptr inbounds i32, i32* %436, i64 2
store i32 %435, i32* %437
%438 = load i32, i32* %12
%439 = load i32*, i32** %7
%440 = getelementptr inbounds i32, i32* %439, i64 3
store i32 %438, i32* %440
%441 = load i32, i32* %13
%442 = load i32*, i32** %7
%443 = getelementptr inbounds i32, i32* %442, i64 4
store i32 %441, i32* %443
%444 = load i32, i32* %14
%445 = load i32*, i32** %7
%446 = getelementptr inbounds i32, i32* %445, i64 5
store i32 %444, i32* %446
%447 = load i32, i32* %15
%448 = load i32*, i32** %7
%449 = getelementptr inbounds i32, i32* %448, i64 6
store i32 %447, i32* %449
%450 = load i32, i32* %16
%451 = load i32*, i32** %7
%452 = getelementptr inbounds i32, i32* %451, i64 7
store i32 %450, i32* %452
%453 = load i32, i32* %17
%454 = load i32*, i32** %7
%455 = getelementptr inbounds i32, i32* %454, i64 8
store i32 %453, i32* %455
%456 = load i32, i32* %18
%457 = load i32*, i32** %7
%458 = getelementptr inbounds i32, i32* %457, i64 9
store i32 %456, i32* %458
%459 = load i32, i32* %19
%460 = load i32*, i32** %7
%461 = getelementptr inbounds i32, i32* %460, i64 10
store i32 %459, i32* %461
%462 = load i32, i32* %20
%463 = load i32*, i32** %7
%464 = getelementptr inbounds i32, i32* %463, i64 11
store i32 %462, i32* %464
%465 = load i32, i32* %21
%466 = load i32*, i32** %7
%467 = getelementptr inbounds i32, i32* %466, i64 12
store i32 %465, i32* %467
%468 = load i32, i32* %22
%469 = load i32*, i32** %7
%470 = getelementptr inbounds i32, i32* %469, i64 13
store i32 %468, i32* %470
%471 = load i32, i32* %23
%472 = load i32*, i32** %7
%473 = getelementptr inbounds i32, i32* %472, i64 14
store i32 %471, i32* %473
%474 = load i32, i32* %24
%475 = load i32*, i32** %7
%476 = getelementptr inbounds i32, i32* %475, i64 15
store i32 %474, i32* %476
%477 = load i32, i32* %25
%478 = load i32*, i32** %7
%479 = getelementptr inbounds i32, i32* %478, i64 16
store i32 %477, i32* %479
%480 = load i32, i32* %26
%481 = load i32*, i32** %7
%482 = getelementptr inbounds i32, i32* %481, i64 17
store i32 %480, i32* %482
%483 = load i32, i32* %27
%484 = load i32*, i32** %7
%485 = getelementptr inbounds i32, i32* %484, i64 18
store i32 %483, i32* %485
%486 = load i32, i32* %28
%487 = load i32*, i32** %7
%488 = getelementptr inbounds i32, i32* %487, i64 19
store i32 %486, i32* %488
%489 = load i32, i32* %29
%490 = load i32*, i32** %7
%491 = getelementptr inbounds i32, i32* %490, i64 20
store i32 %489, i32* %491
%492 = load i32, i32* %30
%493 = load i32*, i32** %7
%494 = getelementptr inbounds i32, i32* %493, i64 21
store i32 %492, i32* %494
%495 = load i32, i32* %31
%496 = load i32*, i32** %7
%497 = getelementptr inbounds i32, i32* %496, i64 22
store i32 %495, i32* %497
%498 = load i32, i32* %32
%499 = load i32*, i32** %7
%500 = getelementptr inbounds i32, i32* %499, i64 23
store i32 %498, i32* %500
%501 = load i32, i32* %33
%502 = load i32*, i32** %7
%503 = getelementptr inbounds i32, i32* %502, i64 24
store i32 %501, i32* %503
%504 = load i32, i32* %34
%505 = load i32*, i32** %7
%506 = getelementptr inbounds i32, i32* %505, i64 25
store i32 %504, i32* %506
%507 = load i32, i32* %35
%508 = load i32*, i32** %7
%509 = getelementptr inbounds i32, i32* %508, i64 26
store i32 %507, i32* %509
%510 = load i32, i32* %36
%511 = load i32*, i32** %7
%512 = getelementptr inbounds i32, i32* %511, i64 27
store i32 %510, i32* %512
%513 = load i32**, i32*** %5
%514 = load i32*, i32** %513
%515 = getelementptr inbounds i32, i32* %514, i64 32
store i32* %515, i32** %513
%516 = load i32**, i32*** %6
%517 = load i32*, i32** %516
%518 = getelementptr inbounds i32, i32* %517, i64 224
store i32* %518, i32** %516
ret void
}

LLVM IR (-O2):
define void @packforblock56_64(i32 %0, i32** nocapture %1, i32** nocapture %2) {
%4 = load i32*, i32** %1
%5 = getelementptr inbounds i32, i32* %4, i64 32
store i32* %5, i32** %1
%6 = load i32*, i32** %2
%7 = getelementptr inbounds i32, i32* %6, i64 224
store i32* %7, i32** %2
ret void
}