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

/* Variables and functions */
int __int32_t_encode_array(void *_buf, int offset, int maxlen, const int32_t *p,
                           int elements) {
  int total_size = sizeof(int32_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++) {
    int32_t v = p[element];
    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):
<__int32_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 <__int32_t_encode_array+0x47>
movl   $0xffffffff,-0x4(%rbp)
jmp    11fd <__int32_t_encode_array+0xfd>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11f7 <__int32_t_encode_array+0xf7>
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
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 <__int32_t_encode_array+0x4e>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__int32_t_encode_array>:
lea    0x0(,%r8,4),%r9d
mov    $0xffffffff,%eax
cmp    %edx,%r9d
jg     1162 <__int32_t_encode_array+0x62>
test   %r8d,%r8d
jle    1163 <__int32_t_encode_array+0x63>
push   %rbp
push   %rbx
movslq %esi,%rdx
mov    %r8d,%r8d
lea    (%rdi,%rdx,4),%rdx
add    $0xc,%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,4)
shr    $0x10,%edi
movzbl %dil,%edi
mov    %edi,-0x8(%rdx,%rsi,4)
mov    %ebp,-0x4(%rdx,%rsi,4)
mov    %eax,(%rdx,%rsi,4)
add    $0x4,%rsi
cmp    %rsi,%r8
jne    1130 <__int32_t_encode_array+0x30>
mov    %r9d,%eax
pop    %rbx
pop    %rbp
ret
mov    %r9d,%eax
ret

LLVM IR (-O0):
define i32 @__int32_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 %75
28: ; preds = %5
store i32 0, i32* %15
br label %29
29: ; preds = %70, %28
%30 = load i32, i32* %15
%31 = load i32, i32* %11
%32 = icmp slt i32 %30, %31
br i1 %32, label %33, label %73
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, 24
%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, 16
%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, 8
%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 = and i32 %63, 255
%65 = load i32*, i32** %13
%66 = load i32, i32* %14
%67 = add nsw i32 %66, 1
store i32 %67, i32* %14
%68 = sext i32 %66 to i64
%69 = getelementptr inbounds i32, i32* %65, i64 %68
store i32 %64, i32* %69
br label %70
70: ; preds = %33
%71 = load i32, i32* %15
%72 = add nsw i32 %71, 1
store i32 %72, i32* %15
br label %29
73: ; preds = %29
%74 = load i32, i32* %12
store i32 %74, i32* %6
br label %75
75: ; preds = %73, %27
%76 = load i32, i32* %6
ret i32 %76
}

LLVM IR (-O2):
define i32 @__int32_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 %35, label %9
9: ; preds = %5
%10 = icmp sgt i32 %4, 0
br i1 %10, label %11, label %35
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 ], [ %31, %14 ]
%16 = phi i64 [ 0, %11 ], [ %33, %14 ]
%17 = getelementptr inbounds i32, i32* %3, i64 %16
%18 = load i32, i32* %17
%19 = lshr i32 %18, 24
%20 = add nsw i64 %15, 1
%21 = getelementptr inbounds i32, i32* %7, i64 %15
store i32 %19, i32* %21
%22 = lshr i32 %18, 16
%23 = and i32 %22, 255
%24 = add nsw i64 %15, 2
%25 = getelementptr inbounds i32, i32* %7, i64 %20
store i32 %23, i32* %25
%26 = lshr i32 %18, 8
%27 = and i32 %26, 255
%28 = add nsw i64 %15, 3
%29 = getelementptr inbounds i32, i32* %7, i64 %24
store i32 %27, i32* %29
%30 = and i32 %18, 255
%31 = add nsw i64 %15, 4
%32 = getelementptr inbounds i32, i32* %7, i64 %28
store i32 %30, i32* %32
%33 = add nuw nsw i64 %16, 1
%34 = icmp eq i64 %33, %13
br i1 %34, label %35, label %14
35: ; preds = %14, %9, %5
%36 = phi i32 [ -1, %5 ], [ %6, %9 ], [ %6, %14 ]
ret i32 %36
}