#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 */
scalar_t__ genrealloc(void *, char *, size_t, size_t);
char *EnlargeString(void *theEnv, size_t length, char *oldStr, size_t *oldPos,
                    size_t *oldMax) {
  if (length + *oldPos + 1 > *oldMax) {
    oldStr = (char *)genrealloc(theEnv, oldStr, *oldMax, length + *oldPos + 1);
    *oldMax = length + *oldPos + 1;
  }
  if (oldStr == NULL) {
    return (NULL);
  }
  return (oldStr);
}


x86 assembly (clang, -O0):
<EnlargeString>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
add    (%rcx),%rax
add    $0x1,%rax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%rax
jbe    1185 <EnlargeString+0x75>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x30(%rbp),%rax
mov    (%rax),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rax
add    (%rax),%rcx
add    $0x1,%rcx
call   1030 <genrealloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rax
add    (%rax),%rcx
add    $0x1,%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
cmpq   $0x0,-0x20(%rbp)
jne    119d <EnlargeString+0x8d>
movq   $0x0,-0x8(%rbp)
jmp    11a5 <EnlargeString+0x95>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<EnlargeString>:
push   %r15
push   %r14
push   %rbx
mov    %rcx,%r15
mov    %rdx,%rax
mov    %rsi,%rbx
add    $0x1,%rbx
mov    (%rcx),%rcx
add    %rbx,%rcx
mov    (%r8),%rdx
cmp    %rdx,%rcx
jbe    1141 <EnlargeString+0x31>
mov    %r8,%r14
mov    %rax,%rsi
call   1030 <genrealloc@plt>
add    (%r15),%rbx
mov    %rbx,(%r14)
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i8* @EnlargeString(i8* %0, i64 %1, i8* %2, i64* %3, i64* %4) {
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i64
%9 = alloca i8*
%10 = alloca i64*
%11 = alloca i64*
store i8* %0, i8** %7
store i64 %1, i64* %8
store i8* %2, i8** %9
store i64* %3, i64** %10
store i64* %4, i64** %11
%12 = load i64, i64* %8
%13 = load i64*, i64** %10
%14 = load i64, i64* %13
%15 = add i64 %12, %14
%16 = add i64 %15, 1
%17 = load i64*, i64** %11
%18 = load i64, i64* %17
%19 = icmp ugt i64 %16, %18
br i1 %19, label %20, label %38
20: ; preds = %5
%21 = load i8*, i8** %7
%22 = load i8*, i8** %9
%23 = load i64*, i64** %11
%24 = load i64, i64* %23
%25 = load i64, i64* %8
%26 = load i64*, i64** %10
%27 = load i64, i64* %26
%28 = add i64 %25, %27
%29 = add i64 %28, 1
%30 = call i64 @genrealloc(i8* %21, i8* %22, i64 %24, i64 %29)
%31 = inttoptr i64 %30 to i8*
store i8* %31, i8** %9
%32 = load i64, i64* %8
%33 = load i64*, i64** %10
%34 = load i64, i64* %33
%35 = add i64 %32, %34
%36 = add i64 %35, 1
%37 = load i64*, i64** %11
store i64 %36, i64* %37
br label %38
38: ; preds = %20, %5
%39 = load i8*, i8** %9
%40 = icmp eq i8* %39, null
br i1 %40, label %41, label %42
41: ; preds = %38
store i8* null, i8** %6
br label %44
42: ; preds = %38
%43 = load i8*, i8** %9
store i8* %43, i8** %6
br label %44
44: ; preds = %42, %41
%45 = load i8*, i8** %6
ret i8* %45
}

LLVM IR (-O2):
define i8* @EnlargeString(i8* %0, i64 %1, i8* %2, i64* nocapture %3, i64* nocapture %4) {
%6 = load i64, i64* %3
%7 = add i64 %1, 1
%8 = add i64 %7, %6
%9 = load i64, i64* %4
%10 = icmp ugt i64 %8, %9
br i1 %10, label %11, label %16
11: ; preds = %5
%12 = tail call i64 @genrealloc(i8* %0, i8* %2, i64 %9, i64 %8)
%13 = inttoptr i64 %12 to i8*
%14 = load i64, i64* %3
%15 = add i64 %7, %14
store i64 %15, i64* %4
br label %16
16: ; preds = %11, %5
%17 = phi i8* [ %13, %11 ], [ %2, %5 ]
ret i8* %17
}