int isPalindromeChar(char *start) {
  int result = 0;
  char *end;
  end = start;
  while (*end != '\0') {
    ++end;
  }
  --end;
  while (*end == *start) {
    --end;
    ++start;
    if (start >= end) {
      result = 1;
      break;
    }
  }
  return result;
}


x86 assembly (clang, -O0):
<isPalindromeChar>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1138 <isPalindromeChar+0x38>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1117 <isPalindromeChar+0x17>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x8(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1191 <isPalindromeChar+0x91>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x18(%rbp),%rax
jb     118c <isPalindromeChar+0x8c>
movl   $0x1,-0xc(%rbp)
jmp    1191 <isPalindromeChar+0x91>
jmp    1144 <isPalindromeChar+0x44>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isPalindromeChar>:
lea    -0x3(%rdi),%rax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmpb   $0x0,0x3(%rax)
lea    0x1(%rax),%rax
jne    1110 <isPalindromeChar+0x10>
jmp    1130 <isPalindromeChar+0x30>
nopl   0x0(%rax)
add    $0x1,%rdi
lea    -0x1(%rax),%rcx
cmp    %rax,%rdi
mov    %rcx,%rax
jae    113b <isPalindromeChar+0x3b>
movzbl 0x1(%rax),%ecx
cmp    (%rdi),%cl
je     1120 <isPalindromeChar+0x20>
xor    %eax,%eax
ret
mov    $0x1,%eax
ret

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

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