// File: /workspace/github_cpp_makefile_star2_O1/lvandeve[P]base256/base256.cpp
// Function: JSONString::encodeChar[abi:cxx11](unsigned char, unsigned char, unsigned char)
std::string encodeChar(unsigned char c, unsigned char prev, unsigned char next) {
    if(c == '\b') return "\\b";
    if(c == '\f') return "\\f";
    if(c == '\n') return "\\n";
    if(c == '\r') return "\\r";
    if(c == '\t') return "\\t";
    if(c == '\\') return "\\\\";
    if(c == '\"') return "\\\"";
    if(c >= 32 && c < 127) {
      std::string result;
      result += c;
      return result;
    }
    static const std::string hex = "0123456789ABCDEF";
    int h0 = (c >> 4) & 15;
    int h1 = (c >> 0) & 15;
    std::string result = "\\u00";
    result += hex[h0];
    result += hex[h1];
    return result;
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movl %edx, %r14d
movq %rdi, %rbx
leal -0x8(%r14), %eax
cmpl $0x5, %eax
ja 0xecd6
leaq 0x23b9(%rip), %rcx      # 0x1106c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x39b7(%rip), %rsi      # 0x12681
leaq 0x39b2(%rip), %rdx      # 0x12683
jmp 0xed9e
cmpl $0x22, %r14d
je 0xed89
cmpl $0x5c, %r14d
jne 0xed00
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x399f(%rip), %rsi      # 0x12693
leaq 0x399a(%rip), %rdx      # 0x12695
jmp 0xed9e
leal -0x20(%r14), %eax
cmpb $0x5e, %al
ja 0xedaf
leaq 0x10(%rbx), %r15
movq %r15, (%rbx)
movq $0x0, 0x8(%rbx)
movb $0x0, 0x10(%rbx)
movsbl %r14b, %esi
movq %rbx, %rdi
callq 0x51f0
jmp 0xeda6
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x3952(%rip), %rsi      # 0x1268d
leaq 0x394d(%rip), %rdx      # 0x1268f
jmp 0xed9e
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x3935(%rip), %rsi      # 0x12687
leaq 0x3930(%rip), %rdx      # 0x12689
jmp 0xed9e
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x391b(%rip), %rsi      # 0x12684
leaq 0x3916(%rip), %rdx      # 0x12686
jmp 0xed9e
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x390a(%rip), %rsi      # 0x1268a
leaq 0x3905(%rip), %rdx      # 0x1268c
jmp 0xed9e
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x38ff(%rip), %rsi      # 0x12696
leaq 0x38fa(%rip), %rdx      # 0x12698
movq %rbx, %rdi
callq 0xc264
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
movb 0x9db3(%rip), %al       # 0x18b68
testb %al, %al
je 0xee09
leaq 0x10(%rbx), %r15
movq %r15, (%rbx)
leaq 0x3907(%rip), %rsi      # 0x126ce
leaq 0x3904(%rip), %rdx      # 0x126d2
movq %rbx, %rdi
callq 0xc264
movl %r14d, %eax
shrl $0x4, %eax
movq 0x9d65(%rip), %rcx      # 0x18b48
movsbl (%rcx,%rax), %esi
movq %rbx, %rdi
callq 0x51f0
andl $0xf, %r14d
movq 0x9d4e(%rip), %rax      # 0x18b48
movsbl (%rax,%r14), %esi
movq %rbx, %rdi
callq 0x51f0
jmp 0xeda6
leaq 0x9d58(%rip), %rdi      # 0x18b68
callq 0x5400
testl %eax, %eax
je 0xedb9
leaq 0x9d38(%rip), %rax      # 0x18b58
movq %rax, 0x9d21(%rip)      # 0x18b48
leaq 0x9d1a(%rip), %rdi      # 0x18b48
leaq 0x3810(%rip), %rsi      # 0x12645
leaq 0x3819(%rip), %rdx      # 0x12655
callq 0xc264
movq 0x9158(%rip), %rdi      # 0x17fa0
leaq 0x9cf9(%rip), %rsi      # 0x18b48
leaq 0x93d2(%rip), %rdx      # 0x18228
callq 0x5200
leaq 0x9d06(%rip), %rdi      # 0x18b68
callq 0x5170
jmp 0xedb9
movq %rax, %r14
leaq 0x9cf2(%rip), %rdi      # 0x18b68
callq 0x5160
jmp 0xee8f
jmp 0xee7f
movq %rax, %r14
movq (%rbx), %rdi
cmpq %r15, %rdi
je 0xee8f
callq 0x5210
movq %r14, %rdi
callq 0x53e0
nop