int palindromo(char *string, int length) {
  int i, j, b = 1;
  for (i = 0, j = length - 1; i < length, j >= 0; i++, j--) {
    if (string[i] != string[j]) {
      b = 0;
    }
  }
  return b;
}


x86 assembly (clang, -O0):
<palindromo>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     116f <palindromo+0x6f>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1153 <palindromo+0x53>
movl   $0x0,-0x18(%rbp)
jmp    1158 <palindromo+0x58>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1122 <palindromo+0x22>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<palindromo>:
push   %r15
push   %r14
push   %rbx
test   %esi,%esi
jle    119c <palindromo+0x9c>
mov    %esi,%r8d
mov    $0x1,%eax
cmp    $0x8,%esi
jae    11a7 <palindromo+0xa7>
xor    %r10d,%r10d
mov    %r8,%r9
mov    %r10,%rcx
not    %rcx
test   $0x1,%r8b
je     1149 <palindromo+0x49>
add    $0xffffffffffffffff,%r9
mov    (%rdi,%r10,1),%dl
mov    %r9d,%esi
xor    %r11d,%r11d
cmp    (%rdi,%rsi,1),%dl
cmovne %r11d,%eax
or     $0x1,%r10
add    %r8,%rcx
je     11a1 <palindromo+0xa1>
lea    (%r10,%rdi,1),%r15
add    $0x1,%r15
sub    %r8,%r10
lea    -0x2(%r9),%r11
mov    $0xffffffff,%r14d
add    %r9,%r14
xor    %r8d,%r8d
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
lea    (%r14,%rsi,1),%ecx
movzbl -0x1(%r15),%ebx
xor    (%rdi,%rcx,1),%bl
movzbl (%r15),%ecx
lea    (%r11,%rsi,1),%edx
xor    (%rdi,%rdx,1),%cl
or     %bl,%cl
cmovne %r8d,%eax
add    $0xfffffffffffffffe,%rsi
add    $0x2,%r15
cmp    %rsi,%r10
jne    1170 <palindromo+0x70>
jmp    11a1 <palindromo+0xa1>
mov    $0x1,%eax
pop    %rbx
pop    %r14
pop    %r15
ret
lea    -0x1(%r8),%rdx
add    $0xffffffff,%esi
xor    %r10d,%r10d
cmp    %edx,%esi
jb     1121 <palindromo+0x21>
mov    %rdx,%rcx
shr    $0x20,%rcx
mov    %r8,%r9
jne    1124 <palindromo+0x24>
mov    %r8d,%r10d
and    $0xfffffff8,%r10d
mov    %r8d,%r9d
and    $0x7,%r9d
movdqa 0xe21(%rip),%xmm0
xor    %eax,%eax
movdqa %xmm0,%xmm1
cs nopw 0x0(%rax,%rax,1)
nop
movd   (%rdi,%rax,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
movd   0x4(%rdi,%rax,1),%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
mov    %edx,%ecx
movd   -0x3(%rdi,%rcx,1),%xmm4
punpcklbw %xmm4,%xmm4
movd   -0x7(%rdi,%rcx,1),%xmm5
punpcklbw %xmm5,%xmm5
pshufd $0xc4,%xmm4,%xmm4
pshuflw $0xac,%xmm4,%xmm4
pshufhw $0x24,%xmm4,%xmm4
pcmpeqb %xmm2,%xmm4
psrad  $0x18,%xmm4
pand   %xmm4,%xmm0
pshufd $0xc4,%xmm5,%xmm2
pshuflw $0xac,%xmm2,%xmm2
pshufhw $0x24,%xmm2,%xmm2
pcmpeqb %xmm3,%xmm2
psrad  $0x18,%xmm2
pand   %xmm2,%xmm1
add    $0x8,%rax
add    $0xfffffffffffffff8,%rdx
cmp    %rax,%r10
jne    11f0 <palindromo+0xf0>
movdqa 0xd92(%rip),%xmm2
movdqa %xmm0,%xmm3
pcmpeqd %xmm2,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm0,%xmm3
por    %xmm1,%xmm3
pcmpeqd %xmm2,%xmm3
movmskps %xmm3,%ecx
xor    %eax,%eax
cmp    $0xf,%ecx
sete   %al
cmp    %r8,%r10
je     11a1 <palindromo+0xa1>
jmp    1124 <palindromo+0x24>

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

LLVM IR (-O2):
define i32 @palindromo(i8* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %101
4: ; preds = %2
%5 = zext i32 %1 to i64
%6 = icmp ult i32 %1, 8
br i1 %6, label %54, label %7
7: ; preds = %4
%8 = add nsw i64 %5, -1
%9 = add i32 %1, -1
%10 = trunc i64 %8 to i32
%11 = icmp ult i32 %9, %10
%12 = icmp ugt i64 %8, 4294967295
%13 = or i1 %11, %12
br i1 %13, label %54, label %14
14: ; preds = %7
%15 = and i64 %5, 4294967288
%16 = and i64 %5, 7
br label %17
17: ; preds = %17, %14
%18 = phi i64 [ 0, %14 ], [ %44, %17 ]
%19 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %14 ], [ %42, %17 ]
%20 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %14 ], [ %43, %17 ]
%21 = xor i64 %18, -1
%22 = add i64 %21, %5
%23 = getelementptr inbounds i8, i8* %0, i64 %18
%24 = bitcast i8* %23 to <4 x i8>*
%25 = load <4 x i8>, <4 x i8>* %24
%26 = getelementptr inbounds i8, i8* %23, i64 4
%27 = bitcast i8* %26 to <4 x i8>*
%28 = load <4 x i8>, <4 x i8>* %27
%29 = and i64 %22, 4294967295
%30 = getelementptr inbounds i8, i8* %0, i64 %29
%31 = getelementptr inbounds i8, i8* %30, i64 -3
%32 = bitcast i8* %31 to <4 x i8>*
%33 = load <4 x i8>, <4 x i8>* %32
%34 = shufflevector <4 x i8> %33, <4 x i8> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%35 = getelementptr inbounds i8, i8* %30, i64 -4
%36 = getelementptr inbounds i8, i8* %35, i64 -3
%37 = bitcast i8* %36 to <4 x i8>*
%38 = load <4 x i8>, <4 x i8>* %37
%39 = shufflevector <4 x i8> %38, <4 x i8> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%40 = icmp eq <4 x i8> %25, %34
%41 = icmp eq <4 x i8> %28, %39
%42 = select <4 x i1> %40, <4 x i32> %19, <4 x i32> zeroinitializer
%43 = select <4 x i1> %41, <4 x i32> %20, <4 x i32> zeroinitializer
%44 = add nuw i64 %18, 8
%45 = icmp eq i64 %44, %15
br i1 %45, label %46, label %17
46: ; preds = %17
%47 = icmp eq <4 x i32> %42, <i32 1, i32 1, i32 1, i32 1>
%48 = select <4 x i1> %47, <4 x i32> %43, <4 x i32> %42
%49 = icmp ne <4 x i32> %48, <i32 1, i32 1, i32 1, i32 1>
%50 = bitcast <4 x i1> %49 to i4
%51 = icmp eq i4 %50, 0
%52 = zext i1 %51 to i32
%53 = icmp eq i64 %15, %5
br i1 %53, label %101, label %54
54: ; preds = %7, %4, %46
%55 = phi i64 [ 0, %7 ], [ 0, %4 ], [ %15, %46 ]
%56 = phi i64 [ %5, %7 ], [ %5, %4 ], [ %16, %46 ]
%57 = phi i32 [ 1, %7 ], [ 1, %4 ], [ %52, %46 ]
%58 = xor i64 %55, -1
%59 = and i64 %5, 1
%60 = icmp eq i64 %59, 0
br i1 %60, label %71, label %61
61: ; preds = %54
%62 = add nsw i64 %56, -1
%63 = getelementptr inbounds i8, i8* %0, i64 %55
%64 = load i8, i8* %63
%65 = and i64 %62, 4294967295
%66 = getelementptr inbounds i8, i8* %0, i64 %65
%67 = load i8, i8* %66
%68 = icmp eq i8 %64, %67
%69 = select i1 %68, i32 %57, i32 0
%70 = or i64 %55, 1
br label %71
71: ; preds = %61, %54
%72 = phi i32 [ undef, %54 ], [ %69, %61 ]
%73 = phi i64 [ %55, %54 ], [ %70, %61 ]
%74 = phi i64 [ %56, %54 ], [ %62, %61 ]
%75 = phi i32 [ %57, %54 ], [ %69, %61 ]
%76 = sub nsw i64 0, %5
%77 = icmp eq i64 %58, %76
br i1 %77, label %101, label %78
78: ; preds = %71, %78
%79 = phi i64 [ %99, %78 ], [ %73, %71 ]
%80 = phi i64 [ %90, %78 ], [ %74, %71 ]
%81 = phi i32 [ %98, %78 ], [ %75, %71 ]
%82 = add i64 %80, 4294967295
%83 = getelementptr inbounds i8, i8* %0, i64 %79
%84 = load i8, i8* %83
%85 = and i64 %82, 4294967295
%86 = getelementptr inbounds i8, i8* %0, i64 %85
%87 = load i8, i8* %86
%88 = icmp eq i8 %84, %87
%89 = add nuw nsw i64 %79, 1
%90 = add nsw i64 %80, -2
%91 = getelementptr inbounds i8, i8* %0, i64 %89
%92 = load i8, i8* %91
%93 = and i64 %90, 4294967295
%94 = getelementptr inbounds i8, i8* %0, i64 %93
%95 = load i8, i8* %94
%96 = icmp eq i8 %92, %95
%97 = select i1 %96, i1 %88, i1 false
%98 = select i1 %97, i32 %81, i32 0
%99 = add nuw nsw i64 %79, 2
%100 = icmp eq i64 %99, %5
br i1 %100, label %101, label %78
101: ; preds = %71, %78, %46, %2
%102 = phi i32 [ 1, %2 ], [ %52, %46 ], [ %72, %71 ], [ %98, %78 ]
ret i32 %102
}