unsigned short isReversed(char *s1, char *s2, unsigned short length) {
  unsigned short i;
  for (i = 0; i < length; i++) {
    if (s1[i] != s2[length - 1 - i])
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<isReversed>:
push   %rbp
mov    %rsp,%rbp
mov    %dx,%ax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %ax,-0x1a(%rbp)
movw   $0x0,-0x1c(%rbp)
movzwl -0x1c(%rbp),%eax
movzwl -0x1a(%rbp),%ecx
cmp    %ecx,%eax
jge    1176 <isReversed+0x76>
mov    -0x10(%rbp),%rax
movzwl -0x1c(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movzwl -0x1a(%rbp),%edx
sub    $0x1,%edx
movzwl -0x1c(%rbp),%esi
sub    %esi,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1160 <isReversed+0x60>
movw   $0x0,-0x2(%rbp)
jmp    117c <isReversed+0x7c>
jmp    1165 <isReversed+0x65>
mov    -0x1c(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x1c(%rbp)
jmp    1119 <isReversed+0x19>
movw   $0x1,-0x2(%rbp)
movzwl -0x2(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isReversed>:
mov    $0x1,%ax
test   %edx,%edx
je     1123 <isReversed+0x23>
mov    %edx,%ecx
nopw   0x0(%rax,%rax,1)
movzbl (%rdi),%edx
cmp    -0x1(%rsi,%rcx,1),%dl
jne    1124 <isReversed+0x24>
add    $0x1,%rdi
add    $0xffffffffffffffff,%rcx
jne    1110 <isReversed+0x10>
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define zeroext i16 @isReversed(i8* nocapture %0, i8* nocapture %1, i16 zeroext %2) {
%4 = zext i16 %2 to i64
%5 = icmp eq i16 %2, 0
br i1 %5, label %18, label %8
6: ; preds = %8
%7 = icmp eq i64 %17, %4
br i1 %7, label %18, label %8
8: ; preds = %3, %6
%9 = phi i64 [ %17, %6 ], [ 0, %3 ]
%10 = getelementptr inbounds i8, i8* %0, i64 %9
%11 = load i8, i8* %10
%12 = xor i64 %9, -1
%13 = add nsw i64 %12, %4
%14 = getelementptr inbounds i8, i8* %1, i64 %13
%15 = load i8, i8* %14
%16 = icmp eq i8 %11, %15
%17 = add nuw nsw i64 %9, 1
br i1 %16, label %6, label %18
18: ; preds = %8, %6, %3
%19 = phi i16 [ 1, %3 ], [ 1, %6 ], [ 0, %8 ]
ret i16 %19
}