#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 /*<<< orphan*/ zInt;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
char *realloc(char *, int);
int /*<<< orphan*/ sprintf(char *, char *, int);
int /*<<< orphan*/ strcpy(char *, char *);
scalar_t__ strlen(char *);
char *append_str(char *zText, int n, int p1, int p2, int bNoSubst) {
  static char *z = 0;
  static int alloced = 0;
  static int used = 0;
  int c;
  char zInt[40];
  if (zText == 0) {
    used = 0;
    return z;
  }
  if (n <= 0) {
    if (n < 0) {
      used += n;
      assert(used >= 0);
    }
    n = (int)strlen(zText);
  }
  if (n + sizeof(zInt) * 2 + used >= (size_t)alloced) {
    alloced = n + sizeof(zInt) * 2 + used + 200;
    z = realloc(z, alloced);
  }
  if (z == 0)
    return "";
  while (n-- > 0) {
    c = *(zText++);
    if (!bNoSubst && c == '%' && n > 0 && zText[0] == 'd') {
      sprintf(zInt, "%d", p1);
      p1 = p2;
      strcpy(&z[used], zInt);
      used += (int)strlen(&z[used]);
      zText++;
      n--;
    } else {
      z[used++] = c;
    }
  }
  z[used] = 0;
  return z;
}


x86 assembly (clang, -O0):
<append_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    118e <append_str+0x3e>
movl   $0x0,0x2ede(%rip)
mov    0x2ecb(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1358 <append_str+0x208>
cmpl   $0x0,-0x14(%rbp)
jg     11d1 <append_str+0x81>
cmpl   $0x0,-0x14(%rbp)
jge    11c5 <append_str+0x75>
mov    -0x14(%rbp),%eax
add    0x2eb1(%rip),%eax
mov    %eax,0x2eab(%rip)
cmpl   $0x0,0x2ea4(%rip)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x14(%rbp)
movslq -0x14(%rbp),%rax
add    $0x50,%rax
movslq 0x2e7c(%rip),%rcx
add    %rcx,%rax
movslq 0x2e6e(%rip),%rcx
cmp    %rcx,%rax
jb     122a <append_str+0xda>
movslq -0x14(%rbp),%rax
add    $0x50,%rax
movslq 0x2e5a(%rip),%rcx
add    %rcx,%rax
add    $0xc8,%rax
mov    %eax,0x2e47(%rip)
mov    0x2e38(%rip),%rdi
mov    0x2e3a(%rip),%esi
call   1060 <realloc@plt>
mov    %rax,0x2e26(%rip)
cmpq   $0x0,0x2e1e(%rip)
jne    1248 <append_str+0xf8>
lea    0xdc3(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1358 <append_str+0x208>
jmp    124d <append_str+0xfd>
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
jle    133b <append_str+0x1eb>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x20(%rbp)
jne    1313 <append_str+0x1c3>
cmpl   $0x25,-0x24(%rbp)
jne    1313 <append_str+0x1c3>
cmpl   $0x0,-0x14(%rbp)
jle    1313 <append_str+0x1c3>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x64,%eax
jne    1313 <append_str+0x1c3>
lea    -0x50(%rbp),%rdi
mov    -0x18(%rbp),%edx
lea    0xd4e(%rip),%rsi
call   1070 <sprintf@plt>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    0x2d8c(%rip),%rdi
movslq 0x2d91(%rip),%rax
add    %rax,%rdi
lea    -0x50(%rbp),%rsi
call   1030 <strcpy@plt>
mov    0x2d72(%rip),%rdi
movslq 0x2d77(%rip),%rax
add    %rax,%rdi
call   1040 <strlen@plt>
add    0x2d69(%rip),%eax
mov    %eax,0x2d63(%rip)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1336 <append_str+0x1e6>
mov    -0x24(%rbp),%eax
mov    %al,%dl
mov    0x2d31(%rip),%rax
mov    0x2d37(%rip),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,0x2d2c(%rip)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    124d <append_str+0xfd>
mov    0x2d0e(%rip),%rax
movslq 0x2d13(%rip),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    0x2cfc(%rip),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<append_str>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %ecx,0xc(%rsp)
test   %rdi,%rdi
je     11c7 <append_str+0x77>
mov    %r8d,%r15d
mov    %edx,%r12d
mov    %esi,%ebp
mov    %rdi,%r14
test   %esi,%esi
jg     119b <append_str+0x4b>
jns    1190 <append_str+0x40>
add    0x2ede(%rip),%ebp
mov    %ebp,0x2ed8(%rip)
not    %ebp
shr    $0x1f,%ebp
mov    %ebp,%edi
call   1050 <assert@plt>
mov    %r14,%rdi
call   1040 <strlen@plt>
mov    %rax,%rbp
movslq %ebp,%rax
movslq 0x2eb7(%rip),%rcx
lea    (%rax,%rcx,1),%rsi
add    $0x50,%rsi
movslq 0x2ea4(%rip),%rax
cmp    %rax,%rsi
jae    11dd <append_str+0x8d>
mov    0x2e90(%rip),%r13
test   %r13,%r13
jne    122b <append_str+0xdb>
jmp    1204 <append_str+0xb4>
movl   $0x0,0x2e8b(%rip)
mov    0x2e78(%rip),%r13
jmp    12b6 <append_str+0x166>
add    $0xc8,%esi
mov    %esi,0x2e6f(%rip)
mov    0x2e60(%rip),%rdi
call   1060 <realloc@plt>
mov    %rax,%r13
mov    %rax,0x2e51(%rip)
test   %r13,%r13
jne    122b <append_str+0xdb>
lea    0xdf7(%rip),%r13
jmp    12b6 <append_str+0x166>
add    $0xffffffff,%ebp
movslq 0x2e42(%rip),%rdx
lea    0x1(%rdx),%esi
mov    %esi,0x2e39(%rip)
mov    %cl,0x0(%r13,%rdx,1)
mov    %rax,%r14
test   %ebp,%ebp
jle    12a9 <append_str+0x159>
lea    0x1(%r14),%rax
movzbl (%r14),%ecx
test   %r15d,%r15d
jne    1210 <append_str+0xc0>
cmp    $0x25,%cl
jne    1210 <append_str+0xc0>
cmp    $0x1,%ebp
je     1210 <append_str+0xc0>
cmpb   $0x64,(%rax)
jne    1210 <append_str+0xc0>
lea    0x10(%rsp),%rbx
mov    %rbx,%rdi
lea    0xda6(%rip),%rsi
mov    %r12d,%edx
call   1070 <sprintf@plt>
movslq 0x2df3(%rip),%rdi
add    0x2de0(%rip),%rdi
mov    %rbx,%rsi
call   1030 <strcpy@plt>
mov    0x2dd1(%rip),%r13
movslq 0x2dd6(%rip),%rbx
mov    %rbx,%rdi
add    %r13,%rdi
call   1040 <strlen@plt>
add    %ebx,%eax
mov    %eax,0x2dc3(%rip)
add    $0x2,%r14
add    $0xfffffffe,%ebp
mov    0xc(%rsp),%r12d
test   %ebp,%ebp
jg     122f <append_str+0xdf>
movslq 0x2dac(%rip),%rax
movb   $0x0,0x0(%r13,%rax,1)
mov    %r13,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@append_str.z = internal global i8* null
@append_str.alloced = internal global i32 0
@append_str.used = internal global i32 0
@.str = [1 x i8] zeroinitializer
@.str.1 = [3 x i8] c"%d\00"
define i8* @append_str(i8* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca [40 x i8]
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
%14 = load i8*, i8** %7
%15 = icmp eq i8* %14, null
br i1 %15, label %16, label %18
16: ; preds = %5
store i32 0, i32* @append_str.used
%17 = load i8*, i8** @append_str.z
store i8* %17, i8** %6
br label %124
18: ; preds = %5
%19 = load i32, i32* %8
%20 = icmp sle i32 %19, 0
br i1 %20, label %21, label %36
21: ; preds = %18
%22 = load i32, i32* %8
%23 = icmp slt i32 %22, 0
br i1 %23, label %24, label %32
24: ; preds = %21
%25 = load i32, i32* %8
%26 = load i32, i32* @append_str.used
%27 = add nsw i32 %26, %25
store i32 %27, i32* @append_str.used
%28 = load i32, i32* @append_str.used
%29 = icmp sge i32 %28, 0
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
br label %32
32: ; preds = %24, %21
%33 = load i8*, i8** %7
%34 = call i64 @strlen(i8* %33)
%35 = trunc i64 %34 to i32
store i32 %35, i32* %8
br label %36
36: ; preds = %32, %18
%37 = load i32, i32* %8
%38 = sext i32 %37 to i64
%39 = add i64 %38, 80
%40 = load i32, i32* @append_str.used
%41 = sext i32 %40 to i64
%42 = add i64 %39, %41
%43 = load i32, i32* @append_str.alloced
%44 = sext i32 %43 to i64
%45 = icmp uge i64 %42, %44
br i1 %45, label %46, label %58
46: ; preds = %36
%47 = load i32, i32* %8
%48 = sext i32 %47 to i64
%49 = add i64 %48, 80
%50 = load i32, i32* @append_str.used
%51 = sext i32 %50 to i64
%52 = add i64 %49, %51
%53 = add i64 %52, 200
%54 = trunc i64 %53 to i32
store i32 %54, i32* @append_str.alloced
%55 = load i8*, i8** @append_str.z
%56 = load i32, i32* @append_str.alloced
%57 = call i8* @realloc(i8* %55, i32 %56)
store i8* %57, i8** @append_str.z
br label %58
58: ; preds = %46, %36
%59 = load i8*, i8** @append_str.z
%60 = icmp eq i8* %59, null
br i1 %60, label %61, label %62
61: ; preds = %58
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %6
br label %124
62: ; preds = %58
br label %63
63: ; preds = %117, %62
%64 = load i32, i32* %8
%65 = add nsw i32 %64, -1
store i32 %65, i32* %8
%66 = icmp sgt i32 %64, 0
br i1 %66, label %67, label %118
67: ; preds = %63
%68 = load i8*, i8** %7
%69 = getelementptr inbounds i8, i8* %68, i32 1
store i8* %69, i8** %7
%70 = load i8, i8* %68
%71 = sext i8 %70 to i32
store i32 %71, i32* %12
%72 = load i32, i32* %11
%73 = icmp ne i32 %72, 0
br i1 %73, label %109, label %74
74: ; preds = %67
%75 = load i32, i32* %12
%76 = icmp eq i32 %75, 37
br i1 %76, label %77, label %109
77: ; preds = %74
%78 = load i32, i32* %8
%79 = icmp sgt i32 %78, 0
br i1 %79, label %80, label %109
80: ; preds = %77
%81 = load i8*, i8** %7
%82 = getelementptr inbounds i8, i8* %81, i64 0
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = icmp eq i32 %84, 100
br i1 %85, label %86, label %109
86: ; preds = %80
%87 = getelementptr inbounds [40 x i8], [40 x i8]* %13, i64 0, i64 0
%88 = load i32, i32* %9
%89 = call i32 @sprintf(i8* %87, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 %88)
%90 = load i32, i32* %10
store i32 %90, i32* %9
%91 = load i8*, i8** @append_str.z
%92 = load i32, i32* @append_str.used
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = getelementptr inbounds [40 x i8], [40 x i8]* %13, i64 0, i64 0
%96 = call i32 @strcpy(i8* %94, i8* %95)
%97 = load i8*, i8** @append_str.z
%98 = load i32, i32* @append_str.used
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8, i8* %97, i64 %99
%101 = call i64 @strlen(i8* %100)
%102 = trunc i64 %101 to i32
%103 = load i32, i32* @append_str.used
%104 = add nsw i32 %103, %102
store i32 %104, i32* @append_str.used
%105 = load i8*, i8** %7
%106 = getelementptr inbounds i8, i8* %105, i32 1
store i8* %106, i8** %7
%107 = load i32, i32* %8
%108 = add nsw i32 %107, -1
store i32 %108, i32* %8
br label %117
109: ; preds = %80, %77, %74, %67
%110 = load i32, i32* %12
%111 = trunc i32 %110 to i8
%112 = load i8*, i8** @append_str.z
%113 = load i32, i32* @append_str.used
%114 = add nsw i32 %113, 1
store i32 %114, i32* @append_str.used
%115 = sext i32 %113 to i64
%116 = getelementptr inbounds i8, i8* %112, i64 %115
store i8 %111, i8* %116
br label %117
117: ; preds = %109, %86
br label %63
118: ; preds = %63
%119 = load i8*, i8** @append_str.z
%120 = load i32, i32* @append_str.used
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i8, i8* %119, i64 %121
store i8 0, i8* %122
%123 = load i8*, i8** @append_str.z
store i8* %123, i8** %6
br label %124
124: ; preds = %118, %61, %16
%125 = load i8*, i8** %6
ret i8* %125
}

LLVM IR (-O2):
@append_str.z = internal unnamed_addr global i8* null
@append_str.alloced = internal unnamed_addr global i32 0
@append_str.used = internal unnamed_addr global i32 0
@.str = [1 x i8] zeroinitializer
@.str.1 = [3 x i8] c"%d\00"
define i8* @append_str(i8* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca [40 x i8]
%7 = getelementptr inbounds [40 x i8], [40 x i8]* %6, i64 0, i64 0
%8 = icmp eq i8* %0, null
br i1 %8, label %9, label %11
9: ; preds = %5
store i32 0, i32* @append_str.used
%10 = load i8*, i8** @append_str.z
br label %95
11: ; preds = %5
%12 = icmp slt i32 %1, 1
br i1 %12, label %13, label %24
13: ; preds = %11
%14 = icmp slt i32 %1, 0
br i1 %14, label %15, label %21
15: ; preds = %13
%16 = load i32, i32* @append_str.used
%17 = add nsw i32 %16, %1
store i32 %17, i32* @append_str.used
%18 = xor i32 %17, -1
%19 = lshr i32 %18, 31
%20 = tail call i32 @assert(i32 %19)
br label %21
21: ; preds = %15, %13
%22 = tail call i64 @strlen(i8* %0)
%23 = trunc i64 %22 to i32
br label %24
24: ; preds = %21, %11
%25 = phi i32 [ %23, %21 ], [ %1, %11 ]
%26 = sext i32 %25 to i64
%27 = add nsw i64 %26, 80
%28 = load i32, i32* @append_str.used
%29 = sext i32 %28 to i64
%30 = add nsw i64 %27, %29
%31 = load i32, i32* @append_str.alloced
%32 = sext i32 %31 to i64
%33 = icmp ult i64 %30, %32
br i1 %33, label %39, label %34
34: ; preds = %24
%35 = trunc i64 %30 to i32
%36 = add i32 %35, 200
store i32 %36, i32* @append_str.alloced
%37 = load i8*, i8** @append_str.z
%38 = tail call i8* @realloc(i8* %37, i32 %36)
store i8* %38, i8** @append_str.z
br label %41
39: ; preds = %24
%40 = load i8*, i8** @append_str.z
br label %41
41: ; preds = %39, %34
%42 = phi i8* [ %40, %39 ], [ %38, %34 ]
%43 = icmp eq i8* %42, null
br i1 %43, label %95, label %44
44: ; preds = %41
%45 = icmp sgt i32 %25, 0
br i1 %45, label %46, label %90
46: ; preds = %44
%47 = icmp eq i32 %4, 0
br label %48
48: ; preds = %46, %84
%49 = phi i8* [ %42, %46 ], [ %85, %84 ]
%50 = phi i8* [ %0, %46 ], [ %88, %84 ]
%51 = phi i32 [ %25, %46 ], [ %87, %84 ]
%52 = phi i32 [ %2, %46 ], [ %86, %84 ]
%53 = add nsw i32 %51, -1
%54 = getelementptr inbounds i8, i8* %50, i64 1
%55 = load i8, i8* %50
%56 = icmp eq i8 %55, 37
%57 = select i1 %47, i1 %56, i1 false
%58 = icmp ne i32 %51, 1
%59 = select i1 %57, i1 %58, i1 false
br i1 %59, label %60, label %79
60: ; preds = %48
%61 = load i8, i8* %54
%62 = icmp eq i8 %61, 100
br i1 %62, label %63, label %79
63: ; preds = %60
%64 = call i32 @sprintf(i8* %7, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 %52)
%65 = load i8*, i8** @append_str.z
%66 = load i32, i32* @append_str.used
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
%69 = call i32 @strcpy(i8* %68, i8* %7)
%70 = load i8*, i8** @append_str.z
%71 = load i32, i32* @append_str.used
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = call i64 @strlen(i8* dereferenceable(1) %73)
%75 = trunc i64 %74 to i32
%76 = add nsw i32 %71, %75
store i32 %76, i32* @append_str.used
%77 = getelementptr inbounds i8, i8* %50, i64 2
%78 = add nsw i32 %51, -2
br label %84
79: ; preds = %60, %48
%80 = load i32, i32* @append_str.used
%81 = add nsw i32 %80, 1
store i32 %81, i32* @append_str.used
%82 = sext i32 %80 to i64
%83 = getelementptr inbounds i8, i8* %49, i64 %82
store i8 %55, i8* %83
br label %84
84: ; preds = %79, %63
%85 = phi i8* [ %70, %63 ], [ %49, %79 ]
%86 = phi i32 [ %3, %63 ], [ %52, %79 ]
%87 = phi i32 [ %78, %63 ], [ %53, %79 ]
%88 = phi i8* [ %77, %63 ], [ %54, %79 ]
%89 = icmp sgt i32 %87, 0
br i1 %89, label %48, label %90
90: ; preds = %84, %44
%91 = phi i8* [ %42, %44 ], [ %85, %84 ]
%92 = load i32, i32* @append_str.used
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
store i8 0, i8* %94
br label %95
95: ; preds = %41, %90, %9
%96 = phi i8* [ %10, %9 ], [ %91, %90 ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), %41 ]
ret i8* %96
}