#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 packforblock4_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;
  w0 = (in[0] - base);
  w0 |= (in[1] - base) << 4;
  w0 |= (in[2] - base) << 8;
  w0 |= (in[3] - base) << 12;
  w0 |= (in[4] - base) << 16;
  w0 |= (in[5] - base) << 20;
  w0 |= (in[6] - base) << 24;
  w0 |= (in[7] - base) << 28;
  w0 |= (in[8] - base) << 32;
  w0 |= (in[9] - base) << 36;
  w0 |= (in[10] - base) << 40;
  w0 |= (in[11] - base) << 44;
  w0 |= (in[12] - base) << 48;
  w0 |= (in[13] - base) << 52;
  w0 |= (in[14] - base) << 56;
  w0 |= (in[15] - base) << 60;
  w1 = (in[16] - base);
  w1 |= (in[17] - base) << 4;
  w1 |= (in[18] - base) << 8;
  w1 |= (in[19] - base) << 12;
  w1 |= (in[20] - base) << 16;
  w1 |= (in[21] - base) << 20;
  w1 |= (in[22] - base) << 24;
  w1 |= (in[23] - base) << 28;
  w1 |= (in[24] - base) << 32;
  w1 |= (in[25] - base) << 36;
  w1 |= (in[26] - base) << 40;
  w1 |= (in[27] - base) << 44;
  w1 |= (in[28] - base) << 48;
  w1 |= (in[29] - base) << 52;
  w1 |= (in[30] - base) << 56;
  w1 |= (in[31] - base) << 60;
  pw64[0] = w0;
  pw64[1] = w1;
  *pin += 32;
  *pw += 16;
}


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

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

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

LLVM IR (-O2):
define void @packforblock4_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 16
store i32* %7, i32** %2
ret void
}