int yalex_strcmp(const char *a, const char *b) {
  if (a == 0 || b == 0)
    return -1;
  int offset = 0;
  for (int i = 0; a[i] && a[i] != b[0]; i++) {
    offset++;
    if (a[offset] == b[0]) {
      return offset;
    }
  }
  for (int i = 0;; i++) {
    if (a[i] == '\0' && b[i] == '\0') {
      return 0;
    }
    if (a[i] != b[i]) {
      return a[i] < b[i] ? -1 : 1;
    }
  }
}


x86 assembly (clang, -O0):
<yalex_strcmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1122 <yalex_strcmp+0x22>
cmpq   $0x0,-0x18(%rbp)
jne    112e <yalex_strcmp+0x2e>
movl   $0xffffffff,-0x4(%rbp)
jmp    1262 <yalex_strcmp+0x162>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x25(%rbp)
je     1171 <yalex_strcmp+0x71>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    1181 <yalex_strcmp+0x81>
jmp    11c3 <yalex_strcmp+0xc3>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    11b0 <yalex_strcmp+0xb0>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1262 <yalex_strcmp+0x162>
jmp    11b5 <yalex_strcmp+0xb5>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    113c <yalex_strcmp+0x3c>
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1200 <yalex_strcmp+0x100>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1200 <yalex_strcmp+0x100>
movl   $0x0,-0x4(%rbp)
jmp    1262 <yalex_strcmp+0x162>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     124f <yalex_strcmp+0x14f>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovl  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1262 <yalex_strcmp+0x162>
jmp    1254 <yalex_strcmp+0x154>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11ca <yalex_strcmp+0xca>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<yalex_strcmp>:
mov    $0xffffffff,%eax
test   %rdi,%rdi
je     117b <yalex_strcmp+0x7b>
test   %rsi,%rsi
je     117b <yalex_strcmp+0x7b>
mov    (%rdi),%r8b
test   %r8b,%r8b
je     1144 <yalex_strcmp+0x44>
mov    (%rsi),%dl
mov    $0x1,%eax
mov    %r8d,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %dl,%cl
je     1144 <yalex_strcmp+0x44>
movzbl (%rdi,%rax,1),%ecx
cmp    %dl,%cl
je     117b <yalex_strcmp+0x7b>
add    $0x1,%rax
test   %cl,%cl
jne    1130 <yalex_strcmp+0x30>
mov    (%rsi),%r9b
xor    %eax,%eax
mov    %r8d,%ecx
or     %r9b,%cl
je     117b <yalex_strcmp+0x7b>
mov    $0x1,%ecx
cs nopw 0x0(%rax,%rax,1)
cmp    %r9b,%r8b
jne    117c <yalex_strcmp+0x7c>
movzbl (%rdi,%rcx,1),%r8d
movzbl (%rsi,%rcx,1),%r9d
add    $0x1,%rcx
mov    %r8d,%edx
or     %r9b,%dl
jne    1160 <yalex_strcmp+0x60>
ret
setge  %al
movzbl %al,%eax
add    %eax,%eax
add    $0xffffffff,%eax
ret

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

LLVM IR (-O2):
define i32 @yalex_strcmp(i8* %0, i8* %1) {
%3 = icmp eq i8* %0, null
%4 = icmp eq i8* %1, null
%5 = or i1 %3, %4
br i1 %5, label %46, label %6
6: ; preds = %2
%7 = load i8, i8* %0
%8 = icmp eq i8 %7, 0
br i1 %8, label %22, label %9
9: ; preds = %6
%10 = load i8, i8* %1
br label %13
11: ; preds = %17
%12 = icmp eq i8 %20, 0
br i1 %12, label %22, label %13
13: ; preds = %9, %11
%14 = phi i64 [ 0, %9 ], [ %18, %11 ]
%15 = phi i8 [ %7, %9 ], [ %20, %11 ]
%16 = icmp eq i8 %15, %10
br i1 %16, label %22, label %17
17: ; preds = %13
%18 = add nuw i64 %14, 1
%19 = getelementptr inbounds i8, i8* %0, i64 %18
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, %10
br i1 %21, label %44, label %11
22: ; preds = %11, %13, %6
%23 = icmp eq i8 %7, 0
%24 = load i8, i8* %1
%25 = icmp eq i8 %24, 0
%26 = select i1 %23, i1 %25, i1 false
br i1 %26, label %46, label %27
27: ; preds = %22, %33
%28 = phi i8 [ %38, %33 ], [ %24, %22 ]
%29 = phi i64 [ %32, %33 ], [ 0, %22 ]
%30 = phi i8 [ %35, %33 ], [ %7, %22 ]
%31 = icmp eq i8 %30, %28
%32 = add nuw i64 %29, 1
br i1 %31, label %33, label %41
33: ; preds = %27
%34 = getelementptr inbounds i8, i8* %0, i64 %32
%35 = load i8, i8* %34
%36 = icmp eq i8 %35, 0
%37 = getelementptr inbounds i8, i8* %1, i64 %32
%38 = load i8, i8* %37
%39 = icmp eq i8 %38, 0
%40 = select i1 %36, i1 %39, i1 false
br i1 %40, label %46, label %27
41: ; preds = %27
%42 = icmp slt i8 %30, %28
%43 = select i1 %42, i32 -1, i32 1
br label %46
44: ; preds = %17
%45 = trunc i64 %18 to i32
br label %46
46: ; preds = %33, %22, %44, %41, %2
%47 = phi i32 [ -1, %2 ], [ %43, %41 ], [ %45, %44 ], [ 0, %22 ], [ 0, %33 ]
ret i32 %47
}