#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*/ free(char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int strlen(char const *);
char *vsjson_decode_string(const char *string) {
  if (!string)
    return NULL;
  char *decoded = (char *)malloc(strlen(string));
  if (!decoded)
    return NULL;
  memset(decoded, 0, strlen(string));
  const char *src = string;
  char *dst = decoded;
  if (string[0] != '"' || string[strlen(string) - 1] != '"') {
    free(decoded);
    return NULL;
  }
  ++src;
  while (*src) {
    switch (*src) {
    case '\\':
      ++src;
      switch (*src) {
      case '\\':
      case '/':
      case '"':
        *dst = *src;
        ++dst;
      case 'b':
        *dst = '\b';
        ++dst;
        break;
      case 'f':
        *dst = '\f';
        ++dst;
        break;
      case 'n':
        *dst = '\n';
        ++dst;
        break;
      case 'r':
        *dst = '\r';
        ++dst;
        break;
      case 't':
        *dst = '\t';
        ++dst;
        break;
      }
      break;
    default:
      *dst = *src;
      ++dst;
    }
    ++src;
  }
  --dst;
  *dst = 0;
  return decoded;
}


x86 assembly (clang, -O0):
<vsjson_decode_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1164 <vsjson_decode_string+0x24>
movq   $0x0,-0x8(%rbp)
jmp    13a9 <vsjson_decode_string+0x269>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1190 <vsjson_decode_string+0x50>
movq   $0x0,-0x8(%rbp)
jmp    13a9 <vsjson_decode_string+0x269>
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x30(%rbp),%rdi
mov    %eax,%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
jne    11f8 <vsjson_decode_string+0xb8>
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x22,%eax
je     120e <vsjson_decode_string+0xce>
mov    -0x18(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    13a9 <vsjson_decode_string+0x269>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
je     138e <vsjson_decode_string+0x24e>
mov    -0x20(%rbp),%rax
mov    (%rax),%al
sub    $0x5c,%al
jne    1365 <vsjson_decode_string+0x225>
jmp    123a <vsjson_decode_string+0xfa>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x3c(%rbp)
sub    $0x22,%eax
je     12d5 <vsjson_decode_string+0x195>
jmp    125e <vsjson_decode_string+0x11e>
mov    -0x3c(%rbp),%eax
sub    $0x2f,%eax
je     12d5 <vsjson_decode_string+0x195>
jmp    126f <vsjson_decode_string+0x12f>
mov    -0x3c(%rbp),%eax
sub    $0x5c,%eax
je     12d5 <vsjson_decode_string+0x195>
jmp    1280 <vsjson_decode_string+0x140>
mov    -0x3c(%rbp),%eax
sub    $0x62,%eax
je     12ed <vsjson_decode_string+0x1ad>
jmp    1291 <vsjson_decode_string+0x151>
mov    -0x3c(%rbp),%eax
sub    $0x66,%eax
je     1305 <vsjson_decode_string+0x1c5>
jmp    12a2 <vsjson_decode_string+0x162>
mov    -0x3c(%rbp),%eax
sub    $0x6e,%eax
je     131d <vsjson_decode_string+0x1dd>
jmp    12b3 <vsjson_decode_string+0x173>
mov    -0x3c(%rbp),%eax
sub    $0x72,%eax
je     1335 <vsjson_decode_string+0x1f5>
jmp    12c4 <vsjson_decode_string+0x184>
mov    -0x3c(%rbp),%eax
sub    $0x74,%eax
je     134d <vsjson_decode_string+0x20d>
jmp    1360 <vsjson_decode_string+0x220>
mov    -0x20(%rbp),%rax
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movb   $0x8,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1360 <vsjson_decode_string+0x220>
mov    -0x28(%rbp),%rax
movb   $0xc,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1360 <vsjson_decode_string+0x220>
mov    -0x28(%rbp),%rax
movb   $0xa,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1360 <vsjson_decode_string+0x220>
mov    -0x28(%rbp),%rax
movb   $0xd,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1360 <vsjson_decode_string+0x220>
mov    -0x28(%rbp),%rax
movb   $0x9,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    137d <vsjson_decode_string+0x23d>
mov    -0x20(%rbp),%rax
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    121a <vsjson_decode_string+0xda>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vsjson_decode_string>:
push   %r14
push   %rbx
push   %rax
test   %rdi,%rdi
je     1214 <vsjson_decode_string+0xd4>
mov    %rdi,%rbx
call   1040 <strlen@plt>
mov    %eax,%edi
call   1060 <malloc@plt>
test   %rax,%rax
je     1214 <vsjson_decode_string+0xd4>
mov    %rax,%r14
mov    %rbx,%rdi
call   1040 <strlen@plt>
mov    %r14,%rdi
xor    %esi,%esi
mov    %eax,%edx
call   1050 <memset@plt>
cmpb   $0x22,(%rbx)
jne    120c <vsjson_decode_string+0xcc>
mov    %rbx,%rdi
call   1040 <strlen@plt>
cltq
cmpb   $0x22,-0x1(%rax,%rbx,1)
jne    120c <vsjson_decode_string+0xcc>
add    $0x1,%rbx
lea    0xe5f(%rip),%rcx
mov    %r14,%rax
jmp    11b5 <vsjson_decode_string+0x75>
cs nopw 0x0(%rax,%rax,1)
cmp    $0x22,%esi
je     11d9 <vsjson_decode_string+0x99>
movzbl (%rbx),%edx
cmp    $0x5c,%dl
jne    11e4 <vsjson_decode_string+0xa4>
movzbl 0x1(%rbx),%edx
movsbl %dl,%esi
add    $0x2,%rbx
lea    -0x2f(%rsi),%edi
cmp    $0x45,%edi
ja     11b0 <vsjson_decode_string+0x70>
movslq (%rcx,%rdi,4),%rsi
add    %rcx,%rsi
jmp    *%rsi
mov    %dl,(%rax)
add    $0x1,%rax
movb   $0x8,(%rax)
jmp    11fe <vsjson_decode_string+0xbe>
test   %dl,%dl
je     1222 <vsjson_decode_string+0xe2>
mov    %dl,(%rax)
jmp    1202 <vsjson_decode_string+0xc2>
movb   $0xc,(%rax)
jmp    11fe <vsjson_decode_string+0xbe>
movb   $0xa,(%rax)
jmp    11fe <vsjson_decode_string+0xbe>
movb   $0xd,(%rax)
jmp    11fe <vsjson_decode_string+0xbe>
movb   $0x9,(%rax)
add    $0xffffffffffffffff,%rbx
add    $0x1,%rax
add    $0x1,%rbx
jmp    11b5 <vsjson_decode_string+0x75>
mov    %r14,%rdi
call   1030 <free@plt>
xor    %r14d,%r14d
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
movb   $0x0,-0x1(%rax)
jmp    1217 <vsjson_decode_string+0xd7>

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

LLVM IR (-O2):
define i8* @vsjson_decode_string(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %49, label %3
3: ; preds = %1
%4 = tail call i32 @strlen(i8* %0)
%5 = tail call i64 @malloc(i32 %4)
%6 = inttoptr i64 %5 to i8*
%7 = icmp eq i64 %5, 0
br i1 %7, label %49, label %8
8: ; preds = %3
%9 = tail call i32 @strlen(i8* %0)
%10 = tail call i32 @memset(i8* %6, i32 0, i32 %9)
%11 = load i8, i8* %0
%12 = icmp eq i8 %11, 34
br i1 %12, label %13, label %20
13: ; preds = %8
%14 = tail call i32 @strlen(i8* %0)
%15 = add nsw i32 %14, -1
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %0, i64 %16
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 34
br i1 %19, label %42, label %20
20: ; preds = %13, %8
%21 = tail call i32 @free(i8* %6)
br label %49
22: ; preds = %42, %26
%23 = phi i8* [ %27, %26 ], [ %43, %42 ]
%24 = getelementptr inbounds i8, i8* %23, i64 1
%25 = load i8, i8* %24
switch i8 %25, label %45 [
i8 0, label %47
i8 92, label %26
]
26: ; preds = %22
%27 = getelementptr inbounds i8, i8* %23, i64 2
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
switch i32 %29, label %22 [
i32 92, label %30
i32 47, label %30
i32 34, label %30
i32 98, label %32
i32 102, label %34
i32 110, label %35
i32 114, label %36
i32 116, label %37
]
30: ; preds = %26, %26, %26
store i8 %28, i8* %44
%31 = getelementptr inbounds i8, i8* %44, i64 1
br label %32
32: ; preds = %26, %30
%33 = phi i8* [ %31, %30 ], [ %44, %26 ]
store i8 8, i8* %33
br label %38
34: ; preds = %26
store i8 12, i8* %44
br label %38
35: ; preds = %26
store i8 10, i8* %44
br label %38
36: ; preds = %26
store i8 13, i8* %44
br label %38
37: ; preds = %26
store i8 9, i8* %44
br label %38
38: ; preds = %37, %36, %35, %34, %32, %45
%39 = phi i8* [ %46, %45 ], [ %27, %32 ], [ %27, %34 ], [ %27, %35 ], [ %27, %36 ], [ %27, %37 ]
%40 = phi i8* [ %44, %45 ], [ %33, %32 ], [ %44, %34 ], [ %44, %35 ], [ %44, %36 ], [ %44, %37 ]
%41 = getelementptr inbounds i8, i8* %40, i64 1
br label %42
42: ; preds = %13, %38
%43 = phi i8* [ %39, %38 ], [ %0, %13 ]
%44 = phi i8* [ %41, %38 ], [ %6, %13 ]
br label %22
45: ; preds = %22
%46 = getelementptr inbounds i8, i8* %23, i64 1
store i8 %25, i8* %44
br label %38
47: ; preds = %22
%48 = getelementptr inbounds i8, i8* %44, i64 -1
store i8 0, i8* %48
br label %49
49: ; preds = %3, %47, %20, %1
%50 = phi i8* [ null, %1 ], [ null, %3 ], [ null, %20 ], [ %6, %47 ]
ret i8* %50
}