int my_strncmp(char *s1, char *s2, unsigned int n) {
  if (s1 != ((void *)0) && s2 != ((void *)0) && n != 0) {
    for (; *s1 != '\0' && *s2 != '\0' && *s1 == *s2 && n > 1; ++s1, ++s2, --n)
      ;
    if (s1 && s2)
      return *s1 - *s2;
    else
      return (*s1) ? 1 : -1;
  } else if (s1 != s2 && n != 0)
    return (s1) ? 1 : -1;
  return 0;
}


x86 assembly (clang, -O0):
<my_strncmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     120b <my_strncmp+0x10b>
cmpq   $0x0,-0x18(%rbp)
je     120b <my_strncmp+0x10b>
cmpl   $0x0,-0x1c(%rbp)
je     120b <my_strncmp+0x10b>
jmp    1134 <my_strncmp+0x34>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
je     1183 <my_strncmp+0x83>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
je     1183 <my_strncmp+0x83>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x1d(%rbp)
jne    1183 <my_strncmp+0x83>
cmpl   $0x1,-0x1c(%rbp)
seta   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    1193 <my_strncmp+0x93>
jmp    11be <my_strncmp+0xbe>
jmp    1198 <my_strncmp+0x98>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1134 <my_strncmp+0x34>
cmpq   $0x0,-0x10(%rbp)
je     11ec <my_strncmp+0xec>
cmpq   $0x0,-0x18(%rbp)
je     11ec <my_strncmp+0xec>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    124c <my_strncmp+0x14c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edx
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    124c <my_strncmp+0x14c>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     1240 <my_strncmp+0x140>
cmpl   $0x0,-0x1c(%rbp)
je     1240 <my_strncmp+0x140>
mov    -0x10(%rbp),%rdx
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    $0x0,%rdx
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    124c <my_strncmp+0x14c>
jmp    1245 <my_strncmp+0x145>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<my_strncmp>:
test   %rdi,%rdi
je     114d <my_strncmp+0x4d>
test   %rsi,%rsi
je     114d <my_strncmp+0x4d>
test   %edx,%edx
je     114d <my_strncmp+0x4d>
mov    (%rdi),%al
test   %al,%al
je     1142 <my_strncmp+0x42>
add    $0x1,%rdi
nopl   0x0(%rax,%rax,1)
movzbl (%rsi),%ecx
test   %cl,%cl
je     1144 <my_strncmp+0x44>
cmp    %cl,%al
jne    1144 <my_strncmp+0x44>
cmp    $0x2,%edx
jb     1144 <my_strncmp+0x44>
add    $0x1,%rsi
add    $0xffffffff,%edx
movzbl (%rdi),%eax
add    $0x1,%rdi
test   %al,%al
jne    1120 <my_strncmp+0x20>
xor    %eax,%eax
movsbl %al,%eax
movsbl (%rsi),%ecx
sub    %ecx,%eax
ret
cmp    $0x1,%rdi
sbb    %ecx,%ecx
or     $0x1,%ecx
test   %edx,%edx
cmove  %edx,%ecx
xor    %eax,%eax
cmp    %rsi,%rdi
cmovne %ecx,%eax
ret

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

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