#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 packforblock58_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;
  uint64_t w28;
  w0 = (in[0] - base);
  w0 |= (in[1] - base) << 58;
  w1 = (in[1] - base) >> 6;
  w1 |= (in[2] - base) << 52;
  w2 = (in[2] - base) >> 12;
  w2 |= (in[3] - base) << 46;
  w3 = (in[3] - base) >> 18;
  w3 |= (in[4] - base) << 40;
  w4 = (in[4] - base) >> 24;
  w4 |= (in[5] - base) << 34;
  w5 = (in[5] - base) >> 30;
  w5 |= (in[6] - base) << 28;
  w6 = (in[6] - base) >> 36;
  w6 |= (in[7] - base) << 22;
  w7 = (in[7] - base) >> 42;
  w7 |= (in[8] - base) << 16;
  w8 = (in[8] - base) >> 48;
  w8 |= (in[9] - base) << 10;
  w9 = (in[9] - base) >> 54;
  w9 |= (in[10] - base) << 4;
  w9 |= (in[11] - base) << 62;
  w10 = (in[11] - base) >> 2;
  w10 |= (in[12] - base) << 56;
  w11 = (in[12] - base) >> 8;
  w11 |= (in[13] - base) << 50;
  w12 = (in[13] - base) >> 14;
  w12 |= (in[14] - base) << 44;
  w13 = (in[14] - base) >> 20;
  w13 |= (in[15] - base) << 38;
  w14 = (in[15] - base) >> 26;
  w14 |= (in[16] - base) << 32;
  w15 = (in[16] - base) >> 32;
  w15 |= (in[17] - base) << 26;
  w16 = (in[17] - base) >> 38;
  w16 |= (in[18] - base) << 20;
  w17 = (in[18] - base) >> 44;
  w17 |= (in[19] - base) << 14;
  w18 = (in[19] - base) >> 50;
  w18 |= (in[20] - base) << 8;
  w19 = (in[20] - base) >> 56;
  w19 |= (in[21] - base) << 2;
  w19 |= (in[22] - base) << 60;
  w20 = (in[22] - base) >> 4;
  w20 |= (in[23] - base) << 54;
  w21 = (in[23] - base) >> 10;
  w21 |= (in[24] - base) << 48;
  w22 = (in[24] - base) >> 16;
  w22 |= (in[25] - base) << 42;
  w23 = (in[25] - base) >> 22;
  w23 |= (in[26] - base) << 36;
  w24 = (in[26] - base) >> 28;
  w24 |= (in[27] - base) << 30;
  w25 = (in[27] - base) >> 34;
  w25 |= (in[28] - base) << 24;
  w26 = (in[28] - base) >> 40;
  w26 |= (in[29] - base) << 18;
  w27 = (in[29] - base) >> 46;
  w27 |= (in[30] - base) << 12;
  w28 = (in[30] - base) >> 52;
  w28 |= (in[31] - base) << 6;
  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;
  pw64[28] = w28;
  *pin += 32;
  *pw += 232;
}


x86 assembly (clang, -O0):
<packforblock58_64>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%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    $0x3a,%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    $0x6,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x34,%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    $0xc,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2e,%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    $0x12,%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x18,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x14(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x22,%ecx
shl    %cl,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x14(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x1e,%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1c,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x24,%ecx
sar    %cl,%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0x1c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x16,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0x1c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2a,%ecx
sar    %cl,%eax
mov    %eax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x10,%eax
or     -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x24(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0xa,%eax
or     -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x24(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x36,%ecx
sar    %cl,%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x28(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x4,%eax
or     -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x2c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x3e,%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    $0x2,%eax
mov    %eax,-0x54(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    0x34(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x32,%ecx
shl    %cl,%eax
or     -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    0x34(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0xe,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2c,%ecx
shl    %cl,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x14,%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    0x3c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x26,%ecx
shl    %cl,%eax
or     -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    0x3c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x1a,%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x40(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
shl    %cl,%eax
or     -0x64(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x40(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    0x44(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1a,%eax
or     -0x68(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    0x44(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x26,%ecx
sar    %cl,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x14,%eax
or     -0x6c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2c,%ecx
sar    %cl,%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0xe,%eax
or     -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x32,%ecx
sar    %cl,%eax
mov    %eax,-0x74(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x8,%eax
or     -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
sar    %cl,%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x54(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x2,%eax
or     -0x78(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x3c,%ecx
shl    %cl,%eax
or     -0x78(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x4,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x5c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x36,%ecx
shl    %cl,%eax
or     -0x7c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x5c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0xa,%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    0x60(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
shl    %cl,%eax
or     -0x80(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    0x60(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x10,%eax
mov    %eax,-0x84(%rbp)
mov    -0x28(%rbp),%rax
mov    0x64(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2a,%ecx
shl    %cl,%eax
or     -0x84(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x28(%rbp),%rax
mov    0x64(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x16,%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x24,%ecx
shl    %cl,%eax
or     -0x88(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x1c,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x6c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1e,%eax
or     -0x8c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x6c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x22,%ecx
sar    %cl,%eax
mov    %eax,-0x90(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x18,%eax
or     -0x90(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
sar    %cl,%eax
mov    %eax,-0x94(%rbp)
mov    -0x28(%rbp),%rax
mov    0x74(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x12,%eax
or     -0x94(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    -0x28(%rbp),%rax
mov    0x74(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2e,%ecx
sar    %cl,%eax
mov    %eax,-0x98(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0xc,%eax
or     -0x98(%rbp),%eax
mov    %eax,-0x98(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x34,%ecx
sar    %cl,%eax
mov    %eax,-0x9c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x7c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x6,%eax
or     -0x9c(%rbp),%eax
mov    %eax,-0x9c(%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    -0x9c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x70(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x80,%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x3a0,%rcx
mov    %rcx,(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<packforblock58_64>:
mov    (%rdx),%r8
mov    (%rsi),%r9
mov    0x14(%r9),%eax
mov    0x18(%r9),%ecx
sub    %edi,%eax
sar    $0x1e,%eax
sub    %edi,%ecx
shl    $0x1c,%ecx
or     %eax,%ecx
mov    0x68(%r9),%r10d
sub    %edi,%r10d
sar    $0x1c,%r10d
mov    0x6c(%r9),%eax
sub    %edi,%eax
shl    $0x1e,%eax
or     %r10d,%eax
mov    %ecx,0x14(%r8)
mov    %eax,0x60(%r8)
sub    $0xffffffffffffff80,%r9
mov    %r9,(%rsi)
addq   $0x3a0,(%rdx)
ret

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

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