#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 */
typedef struct TYPE_2__ TYPE_1__;

/* Type definitions */
struct TYPE_2__ {
  int *h;
};
typedef TYPE_1__ SHA512_CTX;

/* Variables and functions */
void tls1_sha512_final_raw(void *ctx, unsigned char *md_out) {
  SHA512_CTX *sha512 = ctx;
  unsigned i;
  for (i = 0; i < 8; i++) {
    (*((md_out)++) = (unsigned char)(((sha512->h[i]) >> 56) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i]) >> 48) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i]) >> 40) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i]) >> 32) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i]) >> 24) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i]) >> 16) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i]) >> 8) & 0xff),
     *((md_out)++) = (unsigned char)(((sha512->h[i])) & 0xff));
  }
}


x86 assembly (clang, -O0):
<tls1_sha512_final_raw>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jae    1280 <tls1_sha512_final_raw+0x180>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    $0x38,%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    $0x30,%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    $0x28,%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    $0x20,%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
sar    $0x18,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
sar    $0x10,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    111b <tls1_sha512_final_raw+0x1b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<tls1_sha512_final_raw>:
mov    (%rdi),%rax
mov    0x3(%rax),%al
mov    %al,0x4(%rsi)
mov    (%rdi),%rax
mov    0x2(%rax),%al
mov    %al,0x5(%rsi)
mov    (%rdi),%rax
mov    0x1(%rax),%al
mov    %al,0x6(%rsi)
mov    (%rdi),%rax
mov    (%rax),%al
mov    %al,0x7(%rsi)
mov    (%rdi),%rax
mov    0x7(%rax),%al
mov    %al,0xc(%rsi)
mov    (%rdi),%rax
mov    0x6(%rax),%al
mov    %al,0xd(%rsi)
mov    (%rdi),%rax
mov    0x5(%rax),%al
mov    %al,0xe(%rsi)
mov    (%rdi),%rax
mov    0x4(%rax),%al
mov    %al,0xf(%rsi)
mov    (%rdi),%rax
mov    0xb(%rax),%al
mov    %al,0x14(%rsi)
mov    (%rdi),%rax
mov    0xa(%rax),%al
mov    %al,0x15(%rsi)
mov    (%rdi),%rax
mov    0x9(%rax),%al
mov    %al,0x16(%rsi)
mov    (%rdi),%rax
mov    0x8(%rax),%al
mov    %al,0x17(%rsi)
mov    (%rdi),%rax
mov    0xf(%rax),%al
mov    %al,0x1c(%rsi)
mov    (%rdi),%rax
mov    0xe(%rax),%al
mov    %al,0x1d(%rsi)
mov    (%rdi),%rax
mov    0xd(%rax),%al
mov    %al,0x1e(%rsi)
mov    (%rdi),%rax
mov    0xc(%rax),%al
mov    %al,0x1f(%rsi)
mov    (%rdi),%rax
mov    0x13(%rax),%al
mov    %al,0x24(%rsi)
mov    (%rdi),%rax
mov    0x12(%rax),%al
mov    %al,0x25(%rsi)
mov    (%rdi),%rax
mov    0x11(%rax),%al
mov    %al,0x26(%rsi)
mov    (%rdi),%rax
mov    0x10(%rax),%al
mov    %al,0x27(%rsi)
mov    (%rdi),%rax
mov    0x17(%rax),%al
mov    %al,0x2c(%rsi)
mov    (%rdi),%rax
mov    0x16(%rax),%al
mov    %al,0x2d(%rsi)
mov    (%rdi),%rax
mov    0x15(%rax),%al
mov    %al,0x2e(%rsi)
mov    (%rdi),%rax
mov    0x14(%rax),%al
mov    %al,0x2f(%rsi)
mov    (%rdi),%rax
mov    0x1b(%rax),%al
mov    %al,0x34(%rsi)
mov    (%rdi),%rax
mov    0x1a(%rax),%al
mov    %al,0x35(%rsi)
mov    (%rdi),%rax
mov    0x19(%rax),%al
mov    %al,0x36(%rsi)
mov    (%rdi),%rax
mov    0x18(%rax),%al
mov    %al,0x37(%rsi)
mov    (%rdi),%rax
mov    0x1f(%rax),%al
mov    %al,0x3c(%rsi)
mov    (%rdi),%rax
mov    0x1e(%rax),%al
mov    %al,0x3d(%rsi)
mov    (%rdi),%rax
mov    0x1d(%rax),%al
mov    %al,0x3e(%rsi)
mov    (%rdi),%rax
mov    0x1c(%rax),%al
mov    %al,0x3f(%rsi)
ret

LLVM IR (-O0):
%struct.TYPE_2__ = type { i32* }
define void @tls1_sha512_final_raw(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca %struct.TYPE_2__*
%6 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
%7 = load i8*, i8** %3
%8 = bitcast i8* %7 to %struct.TYPE_2__*
store %struct.TYPE_2__* %8, %struct.TYPE_2__** %5
store i32 0, i32* %6
br label %9
9: ; preds = %108, %2
%10 = load i32, i32* %6
%11 = icmp ult i32 %10, 8
br i1 %11, label %12, label %111
12: ; preds = %9
%13 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%14 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %13, i32 0, i32 0
%15 = load i32*, i32** %14
%16 = load i32, i32* %6
%17 = zext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = ashr i32 %19, 56
%21 = and i32 %20, 255
%22 = trunc i32 %21 to i8
%23 = load i8*, i8** %4
%24 = getelementptr inbounds i8, i8* %23, i32 1
store i8* %24, i8** %4
store i8 %22, i8* %23
%25 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%26 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %25, i32 0, i32 0
%27 = load i32*, i32** %26
%28 = load i32, i32* %6
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
%31 = load i32, i32* %30
%32 = ashr i32 %31, 48
%33 = and i32 %32, 255
%34 = trunc i32 %33 to i8
%35 = load i8*, i8** %4
%36 = getelementptr inbounds i8, i8* %35, i32 1
store i8* %36, i8** %4
store i8 %34, i8* %35
%37 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%38 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %37, i32 0, i32 0
%39 = load i32*, i32** %38
%40 = load i32, i32* %6
%41 = zext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %39, i64 %41
%43 = load i32, i32* %42
%44 = ashr i32 %43, 40
%45 = and i32 %44, 255
%46 = trunc i32 %45 to i8
%47 = load i8*, i8** %4
%48 = getelementptr inbounds i8, i8* %47, i32 1
store i8* %48, i8** %4
store i8 %46, i8* %47
%49 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%50 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %49, i32 0, i32 0
%51 = load i32*, i32** %50
%52 = load i32, i32* %6
%53 = zext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %51, i64 %53
%55 = load i32, i32* %54
%56 = ashr i32 %55, 32
%57 = and i32 %56, 255
%58 = trunc i32 %57 to i8
%59 = load i8*, i8** %4
%60 = getelementptr inbounds i8, i8* %59, i32 1
store i8* %60, i8** %4
store i8 %58, i8* %59
%61 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%62 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %61, i32 0, i32 0
%63 = load i32*, i32** %62
%64 = load i32, i32* %6
%65 = zext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %63, i64 %65
%67 = load i32, i32* %66
%68 = ashr i32 %67, 24
%69 = and i32 %68, 255
%70 = trunc i32 %69 to i8
%71 = load i8*, i8** %4
%72 = getelementptr inbounds i8, i8* %71, i32 1
store i8* %72, i8** %4
store i8 %70, i8* %71
%73 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%74 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %73, i32 0, i32 0
%75 = load i32*, i32** %74
%76 = load i32, i32* %6
%77 = zext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %75, i64 %77
%79 = load i32, i32* %78
%80 = ashr i32 %79, 16
%81 = and i32 %80, 255
%82 = trunc i32 %81 to i8
%83 = load i8*, i8** %4
%84 = getelementptr inbounds i8, i8* %83, i32 1
store i8* %84, i8** %4
store i8 %82, i8* %83
%85 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%86 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %85, i32 0, i32 0
%87 = load i32*, i32** %86
%88 = load i32, i32* %6
%89 = zext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
%92 = ashr i32 %91, 8
%93 = and i32 %92, 255
%94 = trunc i32 %93 to i8
%95 = load i8*, i8** %4
%96 = getelementptr inbounds i8, i8* %95, i32 1
store i8* %96, i8** %4
store i8 %94, i8* %95
%97 = load %struct.TYPE_2__*, %struct.TYPE_2__** %5
%98 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %97, i32 0, i32 0
%99 = load i32*, i32** %98
%100 = load i32, i32* %6
%101 = zext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = load i32, i32* %102
%104 = and i32 %103, 255
%105 = trunc i32 %104 to i8
%106 = load i8*, i8** %4
%107 = getelementptr inbounds i8, i8* %106, i32 1
store i8* %107, i8** %4
store i8 %105, i8* %106
br label %108
108: ; preds = %12
%109 = load i32, i32* %6
%110 = add i32 %109, 1
store i32 %110, i32* %6
br label %9
111: ; preds = %9
ret void
}

LLVM IR (-O2):
define void @tls1_sha512_final_raw(i8* nocapture %0, i8* nocapture writeonly %1) {
%3 = bitcast i8* %0 to i32**
%4 = getelementptr inbounds i8, i8* %1, i64 4
%5 = load i32*, i32** %3
%6 = load i32, i32* %5
%7 = lshr i32 %6, 24
%8 = trunc i32 %7 to i8
%9 = getelementptr inbounds i8, i8* %1, i64 5
store i8 %8, i8* %4
%10 = load i32*, i32** %3
%11 = load i32, i32* %10
%12 = lshr i32 %11, 16
%13 = trunc i32 %12 to i8
%14 = getelementptr inbounds i8, i8* %1, i64 6
store i8 %13, i8* %9
%15 = load i32*, i32** %3
%16 = load i32, i32* %15
%17 = lshr i32 %16, 8
%18 = trunc i32 %17 to i8
%19 = getelementptr inbounds i8, i8* %1, i64 7
store i8 %18, i8* %14
%20 = load i32*, i32** %3
%21 = load i32, i32* %20
%22 = trunc i32 %21 to i8
store i8 %22, i8* %19
%23 = getelementptr inbounds i8, i8* %1, i64 12
%24 = load i32*, i32** %3
%25 = getelementptr inbounds i32, i32* %24, i64 1
%26 = load i32, i32* %25
%27 = lshr i32 %26, 24
%28 = trunc i32 %27 to i8
%29 = getelementptr inbounds i8, i8* %1, i64 13
store i8 %28, i8* %23
%30 = load i32*, i32** %3
%31 = getelementptr inbounds i32, i32* %30, i64 1
%32 = load i32, i32* %31
%33 = lshr i32 %32, 16
%34 = trunc i32 %33 to i8
%35 = getelementptr inbounds i8, i8* %1, i64 14
store i8 %34, i8* %29
%36 = load i32*, i32** %3
%37 = getelementptr inbounds i32, i32* %36, i64 1
%38 = load i32, i32* %37
%39 = lshr i32 %38, 8
%40 = trunc i32 %39 to i8
%41 = getelementptr inbounds i8, i8* %1, i64 15
store i8 %40, i8* %35
%42 = load i32*, i32** %3
%43 = getelementptr inbounds i32, i32* %42, i64 1
%44 = load i32, i32* %43
%45 = trunc i32 %44 to i8
store i8 %45, i8* %41
%46 = getelementptr inbounds i8, i8* %1, i64 20
%47 = load i32*, i32** %3
%48 = getelementptr inbounds i32, i32* %47, i64 2
%49 = load i32, i32* %48
%50 = lshr i32 %49, 24
%51 = trunc i32 %50 to i8
%52 = getelementptr inbounds i8, i8* %1, i64 21
store i8 %51, i8* %46
%53 = load i32*, i32** %3
%54 = getelementptr inbounds i32, i32* %53, i64 2
%55 = load i32, i32* %54
%56 = lshr i32 %55, 16
%57 = trunc i32 %56 to i8
%58 = getelementptr inbounds i8, i8* %1, i64 22
store i8 %57, i8* %52
%59 = load i32*, i32** %3
%60 = getelementptr inbounds i32, i32* %59, i64 2
%61 = load i32, i32* %60
%62 = lshr i32 %61, 8
%63 = trunc i32 %62 to i8
%64 = getelementptr inbounds i8, i8* %1, i64 23
store i8 %63, i8* %58
%65 = load i32*, i32** %3
%66 = getelementptr inbounds i32, i32* %65, i64 2
%67 = load i32, i32* %66
%68 = trunc i32 %67 to i8
store i8 %68, i8* %64
%69 = getelementptr inbounds i8, i8* %1, i64 28
%70 = load i32*, i32** %3
%71 = getelementptr inbounds i32, i32* %70, i64 3
%72 = load i32, i32* %71
%73 = lshr i32 %72, 24
%74 = trunc i32 %73 to i8
%75 = getelementptr inbounds i8, i8* %1, i64 29
store i8 %74, i8* %69
%76 = load i32*, i32** %3
%77 = getelementptr inbounds i32, i32* %76, i64 3
%78 = load i32, i32* %77
%79 = lshr i32 %78, 16
%80 = trunc i32 %79 to i8
%81 = getelementptr inbounds i8, i8* %1, i64 30
store i8 %80, i8* %75
%82 = load i32*, i32** %3
%83 = getelementptr inbounds i32, i32* %82, i64 3
%84 = load i32, i32* %83
%85 = lshr i32 %84, 8
%86 = trunc i32 %85 to i8
%87 = getelementptr inbounds i8, i8* %1, i64 31
store i8 %86, i8* %81
%88 = load i32*, i32** %3
%89 = getelementptr inbounds i32, i32* %88, i64 3
%90 = load i32, i32* %89
%91 = trunc i32 %90 to i8
store i8 %91, i8* %87
%92 = getelementptr inbounds i8, i8* %1, i64 36
%93 = load i32*, i32** %3
%94 = getelementptr inbounds i32, i32* %93, i64 4
%95 = load i32, i32* %94
%96 = lshr i32 %95, 24
%97 = trunc i32 %96 to i8
%98 = getelementptr inbounds i8, i8* %1, i64 37
store i8 %97, i8* %92
%99 = load i32*, i32** %3
%100 = getelementptr inbounds i32, i32* %99, i64 4
%101 = load i32, i32* %100
%102 = lshr i32 %101, 16
%103 = trunc i32 %102 to i8
%104 = getelementptr inbounds i8, i8* %1, i64 38
store i8 %103, i8* %98
%105 = load i32*, i32** %3
%106 = getelementptr inbounds i32, i32* %105, i64 4
%107 = load i32, i32* %106
%108 = lshr i32 %107, 8
%109 = trunc i32 %108 to i8
%110 = getelementptr inbounds i8, i8* %1, i64 39
store i8 %109, i8* %104
%111 = load i32*, i32** %3
%112 = getelementptr inbounds i32, i32* %111, i64 4
%113 = load i32, i32* %112
%114 = trunc i32 %113 to i8
store i8 %114, i8* %110
%115 = getelementptr inbounds i8, i8* %1, i64 44
%116 = load i32*, i32** %3
%117 = getelementptr inbounds i32, i32* %116, i64 5
%118 = load i32, i32* %117
%119 = lshr i32 %118, 24
%120 = trunc i32 %119 to i8
%121 = getelementptr inbounds i8, i8* %1, i64 45
store i8 %120, i8* %115
%122 = load i32*, i32** %3
%123 = getelementptr inbounds i32, i32* %122, i64 5
%124 = load i32, i32* %123
%125 = lshr i32 %124, 16
%126 = trunc i32 %125 to i8
%127 = getelementptr inbounds i8, i8* %1, i64 46
store i8 %126, i8* %121
%128 = load i32*, i32** %3
%129 = getelementptr inbounds i32, i32* %128, i64 5
%130 = load i32, i32* %129
%131 = lshr i32 %130, 8
%132 = trunc i32 %131 to i8
%133 = getelementptr inbounds i8, i8* %1, i64 47
store i8 %132, i8* %127
%134 = load i32*, i32** %3
%135 = getelementptr inbounds i32, i32* %134, i64 5
%136 = load i32, i32* %135
%137 = trunc i32 %136 to i8
store i8 %137, i8* %133
%138 = getelementptr inbounds i8, i8* %1, i64 52
%139 = load i32*, i32** %3
%140 = getelementptr inbounds i32, i32* %139, i64 6
%141 = load i32, i32* %140
%142 = lshr i32 %141, 24
%143 = trunc i32 %142 to i8
%144 = getelementptr inbounds i8, i8* %1, i64 53
store i8 %143, i8* %138
%145 = load i32*, i32** %3
%146 = getelementptr inbounds i32, i32* %145, i64 6
%147 = load i32, i32* %146
%148 = lshr i32 %147, 16
%149 = trunc i32 %148 to i8
%150 = getelementptr inbounds i8, i8* %1, i64 54
store i8 %149, i8* %144
%151 = load i32*, i32** %3
%152 = getelementptr inbounds i32, i32* %151, i64 6
%153 = load i32, i32* %152
%154 = lshr i32 %153, 8
%155 = trunc i32 %154 to i8
%156 = getelementptr inbounds i8, i8* %1, i64 55
store i8 %155, i8* %150
%157 = load i32*, i32** %3
%158 = getelementptr inbounds i32, i32* %157, i64 6
%159 = load i32, i32* %158
%160 = trunc i32 %159 to i8
store i8 %160, i8* %156
%161 = getelementptr inbounds i8, i8* %1, i64 60
%162 = load i32*, i32** %3
%163 = getelementptr inbounds i32, i32* %162, i64 7
%164 = load i32, i32* %163
%165 = lshr i32 %164, 24
%166 = trunc i32 %165 to i8
%167 = getelementptr inbounds i8, i8* %1, i64 61
store i8 %166, i8* %161
%168 = load i32*, i32** %3
%169 = getelementptr inbounds i32, i32* %168, i64 7
%170 = load i32, i32* %169
%171 = lshr i32 %170, 16
%172 = trunc i32 %171 to i8
%173 = getelementptr inbounds i8, i8* %1, i64 62
store i8 %172, i8* %167
%174 = load i32*, i32** %3
%175 = getelementptr inbounds i32, i32* %174, i64 7
%176 = load i32, i32* %175
%177 = lshr i32 %176, 8
%178 = trunc i32 %177 to i8
%179 = getelementptr inbounds i8, i8* %1, i64 63
store i8 %178, i8* %173
%180 = load i32*, i32** %3
%181 = getelementptr inbounds i32, i32* %180, i64 7
%182 = load i32, i32* %181
%183 = trunc i32 %182 to i8
store i8 %183, i8* %179
ret void
}