// File: /workspace/github_cpp_makefile_star2_O3/lemire[P]validateutf8-experiments/benchmarks/fushia.h
// Function: fidl_validate_string(unsigned char const*, unsigned long)
fastvalidate::error_code fidl_validate_string(const unsigned char *data,
                                              uint64_t size) {
  uint64_t pos = 0;
  uint64_t next_pos = 0;
  uint32_t code_point = 0;
  while (pos < size) {
    // The following comparison relies on treating the byte as if it was an
    // unsigned 8-bit value. However, both signed and unsigned char are allowed
    // in the C++ spec, with x64 choosing signed, and arm64 choosing unsigned.
    // We therefore force the byte to be treated as unsigned, since we cannot
    // rely on the default.
    unsigned char byte = data[pos];
    if (byte < 0b10000000) {
      pos++;
      continue;
    } else if ((byte & 0b11100000) == 0b11000000) {
      next_pos = pos + 2;
      if (next_pos > size) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      if ((data[pos + 1] & 0b11000000) != 0b10000000) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      // range check
      code_point = (byte & 0b00011111) << 6 | (data[pos + 1] & 0b00111111);
      if (code_point < 0x80 || 0x7ff < code_point) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
    } else if ((byte & 0b11110000) == 0b11100000) {
      next_pos = pos + 3;
      if (next_pos > size) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      if ((data[pos + 1] & 0b11000000) != 0b10000000) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      if ((data[pos + 2] & 0b11000000) != 0b10000000) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      // range check
      code_point = (byte & 0b00001111) << 12 |
                   (data[pos + 1] & 0b00111111) << 6 |
                   (data[pos + 2] & 0b00111111);
      if (code_point < 0x800 || 0xffff < code_point ||
          (0xd7ff < code_point && code_point < 0xe000)) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
    } else if ((byte & 0b11111000) == 0b11110000) { // 0b11110000
      next_pos = pos + 4;
      if (next_pos > size) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      if ((data[pos + 1] & 0b11000000) != 0b10000000) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      if ((data[pos + 2] & 0b11000000) != 0b10000000) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      if ((data[pos + 3] & 0b11000000) != 0b10000000) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
      // range check
      code_point =
          (byte & 0b00000111) << 18 | (data[pos + 1] & 0b00111111) << 12 |
          (data[pos + 2] & 0b00111111) << 6 | (data[pos + 3] & 0b00111111);
      if (code_point < 0xffff || 0x10ffff < code_point) {
        return fastvalidate::error_code::UTF8_ERROR;
      }
    } else {
      // we may have a continuation
      return fastvalidate::error_code::UTF8_ERROR;
    }
    pos = next_pos;
  }
  return fastvalidate::error_code::SUCCESS;
}

// Assembly:
testq %rsi, %rsi
je 0x56d0
xorl %r8d, %r8d
movzbl (%rdi,%r8), %edx
testb %dl, %dl
js 0x5568
incq %r8
movq %r8, %rcx
jmp 0x56c4
movl %edx, %eax
andl $-0x20, %eax
cmpl $0xc0, %eax
jne 0x55a4
leaq 0x2(%r8), %rcx
movl $0x1, %eax
cmpq %rsi, %rcx
ja 0x56d2
testb $0x1e, %dl
je 0x56d2
movb 0x1(%rdi,%r8), %dl
andb $-0x40, %dl
negb %dl
jo 0x56c4
jmp 0x56d2
movl %edx, %eax
andl $-0x10, %eax
cmpl $0xe0, %eax
jne 0x562a
leaq 0x3(%r8), %rcx
movl $0x1, %eax
cmpq %rsi, %rcx
ja 0x56d2
movzbl 0x1(%rdi,%r8), %r9d
movl %r9d, %r10d
andl $-0x40, %r10d
cmpl $0x80, %r10d
jne 0x56d2
movb 0x2(%rdi,%r8), %r8b
andb $-0x40, %r8b
negb %r8b
jno 0x56d2
shll $0xc, %edx
movzwl %dx, %edx
andl $0x3f, %r9d
shll $0x6, %r9d
orl %edx, %r9d
cmpl $0x800, %r9d            # imm = 0x800
jb 0x56d2
cmpl $0xdfff, %edx           # imm = 0xDFFF
ja 0x56c4
cmpl $0xd7ff, %r9d           # imm = 0xD7FF
jbe 0x56c4
jmp 0x56d2
movl %edx, %ecx
andl $-0x8, %ecx
movl $0x1, %eax
cmpl $0xf0, %ecx
jne 0x56d2
leaq 0x4(%r8), %rcx
cmpq %rsi, %rcx
ja 0x56d2
movzbl 0x1(%rdi,%r8), %r9d
movl %r9d, %r10d
andl $-0x40, %r10d
cmpl $0x80, %r10d
jne 0x56d2
movzbl 0x2(%rdi,%r8), %r10d
movl %r10d, %r11d
andl $-0x40, %r11d
cmpl $0x80, %r11d
jne 0x56d2
movzbl 0x3(%rdi,%r8), %r8d
movl %r8d, %r11d
andl $-0x40, %r11d
cmpl $0x80, %r11d
jne 0x56d2
andl $0x7, %edx
shll $0x12, %edx
andl $0x3f, %r9d
shll $0xc, %r9d
orl %edx, %r9d
cmpl $0x10ffff, %r9d         # imm = 0x10FFFF
ja 0x56d2
andl $0x3f, %r10d
shll $0x6, %r10d
andl $0x3f, %r8d
orl %r10d, %r8d
orl %r9d, %r8d
cmpl $0xffff, %r8d           # imm = 0xFFFF
jb 0x56d2
movq %rcx, %r8
cmpq %rsi, %rcx
jb 0x5554
xorl %eax, %eax
retq