#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 */
size_t strlen_bis(const char *str, const char *cp) {
  if (!cp[0])
    return (cp - str);
  else if (!cp[1])
    return (cp - str + 1);
  else if (!cp[2])
    return (cp - str + 2);
  else if (!cp[3])
    return (cp - str + 3);
  else if (!cp[4])
    return (cp - str + 4);
  else if (!cp[5])
    return (cp - str + 5);
  else if (!cp[6])
    return (cp - str + 6);
  else if (!cp[7])
    return (cp - str + 7);
  return (-1);
}


x86 assembly (clang, -O0):
<strlen_bis>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    112d <strlen_bis+0x2d>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x1(%rax)
jne    1153 <strlen_bis+0x53>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x2(%rax)
jne    1179 <strlen_bis+0x79>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x3(%rax)
jne    119f <strlen_bis+0x9f>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x4(%rax)
jne    11c5 <strlen_bis+0xc5>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x5(%rax)
jne    11eb <strlen_bis+0xeb>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x5,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x6(%rax)
jne    1211 <strlen_bis+0x111>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x6,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x7(%rax)
jne    1237 <strlen_bis+0x137>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x7,%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <strlen_bis+0x162>
jmp    123c <strlen_bis+0x13c>
jmp    1241 <strlen_bis+0x141>
jmp    1246 <strlen_bis+0x146>
jmp    124b <strlen_bis+0x14b>
jmp    1250 <strlen_bis+0x150>
jmp    1255 <strlen_bis+0x155>
jmp    125a <strlen_bis+0x15a>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strlen_bis>:
cmpb   $0x0,(%rsi)
je     113f <strlen_bis+0x3f>
cmpb   $0x0,0x1(%rsi)
je     1144 <strlen_bis+0x44>
cmpb   $0x0,0x2(%rsi)
je     114d <strlen_bis+0x4d>
cmpb   $0x0,0x3(%rsi)
je     1156 <strlen_bis+0x56>
cmpb   $0x0,0x4(%rsi)
je     115f <strlen_bis+0x5f>
cmpb   $0x0,0x5(%rsi)
je     1168 <strlen_bis+0x68>
cmpb   $0x0,0x6(%rsi)
je     1171 <strlen_bis+0x71>
mov    $0xffffffffffffffff,%rax
cmpb   $0x0,0x7(%rsi)
jne    117b <strlen_bis+0x7b>
sub    %rdi,%rsi
add    $0x7,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
add    $0x1,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
add    $0x2,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
add    $0x3,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
add    $0x4,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
add    $0x5,%rsi
jmp    1178 <strlen_bis+0x78>
sub    %rdi,%rsi
add    $0x6,%rsi
mov    %rsi,%rax
ret

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

LLVM IR (-O2):
define i64 @strlen_bis(i8* %0, i8* %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %5, label %9
5: ; preds = %2
%6 = ptrtoint i8* %1 to i64
%7 = ptrtoint i8* %0 to i64
%8 = sub i64 %6, %7
br label %72
9: ; preds = %2
%10 = getelementptr inbounds i8, i8* %1, i64 1
%11 = load i8, i8* %10
%12 = icmp eq i8 %11, 0
br i1 %12, label %13, label %18
13: ; preds = %9
%14 = ptrtoint i8* %1 to i64
%15 = ptrtoint i8* %0 to i64
%16 = sub i64 1, %15
%17 = add i64 %16, %14
br label %72
18: ; preds = %9
%19 = getelementptr inbounds i8, i8* %1, i64 2
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, 0
br i1 %21, label %22, label %27
22: ; preds = %18
%23 = ptrtoint i8* %1 to i64
%24 = ptrtoint i8* %0 to i64
%25 = sub i64 2, %24
%26 = add i64 %25, %23
br label %72
27: ; preds = %18
%28 = getelementptr inbounds i8, i8* %1, i64 3
%29 = load i8, i8* %28
%30 = icmp eq i8 %29, 0
br i1 %30, label %31, label %36
31: ; preds = %27
%32 = ptrtoint i8* %1 to i64
%33 = ptrtoint i8* %0 to i64
%34 = sub i64 3, %33
%35 = add i64 %34, %32
br label %72
36: ; preds = %27
%37 = getelementptr inbounds i8, i8* %1, i64 4
%38 = load i8, i8* %37
%39 = icmp eq i8 %38, 0
br i1 %39, label %40, label %45
40: ; preds = %36
%41 = ptrtoint i8* %1 to i64
%42 = ptrtoint i8* %0 to i64
%43 = sub i64 4, %42
%44 = add i64 %43, %41
br label %72
45: ; preds = %36
%46 = getelementptr inbounds i8, i8* %1, i64 5
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 0
br i1 %48, label %49, label %54
49: ; preds = %45
%50 = ptrtoint i8* %1 to i64
%51 = ptrtoint i8* %0 to i64
%52 = sub i64 5, %51
%53 = add i64 %52, %50
br label %72
54: ; preds = %45
%55 = getelementptr inbounds i8, i8* %1, i64 6
%56 = load i8, i8* %55
%57 = icmp eq i8 %56, 0
br i1 %57, label %58, label %63
58: ; preds = %54
%59 = ptrtoint i8* %1 to i64
%60 = ptrtoint i8* %0 to i64
%61 = sub i64 6, %60
%62 = add i64 %61, %59
br label %72
63: ; preds = %54
%64 = getelementptr inbounds i8, i8* %1, i64 7
%65 = load i8, i8* %64
%66 = icmp eq i8 %65, 0
br i1 %66, label %67, label %72
67: ; preds = %63
%68 = ptrtoint i8* %1 to i64
%69 = ptrtoint i8* %0 to i64
%70 = sub i64 7, %69
%71 = add i64 %70, %68
br label %72
72: ; preds = %63, %67, %58, %49, %40, %31, %22, %13, %5
%73 = phi i64 [ %71, %67 ], [ %62, %58 ], [ %53, %49 ], [ %44, %40 ], [ %35, %31 ], [ %26, %22 ], [ %17, %13 ], [ %8, %5 ], [ -1, %63 ]
ret i64 %73
}