#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 packforblock16_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;
  w0 = (in[0] - base);
  w0 |= (in[1] - base) << 16;
  w0 |= (in[2] - base) << 32;
  w0 |= (in[3] - base) << 48;
  w1 = (in[4] - base);
  w1 |= (in[5] - base) << 16;
  w1 |= (in[6] - base) << 32;
  w1 |= (in[7] - base) << 48;
  w2 = (in[8] - base);
  w2 |= (in[9] - base) << 16;
  w2 |= (in[10] - base) << 32;
  w2 |= (in[11] - base) << 48;
  w3 = (in[12] - base);
  w3 |= (in[13] - base) << 16;
  w3 |= (in[14] - base) << 32;
  w3 |= (in[15] - base) << 48;
  w4 = (in[16] - base);
  w4 |= (in[17] - base) << 16;
  w4 |= (in[18] - base) << 32;
  w4 |= (in[19] - base) << 48;
  w5 = (in[20] - base);
  w5 |= (in[21] - base) << 16;
  w5 |= (in[22] - base) << 32;
  w5 |= (in[23] - base) << 48;
  w6 = (in[24] - base);
  w6 |= (in[25] - base) << 16;
  w6 |= (in[26] - base) << 32;
  w6 |= (in[27] - base) << 48;
  w7 = (in[28] - base);
  w7 |= (in[29] - base) << 16;
  w7 |= (in[30] - base) << 32;
  w7 |= (in[31] - base) << 48;
  pw64[0] = w0;
  pw64[1] = w1;
  pw64[2] = w2;
  pw64[3] = w3;
  pw64[4] = w4;
  pw64[5] = w5;
  pw64[6] = w6;
  pw64[7] = w7;
  *pin += 32;
  *pw += 64;
}


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

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

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

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