#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__ isascii(char const);
scalar_t__ iscntrl(char const);
int /*<<< orphan*/ sprintf(char *, char *, unsigned int);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char const *);
int escape_string(int escape_mode, const char *src, char *dest, int max) {
  if (!src || !dest || max <= 0)
    return 0;
  char tmpbuf[8];
  int i, j = 0, len = strlen(src);
  for (i = 0; i < len; i++) {
    if (isascii(src[i])) {
      if (iscntrl(src[i])) {
        if (src[i] == '\n') {
          if (escape_mode == 1)
            strcpy(tmpbuf, "\\\n");
          else
            strcpy(tmpbuf, "\\n");
        } else if (src[i] == '\a')
          strcpy(tmpbuf, "\\a");
        else if (src[i] == '\b')
          strcpy(tmpbuf, "\\b");
        else if (src[i] == '\f')
          strcpy(tmpbuf, "\\f");
        else if (src[i] == '\r')
          strcpy(tmpbuf, "\\r");
        else if (src[i] == '\t')
          strcpy(tmpbuf, "\\t");
        else if (src[i] == '\v')
          strcpy(tmpbuf, "\\v");
        else
          sprintf(tmpbuf, "\\x%02.2X", (unsigned int)(src[i] & 0xFF));
      } else if (src[i] == '\\')
        strcpy(tmpbuf, "\\\\");
      else {
        tmpbuf[0] = src[i];
        tmpbuf[1] = '\0';
      }
    } else
      sprintf(tmpbuf, "\\x%02.2X", (unsigned int)(src[i] & 0xFF));
    if (j + strlen(tmpbuf) >= max)
      break;
    strcpy(dest + j, tmpbuf);
    j += strlen(tmpbuf);
  }
  return i;
}


x86 assembly (clang, -O0):
<escape_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1186 <escape_string+0x36>
cmpq   $0x0,-0x18(%rbp)
je     1186 <escape_string+0x36>
cmpl   $0x0,-0x1c(%rbp)
jg     1192 <escape_string+0x42>
movl   $0x0,-0x4(%rbp)
jmp    143b <escape_string+0x2eb>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    1435 <escape_string+0x2e5>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     13be <escape_string+0x26e>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <iscntrl@plt>
cmp    $0x0,%rax
je     1378 <escape_string+0x228>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
jne    1237 <escape_string+0xe7>
cmpl   $0x1,-0x8(%rbp)
jne    1222 <escape_string+0xd2>
lea    -0x24(%rbp),%rdi
lea    0xde8(%rip),%rsi
call   1030 <strcpy@plt>
jmp    1232 <escape_string+0xe2>
lea    -0x24(%rbp),%rdi
lea    0xdd6(%rip),%rsi
call   1030 <strcpy@plt>
jmp    1373 <escape_string+0x223>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7,%eax
jne    1261 <escape_string+0x111>
lea    -0x24(%rbp),%rdi
lea    0xdaf(%rip),%rsi
call   1030 <strcpy@plt>
jmp    136e <escape_string+0x21e>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x8,%eax
jne    128b <escape_string+0x13b>
lea    -0x24(%rbp),%rdi
lea    0xd88(%rip),%rsi
call   1030 <strcpy@plt>
jmp    1369 <escape_string+0x219>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xc,%eax
jne    12b5 <escape_string+0x165>
lea    -0x24(%rbp),%rdi
lea    0xd61(%rip),%rsi
call   1030 <strcpy@plt>
jmp    1364 <escape_string+0x214>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xd,%eax
jne    12df <escape_string+0x18f>
lea    -0x24(%rbp),%rdi
lea    0xd3a(%rip),%rsi
call   1030 <strcpy@plt>
jmp    135f <escape_string+0x20f>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x9,%eax
jne    1309 <escape_string+0x1b9>
lea    -0x24(%rbp),%rdi
lea    0xd13(%rip),%rsi
call   1030 <strcpy@plt>
jmp    135a <escape_string+0x20a>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xb,%eax
jne    1333 <escape_string+0x1e3>
lea    -0x24(%rbp),%rdi
lea    0xcec(%rip),%rsi
call   1030 <strcpy@plt>
jmp    1355 <escape_string+0x205>
lea    -0x24(%rbp),%rdi
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
and    $0xff,%edx
lea    0xcc8(%rip),%rsi
call   1060 <sprintf@plt>
jmp    135a <escape_string+0x20a>
jmp    135f <escape_string+0x20f>
jmp    1364 <escape_string+0x214>
jmp    1369 <escape_string+0x219>
jmp    136e <escape_string+0x21e>
jmp    1373 <escape_string+0x223>
jmp    13b9 <escape_string+0x269>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    13a2 <escape_string+0x252>
lea    -0x24(%rbp),%rdi
lea    0xc89(%rip),%rsi
call   1030 <strcpy@plt>
jmp    13b4 <escape_string+0x264>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x24(%rbp)
movb   $0x0,-0x23(%rbp)
jmp    13b9 <escape_string+0x269>
jmp    13e0 <escape_string+0x290>
lea    -0x24(%rbp),%rdi
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
and    $0xff,%edx
lea    0xc3d(%rip),%rsi
call   1060 <sprintf@plt>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x34(%rbp)
lea    -0x24(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
add    %ecx,%eax
cmp    -0x1c(%rbp),%eax
jl     1404 <escape_string+0x2b4>
jmp    1435 <escape_string+0x2e5>
mov    -0x18(%rbp),%rdi
movslq -0x2c(%rbp),%rax
add    %rax,%rdi
lea    -0x24(%rbp),%rsi
call   1030 <strcpy@plt>
lea    -0x24(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11ac <escape_string+0x5c>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<escape_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %ebx,%ebx
test   %rsi,%rsi
je     1316 <escape_string+0x1c6>
mov    %rdx,%r14
test   %rdx,%rdx
je     1316 <escape_string+0x1c6>
mov    %ecx,%r15d
test   %ecx,%ecx
jle    1316 <escape_string+0x1c6>
mov    %rsi,%rbp
mov    %edi,%r12d
mov    %rsi,%rdi
call   1050 <strlen@plt>
test   %eax,%eax
jle    130d <escape_string+0x1bd>
mov    %r12d,0x4(%rsp)
mov    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %ebx,%ebx
lea    0x10(%rsp),%r12
xor    %r13d,%r13d
nopl   0x0(%rax)
movsbl 0x0(%rbp,%rbx,1),%edi
call   1070 <isascii@plt>
movzbl 0x0(%rbp,%rbx,1),%edx
test   %rax,%rax
je     1280 <escape_string+0x130>
movsbl %dl,%edi
call   1040 <iscntrl@plt>
movzbl 0x0(%rbp,%rbx,1),%ecx
test   %rax,%rax
je     1210 <escape_string+0xc0>
lea    -0x7(%rcx),%eax
cmp    $0x6,%al
ja     126f <escape_string+0x11f>
movzbl %al,%eax
lea    0xe11(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    %r12,%rdi
lea    0xe20(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
nopl   0x0(%rax)
cmp    $0x5c,%cl
jne    1226 <escape_string+0xd6>
mov    %r12,%rdi
lea    0xe1e(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
mov    %cl,0x10(%rsp)
movb   $0x0,0x11(%rsp)
jmp    128f <escape_string+0x13f>
mov    %r12,%rdi
lea    0xdf3(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
cmpl   $0x1,0x4(%rsp)
jne    12fc <escape_string+0x1ac>
mov    %r12,%rdi
lea    0xdc5(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
mov    %r12,%rdi
lea    0xdc9(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
movzbl %cl,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r12,%rdi
lea    0xdaa(%rip),%rsi
call   1060 <sprintf@plt>
mov    %r12,%rdi
call   1050 <strlen@plt>
add    %r13d,%eax
cmp    %r15d,%eax
jge    1316 <escape_string+0x1c6>
movslq %r13d,%rdi
add    %r14,%rdi
mov    %r12,%rsi
call   1030 <strcpy@plt>
mov    %r12,%rdi
call   1050 <strlen@plt>
add    %eax,%r13d
add    $0x1,%rbx
cmp    %rbx,0x8(%rsp)
jne    11b0 <escape_string+0x60>
jmp    1311 <escape_string+0x1c1>
mov    %r12,%rdi
lea    0xd52(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
mov    %r12,%rdi
lea    0xd44(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
mov    %r12,%rdi
lea    0xd36(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
mov    %r12,%rdi
lea    0xd19(%rip),%rsi
call   1030 <strcpy@plt>
jmp    128f <escape_string+0x13f>
xor    %ebx,%ebx
jmp    1316 <escape_string+0x1c6>
mov    0x8(%rsp),%rbx
mov    %ebx,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"\\\0A\00"
@.str.1 = [3 x i8] c"\\n\00"
@.str.2 = [3 x i8] c"\\a\00"
@.str.3 = [3 x i8] c"\\b\00"
@.str.4 = [3 x i8] c"\\f\00"
@.str.5 = [3 x i8] c"\\r\00"
@.str.6 = [3 x i8] c"\\t\00"
@.str.7 = [3 x i8] c"\\v\00"
@.str.8 = [9 x i8] c"\\x%02.2X\00"
@.str.9 = [3 x i8] c"\\\\\00"
define i32 @escape_string(i32 %0, i8* %1, i8* %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca [8 x i8]
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 %0, i32* %6
store i8* %1, i8** %7
store i8* %2, i8** %8
store i32 %3, i32* %9
%14 = load i8*, i8** %7
%15 = icmp ne i8* %14, null
br i1 %15, label %16, label %22
16: ; preds = %4
%17 = load i8*, i8** %8
%18 = icmp ne i8* %17, null
br i1 %18, label %19, label %22
19: ; preds = %16
%20 = load i32, i32* %9
%21 = icmp sle i32 %20, 0
br i1 %21, label %22, label %23
22: ; preds = %19, %16, %4
store i32 0, i32* %5
br label %202
23: ; preds = %19
store i32 0, i32* %12
%24 = load i8*, i8** %7
%25 = call i32 @strlen(i8* %24)
store i32 %25, i32* %13
store i32 0, i32* %11
br label %26
26: ; preds = %197, %23
%27 = load i32, i32* %11
%28 = load i32, i32* %13
%29 = icmp slt i32 %27, %28
br i1 %29, label %30, label %200
30: ; preds = %26
%31 = load i8*, i8** %7
%32 = load i32, i32* %11
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = call i64 @isascii(i8 signext %35)
%37 = icmp ne i64 %36, 0
br i1 %37, label %38, label %168
38: ; preds = %30
%39 = load i8*, i8** %7
%40 = load i32, i32* %11
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %39, i64 %41
%43 = load i8, i8* %42
%44 = call i64 @iscntrl(i8 signext %43)
%45 = icmp ne i64 %44, 0
br i1 %45, label %46, label %147
46: ; preds = %38
%47 = load i8*, i8** %7
%48 = load i32, i32* %11
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %47, i64 %49
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %52, 10
br i1 %53, label %54, label %64
54: ; preds = %46
%55 = load i32, i32* %6
%56 = icmp eq i32 %55, 1
br i1 %56, label %57, label %60
57: ; preds = %54
%58 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%59 = call i32 @strcpy(i8* %58, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
br label %63
60: ; preds = %54
%61 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%62 = call i32 @strcpy(i8* %61, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
br label %63
63: ; preds = %60, %57
br label %146
64: ; preds = %46
%65 = load i8*, i8** %7
%66 = load i32, i32* %11
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
%69 = load i8, i8* %68
%70 = sext i8 %69 to i32
%71 = icmp eq i32 %70, 7
br i1 %71, label %72, label %75
72: ; preds = %64
%73 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%74 = call i32 @strcpy(i8* %73, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %145
75: ; preds = %64
%76 = load i8*, i8** %7
%77 = load i32, i32* %11
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %76, i64 %78
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 8
br i1 %82, label %83, label %86
83: ; preds = %75
%84 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%85 = call i32 @strcpy(i8* %84, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0))
br label %144
86: ; preds = %75
%87 = load i8*, i8** %7
%88 = load i32, i32* %11
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i8, i8* %87, i64 %89
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = icmp eq i32 %92, 12
br i1 %93, label %94, label %97
94: ; preds = %86
%95 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%96 = call i32 @strcpy(i8* %95, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0))
br label %143
97: ; preds = %86
%98 = load i8*, i8** %7
%99 = load i32, i32* %11
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8, i8* %98, i64 %100
%102 = load i8, i8* %101
%103 = sext i8 %102 to i32
%104 = icmp eq i32 %103, 13
br i1 %104, label %105, label %108
105: ; preds = %97
%106 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%107 = call i32 @strcpy(i8* %106, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0))
br label %142
108: ; preds = %97
%109 = load i8*, i8** %7
%110 = load i32, i32* %11
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i8, i8* %109, i64 %111
%113 = load i8, i8* %112
%114 = sext i8 %113 to i32
%115 = icmp eq i32 %114, 9
br i1 %115, label %116, label %119
116: ; preds = %108
%117 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%118 = call i32 @strcpy(i8* %117, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
br label %141
119: ; preds = %108
%120 = load i8*, i8** %7
%121 = load i32, i32* %11
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i8, i8* %120, i64 %122
%124 = load i8, i8* %123
%125 = sext i8 %124 to i32
%126 = icmp eq i32 %125, 11
br i1 %126, label %127, label %130
127: ; preds = %119
%128 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%129 = call i32 @strcpy(i8* %128, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
br label %140
130: ; preds = %119
%131 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%132 = load i8*, i8** %7
%133 = load i32, i32* %11
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %132, i64 %134
%136 = load i8, i8* %135
%137 = sext i8 %136 to i32
%138 = and i32 %137, 255
%139 = call i32 @sprintf(i8* %131, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.8, i64 0, i64 0), i32 %138)
br label %140
140: ; preds = %130, %127
br label %141
141: ; preds = %140, %116
br label %142
142: ; preds = %141, %105
br label %143
143: ; preds = %142, %94
br label %144
144: ; preds = %143, %83
br label %145
145: ; preds = %144, %72
br label %146
146: ; preds = %145, %63
br label %167
147: ; preds = %38
%148 = load i8*, i8** %7
%149 = load i32, i32* %11
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds i8, i8* %148, i64 %150
%152 = load i8, i8* %151
%153 = sext i8 %152 to i32
%154 = icmp eq i32 %153, 92
br i1 %154, label %155, label %158
155: ; preds = %147
%156 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%157 = call i32 @strcpy(i8* %156, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0))
br label %166
158: ; preds = %147
%159 = load i8*, i8** %7
%160 = load i32, i32* %11
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i8, i8* %159, i64 %161
%163 = load i8, i8* %162
%164 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
store i8 %163, i8* %164
%165 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 1
store i8 0, i8* %165
br label %166
166: ; preds = %158, %155
br label %167
167: ; preds = %166, %146
br label %178
168: ; preds = %30
%169 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%170 = load i8*, i8** %7
%171 = load i32, i32* %11
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i8, i8* %170, i64 %172
%174 = load i8, i8* %173
%175 = sext i8 %174 to i32
%176 = and i32 %175, 255
%177 = call i32 @sprintf(i8* %169, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.8, i64 0, i64 0), i32 %176)
br label %178
178: ; preds = %168, %167
%179 = load i32, i32* %12
%180 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%181 = call i32 @strlen(i8* %180)
%182 = add nsw i32 %179, %181
%183 = load i32, i32* %9
%184 = icmp sge i32 %182, %183
br i1 %184, label %185, label %186
185: ; preds = %178
br label %200
186: ; preds = %178
%187 = load i8*, i8** %8
%188 = load i32, i32* %12
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i8, i8* %187, i64 %189
%191 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%192 = call i32 @strcpy(i8* %190, i8* %191)
%193 = getelementptr inbounds [8 x i8], [8 x i8]* %10, i64 0, i64 0
%194 = call i32 @strlen(i8* %193)
%195 = load i32, i32* %12
%196 = add nsw i32 %195, %194
store i32 %196, i32* %12
br label %197
197: ; preds = %186
%198 = load i32, i32* %11
%199 = add nsw i32 %198, 1
store i32 %199, i32* %11
br label %26
200: ; preds = %185, %26
%201 = load i32, i32* %11
store i32 %201, i32* %5
br label %202
202: ; preds = %200, %22
%203 = load i32, i32* %5
ret i32 %203
}

LLVM IR (-O2):
@.str = [3 x i8] c"\\\0A\00"
@.str.1 = [3 x i8] c"\\n\00"
@.str.2 = [3 x i8] c"\\a\00"
@.str.3 = [3 x i8] c"\\b\00"
@.str.4 = [3 x i8] c"\\f\00"
@.str.5 = [3 x i8] c"\\r\00"
@.str.6 = [3 x i8] c"\\t\00"
@.str.7 = [3 x i8] c"\\v\00"
@.str.8 = [9 x i8] c"\\x%02.2X\00"
@.str.9 = [3 x i8] c"\\\\\00"
define i32 @escape_string(i32 %0, i8* %1, i8* %2, i32 %3) {
%5 = alloca [8 x i8]
%6 = icmp eq i8* %1, null
%7 = icmp eq i8* %2, null
%8 = or i1 %6, %7
%9 = icmp slt i32 %3, 1
%10 = or i1 %8, %9
br i1 %10, label %76, label %11
11: ; preds = %4
%12 = getelementptr inbounds [8 x i8], [8 x i8]* %5, i64 0, i64 0
%13 = tail call i32 @strlen(i8* %1)
%14 = icmp sgt i32 %13, 0
br i1 %14, label %15, label %74
15: ; preds = %11
%16 = icmp eq i32 %0, 1
%17 = getelementptr inbounds [8 x i8], [8 x i8]* %5, i64 0, i64 1
%18 = zext i32 %13 to i64
br label %19
19: ; preds = %15, %64
%20 = phi i64 [ 0, %15 ], [ %70, %64 ]
%21 = phi i32 [ 0, %15 ], [ %69, %64 ]
%22 = getelementptr inbounds i8, i8* %1, i64 %20
%23 = load i8, i8* %22
%24 = call i64 @isascii(i8 signext %23)
%25 = icmp eq i64 %24, 0
%26 = load i8, i8* %22
br i1 %25, label %57, label %27
27: ; preds = %19
%28 = call i64 @iscntrl(i8 signext %26)
%29 = icmp eq i64 %28, 0
%30 = load i8, i8* %22
br i1 %29, label %52, label %31
31: ; preds = %27
switch i8 %30, label %49 [
i8 10, label %32
i8 7, label %37
i8 8, label %39
i8 12, label %41
i8 13, label %43
i8 9, label %45
i8 11, label %47
]
32: ; preds = %31
br i1 %16, label %33, label %35
33: ; preds = %32
%34 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
br label %60
35: ; preds = %32
%36 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
br label %60
37: ; preds = %31
%38 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %60
39: ; preds = %31
%40 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0))
br label %60
41: ; preds = %31
%42 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0))
br label %60
43: ; preds = %31
%44 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0))
br label %60
45: ; preds = %31
%46 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
br label %60
47: ; preds = %31
%48 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
br label %60
49: ; preds = %31
%50 = zext i8 %30 to i32
%51 = call i32 @sprintf(i8* %12, i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.8, i64 0, i64 0), i32 %50)
br label %60
52: ; preds = %27
%53 = icmp eq i8 %30, 92
br i1 %53, label %54, label %56
54: ; preds = %52
%55 = call i32 @strcpy(i8* %12, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0))
br label %60
56: ; preds = %52
store i8 %30, i8* %12
store i8 0, i8* %17
br label %60
57: ; preds = %19
%58 = zext i8 %26 to i32
%59 = call i32 @sprintf(i8* %12, i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.8, i64 0, i64 0), i32 %58)
br label %60
60: ; preds = %37, %41, %45, %49, %47, %43, %39, %33, %35, %56, %54, %57
%61 = call i32 @strlen(i8* %12)
%62 = add nsw i32 %61, %21
%63 = icmp slt i32 %62, %3
br i1 %63, label %64, label %72
64: ; preds = %60
%65 = sext i32 %21 to i64
%66 = getelementptr inbounds i8, i8* %2, i64 %65
%67 = call i32 @strcpy(i8* %66, i8* %12)
%68 = call i32 @strlen(i8* %12)
%69 = add nsw i32 %68, %21
%70 = add nuw nsw i64 %20, 1
%71 = icmp eq i64 %70, %18
br i1 %71, label %74, label %19
72: ; preds = %60
%73 = trunc i64 %20 to i32
br label %74
74: ; preds = %64, %72, %11
%75 = phi i32 [ 0, %11 ], [ %73, %72 ], [ %13, %64 ]
br label %76
76: ; preds = %4, %74
%77 = phi i32 [ %75, %74 ], [ 0, %4 ]
ret i32 %77
}