int mymemcmp(char *str1, char *str2, int n) {
  if (str1 && str2) {
    int diff, i;
    for (i = 0; i < n && *str1 && *str2; i++) {
      diff = (*str1++) - (*str2++);
      if (diff != 0) {
        if (diff > 0)
          return 1;
        else
          return -1;
      }
    }
    if (*str1)
      return 1;
    if (*str2)
      return -1;
    return 0;
  } else {
    if (str1)
      return 1;
    else if (str2)
      return -1;
    else
      return 0;
  }
}


x86 assembly (clang, -O0):
<mymemcmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1218 <mymemcmp+0x118>
cmpq   $0x0,-0x18(%rbp)
je     1218 <mymemcmp+0x118>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x25(%rbp)
jge    1162 <mymemcmp+0x62>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x25(%rbp)
je     1162 <mymemcmp+0x62>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    1172 <mymemcmp+0x72>
jmp    11da <mymemcmp+0xda>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
movsbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     11c7 <mymemcmp+0xc7>
cmpl   $0x0,-0x20(%rbp)
jle    11bb <mymemcmp+0xbb>
movl   $0x1,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
movl   $0xffffffff,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
jmp    11cc <mymemcmp+0xcc>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    112c <mymemcmp+0x2c>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11f3 <mymemcmp+0xf3>
movl   $0x1,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     120c <mymemcmp+0x10c>
movl   $0xffffffff,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
movl   $0x0,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
cmpq   $0x0,-0x10(%rbp)
je     122f <mymemcmp+0x12f>
movl   $0x1,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
cmpq   $0x0,-0x18(%rbp)
je     1246 <mymemcmp+0x146>
movl   $0xffffffff,-0x4(%rbp)
jmp    124d <mymemcmp+0x14d>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mymemcmp>:
test   %rdi,%rdi
je     1160 <mymemcmp+0x60>
test   %rsi,%rsi
je     1160 <mymemcmp+0x60>
test   %edx,%edx
jle    1155 <mymemcmp+0x55>
lea    -0x1(%rdx),%eax
lea    (%rsi,%rax,1),%r8
add    $0x1,%r8
lea    (%rdi,%rax,1),%r9
add    $0x1,%r9
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsbl (%rdi),%eax
test   %eax,%eax
je     1171 <mymemcmp+0x71>
movsbl (%rsi),%ecx
test   %ecx,%ecx
je     1155 <mymemcmp+0x55>
sub    %ecx,%eax
jne    1178 <mymemcmp+0x78>
add    $0x1,%rsi
add    $0x1,%rdi
add    $0xffffffff,%edx
jne    1130 <mymemcmp+0x30>
mov    %r8,%rsi
mov    %r9,%rdi
mov    $0x1,%eax
cmpb   $0x0,(%rdi)
je     1171 <mymemcmp+0x71>
ret
neg    %rsi
sbb    %ecx,%ecx
test   %rdi,%rdi
mov    $0x1,%eax
cmove  %ecx,%eax
ret
xor    %eax,%eax
cmp    (%rsi),%al
sbb    %eax,%eax
ret
xor    %ecx,%ecx
test   %eax,%eax
setg   %cl
lea    (%rcx,%rcx,1),%eax
add    $0xffffffff,%eax
ret

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

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