#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 int64_t;

/* Variables and functions */
scalar_t__ CheckEnd();
int WriteInt64(char *ptr, int ofs, int64_t val) {
  if (CheckEnd()) {
    ptr[ofs] = val & 0xff;
    ptr[ofs + 1] = val << 8 & 0xff;
    ptr[ofs + 2] = val << 16 & 0xff;
    ptr[ofs + 3] = val << 24 & 0xff;
    ptr[ofs + 4] = val << 32 & 0xff;
    ptr[ofs + 5] = val << 40 & 0xff;
    ptr[ofs + 6] = val << 48 & 0xff;
    ptr[ofs + 7] = val << 56 & 0xff;
    return ofs + 8;
  } else {
    for (size_t i = 0; i < 8; i++) {
      ptr[ofs + i] = (val >> (8 * i)) & 0xff;
    }
    return (ofs + 8);
  }
}


x86 assembly (clang, -O0):
<WriteInt64>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    $0x0,%al
call   1030 <CheckEnd@plt>
cmp    $0x0,%rax
je     1231 <WriteInt64+0x121>
mov    -0x18(%rbp),%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
shl    $0x8,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
shl    $0x10,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
shl    $0x18,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
mov    $0x20,%ecx
shl    %cl,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
mov    $0x28,%ecx
shl    %cl,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
mov    $0x30,%ecx
shl    %cl,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
mov    $0x38,%ecx
shl    %cl,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x7,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x4(%rbp)
jmp    1281 <WriteInt64+0x171>
movq   $0x0,-0x20(%rbp)
cmpq   $0x8,-0x20(%rbp)
jae    1278 <WriteInt64+0x168>
mov    -0x18(%rbp),%eax
mov    -0x20(%rbp),%rcx
shl    $0x3,%rcx
sar    %cl,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1239 <WriteInt64+0x129>
mov    -0x14(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<WriteInt64>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%r14
xor    %eax,%eax
call   1030 <CheckEnd@plt>
test   %rax,%rax
je     1142 <WriteInt64+0x32>
movslq %ebp,%rax
mov    %r14,%rdx
mov    %bl,(%r14,%rax,1)
movw   $0x0,0x1(%r14,%rax,1)
add    $0x3,%eax
cltq
xor    %ebx,%ebx
jmp    1161 <WriteInt64+0x51>
movslq %ebp,%rax
mov    %r14,%rdx
mov    %bl,(%r14,%rax,1)
mov    %bh,0x1(%rdx,%rax,1)
mov    %ebx,%ecx
shr    $0x10,%ecx
mov    %cl,0x2(%r14,%rax,1)
shr    $0x18,%ebx
add    $0x3,%rax
mov    %bl,(%rdx,%rax,1)
add    $0x8,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @WriteInt64(i8* nocapture writeonly %0, i32 %1, i32 %2) {
%4 = tail call i64 (...) @CheckEnd()
%5 = icmp eq i64 %4, 0
br i1 %5, label %6, label %21
6: ; preds = %3
%7 = sext i32 %1 to i64
%8 = trunc i32 %2 to i8
%9 = getelementptr inbounds i8, i8* %0, i64 %7
store i8 %8, i8* %9
%10 = lshr i32 %2, 8
%11 = trunc i32 %10 to i8
%12 = add nsw i64 %7, 1
%13 = getelementptr inbounds i8, i8* %0, i64 %12
store i8 %11, i8* %13
%14 = lshr i32 %2, 16
%15 = trunc i32 %14 to i8
%16 = add nsw i64 %7, 2
%17 = getelementptr inbounds i8, i8* %0, i64 %16
store i8 %15, i8* %17
%18 = lshr i32 %2, 24
%19 = trunc i32 %18 to i8
%20 = add nsw i64 %7, 3
br label %33
21: ; preds = %3
%22 = trunc i32 %2 to i8
%23 = sext i32 %1 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
store i8 %22, i8* %24
%25 = add nsw i32 %1, 1
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %0, i64 %26
store i8 0, i8* %27
%28 = add nsw i32 %1, 2
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %0, i64 %29
store i8 0, i8* %30
%31 = add nsw i32 %1, 3
%32 = sext i32 %31 to i64
br label %33
33: ; preds = %6, %21
%34 = phi i64 [ %20, %6 ], [ %32, %21 ]
%35 = phi i8 [ %19, %6 ], [ 0, %21 ]
%36 = getelementptr inbounds i8, i8* %0, i64 %34
store i8 %35, i8* %36
%37 = add nsw i32 %1, 8
ret i32 %37
}