#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 = *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     1336 <traverse_string+0x226>
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    12b6 <traverse_string+0x1a6>
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    12fb <traverse_string+0x1eb>
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    133d <traverse_string+0x22d>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    12fb <traverse_string+0x1eb>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
shl    $0x18,%eax
cltq
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     129c <traverse_string+0x18c>
cmpq   $0xd800,-0x30(%rbp)
jb     12a8 <traverse_string+0x198>
cmpq   $0xdfff,-0x30(%rbp)
ja     12a8 <traverse_string+0x198>
movl   $0xffffffff,-0x4(%rbp)
jmp    133d <traverse_string+0x22d>
mov    -0x14(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    12fb <traverse_string+0x1eb>
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    12df <traverse_string+0x1cf>
movl   $0xffffffff,-0x4(%rbp)
jmp    133d <traverse_string+0x22d>
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     1331 <traverse_string+0x221>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   *%rax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jg     132c <traverse_string+0x21c>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    133d <traverse_string+0x22d>
jmp    1331 <traverse_string+0x221>
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,%eax
cltq
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    $0xfffffffffffff800,%rcx
cmp    $0xd800,%rcx
je     125e <traverse_string+0x14e>
add    $0x4,%rbp
add    $0xfffffffc,%ebx
test   %r15,%r15
jne    1154 <traverse_string+0x44>
jmp    1166 <traverse_string+0x56>
nopl   0x0(%rax)
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 = %117, %5
%15 = load i32, i32* %8
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %118
17: ; preds = %14
%18 = load i32, i32* %9
switch i32 %18, label %89 [
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 %104
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 %119
45: ; preds = %41, %26
%46 = load i32, i32* %8
%47 = sub nsw i32 %46, 2
store i32 %47, i32* %8
br label %104
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 i32
%53 = shl i32 %52, 24
%54 = sext i32 %53 to i64
store i64 %54, i64* %12
%55 = load i8*, i8** %7
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %7
%57 = load i8, i8* %55
%58 = zext i8 %57 to i32
%59 = shl i32 %58, 16
%60 = sext i32 %59 to i64
%61 = load i64, i64* %12
%62 = or i64 %61, %60
store i64 %62, i64* %12
%63 = load i8*, i8** %7
%64 = getelementptr inbounds i8, i8* %63, i32 1
store i8* %64, i8** %7
%65 = load i8, i8* %63
%66 = zext i8 %65 to i32
%67 = shl i32 %66, 8
%68 = sext i32 %67 to i64
%69 = load i64, i64* %12
%70 = or i64 %69, %68
store i64 %70, i64* %12
%71 = load i8*, i8** %7
%72 = getelementptr inbounds i8, i8* %71, i32 1
store i8* %72, i8** %7
%73 = load i8, i8* %71
%74 = zext i8 %73 to i64
%75 = load i64, i64* %12
%76 = or i64 %75, %74
store i64 %76, i64* %12
%77 = load i64, i64* %12
%78 = icmp ugt i64 %77, 1114111
br i1 %78, label %85, label %79
79: ; preds = %48
%80 = load i64, i64* %12
%81 = icmp uge i64 %80, 55296
br i1 %81, label %82, label %86
82: ; preds = %79
%83 = load i64, i64* %12
%84 = icmp ule i64 %83, 57343
br i1 %84, label %85, label %86
85: ; preds = %82, %48
store i32 -1, i32* %6
br label %119
86: ; preds = %82, %79
%87 = load i32, i32* %8
%88 = sub nsw i32 %87, 4
store i32 %88, i32* %8
br label %104
89: ; preds = %17
%90 = load i8*, i8** %7
%91 = load i32, i32* %8
%92 = call i32 @UTF8_getc(i8* %90, i32 %91, i64* %12)
store i32 %92, i32* %13
%93 = load i32, i32* %13
%94 = icmp slt i32 %93, 0
br i1 %94, label %95, label %96
95: ; preds = %89
store i32 -1, i32* %6
br label %119
96: ; preds = %89
%97 = load i32, i32* %13
%98 = load i32, i32* %8
%99 = sub nsw i32 %98, %97
store i32 %99, i32* %8
%100 = load i32, i32* %13
%101 = load i8*, i8** %7
%102 = sext i32 %100 to i64
%103 = getelementptr inbounds i8, i8* %101, i64 %102
store i8* %103, i8** %7
br label %104
104: ; preds = %96, %86, %45, %19
%105 = load i32 (i64, i8*)*, i32 (i64, i8*)** %10
%106 = icmp ne i32 (i64, i8*)* %105, null
br i1 %106, label %107, label %117
107: ; preds = %104
%108 = load i32 (i64, i8*)*, i32 (i64, i8*)** %10
%109 = load i64, i64* %12
%110 = load i8*, i8** %11
%111 = call i32 %108(i64 %109, i8* %110)
store i32 %111, i32* %13
%112 = load i32, i32* %13
%113 = icmp sle i32 %112, 0
br i1 %113, label %114, label %116
114: ; preds = %107
%115 = load i32, i32* %13
store i32 %115, i32* %6
br label %119
116: ; preds = %107
br label %117
117: ; preds = %116, %104
br label %14
118: ; preds = %14
store i32 1, i32* %6
br label %119
119: ; preds = %118, %114, %95, %85, %44
%120 = load i32, i32* %6
ret i32 %120
}

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 %74, label %9
9: ; preds = %5
%10 = icmp eq i32 (i64, i8*)* %3, null
br label %11
11: ; preds = %9, %72
%12 = phi i8* [ %0, %9 ], [ %67, %72 ]
%13 = phi i32 [ %1, %9 ], [ %66, %72 ]
switch i32 %2, label %58 [
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 %65
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 %74, label %29
29: ; preds = %19
%30 = getelementptr inbounds i8, i8* %12, i64 2
%31 = add nsw i32 %13, -2
br label %65
32: ; preds = %11
%33 = getelementptr inbounds i8, i8* %12, i64 1
%34 = load i8, i8* %12
%35 = zext i8 %34 to i32
%36 = shl nuw i32 %35, 24
%37 = sext i32 %36 to i64
store i64 %37, i64* %6
%38 = getelementptr inbounds i8, i8* %12, i64 2
%39 = load i8, i8* %33
%40 = zext i8 %39 to i64
%41 = shl nuw nsw i64 %40, 16
%42 = or i64 %41, %37
store i64 %42, i64* %6
%43 = getelementptr inbounds i8, i8* %12, i64 3
%44 = load i8, i8* %38
%45 = zext i8 %44 to i64
%46 = shl nuw nsw i64 %45, 8
%47 = or i64 %46, %42
store i64 %47, i64* %6
%48 = load i8, i8* %43
%49 = zext i8 %48 to i64
%50 = or i64 %47, %49
store i64 %50, i64* %6
%51 = icmp ugt i64 %50, 1114111
%52 = and i64 %47, -2048
%53 = icmp eq i64 %52, 55296
%54 = or i1 %51, %53
br i1 %54, label %74, label %55
55: ; preds = %32
%56 = getelementptr inbounds i8, i8* %12, i64 4
%57 = add nsw i32 %13, -4
br label %65
58: ; preds = %11
%59 = call i32 @UTF8_getc(i8* %12, i32 %13, i64* %6)
%60 = icmp slt i32 %59, 0
br i1 %60, label %74, label %61
61: ; preds = %58
%62 = sub nsw i32 %13, %59
%63 = zext i32 %59 to i64
%64 = getelementptr inbounds i8, i8* %12, i64 %63
br label %65
65: ; preds = %61, %55, %29, %14
%66 = phi i32 [ %62, %61 ], [ %57, %55 ], [ %31, %29 ], [ %18, %14 ]
%67 = phi i8* [ %64, %61 ], [ %56, %55 ], [ %30, %29 ], [ %15, %14 ]
br i1 %10, label %72, label %68
68: ; preds = %65
%69 = load i64, i64* %6
%70 = call i32 %3(i64 %69, i8* %4)
%71 = icmp slt i32 %70, 1
br i1 %71, label %74, label %72
72: ; preds = %68, %65
%73 = icmp eq i32 %66, 0
br i1 %73, label %74, label %11
74: ; preds = %19, %32, %58, %68, %72, %5
%75 = phi i32 [ 1, %5 ], [ 1, %72 ], [ %70, %68 ], [ -1, %58 ], [ -1, %32 ], [ -1, %19 ]
ret i32 %75
}