#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 mjson_esc(char const, int /*<<< orphan*/);
unsigned char mjson_unhex_nimble(char const *);
int mjson_unescape(const char *s, int len, char *to, int n) {
  int i, j;
  for (i = 0, j = 0; i < len && j < n; i++, j++) {
    if (s[i] == '\\' && i + 5 < len && s[i + 1] == 'u') {
      if (s[i + 2] != '0' || s[i + 3] != '0')
        return -1;
      ((unsigned char *)to)[j] = mjson_unhex_nimble(s + i + 4);
      i += 5;
    } else if (s[i] == '\\' && i + 1 < len) {
      int c = mjson_esc(s[i + 1], 0);
      if (c == 0)
        return -1;
      to[j] = (char)(unsigned char)c;
      i++;
    } else {
      to[j] = s[i];
    }
  }
  if (j >= n)
    return -1;
  if (n > 0)
    to[j] = '\0';
  return j;
}


x86 assembly (clang, -O0):
<mjson_unescape>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x28(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x31(%rbp)
jge    1161 <mjson_unescape+0x41>
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
setl   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1171 <mjson_unescape+0x51>
jmp    12c8 <mjson_unescape+0x1a8>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    121e <mjson_unescape+0xfe>
mov    -0x28(%rbp),%eax
add    $0x5,%eax
cmp    -0x14(%rbp),%eax
jge    121e <mjson_unescape+0xfe>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x75,%eax
jne    121e <mjson_unescape+0xfe>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    11e3 <mjson_unescape+0xc3>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
je     11ef <mjson_unescape+0xcf>
movl   $0xffffffff,-0x4(%rbp)
jmp    12fc <mjson_unescape+0x1dc>
mov    -0x10(%rbp),%rdi
movslq -0x28(%rbp),%rax
add    %rax,%rdi
add    $0x4,%rdi
call   1030 <mjson_unhex_nimble@plt>
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x5,%eax
mov    %eax,-0x28(%rbp)
jmp    12ac <mjson_unescape+0x18c>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    1291 <mjson_unescape+0x171>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
cmp    -0x14(%rbp),%eax
jge    1291 <mjson_unescape+0x171>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
xor    %esi,%esi
movsbl (%rax,%rcx,1),%edi
call   1040 <mjson_esc@plt>
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    1273 <mjson_unescape+0x153>
movl   $0xffffffff,-0x4(%rbp)
jmp    12fc <mjson_unescape+0x1dc>
mov    -0x30(%rbp),%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12a7 <mjson_unescape+0x187>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12ac <mjson_unescape+0x18c>
jmp    12b1 <mjson_unescape+0x191>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1144 <mjson_unescape+0x24>
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jl     12e0 <mjson_unescape+0x1c0>
movl   $0xffffffff,-0x4(%rbp)
jmp    12fc <mjson_unescape+0x1dc>
cmpl   $0x0,-0x24(%rbp)
jle    12f6 <mjson_unescape+0x1d6>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mjson_unescape>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %esi,%esi
jle    11f9 <mjson_unescape+0xd9>
test   %ecx,%ecx
jle    11f9 <mjson_unescape+0xd9>
mov    %esi,%ebp
mov    %rdi,%r12
mov    %ecx,0xc(%rsp)
mov    %ecx,%r13d
xor    %ebx,%ebx
xor    %ecx,%ecx
mov    %rdx,0x10(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq %ecx,%rdi
movzbl (%r12,%rdi,1),%eax
cmp    $0x5c,%al
jne    11d0 <mjson_unescape+0xb0>
lea    0x5(%rdi),%r14d
lea    0x1(%rdi),%r15
cmp    %ebp,%r14d
jge    11b0 <mjson_unescape+0x90>
cmpb   $0x75,(%r12,%r15,1)
jne    11b0 <mjson_unescape+0x90>
mov    $0xffffffff,%eax
cmpb   $0x30,0x2(%rdi,%r12,1)
jne    1210 <mjson_unescape+0xf0>
cmpb   $0x30,0x3(%rdi,%r12,1)
jne    1210 <mjson_unescape+0xf0>
add    %r12,%rdi
add    $0x4,%rdi
call   1030 <mjson_unhex_nimble@plt>
mov    0x10(%rsp),%rdx
mov    %r14d,%ecx
jmp    11d0 <mjson_unescape+0xb0>
nop
cmp    %ebp,%r15d
jge    11d0 <mjson_unescape+0xb0>
movsbl (%r12,%r15,1),%edi
xor    %esi,%esi
call   1040 <mjson_esc@plt>
test   %eax,%eax
je     120b <mjson_unescape+0xeb>
mov    %r15d,%ecx
mov    0x10(%rsp),%rdx
nopl   (%rax)
mov    %al,(%rdx,%rbx,1)
add    $0x1,%ecx
add    $0x1,%rbx
cmp    %ebp,%ecx
jge    11e7 <mjson_unescape+0xc7>
cmp    %r13,%rbx
jb     1160 <mjson_unescape+0x40>
mov    $0xffffffff,%eax
cmp    %r13,%rbx
jae    1210 <mjson_unescape+0xf0>
mov    %ebx,%eax
mov    0xc(%rsp),%ecx
jmp    11ff <mjson_unescape+0xdf>
xor    %eax,%eax
test   %ecx,%ecx
jle    120b <mjson_unescape+0xeb>
test   %ecx,%ecx
jle    1210 <mjson_unescape+0xf0>
mov    %eax,%ecx
movb   $0x0,(%rdx,%rcx,1)
jmp    1210 <mjson_unescape+0xf0>
mov    $0xffffffff,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @mjson_unescape(i8* %0, i32 %1, i8* nocapture writeonly %2, i32 %3) {
%5 = icmp sgt i32 %1, 0
%6 = icmp sgt i32 %3, 0
%7 = and i1 %5, %6
br i1 %7, label %8, label %62
8: ; preds = %4
%9 = zext i32 %3 to i64
br label %10
10: ; preds = %8, %51
%11 = phi i64 [ 0, %8 ], [ %56, %51 ]
%12 = phi i32 [ 0, %8 ], [ %55, %51 ]
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %0, i64 %13
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 92
br i1 %16, label %17, label %51
17: ; preds = %10
%18 = add nsw i32 %12, 5
%19 = icmp slt i32 %18, %1
%20 = add nsw i32 %12, 1
br i1 %19, label %21, label %41
21: ; preds = %17
%22 = sext i32 %20 to i64
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 117
br i1 %25, label %26, label %41
26: ; preds = %21
%27 = add nsw i32 %12, 2
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %0, i64 %28
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 48
br i1 %31, label %32, label %68
32: ; preds = %26
%33 = add nsw i32 %12, 3
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %0, i64 %34
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, 48
br i1 %37, label %38, label %68
38: ; preds = %32
%39 = getelementptr inbounds i8, i8* %14, i64 4
%40 = tail call zeroext i8 @mjson_unhex_nimble(i8* %39)
br label %51
41: ; preds = %17, %21
%42 = icmp slt i32 %20, %1
br i1 %42, label %43, label %51
43: ; preds = %41
%44 = sext i32 %20 to i64
%45 = getelementptr inbounds i8, i8* %0, i64 %44
%46 = load i8, i8* %45
%47 = tail call i32 @mjson_esc(i8 signext %46, i32 0)
%48 = icmp eq i32 %47, 0
br i1 %48, label %68, label %49
49: ; preds = %43
%50 = trunc i32 %47 to i8
br label %51
51: ; preds = %41, %10, %49, %38
%52 = phi i8 [ %50, %49 ], [ %40, %38 ], [ %15, %10 ], [ %15, %41 ]
%53 = phi i32 [ %20, %49 ], [ %18, %38 ], [ %12, %10 ], [ %12, %41 ]
%54 = getelementptr inbounds i8, i8* %2, i64 %11
store i8 %52, i8* %54
%55 = add nsw i32 %53, 1
%56 = add nuw nsw i64 %11, 1
%57 = icmp slt i32 %55, %1
%58 = icmp ult i64 %56, %9
%59 = select i1 %57, i1 %58, i1 false
br i1 %59, label %10, label %60
60: ; preds = %51
%61 = trunc i64 %56 to i32
br i1 %58, label %63, label %68
62: ; preds = %4
br i1 %6, label %63, label %68
63: ; preds = %60, %62
%64 = phi i32 [ %61, %60 ], [ 0, %62 ]
br i1 %6, label %65, label %68
65: ; preds = %63
%66 = zext i32 %64 to i64
%67 = getelementptr inbounds i8, i8* %2, i64 %66
store i8 0, i8* %67
br label %68
68: ; preds = %43, %26, %32, %60, %63, %65, %62
%69 = phi i32 [ -1, %62 ], [ %64, %65 ], [ %64, %63 ], [ -1, %60 ], [ -1, %32 ], [ -1, %26 ], [ -1, %43 ]
ret i32 %69
}