signed char user_memcmp(const unsigned char *const a,
                        const unsigned char *const b) {
  char count = 0;
  for (unsigned char i = 0; i < 20; i++) {
    if (a[i] != b[i])
      break;
    else
      count++;
  }
  if (count == 20)
    return 0;
  if (count >= 4)
    return count;
  else
    return -1;
}


x86 assembly (clang, -O0):
<user_memcmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movb   $0x0,-0x19(%rbp)
movb   $0x0,-0x1a(%rbp)
movzbl -0x1a(%rbp),%eax
cmp    $0x14,%eax
jge    1160 <user_memcmp+0x60>
mov    -0x10(%rbp),%rax
movzbl -0x1a(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movzbl -0x1a(%rbp),%edx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1146 <user_memcmp+0x46>
jmp    1160 <user_memcmp+0x60>
mov    -0x19(%rbp),%al
add    $0x1,%al
mov    %al,-0x19(%rbp)
jmp    1153 <user_memcmp+0x53>
mov    -0x1a(%rbp),%al
add    $0x1,%al
mov    %al,-0x1a(%rbp)
jmp    1114 <user_memcmp+0x14>
movsbl -0x19(%rbp),%eax
cmp    $0x14,%eax
jne    1176 <user_memcmp+0x76>
movb   $0x0,-0x1(%rbp)
jmp    1192 <user_memcmp+0x92>
movsbl -0x19(%rbp),%eax
cmp    $0x4,%eax
jl     118e <user_memcmp+0x8e>
mov    -0x19(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    1192 <user_memcmp+0x92>
movb   $0xff,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<user_memcmp>:
mov    (%rdi),%cl
mov    $0xff,%al
cmp    (%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x1(%rdi),%cl
cmp    0x1(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x2(%rdi),%cl
cmp    0x2(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x3(%rdi),%cl
cmp    0x3(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x4(%rdi),%cl
mov    $0x4,%al
cmp    0x4(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x5(%rdi),%cl
mov    $0x5,%al
cmp    0x5(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x6(%rdi),%cl
mov    $0x6,%al
cmp    0x6(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x7(%rdi),%cl
mov    $0x7,%al
cmp    0x7(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x8(%rdi),%cl
mov    $0x8,%al
cmp    0x8(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x9(%rdi),%cl
mov    $0x9,%al
cmp    0x9(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0xa(%rdi),%cl
mov    $0xa,%al
cmp    0xa(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0xb(%rdi),%cl
mov    $0xb,%al
cmp    0xb(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0xc(%rdi),%cl
mov    $0xc,%al
cmp    0xc(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0xd(%rdi),%cl
mov    $0xd,%al
cmp    0xd(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0xe(%rdi),%cl
mov    $0xe,%al
cmp    0xe(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0xf(%rdi),%cl
mov    $0xf,%al
cmp    0xf(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x10(%rdi),%cl
mov    $0x10,%al
cmp    0x10(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x11(%rdi),%cl
mov    $0x11,%al
cmp    0x11(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x12(%rdi),%cl
mov    $0x12,%al
cmp    0x12(%rsi),%cl
jne    11e2 <user_memcmp+0xe2>
mov    0x13(%rdi),%al
xor    %ecx,%ecx
cmp    0x13(%rsi),%al
mov    $0x13,%eax
cmove  %ecx,%eax
ret

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

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