#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 stub1(char *);
int searchp(const char *spath, char *file, char *fullname,
            int (*func)(char *)) {
  const char *nextpath, *nextchar, *lastchar;
  char *fname;
  int failure;
  nextpath = ((*file == '/') ? "" : spath);
  do {
    fname = fullname;
    nextchar = nextpath;
    while (*nextchar && (*nextchar != ':'))
      *fname++ = *nextchar++;
    if (nextchar != nextpath && *file)
      *fname++ = '/';
    lastchar = nextchar;
    nextpath = ((*nextchar) ? nextchar + 1 : nextchar);
    nextchar = file;
    while (*nextchar)
      *fname++ = *nextchar++;
    *fname = '\0';
    failure = (*func)(fullname);
  } while (failure && (*lastchar));
  return (failure ? -1 : 0);
}


x86 assembly (clang, -O0):
<searchp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1138 <searchp+0x38>
lea    0xed1(%rip),%rax
mov    %rax,-0x50(%rbp)
jmp    1140 <searchp+0x40>
mov    -0x8(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x51(%rbp)
je     117d <searchp+0x7d>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
setne  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    118d <searchp+0x8d>
jmp    11b4 <searchp+0xb4>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
jmp    1158 <searchp+0x58>
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
je     11e4 <searchp+0xe4>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11e4 <searchp+0xe4>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2f,(%rax)
mov    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     120d <searchp+0x10d>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    1215 <searchp+0x115>
mov    -0x30(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
je     1259 <searchp+0x159>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
jmp    1225 <searchp+0x125>
mov    -0x40(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rdi
call   *%rax
mov    %eax,-0x44(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x44(%rbp)
mov    %al,-0x61(%rbp)
je     128c <searchp+0x18c>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    1148 <searchp+0x48>
mov    -0x44(%rbp),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<searchp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %rdx,%r12
mov    %rsi,%r15
cmpb   $0x2f,(%rsi)
lea    0xee2(%rip),%rbp
cmovne %rdi,%rbp
lea    0x1(%rsi),%r13
cs nopw 0x0(%rax,%rax,1)
mov    $0x1,%ecx
mov    %r12,%rax
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp),%ebx
test   %bl,%bl
je     1160 <searchp+0x60>
cmp    $0x3a,%bl
je     1160 <searchp+0x60>
add    $0x1,%rbp
mov    %bl,(%rax)
add    $0x1,%rax
add    $0x1,%rcx
jmp    1140 <searchp+0x40>
nopl   (%rax)
cmp    $0x1,%rcx
je     1176 <searchp+0x76>
cmpb   $0x0,(%r15)
je     1191 <searchp+0x91>
movb   $0x2f,(%rax)
add    $0x1,%rax
mov    0x0(%rbp),%bl
mov    (%r15),%cl
test   %cl,%cl
je     1191 <searchp+0x91>
mov    %r13,%rdx
mov    %cl,(%rax)
add    $0x1,%rax
movzbl (%rdx),%ecx
add    $0x1,%rdx
test   %cl,%cl
jne    1180 <searchp+0x80>
movb   $0x0,(%rax)
mov    %r12,%rdi
call   *%r14
test   %eax,%eax
je     11b5 <searchp+0xb5>
cmp    $0x1,%bl
mov    %rbp,%rcx
sbb    $0xffffffffffffffff,%rcx
cmpb   $0x0,0x0(%rbp)
mov    %rcx,%rbp
jne    1130 <searchp+0x30>
neg    %eax
sbb    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
define i32 @searchp(i8* %0, i8* nocapture %1, i8* %2, i32 (i8*)* nocapture %3) {
%5 = load i8, i8* %1
%6 = icmp eq i8 %5, 47
%7 = select i1 %6, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8* %0
br label %8
8: ; preds = %43, %4
%9 = phi i8* [ %7, %4 ], [ %46, %43 ]
br label %10
10: ; preds = %14, %8
%11 = phi i8* [ %9, %8 ], [ %15, %14 ]
%12 = phi i8* [ %2, %8 ], [ %16, %14 ]
%13 = load i8, i8* %11
switch i8 %13, label %14 [
i8 0, label %17
i8 58, label %17
]
14: ; preds = %10
%15 = getelementptr inbounds i8, i8* %11, i64 1
%16 = getelementptr inbounds i8, i8* %12, i64 1
store i8 %13, i8* %12
br label %10
17: ; preds = %10, %10
%18 = icmp eq i8* %11, %9
br i1 %18, label %25, label %19
19: ; preds = %17
%20 = load i8, i8* %1
%21 = icmp eq i8 %20, 0
br i1 %21, label %38, label %22
22: ; preds = %19
%23 = getelementptr inbounds i8, i8* %12, i64 1
store i8 47, i8* %12
%24 = load i8, i8* %11
br label %25
25: ; preds = %22, %17
%26 = phi i8 [ %13, %17 ], [ %24, %22 ]
%27 = phi i8* [ %12, %17 ], [ %23, %22 ]
%28 = load i8, i8* %1
%29 = icmp eq i8 %28, 0
br i1 %29, label %38, label %30
30: ; preds = %25, %30
%31 = phi i8 [ %36, %30 ], [ %28, %25 ]
%32 = phi i8* [ %35, %30 ], [ %27, %25 ]
%33 = phi i8* [ %34, %30 ], [ %1, %25 ]
%34 = getelementptr inbounds i8, i8* %33, i64 1
%35 = getelementptr inbounds i8, i8* %32, i64 1
store i8 %31, i8* %32
%36 = load i8, i8* %34
%37 = icmp eq i8 %36, 0
br i1 %37, label %38, label %30
38: ; preds = %30, %19, %25
%39 = phi i8 [ %26, %25 ], [ %13, %19 ], [ %26, %30 ]
%40 = phi i8* [ %27, %25 ], [ %12, %19 ], [ %35, %30 ]
store i8 0, i8* %40
%41 = tail call i32 %3(i8* %2)
%42 = icmp eq i32 %41, 0
br i1 %42, label %49, label %43
43: ; preds = %38
%44 = icmp ne i8 %39, 0
%45 = zext i1 %44 to i64
%46 = getelementptr i8, i8* %11, i64 %45
%47 = load i8, i8* %11
%48 = icmp eq i8 %47, 0
br i1 %48, label %49, label %8
49: ; preds = %38, %43
%50 = xor i1 %42, true
%51 = sext i1 %50 to i32
ret i32 %51
}