int palindrome(const char *s) {
  if (!s)
    return 0;
  const char *t = s;
  while (*t) {
    t++;
  }
  t--;
  while (s <= t) {
    if (*s != *t) {
      return 0;
    }
    s++;
    t--;
  }
  return 1;
}


x86 assembly (clang, -O0):
<palindrome>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    111f <palindrome+0x1f>
movl   $0x0,-0x4(%rbp)
jmp    11a5 <palindrome+0xa5>
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     1145 <palindrome+0x45>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1127 <palindrome+0x27>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
ja     119e <palindrome+0x9e>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1181 <palindrome+0x81>
movl   $0x0,-0x4(%rbp)
jmp    11a5 <palindrome+0xa5>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1151 <palindrome+0x51>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<palindrome>:
xor    %eax,%eax
test   %rdi,%rdi
je     114d <palindrome+0x4d>
lea    -0x2(%rdi),%rcx
nopl   0x0(%rax,%rax,1)
cmpb   $0x0,0x2(%rcx)
lea    0x1(%rcx),%rcx
jne    1110 <palindrome+0x10>
cmp    %rdi,%rcx
jae    1125 <palindrome+0x25>
mov    $0x1,%eax
ret
add    $0x1,%rdi
nopl   0x0(%rax)
movzbl -0x1(%rdi),%edx
cmp    (%rcx),%dl
jne    114d <palindrome+0x4d>
add    $0xffffffffffffffff,%rcx
lea    0x1(%rdi),%rdx
cmp    %rcx,%rdi
mov    %rdx,%rdi
jbe    1130 <palindrome+0x30>
mov    $0x1,%eax
ret

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

LLVM IR (-O2):
define i32 @palindrome(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %21, label %3
3: ; preds = %1, %3
%4 = phi i8* [ %7, %3 ], [ %0, %1 ]
%5 = load i8, i8* %4
%6 = icmp eq i8 %5, 0
%7 = getelementptr inbounds i8, i8* %4, i64 1
br i1 %6, label %8, label %3
8: ; preds = %3
%9 = getelementptr inbounds i8, i8* %4, i64 -1
%10 = icmp ult i8* %9, %0
br i1 %10, label %21, label %14
11: ; preds = %14
%12 = getelementptr inbounds i8, i8* %15, i64 -1
%13 = icmp ugt i8* %20, %12
br i1 %13, label %21, label %14
14: ; preds = %8, %11
%15 = phi i8* [ %12, %11 ], [ %9, %8 ]
%16 = phi i8* [ %20, %11 ], [ %0, %8 ]
%17 = load i8, i8* %16
%18 = load i8, i8* %15
%19 = icmp eq i8 %17, %18
%20 = getelementptr inbounds i8, i8* %16, i64 1
br i1 %19, label %11, label %21
21: ; preds = %11, %14, %8, %1
%22 = phi i32 [ 0, %1 ], [ 1, %8 ], [ 1, %11 ], [ 0, %14 ]
ret i32 %22
}