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

/* Variables and functions */
scalar_t__ CheckEnd();
int WriteInt32(char *ptr, int ofs, int32_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;
    return ofs + 4;
  } else {
    for (size_t i = 0; i < 4; i++) {
      ptr[ofs + i] = (val >> (8 * i)) & 0xff;
    }
    return (ofs + 4);
  }
}


x86 assembly (clang, -O0):
<WriteInt32>:
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     11ad <WriteInt32+0x9d>
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    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x4(%rbp)
jmp    11fd <WriteInt32+0xed>
movq   $0x0,-0x20(%rbp)
cmpq   $0x4,-0x20(%rbp)
jae    11f4 <WriteInt32+0xe4>
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    11b5 <WriteInt32+0xa5>
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<WriteInt32>:
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 <WriteInt32+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 <WriteInt32+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    $0x4,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @WriteInt32(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 %48
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* %6
%47 = add nsw i32 %46, 4
store i32 %47, i32* %4
br label %72
48: ; preds = %3
store i64 0, i64* %8
br label %49
49: ; preds = %66, %48
%50 = load i64, i64* %8
%51 = icmp ult i64 %50, 4
br i1 %51, label %52, label %69
52: ; preds = %49
%53 = load i32, i32* %7
%54 = load i64, i64* %8
%55 = mul i64 8, %54
%56 = trunc i64 %55 to i32
%57 = ashr i32 %53, %56
%58 = and i32 %57, 255
%59 = trunc i32 %58 to i8
%60 = load i8*, i8** %5
%61 = load i32, i32* %6
%62 = sext i32 %61 to i64
%63 = load i64, i64* %8
%64 = add i64 %62, %63
%65 = getelementptr inbounds i8, i8* %60, i64 %64
store i8 %59, i8* %65
br label %66
66: ; preds = %52
%67 = load i64, i64* %8
%68 = add i64 %67, 1
store i64 %68, i64* %8
br label %49
69: ; preds = %49
%70 = load i32, i32* %6
%71 = add nsw i32 %70, 4
store i32 %71, i32* %4
br label %72
72: ; preds = %69, %11
%73 = load i32, i32* %4
ret i32 %73
}

LLVM IR (-O2):
define i32 @WriteInt32(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, 4
ret i32 %37
}