#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 */
#define MBSTRING_ASC 130
#define MBSTRING_BMP 129
#define MBSTRING_UNIV 128
int UTF8_getc(unsigned char const *, int, unsigned long *);
int traverse_string(const unsigned char *p, int len, int inform,
                    int (*rfunc)(unsigned long value, void *in), void *arg) {
  unsigned long value;
  int ret;
  while (len) {
    switch (inform) {
    case MBSTRING_ASC:
      value = *p++;
      len--;
      break;
    case MBSTRING_BMP:
      value = *p++ << 8;
      value |= *p++;
      if (((value) >= 0x00D800 && (value) <= 0x00DFFF))
        return -1;
      len -= 2;
      break;
    case MBSTRING_UNIV:
      value = (unsigned long)*p++ << 24;
      value |= *p++ << 16;
      value |= *p++ << 8;
      value |= *p++;
      if (value > 0x10FFFF || ((value) >= 0x00D800 && (value) <= 0x00DFFF))
        return -1;
      len -= 4;
      break;
    default:
      ret = UTF8_getc(p, len, &value);
      if (ret < 0)
        return -1;
      len -= ret;
      p += ret;
      break;
    }
    if (rfunc) {
      ret = rfunc(value, arg);
      if (ret <= 0)
        return ret;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<traverse_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1335 <traverse_string+0x225>
mov    -0x18(%rbp),%eax
mov    %eax,-0x38(%rbp)
sub    $0x80,%eax
je     11ff <traverse_string+0xef>
jmp    114a <traverse_string+0x3a>
mov    -0x38(%rbp),%eax
sub    $0x81,%eax
je     1194 <traverse_string+0x84>
jmp    115d <traverse_string+0x4d>
mov    -0x38(%rbp),%eax
sub    $0x82,%eax
jne    12b5 <traverse_string+0x1a5>
jmp    1170 <traverse_string+0x60>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    12fa <traverse_string+0x1ea>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
shl    $0x8,%eax
cltq
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0xd800,-0x30(%rbp)
jb     11f1 <traverse_string+0xe1>
cmpq   $0xdfff,-0x30(%rbp)
ja     11f1 <traverse_string+0xe1>
movl   $0xffffffff,-0x4(%rbp)
jmp    133c <traverse_string+0x22c>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    12fa <traverse_string+0x1ea>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
shl    $0x18,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
shl    $0x10,%eax
cltq
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
shl    $0x8,%eax
cltq
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x10ffff,-0x30(%rbp)
ja     129b <traverse_string+0x18b>
cmpq   $0xd800,-0x30(%rbp)
jb     12a7 <traverse_string+0x197>
cmpq   $0xdfff,-0x30(%rbp)
ja     12a7 <traverse_string+0x197>
movl   $0xffffffff,-0x4(%rbp)
jmp    133c <traverse_string+0x22c>
mov    -0x14(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    12fa <traverse_string+0x1ea>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
lea    -0x30(%rbp),%rdx
call   1030 <UTF8_getc@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jge    12de <traverse_string+0x1ce>
movl   $0xffffffff,-0x4(%rbp)
jmp    133c <traverse_string+0x22c>
mov    -0x34(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     1330 <traverse_string+0x220>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   *%rax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jg     132b <traverse_string+0x21b>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    133c <traverse_string+0x22c>
jmp    1330 <traverse_string+0x220>
jmp    112a <traverse_string+0x1a>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<traverse_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %esi,%esi
je     1259 <traverse_string+0x149>
mov    %r8,%r14
mov    %rcx,%r15
mov    %edx,%r12d
mov    %esi,%ebx
mov    %rdi,%rbp
mov    %rsp,%r13
jmp    116e <traverse_string+0x5e>
cs nopw 0x0(%rax,%rax,1)
movzbl 0x0(%rbp),%eax
add    $0x1,%rbp
mov    %rax,(%rsp)
add    $0xffffffff,%ebx
test   %r15,%r15
je     1166 <traverse_string+0x56>
mov    (%rsp),%rdi
mov    %r14,%rsi
call   *%r15
test   %eax,%eax
jle    125e <traverse_string+0x14e>
test   %ebx,%ebx
je     1259 <traverse_string+0x149>
cmp    $0x80,%r12d
je     11b0 <traverse_string+0xa0>
cmp    $0x81,%r12d
je     1220 <traverse_string+0x110>
cmp    $0x82,%r12d
je     1140 <traverse_string+0x30>
mov    %rbp,%rdi
mov    %ebx,%esi
mov    %r13,%rdx
call   1030 <UTF8_getc@plt>
test   %eax,%eax
js     126d <traverse_string+0x15d>
sub    %eax,%ebx
mov    %eax,%eax
add    %rax,%rbp
test   %r15,%r15
jne    1154 <traverse_string+0x44>
jmp    1166 <traverse_string+0x56>
movzbl 0x0(%rbp),%eax
shl    $0x18,%rax
mov    %rax,(%rsp)
movzbl 0x1(%rbp),%edx
shl    $0x10,%rdx
or     %rax,%rdx
mov    %rdx,(%rsp)
movzbl 0x2(%rbp),%ecx
shl    $0x8,%rcx
or     %rdx,%rcx
mov    %rcx,(%rsp)
movzbl 0x3(%rbp),%edx
or     %rcx,%rdx
mov    %rdx,(%rsp)
mov    $0xffffffff,%eax
cmp    $0x10ffff,%rdx
ja     125e <traverse_string+0x14e>
and    $0xfffff800,%ecx
cmp    $0xd800,%ecx
je     125e <traverse_string+0x14e>
add    $0x4,%rbp
add    $0xfffffffc,%ebx
test   %r15,%r15
jne    1154 <traverse_string+0x44>
jmp    1166 <traverse_string+0x56>
cs nopw 0x0(%rax,%rax,1)
movzbl 0x0(%rbp),%eax
mov    %rax,%rcx
shl    $0x8,%rcx
mov    %rcx,(%rsp)
movzbl 0x1(%rbp),%edx
or     %rcx,%rdx
mov    %rdx,(%rsp)
and    $0xfffffff8,%eax
cmp    $0xd8,%eax
je     126d <traverse_string+0x15d>
add    $0x2,%rbp
add    $0xfffffffe,%ebx
test   %r15,%r15
jne    1154 <traverse_string+0x44>
jmp    1166 <traverse_string+0x56>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0xffffffff,%eax
jmp    125e <traverse_string+0x14e>

LLVM IR (-O0):
define i32 @traverse_string(i8* %0, i32 %1, i32 %2, i32 (i64, i8*)* %3, i8* %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32 (i64, i8*)*
%11 = alloca i8*
%12 = alloca i64
%13 = alloca i32
store i8* %0, i8** %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 (i64, i8*)* %3, i32 (i64, i8*)** %10
store i8* %4, i8** %11
br label %14
14: ; preds = %116, %5
%15 = load i32, i32* %8
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %117
17: ; preds = %14
%18 = load i32, i32* %9
switch i32 %18, label %88 [
i32 130, label %19
i32 129, label %26
i32 128, label %48
]
19: ; preds = %17
%20 = load i8*, i8** %7
%21 = getelementptr inbounds i8, i8* %20, i32 1
store i8* %21, i8** %7
%22 = load i8, i8* %20
%23 = zext i8 %22 to i64
store i64 %23, i64* %12
%24 = load i32, i32* %8
%25 = add nsw i32 %24, -1
store i32 %25, i32* %8
br label %103
26: ; preds = %17
%27 = load i8*, i8** %7
%28 = getelementptr inbounds i8, i8* %27, i32 1
store i8* %28, i8** %7
%29 = load i8, i8* %27
%30 = zext i8 %29 to i32
%31 = shl i32 %30, 8
%32 = sext i32 %31 to i64
store i64 %32, i64* %12
%33 = load i8*, i8** %7
%34 = getelementptr inbounds i8, i8* %33, i32 1
store i8* %34, i8** %7
%35 = load i8, i8* %33
%36 = zext i8 %35 to i64
%37 = load i64, i64* %12
%38 = or i64 %37, %36
store i64 %38, i64* %12
%39 = load i64, i64* %12
%40 = icmp uge i64 %39, 55296
br i1 %40, label %41, label %45
41: ; preds = %26
%42 = load i64, i64* %12
%43 = icmp ule i64 %42, 57343
br i1 %43, label %44, label %45
44: ; preds = %41
store i32 -1, i32* %6
br label %118
45: ; preds = %41, %26
%46 = load i32, i32* %8
%47 = sub nsw i32 %46, 2
store i32 %47, i32* %8
br label %103
48: ; preds = %17
%49 = load i8*, i8** %7
%50 = getelementptr inbounds i8, i8* %49, i32 1
store i8* %50, i8** %7
%51 = load i8, i8* %49
%52 = zext i8 %51 to i64
%53 = shl i64 %52, 24
store i64 %53, i64* %12
%54 = load i8*, i8** %7
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %7
%56 = load i8, i8* %54
%57 = zext i8 %56 to i32
%58 = shl i32 %57, 16
%59 = sext i32 %58 to i64
%60 = load i64, i64* %12
%61 = or i64 %60, %59
store i64 %61, i64* %12
%62 = load i8*, i8** %7
%63 = getelementptr inbounds i8, i8* %62, i32 1
store i8* %63, i8** %7
%64 = load i8, i8* %62
%65 = zext i8 %64 to i32
%66 = shl i32 %65, 8
%67 = sext i32 %66 to i64
%68 = load i64, i64* %12
%69 = or i64 %68, %67
store i64 %69, i64* %12
%70 = load i8*, i8** %7
%71 = getelementptr inbounds i8, i8* %70, i32 1
store i8* %71, i8** %7
%72 = load i8, i8* %70
%73 = zext i8 %72 to i64
%74 = load i64, i64* %12
%75 = or i64 %74, %73
store i64 %75, i64* %12
%76 = load i64, i64* %12
%77 = icmp ugt i64 %76, 1114111
br i1 %77, label %84, label %78
78: ; preds = %48
%79 = load i64, i64* %12
%80 = icmp uge i64 %79, 55296
br i1 %80, label %81, label %85
81: ; preds = %78
%82 = load i64, i64* %12
%83 = icmp ule i64 %82, 57343
br i1 %83, label %84, label %85
84: ; preds = %81, %48
store i32 -1, i32* %6
br label %118
85: ; preds = %81, %78
%86 = load i32, i32* %8
%87 = sub nsw i32 %86, 4
store i32 %87, i32* %8
br label %103
88: ; preds = %17
%89 = load i8*, i8** %7
%90 = load i32, i32* %8
%91 = call i32 @UTF8_getc(i8* %89, i32 %90, i64* %12)
store i32 %91, i32* %13
%92 = load i32, i32* %13
%93 = icmp slt i32 %92, 0
br i1 %93, label %94, label %95
94: ; preds = %88
store i32 -1, i32* %6
br label %118
95: ; preds = %88
%96 = load i32, i32* %13
%97 = load i32, i32* %8
%98 = sub nsw i32 %97, %96
store i32 %98, i32* %8
%99 = load i32, i32* %13
%100 = load i8*, i8** %7
%101 = sext i32 %99 to i64
%102 = getelementptr inbounds i8, i8* %100, i64 %101
store i8* %102, i8** %7
br label %103
103: ; preds = %95, %85, %45, %19
%104 = load i32 (i64, i8*)*, i32 (i64, i8*)** %10
%105 = icmp ne i32 (i64, i8*)* %104, null
br i1 %105, label %106, label %116
106: ; preds = %103
%107 = load i32 (i64, i8*)*, i32 (i64, i8*)** %10
%108 = load i64, i64* %12
%109 = load i8*, i8** %11
%110 = call i32 %107(i64 %108, i8* %109)
store i32 %110, i32* %13
%111 = load i32, i32* %13
%112 = icmp sle i32 %111, 0
br i1 %112, label %113, label %115
113: ; preds = %106
%114 = load i32, i32* %13
store i32 %114, i32* %6
br label %118
115: ; preds = %106
br label %116
116: ; preds = %115, %103
br label %14
117: ; preds = %14
store i32 1, i32* %6
br label %118
118: ; preds = %117, %113, %94, %84, %44
%119 = load i32, i32* %6
ret i32 %119
}

LLVM IR (-O2):
define i32 @traverse_string(i8* %0, i32 %1, i32 %2, i32 (i64, i8*)* %3, i8* %4) {
%6 = alloca i64
%7 = bitcast i64* %6 to i8*
%8 = icmp eq i32 %1, 0
br i1 %8, label %73, label %9
9: ; preds = %5
%10 = icmp eq i32 (i64, i8*)* %3, null
br label %11
11: ; preds = %9, %71
%12 = phi i8* [ %0, %9 ], [ %66, %71 ]
%13 = phi i32 [ %1, %9 ], [ %65, %71 ]
switch i32 %2, label %57 [
i32 130, label %14
i32 129, label %19
i32 128, label %32
]
14: ; preds = %11
%15 = getelementptr inbounds i8, i8* %12, i64 1
%16 = load i8, i8* %12
%17 = zext i8 %16 to i64
store i64 %17, i64* %6
%18 = add nsw i32 %13, -1
br label %64
19: ; preds = %11
%20 = getelementptr inbounds i8, i8* %12, i64 1
%21 = load i8, i8* %12
%22 = zext i8 %21 to i64
%23 = shl nuw nsw i64 %22, 8
store i64 %23, i64* %6
%24 = load i8, i8* %20
%25 = zext i8 %24 to i64
%26 = or i64 %23, %25
store i64 %26, i64* %6
%27 = and i64 %22, 248
%28 = icmp eq i64 %27, 216
br i1 %28, label %73, label %29
29: ; preds = %19
%30 = getelementptr inbounds i8, i8* %12, i64 2
%31 = add nsw i32 %13, -2
br label %64
32: ; preds = %11
%33 = getelementptr inbounds i8, i8* %12, i64 1
%34 = load i8, i8* %12
%35 = zext i8 %34 to i64
%36 = shl nuw nsw i64 %35, 24
store i64 %36, i64* %6
%37 = getelementptr inbounds i8, i8* %12, i64 2
%38 = load i8, i8* %33
%39 = zext i8 %38 to i64
%40 = shl nuw nsw i64 %39, 16
%41 = or i64 %40, %36
store i64 %41, i64* %6
%42 = getelementptr inbounds i8, i8* %12, i64 3
%43 = load i8, i8* %37
%44 = zext i8 %43 to i64
%45 = shl nuw nsw i64 %44, 8
%46 = or i64 %45, %41
store i64 %46, i64* %6
%47 = load i8, i8* %42
%48 = zext i8 %47 to i64
%49 = or i64 %46, %48
store i64 %49, i64* %6
%50 = icmp ugt i64 %49, 1114111
%51 = and i64 %46, 4294965248
%52 = icmp eq i64 %51, 55296
%53 = or i1 %50, %52
br i1 %53, label %73, label %54
54: ; preds = %32
%55 = getelementptr inbounds i8, i8* %12, i64 4
%56 = add nsw i32 %13, -4
br label %64
57: ; preds = %11
%58 = call i32 @UTF8_getc(i8* %12, i32 %13, i64* %6)
%59 = icmp slt i32 %58, 0
br i1 %59, label %73, label %60
60: ; preds = %57
%61 = sub nsw i32 %13, %58
%62 = zext i32 %58 to i64
%63 = getelementptr inbounds i8, i8* %12, i64 %62
br label %64
64: ; preds = %60, %54, %29, %14
%65 = phi i32 [ %61, %60 ], [ %56, %54 ], [ %31, %29 ], [ %18, %14 ]
%66 = phi i8* [ %63, %60 ], [ %55, %54 ], [ %30, %29 ], [ %15, %14 ]
br i1 %10, label %71, label %67
67: ; preds = %64
%68 = load i64, i64* %6
%69 = call i32 %3(i64 %68, i8* %4)
%70 = icmp slt i32 %69, 1
br i1 %70, label %73, label %71
71: ; preds = %67, %64
%72 = icmp eq i32 %65, 0
br i1 %72, label %73, label %11
73: ; preds = %19, %32, %57, %67, %71, %5
%74 = phi i32 [ 1, %5 ], [ 1, %71 ], [ %69, %67 ], [ -1, %57 ], [ -1, %32 ], [ -1, %19 ]
ret i32 %74
}