#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++;
      len -= 2;
    } else if (inform == MBSTRING_UNIV) {
      value = ((unsigned long)*p++) << 24;
      value |= ((unsigned long)*p++) << 16;
      value |= *p++ << 8;
      value |= *p++;
      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     12da <traverse_string+0x1ca>
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    129f <traverse_string+0x18f>
mov    -0x18(%rbp),%eax
mov    0x2e6c(%rip),%rcx
cmp    (%rcx),%eax
jne    11bf <traverse_string+0xaf>
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)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    129a <traverse_string+0x18a>
mov    -0x18(%rbp),%eax
mov    0x2e27(%rip),%rcx
cmp    (%rcx),%eax
jne    1250 <traverse_string+0x140>
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)
mov    -0x14(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    1295 <traverse_string+0x185>
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    1279 <traverse_string+0x169>
movl   $0xffffffff,-0x4(%rbp)
jmp    12e1 <traverse_string+0x1d1>
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    129a <traverse_string+0x18a>
jmp    129f <traverse_string+0x18f>
cmpq   $0x0,-0x20(%rbp)
je     12d5 <traverse_string+0x1c5>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   *%rax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jg     12d0 <traverse_string+0x1c0>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12e1 <traverse_string+0x1d1>
jmp    12d5 <traverse_string+0x1c5>
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
mov    $0x1,%eax
test   %esi,%esi
je     1249 <traverse_string+0x139>
mov    %r8,%r15
mov    %rcx,%r12
mov    %edx,%r13d
mov    %esi,%ebp
mov    %rdi,%rbx
mov    0x2e9b(%rip),%r14
jmp    1148 <traverse_string+0x38>
nop
test   %ebp,%ebp
je     1244 <traverse_string+0x134>
cmp    %r13d,(%r14)
jne    1170 <traverse_string+0x60>
movzbl (%rbx),%eax
add    $0x1,%rbx
mov    %rax,(%rsp)
add    $0xffffffff,%ebp
test   %r12,%r12
jne    1230 <traverse_string+0x120>
jmp    1140 <traverse_string+0x30>
cs nopw 0x0(%rax,%rax,1)
mov    0x2e69(%rip),%rax
cmp    %r13d,(%rax)
jne    11b0 <traverse_string+0xa0>
movzbl (%rbx),%eax
shl    $0x8,%rax
mov    %rax,(%rsp)
movzbl 0x1(%rbx),%ecx
add    $0x2,%rbx
or     %rax,%rcx
mov    %rcx,(%rsp)
add    $0xfffffffe,%ebp
test   %r12,%r12
jne    1230 <traverse_string+0x120>
jmp    1140 <traverse_string+0x30>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x2e39(%rip),%rax
cmp    %r13d,(%rax)
jne    1201 <traverse_string+0xf1>
movzbl (%rbx),%eax
shl    $0x18,%rax
mov    %rax,(%rsp)
movzbl 0x1(%rbx),%ecx
shl    $0x10,%rcx
or     %rax,%rcx
mov    %rcx,(%rsp)
movzbl 0x2(%rbx),%eax
shl    $0x8,%rax
or     %rcx,%rax
mov    %rax,(%rsp)
movzbl 0x3(%rbx),%ecx
add    $0x4,%rbx
or     %rax,%rcx
mov    %rcx,(%rsp)
add    $0xfffffffc,%ebp
test   %r12,%r12
jne    1230 <traverse_string+0x120>
jmp    1140 <traverse_string+0x30>
mov    %rbx,%rdi
mov    %ebp,%esi
mov    %rsp,%rdx
call   1030 <UTF8_getc@plt>
test   %eax,%eax
js     1258 <traverse_string+0x148>
sub    %eax,%ebp
mov    %eax,%eax
add    %rax,%rbx
test   %r12,%r12
je     1140 <traverse_string+0x30>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rsp),%rdi
mov    %r15,%rsi
call   *%r12
test   %eax,%eax
jg     1140 <traverse_string+0x30>
jmp    1249 <traverse_string+0x139>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0xffffffff,%eax
jmp    1249 <traverse_string+0x139>

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 = %110, %5
%15 = load i32, i32* %8
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %111
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 %97
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 %47
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 i32, i32* %8
%46 = sub nsw i32 %45, 2
store i32 %46, i32* %8
br label %96
47: ; preds = %28
%48 = load i32, i32* %9
%49 = load i32, i32* @MBSTRING_UNIV
%50 = icmp eq i32 %48, %49
br i1 %50, label %51, label %80
51: ; preds = %47
%52 = load i8*, i8** %7
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %7
%54 = load i8, i8* %52
%55 = zext i8 %54 to i64
%56 = shl i64 %55, 24
store i64 %56, i64* %12
%57 = load i8*, i8** %7
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %7
%59 = load i8, i8* %57
%60 = zext i8 %59 to i64
%61 = shl i64 %60, 16
%62 = load i64, i64* %12
%63 = or i64 %62, %61
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 i32
%68 = shl i32 %67, 8
%69 = sext i32 %68 to i64
%70 = load i64, i64* %12
%71 = or i64 %70, %69
store i64 %71, i64* %12
%72 = load i8*, i8** %7
%73 = getelementptr inbounds i8, i8* %72, i32 1
store i8* %73, i8** %7
%74 = load i8, i8* %72
%75 = zext i8 %74 to i64
%76 = load i64, i64* %12
%77 = or i64 %76, %75
store i64 %77, i64* %12
%78 = load i32, i32* %8
%79 = sub nsw i32 %78, 4
store i32 %79, i32* %8
br label %95
80: ; preds = %47
%81 = load i8*, i8** %7
%82 = load i32, i32* %8
%83 = call i32 @UTF8_getc(i8* %81, i32 %82, i64* %12)
store i32 %83, i32* %13
%84 = load i32, i32* %13
%85 = icmp slt i32 %84, 0
br i1 %85, label %86, label %87
86: ; preds = %80
store i32 -1, i32* %6
br label %112
87: ; preds = %80
%88 = load i32, i32* %13
%89 = load i32, i32* %8
%90 = sub nsw i32 %89, %88
store i32 %90, i32* %8
%91 = load i32, i32* %13
%92 = load i8*, i8** %7
%93 = sext i32 %91 to i64
%94 = getelementptr inbounds i8, i8* %92, i64 %93
store i8* %94, i8** %7
br label %95
95: ; preds = %87, %51
br label %96
96: ; preds = %95, %32
br label %97
97: ; preds = %96, %21
%98 = load i32 (i64, i8*)*, i32 (i64, i8*)** %10
%99 = icmp ne i32 (i64, i8*)* %98, null
br i1 %99, label %100, label %110
100: ; preds = %97
%101 = load i32 (i64, i8*)*, i32 (i64, i8*)** %10
%102 = load i64, i64* %12
%103 = load i8*, i8** %11
%104 = call i32 %101(i64 %102, i8* %103)
store i32 %104, i32* %13
%105 = load i32, i32* %13
%106 = icmp sle i32 %105, 0
br i1 %106, label %107, label %109
107: ; preds = %100
%108 = load i32, i32* %13
store i32 %108, i32* %6
br label %112
109: ; preds = %100
br label %110
110: ; preds = %109, %97
br label %14
111: ; preds = %14
store i32 1, i32* %6
br label %112
112: ; preds = %111, %107, %86
%113 = load i32, i32* %6
ret i32 %113
}

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 %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 ]
%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 %64
21: ; preds = %11
%22 = load i32, i32* @MBSTRING_BMP
%23 = icmp eq i32 %22, %2
br i1 %23, label %24, label %34
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 = getelementptr inbounds i8, i8* %12, i64 2
%30 = load i8, i8* %25
%31 = zext i8 %30 to i64
%32 = or i64 %28, %31
store i64 %32, i64* %6
%33 = add nsw i32 %13, -2
br label %64
34: ; preds = %21
%35 = load i32, i32* @MBSTRING_UNIV
%36 = icmp eq i32 %35, %2
br i1 %36, label %37, label %57
37: ; preds = %34
%38 = getelementptr inbounds i8, i8* %12, i64 1
%39 = load i8, i8* %12
%40 = zext i8 %39 to i64
%41 = shl nuw nsw i64 %40, 24
store i64 %41, i64* %6
%42 = getelementptr inbounds i8, i8* %12, i64 2
%43 = load i8, i8* %38
%44 = zext i8 %43 to i64
%45 = shl nuw nsw i64 %44, 16
%46 = or i64 %45, %41
store i64 %46, i64* %6
%47 = getelementptr inbounds i8, i8* %12, i64 3
%48 = load i8, i8* %42
%49 = zext i8 %48 to i64
%50 = shl nuw nsw i64 %49, 8
%51 = or i64 %50, %46
store i64 %51, i64* %6
%52 = getelementptr inbounds i8, i8* %12, i64 4
%53 = load i8, i8* %47
%54 = zext i8 %53 to i64
%55 = or i64 %51, %54
store i64 %55, i64* %6
%56 = add nsw i32 %13, -4
br label %64
57: ; preds = %34
%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 = %24, %60, %37, %16
%65 = phi i32 [ %20, %16 ], [ %33, %24 ], [ %56, %37 ], [ %61, %60 ]
%66 = phi i8* [ %17, %16 ], [ %29, %24 ], [ %52, %37 ], [ %63, %60 ]
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 = %57, %67, %71, %5
%74 = phi i32 [ 1, %5 ], [ 1, %71 ], [ %69, %67 ], [ -1, %57 ]
ret i32 %74
}