#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*/ sprintf(char *, char *, unsigned int);
size_t strlen(char const *);
const char *json_str(const char *str, char *buf, size_t len) {
  size_t ix, bufix = 0;
  size_t sl;
  sl = strlen(str);
  buf[bufix++] = '"';
  for (ix = 0; ix < sl; ++ix) {
    switch (str[ix]) {
    case '\\':
    case '\0':
    case '\?':
    case '\"':
    case '\'':
      buf[bufix++] = str[ix];
      break;
    default:
      if (str[ix] < ' ' || str[ix] > '\x7e') {
        if (bufix > len - 3)
          return NULL;
        buf[bufix++] = '\\';
        switch (str[ix]) {
        case '\b':
          buf[bufix++] = 'b';
          break;
        case '\f':
          buf[bufix++] = 'f';
          break;
        case '\n':
          buf[bufix++] = 'n';
          break;
        case '\r':
          buf[bufix++] = 'r';
          break;
        case '\t':
          buf[bufix++] = 't';
          break;
        default:
          if (bufix > len - 4)
            return NULL;
          sprintf(buf + ix, "u%04x", (unsigned int)buf[bufix++]);
        }
      } else {
        if (bufix > len - 2)
          return NULL;
        buf[bufix++] = str[ix];
      }
    }
  }
  buf[bufix++] = '\"';
  buf[bufix] = '\0';
  return buf;
}


x86 assembly (clang, -O0):
<json_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x22,(%rax,%rcx,1)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    13cd <json_str+0x2ad>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x3c(%rbp)
test   %eax,%eax
je     11d6 <json_str+0xb6>
jmp    1192 <json_str+0x72>
mov    -0x3c(%rbp),%eax
sub    $0x22,%eax
je     11d6 <json_str+0xb6>
jmp    11a3 <json_str+0x83>
mov    -0x3c(%rbp),%eax
sub    $0x27,%eax
je     11d6 <json_str+0xb6>
jmp    11b4 <json_str+0x94>
mov    -0x3c(%rbp),%eax
sub    $0x3f,%eax
je     11d6 <json_str+0xb6>
jmp    11c5 <json_str+0xa5>
mov    -0x3c(%rbp),%eax
sub    $0x5c,%eax
jne    11fc <json_str+0xdc>
jmp    11d6 <json_str+0xb6>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    13b7 <json_str+0x297>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jl     1226 <json_str+0x106>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7e,%eax
jle    136f <json_str+0x24f>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x3,%rcx
cmp    %rcx,%rax
jbe    1248 <json_str+0x128>
movq   $0x0,-0x8(%rbp)
jmp    13f8 <json_str+0x2d8>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0xfffffff8,%eax
mov    %eax,%ecx
mov    %rcx,-0x48(%rbp)
sub    $0x5,%eax
ja     131d <json_str+0x1fd>
mov    -0x48(%rbp),%rax
lea    0xd78(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x62,(%rax,%rcx,1)
jmp    136a <json_str+0x24a>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x66,(%rax,%rcx,1)
jmp    136a <json_str+0x24a>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x6e,(%rax,%rcx,1)
jmp    136a <json_str+0x24a>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x72,(%rax,%rcx,1)
jmp    136a <json_str+0x24a>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x74,(%rax,%rcx,1)
jmp    136a <json_str+0x24a>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x4,%rcx
cmp    %rcx,%rax
jbe    133f <json_str+0x21f>
movq   $0x0,-0x8(%rbp)
jmp    13f8 <json_str+0x2d8>
mov    -0x18(%rbp),%rdi
add    -0x28(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movsbl (%rax,%rcx,1),%edx
lea    0xcb3(%rip),%rsi
call   1040 <sprintf@plt>
jmp    13b2 <json_str+0x292>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x2,%rcx
cmp    %rcx,%rax
jbe    1391 <json_str+0x271>
movq   $0x0,-0x8(%rbp)
jmp    13f8 <json_str+0x2d8>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    13b7 <json_str+0x297>
jmp    13bc <json_str+0x29c>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1168 <json_str+0x48>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x22,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<json_str>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%rbp
mov    %rsi,%r15
mov    %rdi,%rbx
call   1030 <strlen@plt>
movb   $0x22,(%r15)
test   %rax,%rax
je     124e <json_str+0x12e>
mov    %rax,%r12
lea    -0x2(%rbp),%r8
lea    -0x3(%rbp),%r9
add    $0xfffffffffffffffc,%rbp
mov    %rbp,0x10(%rsp)
mov    $0x1,%ebp
lea    0xeaf(%rip),%rsi
lea    0xe90(%rip),%rdi
movabs $0x400000020000021,%r13
xor    %r14d,%r14d
nopl   (%rax)
movzbl (%rbx,%r14,1),%eax
movsbl %al,%ecx
lea    -0x22(%rcx),%edx
cmp    $0x3a,%edx
ja     11b0 <json_str+0x90>
bt     %rdx,%r13
jae    11b0 <json_str+0x90>
mov    %al,(%r15,%rbp,1)
add    $0x1,%rbp
add    $0x1,%r14
cmp    %r14,%r12
jne    1180 <json_str+0x60>
jmp    1253 <json_str+0x133>
nopl   0x0(%rax)
test   %ecx,%ecx
je     1196 <json_str+0x76>
lea    -0x7f(%rax),%ecx
cmp    $0xa0,%cl
ja     11eb <json_str+0xcb>
cmp    %r9,%rbp
ja     126c <json_str+0x14c>
movb   $0x5c,(%r15,%rbp,1)
add    $0x1,%rbp
movsbl (%rbx,%r14,1),%eax
add    $0xfffffff8,%eax
cmp    $0x5,%eax
ja     1200 <json_str+0xe0>
movslq (%rdi,%rax,4),%rax
add    %rdi,%rax
jmp    *%rax
movb   $0x62,(%r15,%rbp,1)
jmp    119a <json_str+0x7a>
cmp    %r8,%rbp
jbe    1196 <json_str+0x76>
jmp    126c <json_str+0x14c>
movb   $0x74,(%r15,%rbp,1)
jmp    119a <json_str+0x7a>
movb   $0x6e,(%r15,%rbp,1)
jmp    119a <json_str+0x7a>
cmp    0x10(%rsp),%rbp
ja     126c <json_str+0x14c>
mov    %r9,(%rsp)
lea    (%r15,%r14,1),%rdi
movsbl (%r15,%rbp,1),%edx
mov    %r8,0x8(%rsp)
call   1040 <sprintf@plt>
lea    0xddb(%rip),%rdi
lea    0xdec(%rip),%rsi
mov    (%rsp),%r9
mov    0x8(%rsp),%r8
jmp    119a <json_str+0x7a>
movb   $0x66,(%r15,%rbp,1)
jmp    119a <json_str+0x7a>
movb   $0x72,(%r15,%rbp,1)
jmp    119a <json_str+0x7a>
mov    $0x1,%ebp
movw   $0x22,(%r15,%rbp,1)
mov    %r15,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r15d,%r15d
jmp    125a <json_str+0x13a>

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

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