#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 */

/* Variables and functions */
int /*<<< orphan*/ ENOMEM;
size_t SIZE_MAX;
int /*<<< orphan*/ errno;
void *malloc(int);
void *realloc(void *, size_t);
void *grow_buf(void *buf, size_t *buf_size) {
  void *ret;
  size_t new_alloc;
  if (!buf_size)
    return 0;
  if (!*buf_size) {
    ret = malloc(1024);
    if (ret)
      *buf_size = 1024;
    return ret;
  }
  new_alloc = *buf_size + *buf_size / 2;
  if (*buf_size == SIZE_MAX) {
    errno = ENOMEM;
    return 0;
  }
  if (new_alloc < *buf_size)
    new_alloc = SIZE_MAX;
  ret = realloc(buf, new_alloc);
  if (ret)
    *buf_size = new_alloc;
  return ret;
}


x86 assembly (clang, -O0):
<grow_buf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1148 <grow_buf+0x28>
movq   $0x0,-0x8(%rbp)
jmp    1224 <grow_buf+0x104>
mov    -0x18(%rbp),%rax
cmpq   $0x0,(%rax)
jne    1187 <grow_buf+0x67>
mov    $0x400,%edi
call   1030 <malloc@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     117a <grow_buf+0x5a>
mov    -0x18(%rbp),%rax
movq   $0x400,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1224 <grow_buf+0x104>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%rcx
shr    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    0x2e1a(%rip),%rcx
cmp    (%rcx),%rax
jne    11d6 <grow_buf+0xb6>
mov    0x2e22(%rip),%rax
mov    (%rax),%ecx
mov    0x2e11(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    1224 <grow_buf+0x104>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%rax
jae    11f5 <grow_buf+0xd5>
mov    0x2dda(%rip),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1040 <realloc@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     121c <grow_buf+0xfc>
mov    -0x28(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<grow_buf>:
push   %r14
push   %rbx
push   %rax
test   %rsi,%rsi
je     1191 <grow_buf+0x71>
mov    %rsi,%r14
mov    (%rsi),%rax
test   %rax,%rax
je     1157 <grow_buf+0x37>
mov    0x2e8d(%rip),%rcx
mov    (%rcx),%rcx
cmp    %rcx,%rax
jne    116f <grow_buf+0x4f>
mov    0x2e96(%rip),%rax
mov    (%rax),%eax
mov    0x2e85(%rip),%rcx
mov    %eax,(%rcx)
jmp    1191 <grow_buf+0x71>
mov    $0x400,%edi
call   1030 <malloc@plt>
test   %rax,%rax
je     1191 <grow_buf+0x71>
movq   $0x400,(%r14)
jmp    1193 <grow_buf+0x73>
mov    %rax,%rbx
shr    %rbx
add    %rax,%rbx
cmp    %rax,%rbx
cmovb  %rcx,%rbx
mov    %rbx,%rsi
call   1040 <realloc@plt>
test   %rax,%rax
je     1191 <grow_buf+0x71>
mov    %rbx,(%r14)
jmp    1193 <grow_buf+0x73>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@SIZE_MAX = global i64 0
@ENOMEM = global i32 0
@errno = global i32 0
define i8* @grow_buf(i8* %0, i64* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i64*
%6 = alloca i8*
%7 = alloca i64
store i8* %0, i8** %4
store i64* %1, i64** %5
%8 = load i64*, i64** %5
%9 = icmp ne i64* %8, null
br i1 %9, label %11, label %10
10: ; preds = %2
store i8* null, i8** %3
br label %54
11: ; preds = %2
%12 = load i64*, i64** %5
%13 = load i64, i64* %12
%14 = icmp ne i64 %13, 0
br i1 %14, label %23, label %15
15: ; preds = %11
%16 = call i8* @malloc(i32 1024)
store i8* %16, i8** %6
%17 = load i8*, i8** %6
%18 = icmp ne i8* %17, null
br i1 %18, label %19, label %21
19: ; preds = %15
%20 = load i64*, i64** %5
store i64 1024, i64* %20
br label %21
21: ; preds = %19, %15
%22 = load i8*, i8** %6
store i8* %22, i8** %3
br label %54
23: ; preds = %11
%24 = load i64*, i64** %5
%25 = load i64, i64* %24
%26 = load i64*, i64** %5
%27 = load i64, i64* %26
%28 = udiv i64 %27, 2
%29 = add i64 %25, %28
store i64 %29, i64* %7
%30 = load i64*, i64** %5
%31 = load i64, i64* %30
%32 = load i64, i64* @SIZE_MAX
%33 = icmp eq i64 %31, %32
br i1 %33, label %34, label %36
34: ; preds = %23
%35 = load i32, i32* @ENOMEM
store i32 %35, i32* @errno
store i8* null, i8** %3
br label %54
36: ; preds = %23
%37 = load i64, i64* %7
%38 = load i64*, i64** %5
%39 = load i64, i64* %38
%40 = icmp ult i64 %37, %39
br i1 %40, label %41, label %43
41: ; preds = %36
%42 = load i64, i64* @SIZE_MAX
store i64 %42, i64* %7
br label %43
43: ; preds = %41, %36
%44 = load i8*, i8** %4
%45 = load i64, i64* %7
%46 = call i8* @realloc(i8* %44, i64 %45)
store i8* %46, i8** %6
%47 = load i8*, i8** %6
%48 = icmp ne i8* %47, null
br i1 %48, label %49, label %52
49: ; preds = %43
%50 = load i64, i64* %7
%51 = load i64*, i64** %5
store i64 %50, i64* %51
br label %52
52: ; preds = %49, %43
%53 = load i8*, i8** %6
store i8* %53, i8** %3
br label %54
54: ; preds = %52, %34, %21, %10
%55 = load i8*, i8** %3
ret i8* %55
}

LLVM IR (-O2):
@SIZE_MAX = global i64 0
@ENOMEM = global i32 0
@errno = global i32 0
define noalias i8* @grow_buf(i8* nocapture %0, i64* %1) {
%3 = icmp eq i64* %1, null
br i1 %3, label %24, label %4
4: ; preds = %2
%5 = load i64, i64* %1
%6 = icmp eq i64 %5, 0
br i1 %6, label %7, label %11
7: ; preds = %4
%8 = tail call dereferenceable_or_null(1024) i8* @malloc(i32 1024)
%9 = icmp eq i8* %8, null
br i1 %9, label %24, label %10
10: ; preds = %7
store i64 1024, i64* %1
br label %24
11: ; preds = %4
%12 = lshr i64 %5, 1
%13 = add i64 %12, %5
%14 = load i64, i64* @SIZE_MAX
%15 = icmp eq i64 %5, %14
br i1 %15, label %16, label %18
16: ; preds = %11
%17 = load i32, i32* @ENOMEM
store i32 %17, i32* @errno
br label %24
18: ; preds = %11
%19 = icmp ult i64 %13, %5
%20 = select i1 %19, i64 %14, i64 %13
%21 = tail call i8* @realloc(i8* %0, i64 %20)
%22 = icmp eq i8* %21, null
br i1 %22, label %24, label %23
23: ; preds = %18
store i64 %20, i64* %1
br label %24
24: ; preds = %18, %23, %7, %10, %2, %16
%25 = phi i8* [ null, %16 ], [ null, %2 ], [ %8, %10 ], [ null, %7 ], [ %21, %23 ], [ null, %18 ]
ret i8* %25
}