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


x86 assembly (clang, -O0):
<packforblock53_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    $0x35,%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    $0xb,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2a,%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    $0x16,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1f,%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    0xc(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x21,%ecx
sar    %cl,%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x14,%eax
or     -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2c,%ecx
sar    %cl,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x14(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x9,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x3e,%ecx
shl    %cl,%eax
or     -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x18(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x2,%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0x1c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x33,%ecx
shl    %cl,%eax
or     -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    0x1c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0xd,%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    0x20(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x18,%eax
mov    %eax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    0x24(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1d,%eax
or     -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    0x24(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x23,%ecx
sar    %cl,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x28(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x12,%eax
or     -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x28(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2e,%ecx
sar    %cl,%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x2c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x7,%eax
or     -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x3c,%ecx
shl    %cl,%eax
or     -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    0x30(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x4,%eax
mov    %eax,-0x54(%rbp)
mov    -0x28(%rbp),%rax
mov    0x34(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x31,%ecx
shl    %cl,%eax
or     -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x28(%rbp),%rax
mov    0x34(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0xf,%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x26,%ecx
shl    %cl,%eax
or     -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    0x38(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x1a,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x3c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1b,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x3c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x25,%ecx
sar    %cl,%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    0x40(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x10,%eax
or     -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    0x40(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x44(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x5,%eax
or     -0x64(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x3a,%ecx
shl    %cl,%eax
or     -0x64(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
mov    0x48(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x6,%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2f,%ecx
shl    %cl,%eax
or     -0x68(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x11,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x24,%ecx
shl    %cl,%eax
or     -0x6c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x50(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x1c,%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
mov    0x54(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x19,%eax
or     -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x28(%rbp),%rax
mov    0x54(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x27,%ecx
sar    %cl,%eax
mov    %eax,-0x74(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0xe,%eax
or     -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x28(%rbp),%rax
mov    0x58(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x32,%ecx
sar    %cl,%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x5c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x3,%eax
or     -0x78(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x60(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
or     -0x78(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%rax
mov    0x60(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x64(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2d,%ecx
shl    %cl,%eax
or     -0x7c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x64(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x13,%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x22,%ecx
shl    %cl,%eax
or     -0x80(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x28(%rbp),%rax
mov    0x68(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x1e,%eax
mov    %eax,-0x84(%rbp)
mov    -0x28(%rbp),%rax
mov    0x6c(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x17,%eax
or     -0x84(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x28(%rbp),%rax
mov    0x6c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x29,%ecx
sar    %cl,%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0xc,%eax
or     -0x88(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x28(%rbp),%rax
mov    0x70(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x34,%ecx
sar    %cl,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x74(%rax),%eax
sub    -0x4(%rbp),%eax
shl    $0x1,%eax
or     -0x8c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x36,%ecx
shl    %cl,%eax
or     -0x8c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x78(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0xa,%eax
mov    %eax,-0x90(%rbp)
mov    -0x28(%rbp),%rax
mov    0x7c(%rax),%eax
sub    -0x4(%rbp),%eax
mov    $0x2b,%ecx
shl    %cl,%eax
or     -0x90(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x28(%rbp),%rax
mov    0x7c(%rax),%eax
sub    -0x4(%rbp),%eax
sar    $0x15,%eax
mov    %eax,-0x94(%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    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x80,%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x350,%rcx
mov    %rcx,(%rax)
add    $0x18,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<packforblock53_64>:
push   %rbp
push   %rbx
mov    (%rdx),%r8
mov    (%rsi),%rax
mov    0x8(%rax),%ecx
mov    0xc(%rax),%r9d
sub    %edi,%ecx
sar    $0x16,%ecx
sub    %edi,%r9d
shl    $0x1f,%r9d
or     %ecx,%r9d
mov    0x20(%rax),%ecx
sub    %edi,%ecx
sar    $0x18,%ecx
mov    0x24(%rax),%r10d
sub    %edi,%r10d
shl    $0x1d,%r10d
or     %ecx,%r10d
mov    0x38(%rax),%ecx
sub    %edi,%ecx
sar    $0x1a,%ecx
mov    0x3c(%rax),%r11d
sub    %edi,%r11d
shl    $0x1b,%r11d
or     %ecx,%r11d
mov    0x50(%rax),%ecx
sub    %edi,%ecx
sar    $0x1c,%ecx
mov    0x54(%rax),%ebx
sub    %edi,%ebx
shl    $0x19,%ebx
or     %ecx,%ebx
mov    0x68(%rax),%ecx
sub    %edi,%ecx
sar    $0x1e,%ecx
mov    0x6c(%rax),%ebp
sub    %edi,%ebp
shl    $0x17,%ebp
or     %ecx,%ebp
mov    0x7c(%rax),%ecx
sub    %edi,%ecx
sar    $0x15,%ecx
mov    %r9d,0x8(%r8)
mov    %r10d,0x1c(%r8)
mov    %r11d,0x30(%r8)
mov    %ebx,0x44(%r8)
mov    %ebp,0x58(%r8)
mov    %ecx,0x68(%r8)
sub    $0xffffffffffffff80,%rax
mov    %rax,(%rsi)
addq   $0x350,(%rdx)
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define void @packforblock53_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 2
%7 = load i32, i32* %6
%8 = sub nsw i32 %7, %0
%9 = ashr i32 %8, 22
%10 = getelementptr inbounds i32, i32* %5, i64 3
%11 = load i32, i32* %10
%12 = sub nsw i32 %11, %0
%13 = shl i32 %12, 31
%14 = or i32 %13, %9
%15 = getelementptr inbounds i32, i32* %5, i64 8
%16 = load i32, i32* %15
%17 = sub nsw i32 %16, %0
%18 = ashr i32 %17, 24
%19 = getelementptr inbounds i32, i32* %5, i64 9
%20 = load i32, i32* %19
%21 = sub nsw i32 %20, %0
%22 = shl i32 %21, 29
%23 = or i32 %22, %18
%24 = getelementptr inbounds i32, i32* %5, i64 14
%25 = load i32, i32* %24
%26 = sub nsw i32 %25, %0
%27 = ashr i32 %26, 26
%28 = getelementptr inbounds i32, i32* %5, i64 15
%29 = load i32, i32* %28
%30 = sub nsw i32 %29, %0
%31 = shl i32 %30, 27
%32 = or i32 %31, %27
%33 = getelementptr inbounds i32, i32* %5, i64 20
%34 = load i32, i32* %33
%35 = sub nsw i32 %34, %0
%36 = ashr i32 %35, 28
%37 = getelementptr inbounds i32, i32* %5, i64 21
%38 = load i32, i32* %37
%39 = sub nsw i32 %38, %0
%40 = shl i32 %39, 25
%41 = or i32 %40, %36
%42 = getelementptr inbounds i32, i32* %5, i64 26
%43 = load i32, i32* %42
%44 = sub nsw i32 %43, %0
%45 = ashr i32 %44, 30
%46 = getelementptr inbounds i32, i32* %5, i64 27
%47 = load i32, i32* %46
%48 = sub nsw i32 %47, %0
%49 = shl i32 %48, 23
%50 = or i32 %49, %45
%51 = getelementptr inbounds i32, i32* %5, i64 31
%52 = load i32, i32* %51
%53 = sub nsw i32 %52, %0
%54 = ashr i32 %53, 21
%55 = getelementptr inbounds i32, i32* %4, i64 2
store i32 %14, i32* %55
%56 = getelementptr inbounds i32, i32* %4, i64 7
store i32 %23, i32* %56
%57 = getelementptr inbounds i32, i32* %4, i64 12
store i32 %32, i32* %57
%58 = getelementptr inbounds i32, i32* %4, i64 17
store i32 %41, i32* %58
%59 = getelementptr inbounds i32, i32* %4, i64 22
store i32 %50, i32* %59
%60 = getelementptr inbounds i32, i32* %4, i64 26
store i32 %54, i32* %60
%61 = getelementptr inbounds i32, i32* %5, i64 32
store i32* %61, i32** %1
%62 = load i32*, i32** %2
%63 = getelementptr inbounds i32, i32* %62, i64 212
store i32* %63, i32** %2
ret void
}