#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 /*<<< orphan*/ assert(int);
int stub1(void *, void const *, void const *, size_t, size_t,
          int (*)(void *, void const *, void const *), void *, size_t *);
int cal_fbt_search_generic(
    const void *key, const void *ptr, size_t count, size_t size,
    int (*cmp)(void *, const void *, const void *), void *cmp_ctx,
    int (*search)(void *, const void *, const void *, size_t, size_t,
                  int (*)(void *, const void *, const void *), void *,
                  size_t *),
    void *search_ctx, size_t children_per_node, size_t *pos_out) {
  size_t keys_per_node = children_per_node - 1;
  size_t pos = 0;
  assert(children_per_node > 1);
  while (pos < count) {
    size_t remaining = count - pos;
    size_t span = keys_per_node < remaining ? keys_per_node : remaining;
    size_t i;
    int found = (*search)(search_ctx, key, (const char *)ptr + pos * size, span,
                          size, cmp, cmp_ctx, &i);
    if (found) {
      if (pos_out) {
        *pos_out = pos + i;
      }
      return 1;
    }
    pos = pos * children_per_node + (i + 1) * keys_per_node;
  }
  return 0;
}


x86 assembly (clang, -O0):
<cal_fbt_search_generic>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x48(%rbp)
cmpq   $0x1,0x20(%rbp)
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    123e <cal_fbt_search_generic+0x12e>
mov    -0x20(%rbp),%rax
sub    -0x48(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x50(%rbp),%rax
jae    119e <cal_fbt_search_generic+0x8e>
mov    -0x40(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    11a6 <cal_fbt_search_generic+0x96>
mov    -0x50(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    0x10(%rbp),%rax
mov    0x18(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x48(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    %rcx,%rdx
mov    -0x58(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x30(%rbp),%r9
mov    -0x38(%rbp),%r11
lea    -0x60(%rbp),%r10
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
call   *%rax
mov    %eax,-0x64(%rbp)
cmpl   $0x0,-0x64(%rbp)
je     121c <cal_fbt_search_generic+0x10c>
cmpq   $0x0,0x28(%rbp)
je     1210 <cal_fbt_search_generic+0x100>
mov    -0x48(%rbp),%rcx
add    -0x60(%rbp),%rcx
mov    0x28(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1245 <cal_fbt_search_generic+0x135>
mov    -0x48(%rbp),%rax
imul   0x20(%rbp),%rax
mov    -0x60(%rbp),%rcx
add    $0x1,%rcx
imul   -0x40(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
jmp    1169 <cal_fbt_search_generic+0x59>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cal_fbt_search_generic>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9,0x10(%rsp)
mov    %r8,0x8(%rsp)
mov    %rcx,%r12
mov    %rdx,%rbx
mov    %rsi,%r13
mov    %rdi,%rbp
mov    0x60(%rsp),%r14
xor    %edi,%edi
cmp    $0x2,%r14
setae  %dil
call   1030 <assert@plt>
test   %rbx,%rbx
je     11b5 <cal_fbt_search_generic+0xa5>
lea    -0x1(%r14),%r15
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rbx,%rcx
sub    %r14,%rcx
cmp    %rcx,%r15
cmovb  %r15,%rcx
mov    %r14,%rdx
imul   %r12,%rdx
add    %r13,%rdx
mov    0x58(%rsp),%rdi
mov    %rbp,%rsi
mov    %r12,%r8
mov    0x8(%rsp),%r9
mov    %rsp,%rax
push   %rax
push   0x18(%rsp)
call   *0x60(%rsp)
add    $0x10,%rsp
test   %eax,%eax
jne    11b9 <cal_fbt_search_generic+0xa9>
imul   0x60(%rsp),%r14
mov    (%rsp),%rax
add    $0x1,%rax
imul   %r15,%rax
add    %rax,%r14
cmp    %rbx,%r14
jb     1160 <cal_fbt_search_generic+0x50>
xor    %eax,%eax
jmp    11cf <cal_fbt_search_generic+0xbf>
mov    0x68(%rsp),%rax
test   %rax,%rax
je     11ca <cal_fbt_search_generic+0xba>
add    (%rsp),%r14
mov    %r14,(%rax)
mov    $0x1,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @cal_fbt_search_generic(i8* %0, i8* %1, i64 %2, i64 %3, i32 (i8*, i8*, i8*)* %4, i8* %5, i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)* %6, i8* %7, i64 %8, i64* %9) {
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i64
%15 = alloca i64
%16 = alloca i32 (i8*, i8*, i8*)*
%17 = alloca i8*
%18 = alloca i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)*
%19 = alloca i8*
%20 = alloca i64
%21 = alloca i64*
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i32
store i8* %0, i8** %12
store i8* %1, i8** %13
store i64 %2, i64* %14
store i64 %3, i64* %15
store i32 (i8*, i8*, i8*)* %4, i32 (i8*, i8*, i8*)** %16
store i8* %5, i8** %17
store i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)* %6, i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)** %18
store i8* %7, i8** %19
store i64 %8, i64* %20
store i64* %9, i64** %21
%28 = load i64, i64* %20
%29 = sub i64 %28, 1
store i64 %29, i64* %22
store i64 0, i64* %23
%30 = load i64, i64* %20
%31 = icmp ugt i64 %30, 1
%32 = zext i1 %31 to i32
%33 = call i32 @assert(i32 %32)
br label %34
34: ; preds = %75, %10
%35 = load i64, i64* %23
%36 = load i64, i64* %14
%37 = icmp ult i64 %35, %36
br i1 %37, label %38, label %84
38: ; preds = %34
%39 = load i64, i64* %14
%40 = load i64, i64* %23
%41 = sub i64 %39, %40
store i64 %41, i64* %24
%42 = load i64, i64* %22
%43 = load i64, i64* %24
%44 = icmp ult i64 %42, %43
br i1 %44, label %45, label %47
45: ; preds = %38
%46 = load i64, i64* %22
br label %49
47: ; preds = %38
%48 = load i64, i64* %24
br label %49
49: ; preds = %47, %45
%50 = phi i64 [ %46, %45 ], [ %48, %47 ]
store i64 %50, i64* %25
%51 = load i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)*, i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)** %18
%52 = load i8*, i8** %19
%53 = load i8*, i8** %12
%54 = load i8*, i8** %13
%55 = load i64, i64* %23
%56 = load i64, i64* %15
%57 = mul i64 %55, %56
%58 = getelementptr inbounds i8, i8* %54, i64 %57
%59 = load i64, i64* %25
%60 = load i64, i64* %15
%61 = load i32 (i8*, i8*, i8*)*, i32 (i8*, i8*, i8*)** %16
%62 = load i8*, i8** %17
%63 = call i32 %51(i8* %52, i8* %53, i8* %58, i64 %59, i64 %60, i32 (i8*, i8*, i8*)* %61, i8* %62, i64* %26)
store i32 %63, i32* %27
%64 = load i32, i32* %27
%65 = icmp ne i32 %64, 0
br i1 %65, label %66, label %75
66: ; preds = %49
%67 = load i64*, i64** %21
%68 = icmp ne i64* %67, null
br i1 %68, label %69, label %74
69: ; preds = %66
%70 = load i64, i64* %23
%71 = load i64, i64* %26
%72 = add i64 %70, %71
%73 = load i64*, i64** %21
store i64 %72, i64* %73
br label %74
74: ; preds = %69, %66
store i32 1, i32* %11
br label %85
75: ; preds = %49
%76 = load i64, i64* %23
%77 = load i64, i64* %20
%78 = mul i64 %76, %77
%79 = load i64, i64* %26
%80 = add i64 %79, 1
%81 = load i64, i64* %22
%82 = mul i64 %80, %81
%83 = add i64 %78, %82
store i64 %83, i64* %23
br label %34
84: ; preds = %34
store i32 0, i32* %11
br label %85
85: ; preds = %84, %74
%86 = load i32, i32* %11
ret i32 %86
}

LLVM IR (-O2):
define i32 @cal_fbt_search_generic(i8* %0, i8* %1, i64 %2, i64 %3, i32 (i8*, i8*, i8*)* %4, i8* %5, i32 (i8*, i8*, i8*, i64, i64, i32 (i8*, i8*, i8*)*, i8*, i64*)* nocapture %6, i8* %7, i64 %8, i64* writeonly %9) {
%11 = alloca i64
%12 = add i64 %8, -1
%13 = icmp ugt i64 %8, 1
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = icmp eq i64 %2, 0
br i1 %16, label %41, label %17
17: ; preds = %10
%18 = bitcast i64* %11 to i8*
br label %19
19: ; preds = %17, %34
%20 = phi i64 [ 0, %17 ], [ %39, %34 ]
%21 = sub i64 %2, %20
%22 = icmp ult i64 %12, %21
%23 = select i1 %22, i64 %12, i64 %21
%24 = mul i64 %20, %3
%25 = getelementptr inbounds i8, i8* %1, i64 %24
%26 = call i32 %6(i8* %7, i8* %0, i8* %25, i64 %23, i64 %3, i32 (i8*, i8*, i8*)* %4, i8* %5, i64* %11)
%27 = icmp eq i32 %26, 0
br i1 %27, label %34, label %28
28: ; preds = %19
%29 = icmp eq i64* %9, null
br i1 %29, label %33, label %30
30: ; preds = %28
%31 = load i64, i64* %11
%32 = add i64 %31, %20
store i64 %32, i64* %9
br label %33
33: ; preds = %28, %30
br label %41
34: ; preds = %19
%35 = mul i64 %20, %8
%36 = load i64, i64* %11
%37 = add i64 %36, 1
%38 = mul i64 %37, %12
%39 = add i64 %38, %35
%40 = icmp ult i64 %39, %2
br i1 %40, label %19, label %41
41: ; preds = %34, %10, %33
%42 = phi i32 [ 1, %33 ], [ 0, %10 ], [ 0, %34 ]
ret i32 %42
}