#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*/ free(char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
scalar_t__ realloc(char *, int);
int strlen(char const *);
char *vsjson_encode_string(const char *string) {
  if (!string)
    return NULL;
  int capacity = strlen(string) + 15;
  int index = 1;
  const char *p = string;
  char *encoded = (char *)malloc(capacity);
  if (!encoded)
    return NULL;
  memset(encoded, 0, capacity);
  encoded[0] = '"';
  while (*p) {
    switch (*p) {
    case '"':
    case '\\':
    case '/':
      encoded[index++] = '\\';
      encoded[index++] = *p;
      break;
    case '\b':
      encoded[index++] = '\\';
      encoded[index++] = 'b';
      break;
    case '\f':
      encoded[index++] = '\\';
      encoded[index++] = 'f';
      break;
    case '\n':
      encoded[index++] = '\\';
      encoded[index++] = 'n';
      break;
    case '\r':
      encoded[index++] = '\\';
      encoded[index++] = 'r';
      break;
    case '\t':
      encoded[index++] = '\\';
      encoded[index++] = 't';
      break;
    default:
      encoded[index++] = *p;
      break;
    }
    p++;
    if (capacity - index < 10) {
      int add = strlen(p) + 15;
      char *ne = (char *)realloc(encoded, capacity + add);
      if (ne) {
        encoded = ne;
        memset(&encoded[capacity], 0, add);
        capacity += add;
      } else {
        free(encoded);
        return NULL;
      }
    }
  }
  encoded[index] = '"';
  return encoded;
}


x86 assembly (clang, -O0):
<vsjson_encode_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1174 <vsjson_encode_string+0x24>
movq   $0x0,-0x8(%rbp)
jmp    1454 <vsjson_encode_string+0x304>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
add    $0xf,%eax
mov    %eax,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%edi
call   1060 <malloc@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11b6 <vsjson_encode_string+0x66>
movq   $0x0,-0x8(%rbp)
jmp    1454 <vsjson_encode_string+0x304>
mov    -0x28(%rbp),%rdi
mov    -0x14(%rbp),%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x28(%rbp),%rax
movb   $0x22,(%rax)
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
je     1440 <vsjson_encode_string+0x2f0>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x3c(%rbp)
sub    $0x8,%eax
je     129d <vsjson_encode_string+0x14d>
jmp    11f0 <vsjson_encode_string+0xa0>
mov    -0x3c(%rbp),%eax
sub    $0x9,%eax
je     1361 <vsjson_encode_string+0x211>
jmp    1201 <vsjson_encode_string+0xb1>
mov    -0x3c(%rbp),%eax
sub    $0xa,%eax
je     12ff <vsjson_encode_string+0x1af>
jmp    1212 <vsjson_encode_string+0xc2>
mov    -0x3c(%rbp),%eax
sub    $0xc,%eax
je     12ce <vsjson_encode_string+0x17e>
jmp    1223 <vsjson_encode_string+0xd3>
mov    -0x3c(%rbp),%eax
sub    $0xd,%eax
je     1330 <vsjson_encode_string+0x1e0>
jmp    1234 <vsjson_encode_string+0xe4>
mov    -0x3c(%rbp),%eax
sub    $0x22,%eax
je     1267 <vsjson_encode_string+0x117>
jmp    1245 <vsjson_encode_string+0xf5>
mov    -0x3c(%rbp),%eax
sub    $0x2f,%eax
je     1267 <vsjson_encode_string+0x117>
jmp    1256 <vsjson_encode_string+0x106>
mov    -0x3c(%rbp),%eax
sub    $0x5c,%eax
jne    1392 <vsjson_encode_string+0x242>
jmp    1267 <vsjson_encode_string+0x117>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    (%rax),%dl
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    13ad <vsjson_encode_string+0x25d>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x62,(%rax,%rcx,1)
jmp    13ad <vsjson_encode_string+0x25d>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x66,(%rax,%rcx,1)
jmp    13ad <vsjson_encode_string+0x25d>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x6e,(%rax,%rcx,1)
jmp    13ad <vsjson_encode_string+0x25d>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x72,(%rax,%rcx,1)
jmp    13ad <vsjson_encode_string+0x25d>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x74,(%rax,%rcx,1)
jmp    13ad <vsjson_encode_string+0x25d>
mov    -0x20(%rbp),%rax
mov    (%rax),%dl
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
cmp    $0xa,%eax
jge    143b <vsjson_encode_string+0x2eb>
mov    -0x20(%rbp),%rdi
call   1040 <strlen@plt>
add    $0xf,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    -0x2c(%rbp),%esi
call   1070 <realloc@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     1420 <vsjson_encode_string+0x2d0>
mov    -0x38(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
movslq -0x14(%rbp),%rax
add    %rax,%rdi
mov    -0x2c(%rbp),%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x2c(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1436 <vsjson_encode_string+0x2e6>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    1454 <vsjson_encode_string+0x304>
jmp    143b <vsjson_encode_string+0x2eb>
jmp    11cb <vsjson_encode_string+0x7b>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x22,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vsjson_encode_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdi,%rdi
je     12b6 <vsjson_encode_string+0x166>
mov    %rdi,%r12
call   1040 <strlen@plt>
mov    %eax,%r14d
add    $0xf,%r14d
mov    %r14d,%edi
call   1060 <malloc@plt>
test   %rax,%rax
je     12b6 <vsjson_encode_string+0x166>
mov    %rax,%r15
mov    %rax,%rdi
xor    %esi,%esi
mov    %r14d,%edx
call   1050 <memset@plt>
movb   $0x22,(%r15)
mov    (%r12),%al
test   %al,%al
je     12bf <vsjson_encode_string+0x16f>
add    $0x1,%r12
mov    $0x1,%edi
jmp    11c1 <vsjson_encode_string+0x71>
nop
movzbl (%r12),%eax
add    $0x1,%r12
test   %al,%al
je     12bb <vsjson_encode_string+0x16b>
movsbl %al,%esi
lea    -0x8(%rsi),%ecx
cmp    $0x27,%ecx
ja     11f1 <vsjson_encode_string+0xa1>
lea    0xe2d(%rip),%rdx
movslq (%rdx,%rcx,4),%rsi
add    %rdx,%rsi
mov    $0x1,%edx
mov    %edi,%ecx
jmp    *%rsi
lea    0x1(%rdi),%ecx
mov    %edi,%eax
movb   $0x5c,(%r15,%rax,1)
mov    $0x62,%al
jmp    1250 <vsjson_encode_string+0x100>
mov    $0x1,%edx
mov    %edi,%ecx
cmp    $0x5c,%esi
jne    1255 <vsjson_encode_string+0x105>
lea    0x1(%rdi),%ecx
mov    %edi,%eax
movb   $0x5c,(%r15,%rax,1)
movzbl -0x1(%r12),%eax
jmp    1250 <vsjson_encode_string+0x100>
lea    0x1(%rdi),%ecx
mov    %edi,%eax
movb   $0x5c,(%r15,%rax,1)
mov    $0x74,%al
jmp    1250 <vsjson_encode_string+0x100>
lea    0x1(%rdi),%ecx
mov    %edi,%eax
movb   $0x5c,(%r15,%rax,1)
mov    $0x6e,%al
jmp    1250 <vsjson_encode_string+0x100>
lea    0x1(%rdi),%ecx
mov    %edi,%eax
movb   $0x5c,(%r15,%rax,1)
mov    $0x66,%al
jmp    1250 <vsjson_encode_string+0x100>
lea    0x1(%rdi),%ecx
mov    %edi,%eax
movb   $0x5c,(%r15,%rax,1)
mov    $0x72,%al
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x2,%edx
add    %edx,%edi
movslq %ecx,%rcx
mov    %al,(%r15,%rcx,1)
mov    %r14d,%eax
sub    %edi,%eax
cmp    $0x9,%eax
jg     11b0 <vsjson_encode_string+0x60>
mov    %rdi,(%rsp)
mov    %r12,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebx
lea    (%rbx,%r14,1),%r13d
add    $0xf,%r13d
mov    %r15,%rdi
mov    %r13d,%esi
call   1070 <realloc@plt>
test   %rax,%rax
je     12db <vsjson_encode_string+0x18b>
mov    %rax,%rbp
add    $0xf,%ebx
movslq %r14d,%rdi
add    %rax,%rdi
xor    %esi,%esi
mov    %ebx,%edx
call   1050 <memset@plt>
mov    %rbp,%r15
mov    %r13d,%r14d
mov    (%rsp),%rdi
jmp    11b0 <vsjson_encode_string+0x60>
xor    %r15d,%r15d
jmp    12c9 <vsjson_encode_string+0x179>
mov    %edi,%eax
jmp    12c4 <vsjson_encode_string+0x174>
mov    $0x1,%eax
movb   $0x22,(%r15,%rax,1)
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rdi
call   1030 <free@plt>
xor    %r15d,%r15d
jmp    12c9 <vsjson_encode_string+0x179>

LLVM IR (-O0):
define i8* @vsjson_encode_string(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i8*
store i8* %0, i8** %3
%10 = load i8*, i8** %3
%11 = icmp ne i8* %10, null
br i1 %11, label %13, label %12
12: ; preds = %1
store i8* null, i8** %2
br label %155
13: ; preds = %1
%14 = load i8*, i8** %3
%15 = call i32 @strlen(i8* %14)
%16 = add nsw i32 %15, 15
store i32 %16, i32* %4
store i32 1, i32* %5
%17 = load i8*, i8** %3
store i8* %17, i8** %6
%18 = load i32, i32* %4
%19 = call i64 @malloc(i32 %18)
%20 = inttoptr i64 %19 to i8*
store i8* %20, i8** %7
%21 = load i8*, i8** %7
%22 = icmp ne i8* %21, null
br i1 %22, label %24, label %23
23: ; preds = %13
store i8* null, i8** %2
br label %155
24: ; preds = %13
%25 = load i8*, i8** %7
%26 = load i32, i32* %4
%27 = call i32 @memset(i8* %25, i32 0, i32 %26)
%28 = load i8*, i8** %7
%29 = getelementptr inbounds i8, i8* %28, i64 0
store i8 34, i8* %29
br label %30
30: ; preds = %148, %24
%31 = load i8*, i8** %6
%32 = load i8, i8* %31
%33 = icmp ne i8 %32, 0
br i1 %33, label %34, label %149
34: ; preds = %30
%35 = load i8*, i8** %6
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
switch i32 %37, label %106 [
i32 34, label %38
i32 92, label %38
i32 47, label %38
i32 8, label %51
i32 12, label %62
i32 10, label %73
i32 13, label %84
i32 9, label %95
]
38: ; preds = %34, %34, %34
%39 = load i8*, i8** %7
%40 = load i32, i32* %5
%41 = add nsw i32 %40, 1
store i32 %41, i32* %5
%42 = sext i32 %40 to i64
%43 = getelementptr inbounds i8, i8* %39, i64 %42
store i8 92, i8* %43
%44 = load i8*, i8** %6
%45 = load i8, i8* %44
%46 = load i8*, i8** %7
%47 = load i32, i32* %5
%48 = add nsw i32 %47, 1
store i32 %48, i32* %5
%49 = sext i32 %47 to i64
%50 = getelementptr inbounds i8, i8* %46, i64 %49
store i8 %45, i8* %50
br label %114
51: ; preds = %34
%52 = load i8*, i8** %7
%53 = load i32, i32* %5
%54 = add nsw i32 %53, 1
store i32 %54, i32* %5
%55 = sext i32 %53 to i64
%56 = getelementptr inbounds i8, i8* %52, i64 %55
store i8 92, i8* %56
%57 = load i8*, i8** %7
%58 = load i32, i32* %5
%59 = add nsw i32 %58, 1
store i32 %59, i32* %5
%60 = sext i32 %58 to i64
%61 = getelementptr inbounds i8, i8* %57, i64 %60
store i8 98, i8* %61
br label %114
62: ; preds = %34
%63 = load i8*, i8** %7
%64 = load i32, i32* %5
%65 = add nsw i32 %64, 1
store i32 %65, i32* %5
%66 = sext i32 %64 to i64
%67 = getelementptr inbounds i8, i8* %63, i64 %66
store i8 92, i8* %67
%68 = load i8*, i8** %7
%69 = load i32, i32* %5
%70 = add nsw i32 %69, 1
store i32 %70, i32* %5
%71 = sext i32 %69 to i64
%72 = getelementptr inbounds i8, i8* %68, i64 %71
store i8 102, i8* %72
br label %114
73: ; preds = %34
%74 = load i8*, i8** %7
%75 = load i32, i32* %5
%76 = add nsw i32 %75, 1
store i32 %76, i32* %5
%77 = sext i32 %75 to i64
%78 = getelementptr inbounds i8, i8* %74, i64 %77
store i8 92, i8* %78
%79 = load i8*, i8** %7
%80 = load i32, i32* %5
%81 = add nsw i32 %80, 1
store i32 %81, i32* %5
%82 = sext i32 %80 to i64
%83 = getelementptr inbounds i8, i8* %79, i64 %82
store i8 110, i8* %83
br label %114
84: ; preds = %34
%85 = load i8*, i8** %7
%86 = load i32, i32* %5
%87 = add nsw i32 %86, 1
store i32 %87, i32* %5
%88 = sext i32 %86 to i64
%89 = getelementptr inbounds i8, i8* %85, i64 %88
store i8 92, i8* %89
%90 = load i8*, i8** %7
%91 = load i32, i32* %5
%92 = add nsw i32 %91, 1
store i32 %92, i32* %5
%93 = sext i32 %91 to i64
%94 = getelementptr inbounds i8, i8* %90, i64 %93
store i8 114, i8* %94
br label %114
95: ; preds = %34
%96 = load i8*, i8** %7
%97 = load i32, i32* %5
%98 = add nsw i32 %97, 1
store i32 %98, i32* %5
%99 = sext i32 %97 to i64
%100 = getelementptr inbounds i8, i8* %96, i64 %99
store i8 92, i8* %100
%101 = load i8*, i8** %7
%102 = load i32, i32* %5
%103 = add nsw i32 %102, 1
store i32 %103, i32* %5
%104 = sext i32 %102 to i64
%105 = getelementptr inbounds i8, i8* %101, i64 %104
store i8 116, i8* %105
br label %114
106: ; preds = %34
%107 = load i8*, i8** %6
%108 = load i8, i8* %107
%109 = load i8*, i8** %7
%110 = load i32, i32* %5
%111 = add nsw i32 %110, 1
store i32 %111, i32* %5
%112 = sext i32 %110 to i64
%113 = getelementptr inbounds i8, i8* %109, i64 %112
store i8 %108, i8* %113
br label %114
114: ; preds = %106, %95, %84, %73, %62, %51, %38
%115 = load i8*, i8** %6
%116 = getelementptr inbounds i8, i8* %115, i32 1
store i8* %116, i8** %6
%117 = load i32, i32* %4
%118 = load i32, i32* %5
%119 = sub nsw i32 %117, %118
%120 = icmp slt i32 %119, 10
br i1 %120, label %121, label %148
121: ; preds = %114
%122 = load i8*, i8** %6
%123 = call i32 @strlen(i8* %122)
%124 = add nsw i32 %123, 15
store i32 %124, i32* %8
%125 = load i8*, i8** %7
%126 = load i32, i32* %4
%127 = load i32, i32* %8
%128 = add nsw i32 %126, %127
%129 = call i64 @realloc(i8* %125, i32 %128)
%130 = inttoptr i64 %129 to i8*
store i8* %130, i8** %9
%131 = load i8*, i8** %9
%132 = icmp ne i8* %131, null
br i1 %132, label %133, label %144
133: ; preds = %121
%134 = load i8*, i8** %9
store i8* %134, i8** %7
%135 = load i8*, i8** %7
%136 = load i32, i32* %4
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i8, i8* %135, i64 %137
%139 = load i32, i32* %8
%140 = call i32 @memset(i8* %138, i32 0, i32 %139)
%141 = load i32, i32* %8
%142 = load i32, i32* %4
%143 = add nsw i32 %142, %141
store i32 %143, i32* %4
br label %147
144: ; preds = %121
%145 = load i8*, i8** %7
%146 = call i32 @free(i8* %145)
store i8* null, i8** %2
br label %155
147: ; preds = %133
br label %148
148: ; preds = %147, %114
br label %30
149: ; preds = %30
%150 = load i8*, i8** %7
%151 = load i32, i32* %5
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
store i8 34, i8* %153
%154 = load i8*, i8** %7
store i8* %154, i8** %2
br label %155
155: ; preds = %149, %144, %23, %12
%156 = load i8*, i8** %2
ret i8* %156
}

LLVM IR (-O2):
define i8* @vsjson_encode_string(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %79, label %3
3: ; preds = %1
%4 = tail call i32 @strlen(i8* %0)
%5 = add nsw i32 %4, 15
%6 = tail call i64 @malloc(i32 %5)
%7 = inttoptr i64 %6 to i8*
%8 = icmp eq i64 %6, 0
br i1 %8, label %79, label %9
9: ; preds = %3
%10 = tail call i32 @memset(i8* %7, i32 0, i32 %5)
store i8 34, i8* %7
%11 = load i8, i8* %0
%12 = icmp eq i8 %11, 0
br i1 %12, label %75, label %13
13: ; preds = %9, %68
%14 = phi i8 [ %71, %68 ], [ %11, %9 ]
%15 = phi i32 [ %70, %68 ], [ %5, %9 ]
%16 = phi i8* [ %69, %68 ], [ %7, %9 ]
%17 = phi i8* [ %52, %68 ], [ %0, %9 ]
%18 = phi i32 [ %49, %68 ], [ 1, %9 ]
%19 = sext i8 %14 to i32
switch i32 %19, label %45 [
i32 34, label %20
i32 92, label %20
i32 47, label %20
i32 8, label %25
i32 12, label %29
i32 10, label %33
i32 13, label %37
i32 9, label %41
]
20: ; preds = %13, %13, %13
%21 = add nuw nsw i32 %18, 1
%22 = zext i32 %18 to i64
%23 = getelementptr inbounds i8, i8* %16, i64 %22
store i8 92, i8* %23
%24 = load i8, i8* %17
br label %45
25: ; preds = %13
%26 = add nuw nsw i32 %18, 1
%27 = zext i32 %18 to i64
%28 = getelementptr inbounds i8, i8* %16, i64 %27
store i8 92, i8* %28
br label %45
29: ; preds = %13
%30 = add nuw nsw i32 %18, 1
%31 = zext i32 %18 to i64
%32 = getelementptr inbounds i8, i8* %16, i64 %31
store i8 92, i8* %32
br label %45
33: ; preds = %13
%34 = add nuw nsw i32 %18, 1
%35 = zext i32 %18 to i64
%36 = getelementptr inbounds i8, i8* %16, i64 %35
store i8 92, i8* %36
br label %45
37: ; preds = %13
%38 = add nuw nsw i32 %18, 1
%39 = zext i32 %18 to i64
%40 = getelementptr inbounds i8, i8* %16, i64 %39
store i8 92, i8* %40
br label %45
41: ; preds = %13
%42 = add nuw nsw i32 %18, 1
%43 = zext i32 %18 to i64
%44 = getelementptr inbounds i8, i8* %16, i64 %43
store i8 92, i8* %44
br label %45
45: ; preds = %13, %41, %37, %33, %29, %25, %20
%46 = phi i32 [ 2, %41 ], [ 2, %37 ], [ 2, %33 ], [ 2, %29 ], [ 2, %25 ], [ 2, %20 ], [ 1, %13 ]
%47 = phi i32 [ %42, %41 ], [ %38, %37 ], [ %34, %33 ], [ %30, %29 ], [ %26, %25 ], [ %21, %20 ], [ %18, %13 ]
%48 = phi i8 [ 116, %41 ], [ 114, %37 ], [ 110, %33 ], [ 102, %29 ], [ 98, %25 ], [ %24, %20 ], [ %14, %13 ]
%49 = add nuw nsw i32 %18, %46
%50 = sext i32 %47 to i64
%51 = getelementptr inbounds i8, i8* %16, i64 %50
store i8 %48, i8* %51
%52 = getelementptr inbounds i8, i8* %17, i64 1
%53 = sub nsw i32 %15, %49
%54 = icmp slt i32 %53, 10
br i1 %54, label %55, label %68
55: ; preds = %45
%56 = tail call i32 @strlen(i8* %52)
%57 = add nsw i32 %56, 15
%58 = add nsw i32 %57, %15
%59 = tail call i64 @realloc(i8* %16, i32 %58)
%60 = inttoptr i64 %59 to i8*
%61 = icmp eq i64 %59, 0
br i1 %61, label %62, label %64
62: ; preds = %55
%63 = tail call i32 @free(i8* %16)
br label %79
64: ; preds = %55
%65 = sext i32 %15 to i64
%66 = getelementptr inbounds i8, i8* %60, i64 %65
%67 = tail call i32 @memset(i8* %66, i32 0, i32 %57)
br label %68
68: ; preds = %64, %45
%69 = phi i8* [ %60, %64 ], [ %16, %45 ]
%70 = phi i32 [ %58, %64 ], [ %15, %45 ]
%71 = load i8, i8* %52
%72 = icmp eq i8 %71, 0
br i1 %72, label %73, label %13
73: ; preds = %68
%74 = zext i32 %49 to i64
br label %75
75: ; preds = %73, %9
%76 = phi i64 [ 1, %9 ], [ %74, %73 ]
%77 = phi i8* [ %7, %9 ], [ %69, %73 ]
%78 = getelementptr inbounds i8, i8* %77, i64 %76
store i8 34, i8* %78
br label %79
79: ; preds = %62, %75, %3, %1
%80 = phi i8* [ null, %1 ], [ %77, %75 ], [ null, %3 ], [ null, %62 ]
ret i8* %80
}