#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__ malloc(int);
scalar_t__ strchr(char const *, unsigned char);
unsigned char *esc_string(const unsigned char *str, int str_length, int limit) {
  static const char *hex_digit = "0123456789ABCDEF";
  static const char *esc_chars = "\\\"\t\r\n";
  if (!str || str_length < 0) {
    return NULL;
  }
  if (limit > 0 && limit < 3) {
    return NULL;
  }
  int clen = 0, len = 0, i = 0, trunc = 0;
  unsigned char c = 0;
  unsigned char *res = NULL;
  for (i = 0; i < str_length; ++i) {
    clen = 1;
    c = str[i];
    if (strchr(esc_chars, c)) {
      clen = 2;
    } else if (c < 32 || c > 126) {
      clen = 4;
    }
    if (limit && len + clen > limit - 3) {
      trunc = 1;
      break;
    }
    len += clen;
  }
  clen = i;
  if (trunc) {
    len += 3;
  }
  res = (unsigned char *)malloc(len + 1);
  unsigned char *p = res;
  for (i = 0; i < clen; ++i) {
    c = str[i];
    if (strchr(esc_chars, c)) {
      *p++ = '\\';
      switch (c) {
      case '\r':
        *p++ = 'r';
        break;
      case '\t':
        *p++ = 't';
        break;
      case '\n':
        *p++ = 'n';
        break;
      default:
        *p++ = c;
        break;
      }
    } else if (c < 32 || c > 126) {
      *p++ = '\\';
      *p++ = 'x';
      *p++ = hex_digit[(c >> 4) & 0xf];
      *p++ = hex_digit[c & 0xf];
    } else {
      *p++ = c;
    }
  }
  if (trunc) {
    *p++ = '.';
    *p++ = '.';
    *p++ = '.';
  }
  *p = '\0';
  return res;
}


x86 assembly (clang, -O0):
<esc_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1147 <esc_string+0x27>
cmpl   $0x0,-0x14(%rbp)
jge    1154 <esc_string+0x34>
movq   $0x0,-0x8(%rbp)
jmp    146f <esc_string+0x34f>
cmpl   $0x0,-0x18(%rbp)
jle    1175 <esc_string+0x55>
cmpl   $0x3,-0x18(%rbp)
jge    1175 <esc_string+0x55>
movq   $0x0,-0x8(%rbp)
jmp    146f <esc_string+0x34f>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movb   $0x0,-0x29(%rbp)
movq   $0x0,-0x38(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1252 <esc_string+0x132>
movl   $0x1,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x29(%rbp)
mov    0x2e6c(%rip),%rdi
movzbl -0x29(%rbp),%esi
call   1030 <strchr@plt>
cmp    $0x0,%rax
je     11eb <esc_string+0xcb>
movl   $0x2,-0x1c(%rbp)
jmp    1211 <esc_string+0xf1>
movzbl -0x29(%rbp),%eax
cmp    $0x20,%eax
jl     1205 <esc_string+0xe5>
movzbl -0x29(%rbp),%eax
cmp    $0x7e,%eax
jle    120c <esc_string+0xec>
movl   $0x4,-0x1c(%rbp)
jmp    1211 <esc_string+0xf1>
cmpl   $0x0,-0x18(%rbp)
je     123b <esc_string+0x11b>
mov    -0x20(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
jle    123b <esc_string+0x11b>
movl   $0x1,-0x28(%rbp)
jmp    1252 <esc_string+0x132>
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11a4 <esc_string+0x84>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     126b <esc_string+0x14b>
mov    -0x20(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%edi
add    $0x1,%edi
call   1040 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1420 <esc_string+0x300>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x29(%rbp)
mov    0x2d8e(%rip),%rdi
movzbl -0x29(%rbp),%esi
call   1030 <strchr@plt>
cmp    $0x0,%rax
je     1364 <esc_string+0x244>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x5c,(%rax)
movzbl -0x29(%rbp),%eax
mov    %eax,-0x44(%rbp)
sub    $0x9,%eax
je     131d <esc_string+0x1fd>
jmp    12e4 <esc_string+0x1c4>
mov    -0x44(%rbp),%eax
sub    $0xa,%eax
je     1334 <esc_string+0x214>
jmp    12f5 <esc_string+0x1d5>
mov    -0x44(%rbp),%eax
sub    $0xd,%eax
jne    134b <esc_string+0x22b>
jmp    1306 <esc_string+0x1e6>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x72,(%rax)
jmp    135f <esc_string+0x23f>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x74,(%rax)
jmp    135f <esc_string+0x23f>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x6e,(%rax)
jmp    135f <esc_string+0x23f>
mov    -0x29(%rbp),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
jmp    140d <esc_string+0x2ed>
movzbl -0x29(%rbp),%eax
cmp    $0x20,%eax
jl     137e <esc_string+0x25e>
movzbl -0x29(%rbp),%eax
cmp    $0x7e,%eax
jle    13f4 <esc_string+0x2d4>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x5c,(%rax)
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x78,(%rax)
mov    0x2c87(%rip),%rax
movzbl -0x29(%rbp),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
mov    0x2c5f(%rip),%rax
movzbl -0x29(%rbp),%ecx
and    $0xf,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
jmp    1408 <esc_string+0x2e8>
mov    -0x29(%rbp),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
jmp    140d <esc_string+0x2ed>
jmp    1412 <esc_string+0x2f2>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1289 <esc_string+0x169>
cmpl   $0x0,-0x28(%rbp)
je     1460 <esc_string+0x340>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2e,(%rax)
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2e,(%rax)
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2e,(%rax)
mov    -0x40(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<esc_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %eax,%eax
test   %rdi,%rdi
je     133c <esc_string+0x21c>
mov    %esi,%ebp
test   %esi,%esi
js     133c <esc_string+0x21c>
mov    %edx,%r15d
lea    -0x1(%r15),%ecx
cmp    $0x2,%ecx
jb     133c <esc_string+0x21c>
test   %ebp,%ebp
je     11a1 <esc_string+0x81>
mov    %rdi,%r13
lea    -0x3(%r15),%ebx
movzbl (%rdi),%r14d
lea    0xea8(%rip),%rdi
mov    %r14d,%esi
call   1030 <strchr@plt>
lea    -0x7f(%r14),%ecx
xor    %edx,%edx
cmp    $0xa1,%cl
setb   %dl
test   %rax,%rax
lea    0x1(%rdx,%rdx,2),%eax
mov    $0x2,%ecx
cmovne %ecx,%eax
test   %r15d,%r15d
je     11b3 <esc_string+0x93>
cmp    %ebx,%eax
jle    11b3 <esc_string+0x93>
xor    %r12d,%r12d
mov    $0x1,%al
xor    %ebx,%ebx
jmp    1233 <esc_string+0x113>
mov    $0x1,%edi
call   1040 <malloc@plt>
mov    %rax,%rbx
jmp    1339 <esc_string+0x219>
mov    %ebx,0x10(%rsp)
mov    %ebp,%ecx
mov    %rcx,0x8(%rsp)
lea    -0x1(%rcx),%r14
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %eax,%r12d
cmp    %rbx,%r14
je     1222 <esc_string+0x102>
movzbl 0x1(%r13,%rbx,1),%ebp
lea    0xe2c(%rip),%rdi
mov    %ebp,%esi
call   1030 <strchr@plt>
lea    -0x7f(%rbp),%ecx
xor    %edx,%edx
cmp    $0xa1,%cl
setb   %dl
test   %rax,%rax
lea    0x1(%rdx,%rdx,2),%eax
mov    $0x2,%ecx
cmovne %ecx,%eax
add    %r12d,%eax
add    $0x1,%rbx
test   %r15d,%r15d
je     11d0 <esc_string+0xb0>
cmp    0x10(%rsp),%eax
jle    11d0 <esc_string+0xb0>
cmp    0x8(%rsp),%rbx
setb   %al
jmp    1233 <esc_string+0x113>
add    $0x1,%rbx
mov    0x8(%rsp),%rcx
cmp    %rcx,%rbx
setb   %al
mov    %ecx,%ebx
lea    0x3(%r12),%edi
mov    %al,0x8(%rsp)
test   %al,%al
cmove  %r12d,%edi
add    $0x1,%edi
call   1040 <malloc@plt>
test   %ebx,%ebx
mov    %rax,0x10(%rsp)
je     131d <esc_string+0x1fd>
mov    %ebx,%r12d
mov    %rax,%rbx
xor    %r14d,%r14d
jmp    127d <esc_string+0x15d>
mov    %r15b,(%rbx)
add    $0x1,%rbx
nopl   0x0(%rax)
add    $0x1,%r14
cmp    %r14,%r12
je     1320 <esc_string+0x200>
movzbl 0x0(%r13,%r14,1),%r15d
movzbl %r15b,%ebp
lea    0xd83(%rip),%rdi
mov    %ebp,%esi
call   1030 <strchr@plt>
test   %rax,%rax
je     12c0 <esc_string+0x1a0>
movb   $0x5c,(%rbx)
cmp    $0x9,%r15b
je     12f6 <esc_string+0x1d6>
cmp    $0xa,%r15b
je     1303 <esc_string+0x1e3>
cmp    $0xd,%r15b
jne    1310 <esc_string+0x1f0>
movb   $0x72,0x1(%rbx)
add    $0x2,%rbx
jmp    1270 <esc_string+0x150>
nopl   0x0(%rax)
lea    -0x7f(%r15),%eax
cmp    $0xa0,%al
ja     1262 <esc_string+0x142>
movw   $0x785c,(%rbx)
mov    %rbp,%rax
shr    $0x4,%rax
lea    0xd25(%rip),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %al,0x2(%rbx)
and    $0xf,%ebp
movzbl 0x0(%rbp,%rcx,1),%eax
mov    %al,0x3(%rbx)
add    $0x4,%rbx
jmp    1270 <esc_string+0x150>
movb   $0x74,0x1(%rbx)
add    $0x2,%rbx
jmp    1270 <esc_string+0x150>
movb   $0x6e,0x1(%rbx)
add    $0x2,%rbx
jmp    1270 <esc_string+0x150>
mov    %r15b,0x1(%rbx)
add    $0x2,%rbx
jmp    1270 <esc_string+0x150>
mov    %rax,%rbx
cmpb   $0x0,0x8(%rsp)
je     1334 <esc_string+0x214>
movw   $0x2e2e,(%rbx)
movb   $0x2e,0x2(%rbx)
add    $0x3,%rbx
mov    0x10(%rsp),%rax
movb   $0x0,(%rbx)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [17 x i8] c"0123456789ABCDEF\00"
@.str.1 = [6 x i8] c"\\\22\09\0D\0A\00"
define i8* @esc_string(i8* %0, i32 %1, i32 %2) {
%4 = icmp eq i8* %0, null
%5 = icmp slt i32 %1, 0
%6 = or i1 %4, %5
%7 = add i32 %2, -1
%8 = icmp ult i32 %7, 2
%9 = or i1 %6, %8
br i1 %9, label %111, label %10
10: ; preds = %3
%11 = icmp eq i32 %1, 0
br i1 %11, label %12, label %15
12: ; preds = %10
%13 = tail call i64 @malloc(i32 1)
%14 = inttoptr i64 %13 to i8*
br label %108
15: ; preds = %10
%16 = icmp ne i32 %2, 0
%17 = add nsw i32 %2, -3
%18 = zext i32 %1 to i64
%19 = zext i32 %1 to i64
%20 = load i8, i8* %0
%21 = tail call i64 @strchr(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8 zeroext %20)
%22 = icmp eq i64 %21, 0
%23 = add i8 %20, -127
%24 = icmp ult i8 %23, -95
%25 = select i1 %24, i32 4, i32 1
%26 = select i1 %22, i32 %25, i32 2
%27 = icmp sgt i32 %26, %17
%28 = select i1 %16, i1 %27, i1 false
br i1 %28, label %51, label %41
29: ; preds = %41
%30 = getelementptr inbounds i8, i8* %0, i64 %44
%31 = load i8, i8* %30
%32 = tail call i64 @strchr(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8 zeroext %31)
%33 = icmp eq i64 %32, 0
%34 = add i8 %31, -127
%35 = icmp ult i8 %34, -95
%36 = select i1 %35, i32 4, i32 1
%37 = select i1 %33, i32 %36, i32 2
%38 = add nuw nsw i32 %37, %42
%39 = icmp sgt i32 %38, %17
%40 = select i1 %16, i1 %39, i1 false
br i1 %40, label %46, label %41
41: ; preds = %15, %29
%42 = phi i32 [ %38, %29 ], [ %26, %15 ]
%43 = phi i64 [ %44, %29 ], [ 0, %15 ]
%44 = add nuw nsw i64 %43, 1
%45 = icmp eq i64 %44, %19
br i1 %45, label %49, label %29
46: ; preds = %29
%47 = icmp ult i64 %44, %18
%48 = trunc i64 %44 to i32
br label %51
49: ; preds = %41
%50 = icmp ult i64 %44, %18
br label %51
51: ; preds = %49, %15, %46
%52 = phi i32 [ %42, %46 ], [ 0, %15 ], [ %42, %49 ]
%53 = phi i32 [ %48, %46 ], [ 0, %15 ], [ %1, %49 ]
%54 = phi i1 [ %47, %46 ], [ true, %15 ], [ %50, %49 ]
%55 = add nuw nsw i32 %52, 3
%56 = select i1 %54, i32 %55, i32 %52
%57 = add nuw nsw i32 %56, 1
%58 = tail call i64 @malloc(i32 %57)
%59 = inttoptr i64 %58 to i8*
%60 = icmp eq i32 %53, 0
br i1 %60, label %102, label %61
61: ; preds = %51
%62 = zext i32 %53 to i64
br label %63
63: ; preds = %61, %98
%64 = phi i64 [ 0, %61 ], [ %100, %98 ]
%65 = phi i8* [ %59, %61 ], [ %99, %98 ]
%66 = getelementptr inbounds i8, i8* %0, i64 %64
%67 = load i8, i8* %66
%68 = tail call i64 @strchr(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8 zeroext %67)
%69 = icmp eq i64 %68, 0
br i1 %69, label %80, label %70
70: ; preds = %63
%71 = getelementptr inbounds i8, i8* %65, i64 1
store i8 92, i8* %65
switch i8 %67, label %78 [
i8 13, label %72
i8 9, label %74
i8 10, label %76
]
72: ; preds = %70
%73 = getelementptr inbounds i8, i8* %65, i64 2
store i8 114, i8* %71
br label %98
74: ; preds = %70
%75 = getelementptr inbounds i8, i8* %65, i64 2
store i8 116, i8* %71
br label %98
76: ; preds = %70
%77 = getelementptr inbounds i8, i8* %65, i64 2
store i8 110, i8* %71
br label %98
78: ; preds = %70
%79 = getelementptr inbounds i8, i8* %65, i64 2
store i8 %67, i8* %71
br label %98
80: ; preds = %63
%81 = zext i8 %67 to i32
%82 = add i8 %67, -127
%83 = icmp ult i8 %82, -95
%84 = getelementptr inbounds i8, i8* %65, i64 1
br i1 %83, label %85, label %97
85: ; preds = %80
store i8 92, i8* %65
%86 = getelementptr inbounds i8, i8* %65, i64 2
store i8 120, i8* %84
%87 = lshr i32 %81, 4
%88 = zext i32 %87 to i64
%89 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %88
%90 = load i8, i8* %89
%91 = getelementptr inbounds i8, i8* %65, i64 3
store i8 %90, i8* %86
%92 = and i32 %81, 15
%93 = zext i32 %92 to i64
%94 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %93
%95 = load i8, i8* %94
%96 = getelementptr inbounds i8, i8* %65, i64 4
store i8 %95, i8* %91
br label %98
97: ; preds = %80
store i8 %67, i8* %65
br label %98
98: ; preds = %78, %76, %74, %72, %97, %85
%99 = phi i8* [ %79, %78 ], [ %77, %76 ], [ %75, %74 ], [ %73, %72 ], [ %96, %85 ], [ %84, %97 ]
%100 = add nuw nsw i64 %64, 1
%101 = icmp eq i64 %100, %62
br i1 %101, label %102, label %63
102: ; preds = %98, %51
%103 = phi i8* [ %59, %51 ], [ %99, %98 ]
br i1 %54, label %104, label %108
104: ; preds = %102
%105 = getelementptr inbounds i8, i8* %103, i64 1
store i8 46, i8* %103
%106 = getelementptr inbounds i8, i8* %103, i64 2
store i8 46, i8* %105
%107 = getelementptr inbounds i8, i8* %103, i64 3
store i8 46, i8* %106
br label %108
108: ; preds = %12, %104, %102
%109 = phi i8* [ %59, %104 ], [ %59, %102 ], [ %14, %12 ]
%110 = phi i8* [ %107, %104 ], [ %103, %102 ], [ %14, %12 ]
store i8 0, i8* %110
br label %111
111: ; preds = %3, %108
%112 = phi i8* [ %109, %108 ], [ null, %3 ]
ret i8* %112
}