#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*/ isascii(unsigned char);
scalar_t__ iscntrl(unsigned char);
int /*<<< orphan*/ snprintf(char *, int, char *, int);
int /*<<< orphan*/ strlen(char *);
char *json_stringify(char *to, size_t len, const char *from) {
  const char *sp;
  char *tp;
  tp = to;
  for (sp = from; *sp != '\0' && ((tp - to) < ((int)len - 6)); sp++) {
    if (!isascii((unsigned char)*sp) || iscntrl((unsigned char)*sp)) {
      *tp++ = '\\';
      switch (*sp) {
      case '\b':
        *tp++ = 'b';
        break;
      case '\f':
        *tp++ = 'f';
        break;
      case '\n':
        *tp++ = 'n';
        break;
      case '\r':
        *tp++ = 'r';
        break;
      case '\t':
        *tp++ = 't';
        break;
      default:
        (void)snprintf(tp, 6, "u%04x", 0x00ff & (unsigned int)*sp);
        tp += strlen(tp);
      }
    } else {
      if (*sp == '"' || *sp == '\\')
        *tp++ = '\\';
      *tp++ = *sp;
    }
  }
  *tp = '\0';
  return to;
}


x86 assembly (clang, -O0):
<json_stringify>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     1197 <json_stringify+0x57>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
mov    -0x10(%rbp),%rcx
sub    $0x6,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
setl   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    11a7 <json_stringify+0x67>
jmp    1323 <json_stringify+0x1e3>
mov    -0x20(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isascii@plt>
cmp    $0x0,%eax
je     11d2 <json_stringify+0x92>
mov    -0x20(%rbp),%rax
movzbl (%rax),%edi
call   1030 <iscntrl@plt>
cmp    $0x0,%rax
je     12c4 <json_stringify+0x184>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x5c,(%rax)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
add    $0xfffffff8,%eax
mov    %eax,%ecx
mov    %rcx,-0x38(%rbp)
sub    $0x5,%eax
ja     1284 <json_stringify+0x144>
mov    -0x38(%rbp),%rax
lea    0xdf8(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x62,(%rax)
jmp    12bf <json_stringify+0x17f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x66,(%rax)
jmp    12bf <json_stringify+0x17f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x6e,(%rax)
jmp    12bf <json_stringify+0x17f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x72,(%rax)
jmp    12bf <json_stringify+0x17f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x74,(%rax)
jmp    12bf <json_stringify+0x17f>
mov    -0x28(%rbp),%rdi
mov    -0x20(%rbp),%rax
movsbl (%rax),%ecx
and    $0xff,%ecx
mov    $0x6,%esi
lea    0xd77(%rip),%rdx
call   1050 <snprintf@plt>
mov    -0x28(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x28(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
jmp    130d <json_stringify+0x1cd>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
je     12e4 <json_stringify+0x1a4>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    12f6 <json_stringify+0x1b6>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x5c,(%rax)
mov    -0x20(%rbp),%rax
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    1312 <json_stringify+0x1d2>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1164 <json_stringify+0x24>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<json_stringify>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r14
mov    (%rdx),%al
mov    %rdi,%r15
test   %al,%al
je     1246 <json_stringify+0x106>
mov    %rdx,%rbx
add    $0xfffffffa,%esi
movslq %esi,%r13
lea    0xead(%rip),%r12
lea    0xe8e(%rip),%rbp
mov    %r14,%r15
jmp    1194 <json_stringify+0x54>
movb   $0x74,0x1(%r15)
nopl   0x0(%rax)
add    $0x2,%r15
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
je     1246 <json_stringify+0x106>
mov    %r15,%rcx
sub    %r14,%rcx
cmp    %r13,%rcx
jge    1246 <json_stringify+0x106>
movzbl %al,%edi
call   1060 <isascii@plt>
test   %eax,%eax
je     11bc <json_stringify+0x7c>
movzbl (%rbx),%edi
call   1030 <iscntrl@plt>
test   %rax,%rax
je     11e0 <json_stringify+0xa0>
movb   $0x5c,(%r15)
movsbl (%rbx),%eax
lea    -0x8(%rax),%ecx
cmp    $0x5,%ecx
ja     1209 <json_stringify+0xc9>
movslq 0x0(%rbp,%rcx,4),%rcx
add    %rbp,%rcx
jmp    *%rcx
movb   $0x62,0x1(%r15)
jmp    1180 <json_stringify+0x40>
nopl   0x0(%rax)
movzbl (%rbx),%eax
cmp    $0x5c,%al
je     11eb <json_stringify+0xab>
cmp    $0x22,%al
jne    11f6 <json_stringify+0xb6>
movb   $0x5c,(%r15)
add    $0x1,%r15
movzbl (%rbx),%eax
mov    %al,(%r15)
add    $0x1,%r15
jmp    1184 <json_stringify+0x44>
movb   $0x6e,0x1(%r15)
jmp    1180 <json_stringify+0x40>
add    $0x1,%r15
movzbl %al,%ecx
mov    %r15,%rdi
mov    $0x6,%esi
mov    %r12,%rdx
call   1050 <snprintf@plt>
mov    %r15,%rdi
call   1040 <strlen@plt>
cltq
add    %rax,%r15
jmp    1184 <json_stringify+0x44>
movb   $0x66,0x1(%r15)
jmp    1180 <json_stringify+0x40>
movb   $0x72,0x1(%r15)
jmp    1180 <json_stringify+0x40>
movb   $0x0,(%r15)
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [6 x i8] c"u%04x\00"
define i8* @json_stringify(i8* %0, i64 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
store i8* %0, i8** %4
store i64 %1, i64* %5
store i8* %2, i8** %6
%9 = load i8*, i8** %4
store i8* %9, i8** %8
%10 = load i8*, i8** %6
store i8* %10, i8** %7
br label %11
11: ; preds = %92, %3
%12 = load i8*, i8** %7
%13 = load i8, i8* %12
%14 = sext i8 %13 to i32
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %27
16: ; preds = %11
%17 = load i8*, i8** %8
%18 = load i8*, i8** %4
%19 = ptrtoint i8* %17 to i64
%20 = ptrtoint i8* %18 to i64
%21 = sub i64 %19, %20
%22 = load i64, i64* %5
%23 = trunc i64 %22 to i32
%24 = sub nsw i32 %23, 6
%25 = sext i32 %24 to i64
%26 = icmp slt i64 %21, %25
br label %27
27: ; preds = %16, %11
%28 = phi i1 [ false, %11 ], [ %26, %16 ]
br i1 %28, label %29, label %95
29: ; preds = %27
%30 = load i8*, i8** %7
%31 = load i8, i8* %30
%32 = call i32 @isascii(i8 zeroext %31)
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %39
34: ; preds = %29
%35 = load i8*, i8** %7
%36 = load i8, i8* %35
%37 = call i64 @iscntrl(i8 zeroext %36)
%38 = icmp ne i64 %37, 0
br i1 %38, label %39, label %73
39: ; preds = %34, %29
%40 = load i8*, i8** %8
%41 = getelementptr inbounds i8, i8* %40, i32 1
store i8* %41, i8** %8
store i8 92, i8* %40
%42 = load i8*, i8** %7
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
switch i32 %44, label %60 [
i32 8, label %45
i32 12, label %48
i32 10, label %51
i32 13, label %54
i32 9, label %57
]
45: ; preds = %39
%46 = load i8*, i8** %8
%47 = getelementptr inbounds i8, i8* %46, i32 1
store i8* %47, i8** %8
store i8 98, i8* %46
br label %72
48: ; preds = %39
%49 = load i8*, i8** %8
%50 = getelementptr inbounds i8, i8* %49, i32 1
store i8* %50, i8** %8
store i8 102, i8* %49
br label %72
51: ; preds = %39
%52 = load i8*, i8** %8
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %8
store i8 110, i8* %52
br label %72
54: ; preds = %39
%55 = load i8*, i8** %8
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %8
store i8 114, i8* %55
br label %72
57: ; preds = %39
%58 = load i8*, i8** %8
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %8
store i8 116, i8* %58
br label %72
60: ; preds = %39
%61 = load i8*, i8** %8
%62 = load i8*, i8** %7
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = and i32 255, %64
%66 = call i32 @snprintf(i8* %61, i32 6, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32 %65)
%67 = load i8*, i8** %8
%68 = call i32 @strlen(i8* %67)
%69 = load i8*, i8** %8
%70 = sext i32 %68 to i64
%71 = getelementptr inbounds i8, i8* %69, i64 %70
store i8* %71, i8** %8
br label %72
72: ; preds = %60, %57, %54, %51, %48, %45
br label %91
73: ; preds = %34
%74 = load i8*, i8** %7
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = icmp eq i32 %76, 34
br i1 %77, label %83, label %78
78: ; preds = %73
%79 = load i8*, i8** %7
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 92
br i1 %82, label %83, label %86
83: ; preds = %78, %73
%84 = load i8*, i8** %8
%85 = getelementptr inbounds i8, i8* %84, i32 1
store i8* %85, i8** %8
store i8 92, i8* %84
br label %86
86: ; preds = %83, %78
%87 = load i8*, i8** %7
%88 = load i8, i8* %87
%89 = load i8*, i8** %8
%90 = getelementptr inbounds i8, i8* %89, i32 1
store i8* %90, i8** %8
store i8 %88, i8* %89
br label %91
91: ; preds = %86, %72
br label %92
92: ; preds = %91
%93 = load i8*, i8** %7
%94 = getelementptr inbounds i8, i8* %93, i32 1
store i8* %94, i8** %7
br label %11
95: ; preds = %27
%96 = load i8*, i8** %8
store i8 0, i8* %96
%97 = load i8*, i8** %4
ret i8* %97
}

LLVM IR (-O2):
@.str = [6 x i8] c"u%04x\00"
define i8* @json_stringify(i8* returned %0, i64 %1, i8* nocapture %2) {
%4 = load i8, i8* %2
%5 = icmp eq i8 %4, 0
br i1 %5, label %59, label %6
6: ; preds = %3
%7 = ptrtoint i8* %0 to i64
%8 = shl i64 %1, 32
%9 = add i64 %8, -25769803776
%10 = ashr exact i64 %9, 32
br label %11
11: ; preds = %6, %54
%12 = phi i8 [ %4, %6 ], [ %57, %54 ]
%13 = phi i8* [ %0, %6 ], [ %55, %54 ]
%14 = phi i8* [ %2, %6 ], [ %56, %54 ]
%15 = ptrtoint i8* %13 to i64
%16 = sub i64 %15, %7
%17 = icmp slt i64 %16, %10
br i1 %17, label %18, label %59
18: ; preds = %11
%19 = tail call i32 @isascii(i8 zeroext %12)
%20 = icmp eq i32 %19, 0
br i1 %20, label %25, label %21
21: ; preds = %18
%22 = load i8, i8* %14
%23 = tail call i64 @iscntrl(i8 zeroext %22)
%24 = icmp eq i64 %23, 0
br i1 %24, label %45, label %25
25: ; preds = %21, %18
%26 = getelementptr inbounds i8, i8* %13, i64 1
store i8 92, i8* %13
%27 = load i8, i8* %14
%28 = sext i8 %27 to i32
switch i32 %28, label %39 [
i32 8, label %29
i32 12, label %31
i32 10, label %33
i32 13, label %35
i32 9, label %37
]
29: ; preds = %25
%30 = getelementptr inbounds i8, i8* %13, i64 2
store i8 98, i8* %26
br label %54
31: ; preds = %25
%32 = getelementptr inbounds i8, i8* %13, i64 2
store i8 102, i8* %26
br label %54
33: ; preds = %25
%34 = getelementptr inbounds i8, i8* %13, i64 2
store i8 110, i8* %26
br label %54
35: ; preds = %25
%36 = getelementptr inbounds i8, i8* %13, i64 2
store i8 114, i8* %26
br label %54
37: ; preds = %25
%38 = getelementptr inbounds i8, i8* %13, i64 2
store i8 116, i8* %26
br label %54
39: ; preds = %25
%40 = and i32 %28, 255
%41 = tail call i32 @snprintf(i8* %26, i32 6, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32 %40)
%42 = tail call i32 @strlen(i8* %26)
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %26, i64 %43
br label %54
45: ; preds = %21
%46 = load i8, i8* %14
switch i8 %46, label %50 [
i8 34, label %47
i8 92, label %47
]
47: ; preds = %45, %45
%48 = getelementptr inbounds i8, i8* %13, i64 1
store i8 92, i8* %13
%49 = load i8, i8* %14
br label %50
50: ; preds = %45, %47
%51 = phi i8 [ %49, %47 ], [ %46, %45 ]
%52 = phi i8* [ %48, %47 ], [ %13, %45 ]
%53 = getelementptr inbounds i8, i8* %52, i64 1
store i8 %51, i8* %52
br label %54
54: ; preds = %50, %39, %37, %35, %33, %31, %29
%55 = phi i8* [ %44, %39 ], [ %38, %37 ], [ %36, %35 ], [ %34, %33 ], [ %32, %31 ], [ %30, %29 ], [ %53, %50 ]
%56 = getelementptr inbounds i8, i8* %14, i64 1
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 0
br i1 %58, label %59, label %11
59: ; preds = %11, %54, %3
%60 = phi i8* [ %0, %3 ], [ %55, %54 ], [ %13, %11 ]
store i8 0, i8* %60
ret i8* %0
}