#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 str_len_03(const char *s) {
  size_t len = 0;
  unsigned long long *a = (unsigned long long *)s;
  for (;; a++) {
    if (!((*a) & (0x00000000000000ff))) {
      break;
    }
    if (!((*a) & (0x000000000000ff00))) {
      len += 1;
      break;
    }
    if (!((*a) & (0x0000000000ff0000))) {
      len += 2;
      break;
    }
    if (!((*a) & (0x00000000ff000000))) {
      len += 3;
      break;
    }
    if (!((*a) & (0x000000ff00000000))) {
      len += 4;
      break;
    }
    if (!((*a) & (0x0000ff0000000000))) {
      len += 5;
      break;
    }
    if (!((*a) & (0x00ff000000000000))) {
      len += 6;
      break;
    }
    if (!((*a) & (0xff00000000000000))) {
      len += 7;
      break;
    }
    len += 8;
  }
  return len;
}


x86 assembly (clang, -O0):
<str_len_03>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movq   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
and    $0xff,%rax
cmp    $0x0,%rax
jne    1134 <str_len_03+0x34>
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
and    $0xff00,%rax
cmp    $0x0,%rax
jne    115c <str_len_03+0x5c>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
and    $0xff0000,%rax
cmp    $0x0,%rax
jne    1184 <str_len_03+0x84>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rcx
movabs $0xff000000,%rax
and    (%rcx),%rax
cmp    $0x0,%rax
jne    11b0 <str_len_03+0xb0>
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rcx
movabs $0xff00000000,%rax
and    (%rcx),%rax
cmp    $0x0,%rax
jne    11dc <str_len_03+0xdc>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rcx
movabs $0xff0000000000,%rax
and    (%rcx),%rax
cmp    $0x0,%rax
jne    1208 <str_len_03+0x108>
mov    -0x10(%rbp),%rax
add    $0x5,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rcx
movabs $0xff000000000000,%rax
and    (%rcx),%rax
cmp    $0x0,%rax
jne    1234 <str_len_03+0x134>
mov    -0x10(%rbp),%rax
add    $0x6,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x18(%rbp),%rcx
movabs $0xff00000000000000,%rax
and    (%rcx),%rax
cmp    $0x0,%rax
jne    1260 <str_len_03+0x160>
mov    -0x10(%rbp),%rax
add    $0x7,%rax
mov    %rax,-0x10(%rbp)
jmp    127d <str_len_03+0x17d>
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
jmp    1118 <str_len_03+0x18>
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_len_03>:
mov    (%rdi),%rcx
test   %cl,%cl
je     1169 <str_len_03+0x69>
mov    $0x4,%eax
movabs $0xff00000000,%rdx
movabs $0xff0000000000,%rsi
movabs $0xff000000000000,%r8
test   $0xff00,%ecx
je     116c <str_len_03+0x6c>
test   $0xff0000,%ecx
je     1171 <str_len_03+0x71>
test   $0xff000000,%ecx
je     1176 <str_len_03+0x76>
test   %rdx,%rcx
je     1168 <str_len_03+0x68>
test   %rsi,%rcx
je     117b <str_len_03+0x7b>
test   %r8,%rcx
je     1180 <str_len_03+0x80>
shr    $0x38,%rcx
je     1185 <str_len_03+0x85>
mov    0x4(%rdi,%rax,1),%rcx
add    $0x8,%rax
test   %cl,%cl
jne    112a <str_len_03+0x2a>
add    $0xfffffffffffffffc,%rax
ret
xor    %eax,%eax
ret
add    $0xfffffffffffffffd,%rax
ret
add    $0xfffffffffffffffe,%rax
ret
add    $0xffffffffffffffff,%rax
ret
add    $0x1,%rax
ret
add    $0x2,%rax
ret
add    $0x3,%rax
ret

LLVM IR (-O0):
define i64 @str_len_03(i8* %0) {
%2 = alloca i8*
%3 = alloca i64
%4 = alloca i64*
store i8* %0, i8** %2
store i64 0, i64* %3
%5 = load i8*, i8** %2
%6 = bitcast i8* %5 to i64*
store i64* %6, i64** %4
br label %7
7: ; preds = %72, %1
%8 = load i64*, i64** %4
%9 = load i64, i64* %8
%10 = and i64 %9, 255
%11 = icmp ne i64 %10, 0
br i1 %11, label %13, label %12
12: ; preds = %7
br label %75
13: ; preds = %7
%14 = load i64*, i64** %4
%15 = load i64, i64* %14
%16 = and i64 %15, 65280
%17 = icmp ne i64 %16, 0
br i1 %17, label %21, label %18
18: ; preds = %13
%19 = load i64, i64* %3
%20 = add i64 %19, 1
store i64 %20, i64* %3
br label %75
21: ; preds = %13
%22 = load i64*, i64** %4
%23 = load i64, i64* %22
%24 = and i64 %23, 16711680
%25 = icmp ne i64 %24, 0
br i1 %25, label %29, label %26
26: ; preds = %21
%27 = load i64, i64* %3
%28 = add i64 %27, 2
store i64 %28, i64* %3
br label %75
29: ; preds = %21
%30 = load i64*, i64** %4
%31 = load i64, i64* %30
%32 = and i64 %31, 4278190080
%33 = icmp ne i64 %32, 0
br i1 %33, label %37, label %34
34: ; preds = %29
%35 = load i64, i64* %3
%36 = add i64 %35, 3
store i64 %36, i64* %3
br label %75
37: ; preds = %29
%38 = load i64*, i64** %4
%39 = load i64, i64* %38
%40 = and i64 %39, 1095216660480
%41 = icmp ne i64 %40, 0
br i1 %41, label %45, label %42
42: ; preds = %37
%43 = load i64, i64* %3
%44 = add i64 %43, 4
store i64 %44, i64* %3
br label %75
45: ; preds = %37
%46 = load i64*, i64** %4
%47 = load i64, i64* %46
%48 = and i64 %47, 280375465082880
%49 = icmp ne i64 %48, 0
br i1 %49, label %53, label %50
50: ; preds = %45
%51 = load i64, i64* %3
%52 = add i64 %51, 5
store i64 %52, i64* %3
br label %75
53: ; preds = %45
%54 = load i64*, i64** %4
%55 = load i64, i64* %54
%56 = and i64 %55, 71776119061217280
%57 = icmp ne i64 %56, 0
br i1 %57, label %61, label %58
58: ; preds = %53
%59 = load i64, i64* %3
%60 = add i64 %59, 6
store i64 %60, i64* %3
br label %75
61: ; preds = %53
%62 = load i64*, i64** %4
%63 = load i64, i64* %62
%64 = and i64 %63, -72057594037927936
%65 = icmp ne i64 %64, 0
br i1 %65, label %69, label %66
66: ; preds = %61
%67 = load i64, i64* %3
%68 = add i64 %67, 7
store i64 %68, i64* %3
br label %75
69: ; preds = %61
%70 = load i64, i64* %3
%71 = add i64 %70, 8
store i64 %71, i64* %3
br label %72
72: ; preds = %69
%73 = load i64*, i64** %4
%74 = getelementptr inbounds i64, i64* %73, i32 1
store i64* %74, i64** %4
br label %7
75: ; preds = %66, %58, %50, %42, %34, %26, %18, %12
%76 = load i64, i64* %3
ret i64 %76
}

LLVM IR (-O2):
define i64 @str_len_03(i8* nocapture %0) {
%2 = bitcast i8* %0 to i64*
%3 = load i64, i64* %2
%4 = and i64 %3, 255
%5 = icmp eq i64 %4, 0
br i1 %5, label %49, label %6
6: ; preds = %1, %43
%7 = phi i64 [ %46, %43 ], [ %3, %1 ]
%8 = phi i64* [ %45, %43 ], [ %2, %1 ]
%9 = phi i64 [ %44, %43 ], [ 0, %1 ]
%10 = and i64 %7, 65280
%11 = icmp eq i64 %10, 0
br i1 %11, label %12, label %14
12: ; preds = %6
%13 = or i64 %9, 1
br label %49
14: ; preds = %6
%15 = and i64 %7, 16711680
%16 = icmp eq i64 %15, 0
br i1 %16, label %17, label %19
17: ; preds = %14
%18 = or i64 %9, 2
br label %49
19: ; preds = %14
%20 = and i64 %7, 4278190080
%21 = icmp eq i64 %20, 0
br i1 %21, label %22, label %24
22: ; preds = %19
%23 = or i64 %9, 3
br label %49
24: ; preds = %19
%25 = and i64 %7, 1095216660480
%26 = icmp eq i64 %25, 0
br i1 %26, label %27, label %29
27: ; preds = %24
%28 = or i64 %9, 4
br label %49
29: ; preds = %24
%30 = and i64 %7, 280375465082880
%31 = icmp eq i64 %30, 0
br i1 %31, label %32, label %34
32: ; preds = %29
%33 = or i64 %9, 5
br label %49
34: ; preds = %29
%35 = and i64 %7, 71776119061217280
%36 = icmp eq i64 %35, 0
br i1 %36, label %37, label %39
37: ; preds = %34
%38 = or i64 %9, 6
br label %49
39: ; preds = %34
%40 = icmp ult i64 %7, 72057594037927936
br i1 %40, label %41, label %43
41: ; preds = %39
%42 = or i64 %9, 7
br label %49
43: ; preds = %39
%44 = add i64 %9, 8
%45 = getelementptr inbounds i64, i64* %8, i64 1
%46 = load i64, i64* %45
%47 = and i64 %46, 255
%48 = icmp eq i64 %47, 0
br i1 %48, label %49, label %6
49: ; preds = %43, %1, %41, %37, %32, %27, %22, %17, %12
%50 = phi i64 [ %42, %41 ], [ %38, %37 ], [ %33, %32 ], [ %28, %27 ], [ %23, %22 ], [ %18, %17 ], [ %13, %12 ], [ 0, %1 ], [ %44, %43 ]
ret i64 %50
}