int fun(char *p) {
  int i, length, not = 0;
  for (length = 0; '\0' != *p; length++, p++)
    ;
  char str[length];
  for (i = 0; i < length; p--, i++)
    str[i] = *p;
  for (i = 0; i < length; i++) {
    if (str[i] == *(p + i))
      not = 0;
    else
      not = 1;
  }
  return not ;
}


x86 assembly (clang, -O0):
<fun>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    %ecx,%eax
je     114a <fun+0x4a>
jmp    1130 <fun+0x30>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    111a <fun+0x1a>
mov    -0x10(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11ae <fun+0xae>
mov    -0x30(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    (%rcx),%dl
movslq -0xc(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1177 <fun+0x77>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1207 <fun+0x107>
mov    -0x30(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11ed <fun+0xed>
movl   $0x0,-0x14(%rbp)
jmp    11f4 <fun+0xf4>
movl   $0x1,-0x14(%rbp)
jmp    11f9 <fun+0xf9>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11b5 <fun+0xb5>
mov    -0x14(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fun>:
push   %rbp
mov    %rsp,%rbp
push   %rbx
push   %rax
cmpb   $0x0,(%rdi)
je     1256 <fun+0x156>
mov    $0xffffffffffffffff,%rcx
cs nopw 0x0(%rax,%rax,1)
cmpb   $0x0,0x2(%rdi,%rcx,1)
lea    0x1(%rcx),%rcx
jne    1120 <fun+0x20>
mov    %rsp,%rax
lea    0x10(%rcx),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rax,%r9
sub    %rdx,%r9
mov    %r9,%rsp
neg    %rdx
movb   $0x0,(%rax,%rdx,1)
lea    (%rdi,%rcx,1),%rdx
test   %ecx,%ecx
je     1248 <fun+0x148>
mov    $0x1,%r11d
cmp    $0x20,%rcx
jb     121b <fun+0x11b>
mov    %rcx,%r8
and    $0xffffffffffffffe0,%r8
lea    0x1(%r8),%r11
mov    %r8,%r10
neg    %r10
mov    %rdi,%rdx
sub    %r8,%rdx
add    %rcx,%rdx
lea    0x11(%r9),%rax
xor    %esi,%esi
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
lea    (%rdi,%rsi,1),%rbx
movdqu -0x1f(%rcx,%rbx,1),%xmm1
movdqu -0xf(%rcx,%rbx,1),%xmm2
movdqa %xmm2,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm2
pshufd $0x4e,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
pshufhw $0x1b,%xmm2,%xmm2
packuswb %xmm3,%xmm2
movdqa %xmm1,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm3,%xmm1
movdqu %xmm2,-0x10(%rax)
movdqu %xmm1,(%rax)
add    $0xffffffffffffffe0,%rsi
add    $0x20,%rax
cmp    %rsi,%r10
jne    1190 <fun+0x90>
cmp    %r8,%rcx
je     1248 <fun+0x148>
mov    %rcx,%rax
sub    %r11,%rax
add    $0x1,%rax
add    %r9,%r11
xor    %esi,%esi
xor    %edi,%edi
nopl   0x0(%rax)
movzbl (%rdx,%rsi,1),%ebx
mov    %bl,(%r11,%rdi,1)
add    $0x1,%rdi
add    $0xffffffffffffffff,%rsi
cmp    %rdi,%rax
jne    1230 <fun+0x130>
sub    %rdi,%rdx
mov    (%r9,%rcx,1),%bl
xor    %eax,%eax
cmp    (%rdx,%rcx,1),%bl
setne  %al
jmp    1258 <fun+0x158>
xor    %eax,%eax
lea    -0x8(%rbp),%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @fun(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i64
store i8* %0, i8** %2
store i32 0, i32* %5
store i32 0, i32* %4
br label %8
8: ; preds = %14, %1
%9 = load i8*, i8** %2
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = icmp ne i32 0, %11
br i1 %12, label %13, label %19
13: ; preds = %8
br label %14
14: ; preds = %13
%15 = load i32, i32* %4
%16 = add nsw i32 %15, 1
store i32 %16, i32* %4
%17 = load i8*, i8** %2
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %2
br label %8
19: ; preds = %8
%20 = load i32, i32* %4
%21 = zext i32 %20 to i64
%22 = call i8* @llvm.stacksave()
store i8* %22, i8** %6
%23 = alloca i8, i64 %21
store i64 %21, i64* %7
store i32 0, i32* %3
br label %24
24: ; preds = %34, %19
%25 = load i32, i32* %3
%26 = load i32, i32* %4
%27 = icmp slt i32 %25, %26
br i1 %27, label %28, label %39
28: ; preds = %24
%29 = load i8*, i8** %2
%30 = load i8, i8* %29
%31 = load i32, i32* %3
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %23, i64 %32
store i8 %30, i8* %33
br label %34
34: ; preds = %28
%35 = load i8*, i8** %2
%36 = getelementptr inbounds i8, i8* %35, i32 -1
store i8* %36, i8** %2
%37 = load i32, i32* %3
%38 = add nsw i32 %37, 1
store i32 %38, i32* %3
br label %24
39: ; preds = %24
store i32 0, i32* %3
br label %40
40: ; preds = %60, %39
%41 = load i32, i32* %3
%42 = load i32, i32* %4
%43 = icmp slt i32 %41, %42
br i1 %43, label %44, label %63
44: ; preds = %40
%45 = load i32, i32* %3
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %23, i64 %46
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = load i8*, i8** %2
%51 = load i32, i32* %3
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %50, i64 %52
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp eq i32 %49, %55
br i1 %56, label %57, label %58
57: ; preds = %44
store i32 0, i32* %5
br label %59
58: ; preds = %44
store i32 1, i32* %5
br label %59
59: ; preds = %58, %57
br label %60
60: ; preds = %59
%61 = load i32, i32* %3
%62 = add nsw i32 %61, 1
store i32 %62, i32* %3
br label %40
63: ; preds = %40
%64 = load i32, i32* %5
%65 = load i8*, i8** %6
ret i32 %64
}

LLVM IR (-O2):
define i32 @fun(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %65, label %4
4: ; preds = %1, %4
%5 = phi i8* [ %8, %4 ], [ %0, %1 ]
%6 = phi i32 [ %7, %4 ], [ 0, %1 ]
%7 = add nuw nsw i32 %6, 1
%8 = getelementptr inbounds i8, i8* %5, i64 1
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 0
br i1 %10, label %11, label %4
11: ; preds = %4
%12 = zext i32 %7 to i64
%13 = alloca i8, i64 %12
store i8 0, i8* %13
%14 = icmp eq i32 %6, 0
br i1 %14, label %48, label %15
15: ; preds = %11
%16 = add nsw i64 %12, -1
%17 = icmp ult i64 %16, 32
br i1 %17, label %45, label %18
18: ; preds = %15
%19 = and i64 %16, -32
%20 = or i64 %19, 1
%21 = sub nsw i64 0, %19
%22 = getelementptr i8, i8* %5, i64 %21
br label %23
23: ; preds = %23, %18
%24 = phi i64 [ 0, %18 ], [ %41, %23 ]
%25 = or i64 %24, 1
%26 = sub i64 0, %24
%27 = getelementptr i8, i8* %5, i64 %26
%28 = getelementptr i8, i8* %27, i64 -15
%29 = bitcast i8* %28 to <16 x i8>*
%30 = load <16 x i8>, <16 x i8>* %29
%31 = shufflevector <16 x i8> %30, <16 x i8> poison, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%32 = getelementptr i8, i8* %27, i64 -16
%33 = getelementptr i8, i8* %32, i64 -15
%34 = bitcast i8* %33 to <16 x i8>*
%35 = load <16 x i8>, <16 x i8>* %34
%36 = shufflevector <16 x i8> %35, <16 x i8> poison, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%37 = getelementptr inbounds i8, i8* %13, i64 %25
%38 = bitcast i8* %37 to <16 x i8>*
store <16 x i8> %31, <16 x i8>* %38
%39 = getelementptr inbounds i8, i8* %37, i64 16
%40 = bitcast i8* %39 to <16 x i8>*
store <16 x i8> %36, <16 x i8>* %40
%41 = add nuw i64 %24, 32
%42 = icmp eq i64 %41, %19
br i1 %42, label %43, label %23
43: ; preds = %23
%44 = icmp eq i64 %16, %19
br i1 %44, label %48, label %45
45: ; preds = %15, %43
%46 = phi i64 [ 1, %15 ], [ %20, %43 ]
%47 = phi i8* [ %5, %15 ], [ %22, %43 ]
br label %57
48: ; preds = %57, %43, %11
%49 = phi i8* [ %5, %11 ], [ %22, %43 ], [ %62, %57 ]
%50 = zext i32 %6 to i64
%51 = getelementptr inbounds i8, i8* %13, i64 %50
%52 = load i8, i8* %51
%53 = getelementptr inbounds i8, i8* %49, i64 %50
%54 = load i8, i8* %53
%55 = icmp ne i8 %52, %54
%56 = zext i1 %55 to i32
br label %65
57: ; preds = %45, %57
%58 = phi i64 [ %63, %57 ], [ %46, %45 ]
%59 = phi i8* [ %62, %57 ], [ %47, %45 ]
%60 = load i8, i8* %59
%61 = getelementptr inbounds i8, i8* %13, i64 %58
store i8 %60, i8* %61
%62 = getelementptr inbounds i8, i8* %59, i64 -1
%63 = add nuw nsw i64 %58, 1
%64 = icmp eq i64 %63, %12
br i1 %64, label %48, label %57
65: ; preds = %1, %48
%66 = phi i32 [ %56, %48 ], [ 0, %1 ]
ret i32 %66
}