int s_cmp(char *a0, char *b0, int la, int lb) {
  unsigned char *a, *aend, *b, *bend;
  a = (unsigned char *)a0;
  b = (unsigned char *)b0;
  aend = a + la;
  bend = b + lb;
  if (la <= lb) {
    while (a < aend)
      if (*a != *b)
        return (*a - *b);
      else {
        ++a;
        ++b;
      }
    while (b < bend)
      if (*b != ' ')
        return (' ' - *b);
      else
        ++b;
  } else {
    while (b < bend)
      if (*a == *b) {
        ++a;
        ++b;
      } else
        return (*a - *b);
    while (a < aend)
      if (*a != ' ')
        return (*a - ' ');
      else
        ++a;
  }
  return (0);
}


x86 assembly (clang, -O0):
<s_cmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x20(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     11f9 <s_cmp+0xf9>
jmp    1151 <s_cmp+0x51>
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    11aa <s_cmp+0xaa>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movzbl (%rcx),%ecx
cmp    %ecx,%eax
je     118d <s_cmp+0x8d>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    12ae <s_cmp+0x1ae>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1151 <s_cmp+0x51>
jmp    11af <s_cmp+0xaf>
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
jae    11f4 <s_cmp+0xf4>
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x20,%eax
je     11e3 <s_cmp+0xe3>
mov    -0x38(%rbp),%rax
movzbl (%rax),%ecx
mov    $0x20,%eax
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    12ae <s_cmp+0x1ae>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    11af <s_cmp+0xaf>
jmp    12a7 <s_cmp+0x1a7>
jmp    11fe <s_cmp+0xfe>
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
jae    125c <s_cmp+0x15c>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movzbl (%rcx),%ecx
cmp    %ecx,%eax
jne    123f <s_cmp+0x13f>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1257 <s_cmp+0x157>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    12ae <s_cmp+0x1ae>
jmp    11fe <s_cmp+0xfe>
jmp    1261 <s_cmp+0x161>
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    12a2 <s_cmp+0x1a2>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x20,%eax
je     1291 <s_cmp+0x191>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
sub    $0x20,%eax
mov    %eax,-0x4(%rbp)
jmp    12ae <s_cmp+0x1ae>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1261 <s_cmp+0x161>
jmp    12a7 <s_cmp+0x1a7>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<s_cmp>:
movslq %edx,%r10
lea    (%rdi,%r10,1),%r8
movslq %ecx,%rax
lea    (%rsi,%rax,1),%r9
cmp    %eax,%r10d
jle    1153 <s_cmp+0x53>
test   %ecx,%ecx
jle    1137 <s_cmp+0x37>
nopw   0x0(%rax,%rax,1)
movzbl (%rdi),%eax
movzbl (%rsi),%ecx
cmp    %cl,%al
jne    1192 <s_cmp+0x92>
add    $0x1,%rdi
add    $0x1,%rsi
cmp    %r9,%rsi
jb     1120 <s_cmp+0x20>
xor    %eax,%eax
cmp    %r8,%rdi
jae    1191 <s_cmp+0x91>
xchg   %ax,%ax
movzbl (%rdi),%ecx
cmp    $0x20,%ecx
jne    1195 <s_cmp+0x95>
add    $0x1,%rdi
cmp    %r8,%rdi
jb     1140 <s_cmp+0x40>
jmp    1191 <s_cmp+0x91>
test   %edx,%edx
jle    1177 <s_cmp+0x77>
nopw   0x0(%rax,%rax,1)
movzbl (%rdi),%eax
movzbl (%rsi),%ecx
cmp    %cl,%al
jne    1192 <s_cmp+0x92>
add    $0x1,%rdi
add    $0x1,%rsi
cmp    %r8,%rdi
jb     1160 <s_cmp+0x60>
xor    %eax,%eax
cmp    %r9,%rsi
jae    1191 <s_cmp+0x91>
xchg   %ax,%ax
movzbl (%rsi),%ecx
cmp    $0x20,%ecx
jne    119b <s_cmp+0x9b>
add    $0x1,%rsi
cmp    %r9,%rsi
jb     1180 <s_cmp+0x80>
ret
sub    %ecx,%eax
ret
add    $0xffffffe0,%ecx
mov    %ecx,%eax
ret
mov    $0x20,%eax
sub    %ecx,%eax
ret

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

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