#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 */
typedef int uint8_t;
typedef int uint32_t;
typedef int uint16_t;

/* Variables and functions */
scalar_t__ decode(int *, int *, int /*<<< orphan*/);
int decode_hex(int);
int _js_decode_string(uint16_t *const dest, size_t *destoff, const uint8_t *s,
                      const uint8_t *const srcend) {
  uint16_t *d = dest + *destoff;
  uint32_t state = 0;
  uint32_t codepoint;
  uint8_t surrogate = 0;
  uint16_t temp_hex = 0;
  uint16_t unidata;
standard:
  while (s < srcend) {
    if (decode(&state, &codepoint, *s++) != 0) {
      if (state == 12) {
        return -1;
      }
      continue;
    }
    if (codepoint == '\\') {
      if (s >= srcend) {
        return -1;
      }
      codepoint = *s++;
      goto backslash;
    } else if (codepoint <= 0xffff)
      *d++ = (uint16_t)codepoint;
    else {
      *d++ = (uint16_t)(0xD7C0 + (codepoint >> 10));
      *d++ = (uint16_t)(0xDC00 + (codepoint & 0x3FF));
    }
  }
  *destoff = d - dest;
  return (state != 0);
backslash:
  switch (codepoint) {
  case '"':
  case '\\':
  case '/':
    *d++ = (uint16_t)codepoint;
    goto standard;
    break;
  case 'b':
    *d++ = '\b';
    goto standard;
  case 'f':
    *d++ = '\f';
    goto standard;
  case 'n':
    *d++ = '\n';
    goto standard;
  case 'r':
    *d++ = '\r';
    goto standard;
  case 't':
    *d++ = '\t';
    goto standard;
  case 'u': {
    if (s >= srcend) {
      return -1;
    }
    codepoint = *s++;
    goto unicode1;
  };
    ;
    break;
  default:
    return -1;
  }
unicode1:
  temp_hex = decode_hex(codepoint);
  if (temp_hex == 0xFFFF) {
    return -1;
  } else
    unidata = temp_hex << 12;
  {
    if (s >= srcend) {
      return -1;
    }
    codepoint = *s++;
    goto unicode2;
  };
unicode2:
  temp_hex = decode_hex(codepoint);
  if (temp_hex == 0xFFFF) {
    return -1;
  } else
    unidata |= temp_hex << 8;
  {
    if (s >= srcend) {
      return -1;
    }
    codepoint = *s++;
    goto unicode3;
  };
unicode3:
  temp_hex = decode_hex(codepoint);
  if (temp_hex == 0xFFFF) {
    return -1;
  } else
    unidata |= temp_hex << 4;
  {
    if (s >= srcend) {
      return -1;
    }
    codepoint = *s++;
    goto unicode4;
  };
unicode4:
  temp_hex = decode_hex(codepoint);
  if (temp_hex == 0xFFFF) {
    return -1;
  } else
    unidata |= temp_hex;
  *d++ = (uint16_t)unidata;
  if (surrogate) {
    if (unidata < 0xDC00 || unidata > 0xDFFF)
      return -1;
    surrogate = 0;
  } else if (unidata >= 0xD800 && unidata <= 0xDBFF) {
    surrogate = 1;
    {
      if (s >= srcend) {
        return -1;
      }
      codepoint = *s++;
      goto surrogate1;
    };
  } else if (unidata >= 0xDC00 && unidata <= 0xDFFF) {
    return -1;
  }
  goto standard;
surrogate1:
  if (codepoint != '\\') {
    return -1;
  }
  {
    if (s >= srcend) {
      return -1;
    }
    codepoint = *s++;
    goto surrogate2;
  }
surrogate2:
  if (codepoint != 'u') {
    return -1;
  }
  {
    if (s >= srcend) {
      return -1;
    }
    codepoint = *s++;
    goto unicode1;
  }
}


x86 assembly (clang, -O0):
<_js_decode_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
jmp    1168 <_js_decode_string+0x48>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1263 <_js_decode_string+0x143>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%edx
lea    -0x34(%rbp),%rdi
lea    -0x38(%rbp),%rsi
call   1040 <decode@plt>
cmp    $0x0,%rax
je     11b9 <_js_decode_string+0x99>
cmpl   $0xc,-0x34(%rbp)
jne    11b4 <_js_decode_string+0x94>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
jmp    1168 <_js_decode_string+0x48>
cmpl   $0x5c,-0x38(%rbp)
jne    11f6 <_js_decode_string+0xd6>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     11dd <_js_decode_string+0xbd>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
jmp    128d <_js_decode_string+0x16d>
cmpl   $0xffff,-0x38(%rbp)
jg     121c <_js_decode_string+0xfc>
mov    -0x38(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    1259 <_js_decode_string+0x139>
mov    -0x38(%rbp),%ecx
sar    $0xa,%ecx
add    $0xd7c0,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x38(%rbp),%ecx
and    $0x3ff,%ecx
add    $0xdc00,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    125e <_js_decode_string+0x13e>
jmp    1168 <_js_decode_string+0x48>
mov    -0x30(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rax,%rcx
sar    $0x2,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x34(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x38(%rbp),%eax
add    $0xffffffde,%eax
mov    %eax,%ecx
mov    %rcx,-0x50(%rbp)
sub    $0x53,%eax
ja     1384 <_js_decode_string+0x264>
mov    -0x50(%rbp),%rax
lea    0xd53(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x38(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    1163 <_js_decode_string+0x43>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movl   $0x8,(%rax)
jmp    1163 <_js_decode_string+0x43>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movl   $0xc,(%rax)
jmp    1163 <_js_decode_string+0x43>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movl   $0xa,(%rax)
jmp    1163 <_js_decode_string+0x43>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movl   $0xd,(%rax)
jmp    1163 <_js_decode_string+0x43>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movl   $0x9,(%rax)
jmp    1163 <_js_decode_string+0x43>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     136b <_js_decode_string+0x24b>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
jmp    1390 <_js_decode_string+0x270>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x38(%rbp),%edi
call   1030 <decode_hex@plt>
mov    %eax,-0x40(%rbp)
cmpl   $0xffff,-0x40(%rbp)
jne    13b4 <_js_decode_string+0x294>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x40(%rbp),%eax
shl    $0xc,%eax
mov    %eax,-0x44(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     13d7 <_js_decode_string+0x2b7>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%edi
call   1030 <decode_hex@plt>
mov    %eax,-0x40(%rbp)
cmpl   $0xffff,-0x40(%rbp)
jne    140f <_js_decode_string+0x2ef>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x40(%rbp),%eax
shl    $0x8,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1435 <_js_decode_string+0x315>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%edi
call   1030 <decode_hex@plt>
mov    %eax,-0x40(%rbp)
cmpl   $0xffff,-0x40(%rbp)
jne    146d <_js_decode_string+0x34d>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x40(%rbp),%eax
shl    $0x4,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1493 <_js_decode_string+0x373>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%edi
call   1030 <decode_hex@plt>
mov    %eax,-0x40(%rbp)
cmpl   $0xffff,-0x40(%rbp)
jne    14cb <_js_decode_string+0x3ab>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x40(%rbp),%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
cmpl   $0x0,-0x3c(%rbp)
je     1524 <_js_decode_string+0x404>
cmpl   $0xdc00,-0x44(%rbp)
jl     150c <_js_decode_string+0x3ec>
cmpl   $0xdfff,-0x44(%rbp)
jle    1518 <_js_decode_string+0x3f8>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
movl   $0x0,-0x3c(%rbp)
jmp    15a8 <_js_decode_string+0x488>
cmpl   $0xd800,-0x44(%rbp)
jl     1578 <_js_decode_string+0x458>
cmpl   $0xdbff,-0x44(%rbp)
jg     1578 <_js_decode_string+0x458>
movl   $0x1,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     155f <_js_decode_string+0x43f>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
jmp    15ad <_js_decode_string+0x48d>
cmpl   $0xdc00,-0x44(%rbp)
jl     159e <_js_decode_string+0x47e>
cmpl   $0xdfff,-0x44(%rbp)
jg     159e <_js_decode_string+0x47e>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
jmp    15a3 <_js_decode_string+0x483>
jmp    15a8 <_js_decode_string+0x488>
jmp    1163 <_js_decode_string+0x43>
cmpl   $0x5c,-0x38(%rbp)
je     15c3 <_js_decode_string+0x4a3>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     15dd <_js_decode_string+0x4bd>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x75,-0x38(%rbp)
je     1607 <_js_decode_string+0x4e7>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1621 <_js_decode_string+0x501>
movl   $0xffffffff,-0x4(%rbp)
jmp    163a <_js_decode_string+0x51a>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
jmp    1390 <_js_decode_string+0x270>
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_js_decode_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rcx,%rbx
mov    %rsi,0x20(%rsp)
mov    (%rsi),%rax
mov    %rdi,0x18(%rsp)
lea    (%rdi,%rax,4),%r14
movl   $0x0,0x14(%rsp)
lea    0x14(%rsp),%r12
lea    0x4(%rsp),%r13
mov    $0xffffffff,%ebp
add    $0x30,%rdx
mov    %rdx,%r15
lea    -0x30(%r15),%rax
cmp    %rbx,%rax
jae    1407 <_js_decode_string+0x2e7>
mov    (%rax),%edx
mov    %r12,%rdi
mov    %r13,%rsi
call   1040 <decode@plt>
test   %rax,%rax
je     1190 <_js_decode_string+0x70>
add    $0x4,%r15
cmpl   $0xc,0x14(%rsp)
jne    1160 <_js_decode_string+0x40>
jmp    1425 <_js_decode_string+0x305>
nop
mov    0x4(%rsp),%eax
lea    -0x2c(%r15),%rdx
cmp    $0x5c,%eax
jne    11d7 <_js_decode_string+0xb7>
cmp    %rbx,%rdx
jae    142a <_js_decode_string+0x30a>
mov    -0x2c(%r15),%ecx
mov    %ecx,0x4(%rsp)
lea    -0x22(%rcx),%esi
cmp    $0x53,%esi
ja     142a <_js_decode_string+0x30a>
lea    -0x28(%r15),%rdx
mov    $0x8,%eax
lea    0xe36(%rip),%rdi
movslq (%rdi,%rsi,4),%rsi
add    %rdi,%rsi
jmp    *%rsi
mov    %ecx,%eax
jmp    11de <_js_decode_string+0xbe>
cmp    $0xffff,%eax
jg     11ea <_js_decode_string+0xca>
mov    %eax,(%r14)
add    $0x4,%r14
jmp    1159 <_js_decode_string+0x39>
shr    $0xa,%eax
add    $0xd7c0,%eax
mov    %eax,(%r14)
mov    0x4(%rsp),%eax
mov    $0x3ff,%ecx
and    %ecx,%eax
or     $0xdc00,%eax
mov    %eax,0x4(%r14)
add    $0x8,%r14
jmp    1159 <_js_decode_string+0x39>
mov    $0xc,%eax
jmp    11de <_js_decode_string+0xbe>
mov    $0xa,%eax
jmp    11de <_js_decode_string+0xbe>
mov    $0xd,%eax
jmp    11de <_js_decode_string+0xbe>
mov    $0x9,%eax
jmp    11de <_js_decode_string+0xbe>
cmp    %rbx,%rdx
jae    142a <_js_decode_string+0x30a>
mov    -0x28(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
lea    -0x24(%r15),%rcx
cmp    %rbx,%rcx
jae    142a <_js_decode_string+0x30a>
mov    %eax,0x10(%rsp)
mov    -0x24(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
lea    -0x20(%r15),%rcx
cmp    %rbx,%rcx
jae    142a <_js_decode_string+0x30a>
mov    %eax,0xc(%rsp)
mov    -0x20(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
lea    -0x1c(%r15),%rcx
cmp    %rbx,%rcx
jae    142a <_js_decode_string+0x30a>
mov    %eax,0x8(%rsp)
mov    -0x1c(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
mov    0x10(%rsp),%ecx
shl    $0xc,%ecx
mov    0xc(%rsp),%edx
shl    $0x8,%edx
or     %ecx,%edx
mov    0x8(%rsp),%ecx
shl    $0x4,%ecx
or     %edx,%ecx
lea    -0x18(%r15),%rdx
or     %eax,%ecx
mov    %ecx,(%r14)
and    $0xfffffc00,%ecx
cmp    $0xd800,%ecx
je     130f <_js_decode_string+0x1ef>
add    $0x4,%r14
cmp    $0xdc00,%ecx
jne    1159 <_js_decode_string+0x39>
jmp    142a <_js_decode_string+0x30a>
cmp    %rbx,%rdx
jae    142a <_js_decode_string+0x30a>
cmpl   $0x5c,-0x18(%r15)
jne    142a <_js_decode_string+0x30a>
lea    -0x14(%r15),%rax
cmp    %rbx,%rax
jae    142a <_js_decode_string+0x30a>
cmpl   $0x75,-0x14(%r15)
jne    142a <_js_decode_string+0x30a>
lea    -0x10(%r15),%rax
cmp    %rbx,%rax
jae    142a <_js_decode_string+0x30a>
mov    -0x10(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
lea    -0xc(%r15),%rcx
cmp    %rbx,%rcx
jae    142a <_js_decode_string+0x30a>
mov    %eax,0x10(%rsp)
mov    -0xc(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
lea    -0x8(%r15),%rcx
cmp    %rbx,%rcx
jae    142a <_js_decode_string+0x30a>
mov    %eax,0xc(%rsp)
mov    -0x8(%r15),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
lea    -0x4(%r15),%rcx
cmp    %rbx,%rcx
jae    142a <_js_decode_string+0x30a>
mov    %eax,0x8(%rsp)
mov    (%rcx),%edi
mov    %edi,0x4(%rsp)
call   1030 <decode_hex@plt>
cmp    $0xffff,%eax
je     142a <_js_decode_string+0x30a>
mov    0x10(%rsp),%ecx
shl    $0xc,%ecx
mov    0xc(%rsp),%edx
shl    $0x8,%edx
or     %ecx,%edx
mov    0x8(%rsp),%ecx
shl    $0x4,%ecx
or     %edx,%ecx
or     %eax,%ecx
mov    %ecx,0x4(%r14)
add    $0x8,%r14
add    $0xffff2000,%ecx
mov    %r15,%rdx
cmp    $0xfffffc00,%ecx
jae    1159 <_js_decode_string+0x39>
jmp    142a <_js_decode_string+0x30a>
sub    0x18(%rsp),%r14
sar    $0x2,%r14
mov    0x20(%rsp),%rax
mov    %r14,(%rax)
xor    %ebp,%ebp
cmpl   $0x0,0x14(%rsp)
setne  %bpl
jmp    142a <_js_decode_string+0x30a>
mov    $0xffffffff,%ebp
mov    %ebp,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @_js_decode_string(i32* %0, i64* %1, i32* %2, i32* %3) {
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i64*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i32* %0, i32** %6
store i64* %1, i64** %7
store i32* %2, i32** %8
store i32* %3, i32** %9
%16 = load i32*, i32** %6
%17 = load i64*, i64** %7
%18 = load i64, i64* %17
%19 = getelementptr inbounds i32, i32* %16, i64 %18
store i32* %19, i32** %10
store i32 0, i32* %11
store i32 0, i32* %13
store i32 0, i32* %14
br label %20
20: ; preds = %216, %97, %94, %91, %88, %85, %81, %4
br label %21
21: ; preds = %67, %35, %20
%22 = load i32*, i32** %8
%23 = load i32*, i32** %9
%24 = icmp ult i32* %22, %23
br i1 %24, label %25, label %68
25: ; preds = %21
%26 = load i32*, i32** %8
%27 = getelementptr inbounds i32, i32* %26, i32 1
store i32* %27, i32** %8
%28 = load i32, i32* %26
%29 = call i64 @decode(i32* %11, i32* %12, i32 %28)
%30 = icmp ne i64 %29, 0
br i1 %30, label %31, label %36
31: ; preds = %25
%32 = load i32, i32* %11
%33 = icmp eq i32 %32, 12
br i1 %33, label %34, label %35
34: ; preds = %31
store i32 -1, i32* %5
br label %243
35: ; preds = %31
br label %21
36: ; preds = %25
%37 = load i32, i32* %12
%38 = icmp eq i32 %37, 92
br i1 %38, label %39, label %48
39: ; preds = %36
%40 = load i32*, i32** %8
%41 = load i32*, i32** %9
%42 = icmp uge i32* %40, %41
br i1 %42, label %43, label %44
43: ; preds = %39
store i32 -1, i32* %5
br label %243
44: ; preds = %39
%45 = load i32*, i32** %8
%46 = getelementptr inbounds i32, i32* %45, i32 1
store i32* %46, i32** %8
%47 = load i32, i32* %45
store i32 %47, i32* %12
br label %79
48: ; preds = %36
%49 = load i32, i32* %12
%50 = icmp sle i32 %49, 65535
br i1 %50, label %51, label %55
51: ; preds = %48
%52 = load i32, i32* %12
%53 = load i32*, i32** %10
%54 = getelementptr inbounds i32, i32* %53, i32 1
store i32* %54, i32** %10
store i32 %52, i32* %53
br label %66
55: ; preds = %48
%56 = load i32, i32* %12
%57 = ashr i32 %56, 10
%58 = add nsw i32 55232, %57
%59 = load i32*, i32** %10
%60 = getelementptr inbounds i32, i32* %59, i32 1
store i32* %60, i32** %10
store i32 %58, i32* %59
%61 = load i32, i32* %12
%62 = and i32 %61, 1023
%63 = add nsw i32 56320, %62
%64 = load i32*, i32** %10
%65 = getelementptr inbounds i32, i32* %64, i32 1
store i32* %65, i32** %10
store i32 %63, i32* %64
br label %66
66: ; preds = %55, %51
br label %67
67: ; preds = %66
br label %21
68: ; preds = %21
%69 = load i32*, i32** %10
%70 = load i32*, i32** %6
%71 = ptrtoint i32* %69 to i64
%72 = ptrtoint i32* %70 to i64
%73 = sub i64 %71, %72
%74 = sdiv exact i64 %73, 4
%75 = load i64*, i64** %7
store i64 %74, i64* %75
%76 = load i32, i32* %11
%77 = icmp ne i32 %76, 0
%78 = zext i1 %77 to i32
store i32 %78, i32* %5
br label %243
79: ; preds = %44
%80 = load i32, i32* %12
switch i32 %80, label %109 [
i32 34, label %81
i32 92, label %81
i32 47, label %81
i32 98, label %85
i32 102, label %88
i32 110, label %91
i32 114, label %94
i32 116, label %97
i32 117, label %100
]
81: ; preds = %79, %79, %79
%82 = load i32, i32* %12
%83 = load i32*, i32** %10
%84 = getelementptr inbounds i32, i32* %83, i32 1
store i32* %84, i32** %10
store i32 %82, i32* %83
br label %20
85: ; preds = %79
%86 = load i32*, i32** %10
%87 = getelementptr inbounds i32, i32* %86, i32 1
store i32* %87, i32** %10
store i32 8, i32* %86
br label %20
88: ; preds = %79
%89 = load i32*, i32** %10
%90 = getelementptr inbounds i32, i32* %89, i32 1
store i32* %90, i32** %10
store i32 12, i32* %89
br label %20
91: ; preds = %79
%92 = load i32*, i32** %10
%93 = getelementptr inbounds i32, i32* %92, i32 1
store i32* %93, i32** %10
store i32 10, i32* %92
br label %20
94: ; preds = %79
%95 = load i32*, i32** %10
%96 = getelementptr inbounds i32, i32* %95, i32 1
store i32* %96, i32** %10
store i32 13, i32* %95
br label %20
97: ; preds = %79
%98 = load i32*, i32** %10
%99 = getelementptr inbounds i32, i32* %98, i32 1
store i32* %99, i32** %10
store i32 9, i32* %98
br label %20
100: ; preds = %79
%101 = load i32*, i32** %8
%102 = load i32*, i32** %9
%103 = icmp uge i32* %101, %102
br i1 %103, label %104, label %105
104: ; preds = %100
store i32 -1, i32* %5
br label %243
105: ; preds = %100
%106 = load i32*, i32** %8
%107 = getelementptr inbounds i32, i32* %106, i32 1
store i32* %107, i32** %8
%108 = load i32, i32* %106
store i32 %108, i32* %12
br label %110
109: ; preds = %79
store i32 -1, i32* %5
br label %243
110: ; preds = %239, %105
%111 = load i32, i32* %12
%112 = call i32 @decode_hex(i32 %111)
store i32 %112, i32* %14
%113 = load i32, i32* %14
%114 = icmp eq i32 %113, 65535
br i1 %114, label %115, label %116
115: ; preds = %110
store i32 -1, i32* %5
br label %243
116: ; preds = %110
%117 = load i32, i32* %14
%118 = shl i32 %117, 12
store i32 %118, i32* %15
br label %119
119: ; preds = %116
%120 = load i32*, i32** %8
%121 = load i32*, i32** %9
%122 = icmp uge i32* %120, %121
br i1 %122, label %123, label %124
123: ; preds = %119
store i32 -1, i32* %5
br label %243
124: ; preds = %119
%125 = load i32*, i32** %8
%126 = getelementptr inbounds i32, i32* %125, i32 1
store i32* %126, i32** %8
%127 = load i32, i32* %125
store i32 %127, i32* %12
br label %128
128: ; preds = %124
%129 = load i32, i32* %12
%130 = call i32 @decode_hex(i32 %129)
store i32 %130, i32* %14
%131 = load i32, i32* %14
%132 = icmp eq i32 %131, 65535
br i1 %132, label %133, label %134
133: ; preds = %128
store i32 -1, i32* %5
br label %243
134: ; preds = %128
%135 = load i32, i32* %14
%136 = shl i32 %135, 8
%137 = load i32, i32* %15
%138 = or i32 %137, %136
store i32 %138, i32* %15
br label %139
139: ; preds = %134
%140 = load i32*, i32** %8
%141 = load i32*, i32** %9
%142 = icmp uge i32* %140, %141
br i1 %142, label %143, label %144
143: ; preds = %139
store i32 -1, i32* %5
br label %243
144: ; preds = %139
%145 = load i32*, i32** %8
%146 = getelementptr inbounds i32, i32* %145, i32 1
store i32* %146, i32** %8
%147 = load i32, i32* %145
store i32 %147, i32* %12
br label %148
148: ; preds = %144
%149 = load i32, i32* %12
%150 = call i32 @decode_hex(i32 %149)
store i32 %150, i32* %14
%151 = load i32, i32* %14
%152 = icmp eq i32 %151, 65535
br i1 %152, label %153, label %154
153: ; preds = %148
store i32 -1, i32* %5
br label %243
154: ; preds = %148
%155 = load i32, i32* %14
%156 = shl i32 %155, 4
%157 = load i32, i32* %15
%158 = or i32 %157, %156
store i32 %158, i32* %15
br label %159
159: ; preds = %154
%160 = load i32*, i32** %8
%161 = load i32*, i32** %9
%162 = icmp uge i32* %160, %161
br i1 %162, label %163, label %164
163: ; preds = %159
store i32 -1, i32* %5
br label %243
164: ; preds = %159
%165 = load i32*, i32** %8
%166 = getelementptr inbounds i32, i32* %165, i32 1
store i32* %166, i32** %8
%167 = load i32, i32* %165
store i32 %167, i32* %12
br label %168
168: ; preds = %164
%169 = load i32, i32* %12
%170 = call i32 @decode_hex(i32 %169)
store i32 %170, i32* %14
%171 = load i32, i32* %14
%172 = icmp eq i32 %171, 65535
br i1 %172, label %173, label %174
173: ; preds = %168
store i32 -1, i32* %5
br label %243
174: ; preds = %168
%175 = load i32, i32* %14
%176 = load i32, i32* %15
%177 = or i32 %176, %175
store i32 %177, i32* %15
br label %178
178: ; preds = %174
%179 = load i32, i32* %15
%180 = load i32*, i32** %10
%181 = getelementptr inbounds i32, i32* %180, i32 1
store i32* %181, i32** %10
store i32 %179, i32* %180
%182 = load i32, i32* %13
%183 = icmp ne i32 %182, 0
br i1 %183, label %184, label %192
184: ; preds = %178
%185 = load i32, i32* %15
%186 = icmp slt i32 %185, 56320
br i1 %186, label %190, label %187
187: ; preds = %184
%188 = load i32, i32* %15
%189 = icmp sgt i32 %188, 57343
br i1 %189, label %190, label %191
190: ; preds = %187, %184
store i32 -1, i32* %5
br label %243
191: ; preds = %187
store i32 0, i32* %13
br label %216
192: ; preds = %178
%193 = load i32, i32* %15
%194 = icmp sge i32 %193, 55296
br i1 %194, label %195, label %207
195: ; preds = %192
%196 = load i32, i32* %15
%197 = icmp sle i32 %196, 56319
br i1 %197, label %198, label %207
198: ; preds = %195
store i32 1, i32* %13
%199 = load i32*, i32** %8
%200 = load i32*, i32** %9
%201 = icmp uge i32* %199, %200
br i1 %201, label %202, label %203
202: ; preds = %198
store i32 -1, i32* %5
br label %243
203: ; preds = %198
%204 = load i32*, i32** %8
%205 = getelementptr inbounds i32, i32* %204, i32 1
store i32* %205, i32** %8
%206 = load i32, i32* %204
store i32 %206, i32* %12
br label %217
207: ; preds = %195, %192
%208 = load i32, i32* %15
%209 = icmp sge i32 %208, 56320
br i1 %209, label %210, label %214
210: ; preds = %207
%211 = load i32, i32* %15
%212 = icmp sle i32 %211, 57343
br i1 %212, label %213, label %214
213: ; preds = %210
store i32 -1, i32* %5
br label %243
214: ; preds = %210, %207
br label %215
215: ; preds = %214
br label %216
216: ; preds = %215, %191
br label %20
217: ; preds = %203
%218 = load i32, i32* %12
%219 = icmp ne i32 %218, 92
br i1 %219, label %220, label %221
220: ; preds = %217
store i32 -1, i32* %5
br label %243
221: ; preds = %217
%222 = load i32*, i32** %8
%223 = load i32*, i32** %9
%224 = icmp uge i32* %222, %223
br i1 %224, label %225, label %226
225: ; preds = %221
store i32 -1, i32* %5
br label %243
226: ; preds = %221
%227 = load i32*, i32** %8
%228 = getelementptr inbounds i32, i32* %227, i32 1
store i32* %228, i32** %8
%229 = load i32, i32* %227
store i32 %229, i32* %12
br label %230
230: ; preds = %226
%231 = load i32, i32* %12
%232 = icmp ne i32 %231, 117
br i1 %232, label %233, label %234
233: ; preds = %230
store i32 -1, i32* %5
br label %243
234: ; preds = %230
%235 = load i32*, i32** %8
%236 = load i32*, i32** %9
%237 = icmp uge i32* %235, %236
br i1 %237, label %238, label %239
238: ; preds = %234
store i32 -1, i32* %5
br label %243
239: ; preds = %234
%240 = load i32*, i32** %8
%241 = getelementptr inbounds i32, i32* %240, i32 1
store i32* %241, i32** %8
%242 = load i32, i32* %240
store i32 %242, i32* %12
br label %110
243: ; preds = %238, %233, %225, %220, %213, %202, %190, %173, %163, %153, %143, %133, %123, %115, %109, %104, %68, %43, %34
%244 = load i32, i32* %5
ret i32 %244
}

LLVM IR (-O2):
define i32 @_js_decode_string(i32* %0, i64* nocapture %1, i32* %2, i32* readnone %3) {
%5 = alloca i32
%6 = alloca i32
%7 = load i64, i64* %1
%8 = getelementptr inbounds i32, i32* %0, i64 %7
%9 = bitcast i32* %5 to i8*
store i32 0, i32* %5
%10 = bitcast i32* %6 to i8*
br label %11
11: ; preds = %37, %4
%12 = phi i32* [ %2, %4 ], [ %38, %37 ]
%13 = phi i32* [ %8, %4 ], [ %39, %37 ]
br label %14
14: ; preds = %11, %22
%15 = phi i32* [ %18, %22 ], [ %12, %11 ]
%16 = icmp ult i32* %15, %3
br i1 %16, label %17, label %48
17: ; preds = %14
%18 = getelementptr inbounds i32, i32* %15, i64 1
%19 = load i32, i32* %15
%20 = call i64 @decode(i32* %5, i32* %6, i32 %19)
%21 = icmp eq i64 %20, 0
br i1 %21, label %25, label %22
22: ; preds = %17
%23 = load i32, i32* %5
%24 = icmp eq i32 %23, 12
br i1 %24, label %151, label %14
25: ; preds = %17
%26 = load i32, i32* %6
%27 = icmp eq i32 %26, 92
br i1 %27, label %28, label %33
28: ; preds = %25
%29 = icmp ult i32* %18, %3
br i1 %29, label %30, label %151
30: ; preds = %28
%31 = getelementptr inbounds i32, i32* %15, i64 2
%32 = load i32, i32* %18
store i32 %32, i32* %6
switch i32 %32, label %151 [
i32 34, label %56
i32 92, label %56
i32 47, label %56
i32 98, label %57
i32 102, label %60
i32 110, label %61
i32 114, label %62
i32 116, label %63
i32 117, label %64
]
33: ; preds = %25
%34 = icmp slt i32 %26, 65536
br i1 %34, label %35, label %40
35: ; preds = %33
%36 = getelementptr inbounds i32, i32* %13, i64 1
store i32 %26, i32* %13
br label %37
37: ; preds = %35, %40, %57, %127, %131
%38 = phi i32* [ %18, %35 ], [ %18, %40 ], [ %132, %131 ], [ %123, %127 ], [ %31, %57 ]
%39 = phi i32* [ %36, %35 ], [ %47, %40 ], [ %134, %131 ], [ %129, %127 ], [ %59, %57 ]
br label %11
40: ; preds = %33
%41 = lshr i32 %26, 10
%42 = add nuw nsw i32 %41, 55232
%43 = getelementptr inbounds i32, i32* %13, i64 1
store i32 %42, i32* %13
%44 = load i32, i32* %6
%45 = and i32 %44, 1023
%46 = or i32 %45, 56320
%47 = getelementptr inbounds i32, i32* %13, i64 2
store i32 %46, i32* %43
br label %37
48: ; preds = %14
%49 = ptrtoint i32* %13 to i64
%50 = ptrtoint i32* %0 to i64
%51 = sub i64 %49, %50
%52 = ashr exact i64 %51, 2
store i64 %52, i64* %1
%53 = load i32, i32* %5
%54 = icmp ne i32 %53, 0
%55 = zext i1 %54 to i32
br label %151
56: ; preds = %30, %30, %30
br label %57
57: ; preds = %30, %63, %62, %61, %60, %56
%58 = phi i32 [ %32, %56 ], [ 12, %60 ], [ 10, %61 ], [ 13, %62 ], [ 9, %63 ], [ 8, %30 ]
%59 = getelementptr inbounds i32, i32* %13, i64 1
store i32 %58, i32* %13
br label %37
60: ; preds = %30
br label %57
61: ; preds = %30
br label %57
62: ; preds = %30
br label %57
63: ; preds = %30
br label %57
64: ; preds = %30
%65 = icmp ult i32* %31, %3
br i1 %65, label %66, label %151
66: ; preds = %64
%67 = getelementptr inbounds i32, i32* %15, i64 3
%68 = load i32, i32* %31
store i32 %68, i32* %6
%69 = call i32 @decode_hex(i32 %68)
%70 = icmp eq i32 %69, 65535
br i1 %70, label %151, label %71
71: ; preds = %66
%72 = shl i32 %69, 12
%73 = icmp ult i32* %67, %3
br i1 %73, label %104, label %151
74: ; preds = %145
%75 = getelementptr inbounds i32, i32* %15, i64 9
%76 = load i32, i32* %146
store i32 %76, i32* %6
%77 = call i32 @decode_hex(i32 %76)
%78 = icmp eq i32 %77, 65535
br i1 %78, label %151, label %79
79: ; preds = %74
%80 = shl i32 %77, 12
%81 = icmp ult i32* %75, %3
br i1 %81, label %82, label %151
82: ; preds = %79
%83 = getelementptr inbounds i32, i32* %15, i64 10
%84 = load i32, i32* %75
store i32 %84, i32* %6
%85 = call i32 @decode_hex(i32 %84)
%86 = icmp eq i32 %85, 65535
br i1 %86, label %151, label %87
87: ; preds = %82
%88 = shl i32 %85, 8
%89 = or i32 %88, %80
%90 = icmp ult i32* %83, %3
br i1 %90, label %91, label %151
91: ; preds = %87
%92 = getelementptr inbounds i32, i32* %15, i64 11
%93 = load i32, i32* %83
store i32 %93, i32* %6
%94 = call i32 @decode_hex(i32 %93)
%95 = icmp eq i32 %94, 65535
br i1 %95, label %151, label %96
96: ; preds = %91
%97 = shl i32 %94, 4
%98 = or i32 %89, %97
%99 = icmp ult i32* %92, %3
br i1 %99, label %100, label %151
100: ; preds = %96
%101 = load i32, i32* %92
store i32 %101, i32* %6
%102 = call i32 @decode_hex(i32 %101)
%103 = icmp eq i32 %102, 65535
br i1 %103, label %151, label %131
104: ; preds = %71
%105 = getelementptr inbounds i32, i32* %15, i64 4
%106 = load i32, i32* %67
store i32 %106, i32* %6
%107 = call i32 @decode_hex(i32 %106)
%108 = icmp eq i32 %107, 65535
br i1 %108, label %151, label %109
109: ; preds = %104
%110 = shl i32 %107, 8
%111 = or i32 %110, %72
%112 = icmp ult i32* %105, %3
br i1 %112, label %113, label %151
113: ; preds = %109
%114 = getelementptr inbounds i32, i32* %15, i64 5
%115 = load i32, i32* %105
store i32 %115, i32* %6
%116 = call i32 @decode_hex(i32 %115)
%117 = icmp eq i32 %116, 65535
br i1 %117, label %151, label %118
118: ; preds = %113
%119 = shl i32 %116, 4
%120 = or i32 %111, %119
%121 = icmp ult i32* %114, %3
br i1 %121, label %122, label %151
122: ; preds = %118
%123 = getelementptr inbounds i32, i32* %15, i64 6
%124 = load i32, i32* %114
store i32 %124, i32* %6
%125 = call i32 @decode_hex(i32 %124)
%126 = icmp eq i32 %125, 65535
br i1 %126, label %151, label %127
127: ; preds = %122
%128 = or i32 %120, %125
%129 = getelementptr inbounds i32, i32* %13, i64 1
store i32 %128, i32* %13
%130 = and i32 %128, -1024
switch i32 %130, label %37 [
i32 55296, label %137
i32 56320, label %151
]
131: ; preds = %100
%132 = getelementptr inbounds i32, i32* %15, i64 12
%133 = or i32 %98, %102
store i32 %133, i32* %129
%134 = getelementptr inbounds i32, i32* %13, i64 2
%135 = add i32 %133, -57344
%136 = icmp ult i32 %135, -1024
br i1 %136, label %151, label %37
137: ; preds = %127
%138 = icmp ult i32* %123, %3
br i1 %138, label %139, label %151
139: ; preds = %137
%140 = getelementptr inbounds i32, i32* %15, i64 7
%141 = load i32, i32* %123
%142 = icmp eq i32 %141, 92
%143 = icmp ult i32* %140, %3
%144 = select i1 %142, i1 %143, i1 false
br i1 %144, label %145, label %151
145: ; preds = %139
%146 = getelementptr inbounds i32, i32* %15, i64 8
%147 = load i32, i32* %140
%148 = icmp eq i32 %147, 117
%149 = icmp ult i32* %146, %3
%150 = select i1 %148, i1 %149, i1 false
br i1 %150, label %74, label %151
151: ; preds = %131, %30, %64, %28, %66, %74, %71, %104, %109, %113, %118, %122, %137, %139, %145, %127, %79, %82, %87, %91, %96, %100, %22, %48
%152 = phi i32 [ %55, %48 ], [ -1, %22 ], [ -1, %100 ], [ -1, %96 ], [ -1, %91 ], [ -1, %87 ], [ -1, %82 ], [ -1, %79 ], [ -1, %127 ], [ -1, %145 ], [ -1, %139 ], [ -1, %137 ], [ -1, %122 ], [ -1, %118 ], [ -1, %113 ], [ -1, %109 ], [ -1, %104 ], [ -1, %71 ], [ -1, %74 ], [ -1, %66 ], [ -1, %28 ], [ -1, %64 ], [ -1, %30 ], [ -1, %131 ]
ret i32 %152
}