#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 */
int MBSTRING_ASC;
int MBSTRING_BMP;
int MBSTRING_UNIV;
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) {
    if (inform == MBSTRING_ASC) {
      value = *p++;
      len--;
    } else if (inform == MBSTRING_BMP) {
      value = *p++ << 8;
      value |= *p++;
      if (((value) >= 0x00D800 && (value) <= 0x00DFFF))
        return -1;
      len -= 2;
    } else if (inform == MBSTRING_UNIV) {
      value = ((unsigned long)*p++) << 24;
      value |= ((unsigned long)*p++) << 16;
      value |= *p++ << 8;
      value |= *p++;
      if (value > 0x10FFFF || ((value) >= 0x00D800 && (value) <= 0x00DFFF))
        return -1;
      len -= 4;
    } else {
      ret = UTF8_getc(p, len, &value);
      if (ret < 0)
        return -1;
      len -= ret;
      p += ret;
    }
    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     1338 <traverse_string+0x228>
mov    -0x18(%rbp),%eax
mov    0x2e9a(%rip),%rcx
cmp    (%rcx),%eax
jne    116a <traverse_string+0x5a>
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    12fd <traverse_string+0x1ed>
mov    -0x18(%rbp),%eax
mov    0x2e6c(%rip),%rcx
cmp    (%rcx),%eax
jne    11e7 <traverse_string+0xd7>
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     11d9 <traverse_string+0xc9>
cmpq   $0xdfff,-0x30(%rbp)
ja     11d9 <traverse_string+0xc9>
movl   $0xffffffff,-0x4(%rbp)
jmp    133f <traverse_string+0x22f>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    12f8 <traverse_string+0x1e8>
mov    -0x18(%rbp),%eax
mov    0x2dff(%rip),%rcx
cmp    (%rcx),%eax
jne    12ae <traverse_string+0x19e>
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,%rax
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     1294 <traverse_string+0x184>
cmpq   $0xd800,-0x30(%rbp)
jb     12a0 <traverse_string+0x190>
cmpq   $0xdfff,-0x30(%rbp)
ja     12a0 <traverse_string+0x190>
movl   $0xffffffff,-0x4(%rbp)
jmp    133f <traverse_string+0x22f>
mov    -0x14(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    12f3 <traverse_string+0x1e3>
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    12d7 <traverse_string+0x1c7>
movl   $0xffffffff,-0x4(%rbp)
jmp    133f <traverse_string+0x22f>
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)
jmp    12f8 <traverse_string+0x1e8>
jmp    12fd <traverse_string+0x1ed>
cmpq   $0x0,-0x20(%rbp)
je     1333 <traverse_string+0x223>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   *%rax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jg     132e <traverse_string+0x21e>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    133f <traverse_string+0x22f>
jmp    1333 <traverse_string+0x223>
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     1258 <traverse_string+0x148>
mov    %r8,%r14
mov    %rcx,%r15
mov    %edx,%r12d
mov    %esi,%ebx
mov    %rdi,%rbp
mov    0x2ea0(%rip),%r13
jmp    116e <traverse_string+0x5e>
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    125d <traverse_string+0x14d>
test   %ebx,%ebx
je     1258 <traverse_string+0x148>
cmp    %r12d,0x0(%r13)
je     1140 <traverse_string+0x30>
mov    0x2e65(%rip),%rax
cmp    %r12d,(%rax)
jne    11c0 <traverse_string+0xb0>
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     126c <traverse_string+0x15c>
add    $0x2,%rbp
add    $0xfffffffe,%ebx
test   %r15,%r15
jne    1154 <traverse_string+0x44>
jmp    1166 <traverse_string+0x56>
cs nopw 0x0(%rax,%rax,1)
mov    0x2e29(%rip),%rax
cmp    %r12d,(%rax)
jne    1232 <traverse_string+0x122>
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     125d <traverse_string+0x14d>
and    $0xfffff800,%ecx
cmp    $0xd800,%ecx
je     125d <traverse_string+0x14d>
add    $0x4,%rbp
add    $0xfffffffc,%ebx
test   %r15,%r15
jne    1154 <traverse_string+0x44>
jmp    1166 <traverse_string+0x56>
mov    %rbp,%rdi
mov    %ebx,%esi
mov    %rsp,%rdx
call   1030 <UTF8_getc@plt>
test   %eax,%eax
js     126c <traverse_string+0x15c>
sub    %eax,%ebx
mov    %eax,%eax
add    %rax,%rbp
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    125d <traverse_string+0x14d>

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

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