#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 exists(int values[], size_t count, int (*fkt)(int)) {
  int i = 0;
  for (i = 0; i < count; i++) {
    if (fkt(values[i])) {
      return 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<exists>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x24(%rbp)
movslq -0x24(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1169 <exists+0x69>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,4),%edi
call   *%rax
cmp    $0x0,%eax
je     1156 <exists+0x56>
movl   $0x1,-0x4(%rbp)
jmp    1170 <exists+0x70>
jmp    115b <exists+0x5b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1122 <exists+0x22>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<exists>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
test   %rsi,%rsi
je     1134 <exists+0x34>
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r15
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    (%r15,%rbx,4),%edi
call   *%r14
test   %eax,%eax
jne    1138 <exists+0x38>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    1120 <exists+0x20>
xor    %eax,%eax
jmp    113d <exists+0x3d>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @exists(i32* %0, i64 %1, i32 (i32)* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i64
%7 = alloca i32 (i32)*
%8 = alloca i32
store i32* %0, i32** %5
store i64 %1, i64* %6
store i32 (i32)* %2, i32 (i32)** %7
store i32 0, i32* %8
store i32 0, i32* %8
br label %9
9: ; preds = %25, %3
%10 = load i32, i32* %8
%11 = sext i32 %10 to i64
%12 = load i64, i64* %6
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %28
14: ; preds = %9
%15 = load i32 (i32)*, i32 (i32)** %7
%16 = load i32*, i32** %5
%17 = load i32, i32* %8
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %16, i64 %18
%20 = load i32, i32* %19
%21 = call i32 %15(i32 %20)
%22 = icmp ne i32 %21, 0
br i1 %22, label %23, label %24
23: ; preds = %14
store i32 1, i32* %4
br label %29
24: ; preds = %14
br label %25
25: ; preds = %24
%26 = load i32, i32* %8
%27 = add nsw i32 %26, 1
store i32 %27, i32* %8
br label %9
28: ; preds = %9
store i32 0, i32* %4
br label %29
29: ; preds = %28, %23
%30 = load i32, i32* %4
ret i32 %30
}

LLVM IR (-O2):
define i32 @exists(i32* nocapture %0, i64 %1, i32 (i32)* nocapture %2) {
%4 = icmp eq i64 %1, 0
br i1 %4, label %14, label %7
5: ; preds = %7
%6 = icmp eq i64 %13, %1
br i1 %6, label %14, label %7
7: ; preds = %3, %5
%8 = phi i64 [ %13, %5 ], [ 0, %3 ]
%9 = getelementptr inbounds i32, i32* %0, i64 %8
%10 = load i32, i32* %9
%11 = tail call i32 %2(i32 %10)
%12 = icmp eq i32 %11, 0
%13 = add nuw i64 %8, 1
br i1 %12, label %5, label %14
14: ; preds = %7, %5, %3
%15 = phi i32 [ 0, %3 ], [ 0, %5 ], [ 1, %7 ]
ret i32 %15
}