int countBinarySubstrings(char *s) {
  int ret = 0, curr = 0, prev = 0;
  char c, pc = *s;
  while (c = *s++) {
    if (c == pc) {
      curr++;
    } else {
      ret += curr > prev ? prev : curr;
      prev = curr;
      curr = 1;
    }
    pc = c;
  }
  return ret + (curr > prev ? prev : curr);
}


x86 assembly (clang, -O0):
<countBinarySubstrings>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x16(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%al
mov    %al,-0x15(%rbp)
cmp    $0x0,%al
je     119e <countBinarySubstrings+0x9e>
movsbl -0x15(%rbp),%eax
movsbl -0x16(%rbp),%ecx
cmp    %ecx,%eax
jne    1160 <countBinarySubstrings+0x60>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1193 <countBinarySubstrings+0x93>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1177 <countBinarySubstrings+0x77>
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    117d <countBinarySubstrings+0x7d>
mov    -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
movl   $0x1,-0x10(%rbp)
mov    -0x15(%rbp),%al
mov    %al,-0x16(%rbp)
jmp    1126 <countBinarySubstrings+0x26>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    11bb <countBinarySubstrings+0xbb>
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    11c1 <countBinarySubstrings+0xc1>
mov    -0x10(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
add    %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<countBinarySubstrings>:
push   %rbx
mov    (%rdi),%r9b
test   %r9b,%r9b
je     114f <countBinarySubstrings+0x4f>
add    $0x1,%rdi
xor    %r8d,%r8d
mov    $0x1,%r10d
xor    %edx,%edx
xor    %esi,%esi
xor    %r11d,%r11d
mov    %r9d,%ecx
cmp    %edx,%esi
mov    %esi,%ebx
cmovg  %edx,%ebx
lea    0x1(%rsi),%eax
cmp    %r9b,%cl
cmove  %r8d,%ebx
cmovne %r10d,%eax
cmovne %esi,%edx
add    %ebx,%r11d
mov    %ecx,%r9d
movzbl (%rdi),%ebx
add    $0x1,%rdi
mov    %eax,%esi
mov    %ebx,%ecx
test   %bl,%bl
jne    1120 <countBinarySubstrings+0x20>
jmp    1156 <countBinarySubstrings+0x56>
xor    %r11d,%r11d
xor    %eax,%eax
xor    %edx,%edx
cmp    %edx,%eax
cmovg  %edx,%eax
add    %r11d,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @countBinarySubstrings(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8
%7 = alloca i8
store i8* %0, i8** %2
store i32 0, i32* %3
store i32 0, i32* %4
store i32 0, i32* %5
%8 = load i8*, i8** %2
%9 = load i8, i8* %8
store i8 %9, i8* %7
br label %10
10: ; preds = %37, %1
%11 = load i8*, i8** %2
%12 = getelementptr inbounds i8, i8* %11, i32 1
store i8* %12, i8** %2
%13 = load i8, i8* %11
store i8 %13, i8* %6
%14 = icmp ne i8 %13, 0
br i1 %14, label %15, label %39
15: ; preds = %10
%16 = load i8, i8* %6
%17 = sext i8 %16 to i32
%18 = load i8, i8* %7
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %17, %19
br i1 %20, label %21, label %24
21: ; preds = %15
%22 = load i32, i32* %4
%23 = add nsw i32 %22, 1
store i32 %23, i32* %4
br label %37
24: ; preds = %15
%25 = load i32, i32* %4
%26 = load i32, i32* %5
%27 = icmp sgt i32 %25, %26
br i1 %27, label %28, label %30
28: ; preds = %24
%29 = load i32, i32* %5
br label %32
30: ; preds = %24
%31 = load i32, i32* %4
br label %32
32: ; preds = %30, %28
%33 = phi i32 [ %29, %28 ], [ %31, %30 ]
%34 = load i32, i32* %3
%35 = add nsw i32 %34, %33
store i32 %35, i32* %3
%36 = load i32, i32* %4
store i32 %36, i32* %5
store i32 1, i32* %4
br label %37
37: ; preds = %32, %21
%38 = load i8, i8* %6
store i8 %38, i8* %7
br label %10
39: ; preds = %10
%40 = load i32, i32* %3
%41 = load i32, i32* %4
%42 = load i32, i32* %5
%43 = icmp sgt i32 %41, %42
br i1 %43, label %44, label %46
44: ; preds = %39
%45 = load i32, i32* %5
br label %48
46: ; preds = %39
%47 = load i32, i32* %4
br label %48
48: ; preds = %46, %44
%49 = phi i32 [ %45, %44 ], [ %47, %46 ]
%50 = add nsw i32 %40, %49
ret i32 %50
}

LLVM IR (-O2):
define i32 @countBinarySubstrings(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %22, label %4
4: ; preds = %1, %4
%5 = phi i8* [ %11, %4 ], [ %0, %1 ]
%6 = phi i8 [ %10, %4 ], [ %2, %1 ]
%7 = phi i32 [ %19, %4 ], [ 0, %1 ]
%8 = phi i32 [ %18, %4 ], [ 0, %1 ]
%9 = phi i32 [ %17, %4 ], [ 0, %1 ]
%10 = phi i8 [ %20, %4 ], [ %2, %1 ]
%11 = getelementptr inbounds i8, i8* %5, i64 1
%12 = icmp eq i8 %10, %6
%13 = add nsw i32 %8, 1
%14 = icmp sgt i32 %8, %7
%15 = select i1 %14, i32 %7, i32 %8
%16 = select i1 %12, i32 0, i32 %15
%17 = add nsw i32 %16, %9
%18 = select i1 %12, i32 %13, i32 1
%19 = select i1 %12, i32 %7, i32 %8
%20 = load i8, i8* %11
%21 = icmp eq i8 %20, 0
br i1 %21, label %22, label %4
22: ; preds = %4, %1
%23 = phi i32 [ 0, %1 ], [ %17, %4 ]
%24 = phi i32 [ 0, %1 ], [ %18, %4 ]
%25 = phi i32 [ 0, %1 ], [ %19, %4 ]
%26 = icmp sgt i32 %24, %25
%27 = select i1 %26, i32 %25, i32 %24
%28 = add nsw i32 %27, %23
ret i32 %28
}