#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 uint8_t;
typedef int int64_t;

/* Variables and functions */
int __int64_t_encode_array(void *_buf, int offset, int maxlen, const int64_t *p,
                           int elements) {
  int total_size = sizeof(int64_t) * elements;
  uint8_t *buf = (uint8_t *)_buf;
  int pos = offset;
  int element;
  if (maxlen < total_size)
    return -1;
  for (element = 0; element < elements; element++) {
    int64_t v = p[element];
    buf[pos++] = (v >> 56) & 0xff;
    buf[pos++] = (v >> 48) & 0xff;
    buf[pos++] = (v >> 40) & 0xff;
    buf[pos++] = (v >> 32) & 0xff;
    buf[pos++] = (v >> 24) & 0xff;
    buf[pos++] = (v >> 16) & 0xff;
    buf[pos++] = (v >> 8) & 0xff;
    buf[pos++] = (v & 0xff);
  }
  return total_size;
}


x86 assembly (clang, -O0):
<__int64_t_encode_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1147 <__int64_t_encode_array+0x47>
movl   $0xffffffff,-0x4(%rbp)
jmp    1291 <__int64_t_encode_array+0x191>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    128b <__int64_t_encode_array+0x18b>
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%edx
mov    $0x38,%ecx
sar    %cl,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
mov    $0x30,%ecx
sar    %cl,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
mov    $0x28,%ecx
sar    %cl,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
mov    $0x20,%ecx
sar    %cl,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
sar    $0x18,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
sar    $0x10,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
sar    $0x8,%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
and    $0xff,%edx
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    114e <__int64_t_encode_array+0x4e>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__int64_t_encode_array>:
lea    0x0(,%r8,4),%r9d
mov    $0xffffffff,%eax
cmp    %edx,%r9d
jg     1162 <__int64_t_encode_array+0x62>
test   %r8d,%r8d
jle    1163 <__int64_t_encode_array+0x63>
push   %rbp
push   %rbx
movslq %esi,%rdx
mov    %r8d,%r8d
lea    (%rdi,%rdx,4),%rdx
add    $0x1c,%rdx
shl    $0x2,%r8
xor    %esi,%esi
nopl   (%rax)
mov    (%rcx,%rsi,1),%ebx
mov    %ebx,%edi
movzbl %bh,%ebp
movzbl %bl,%eax
shr    $0x18,%ebx
mov    %ebx,-0xc(%rdx,%rsi,8)
shr    $0x10,%edi
movzbl %dil,%edi
mov    %edi,-0x8(%rdx,%rsi,8)
mov    %ebp,-0x4(%rdx,%rsi,8)
mov    %eax,(%rdx,%rsi,8)
add    $0x4,%rsi
cmp    %rsi,%r8
jne    1130 <__int64_t_encode_array+0x30>
mov    %r9d,%eax
pop    %rbx
pop    %rbp
ret
mov    %r9d,%eax
ret

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

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