#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ free(char *);
scalar_t__ islower(char);
scalar_t__ malloc(int);
char tolower(char);
int palindrome(char *String) {
  int temp = 0;
  int label = 0;
  int chars = 0;
  for (temp = 0; String[temp]; temp++) {
    String[temp] = tolower(String[temp]);
  }
  for (temp = 0; String[temp] != '\0'; temp++) {
    if (islower(String[temp])) {
      chars++;
    }
  }
  char *str = (char *)malloc(chars * sizeof(char));
  for (temp = 0, label = chars; String[temp] != '\0'; temp++) {
    if (islower(String[temp])) {
      str[label - 1] = String[temp];
      label--;
    }
  }
  for (temp = 0; temp < (chars / 2); temp++) {
    if (str[temp] != str[chars - 1 - temp]) {
      return 0;
    }
  }
  free(str);
  return 1;
}


x86 assembly (clang, -O0):
<palindrome>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     11a6 <palindrome+0x66>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1168 <palindrome+0x28>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11f9 <palindrome+0xb9>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <islower@plt>
cmp    $0x0,%rax
je     11e6 <palindrome+0xa6>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11eb <palindrome+0xab>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11ad <palindrome+0x6d>
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1280 <palindrome+0x140>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <islower@plt>
cmp    $0x0,%rax
je     126d <palindrome+0x12d>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1272 <palindrome+0x132>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1219 <palindrome+0xd9>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
cmp    %ecx,%eax
jge    12ec <palindrome+0x1ac>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
mov    -0x1c(%rbp),%edx
sub    $0x1,%edx
sub    -0x14(%rbp),%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     12d9 <palindrome+0x199>
movl   $0x0,-0x4(%rbp)
jmp    12fc <palindrome+0x1bc>
jmp    12de <palindrome+0x19e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1287 <palindrome+0x147>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<palindrome>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,%r13
mov    (%rdi),%al
xor    %r14d,%r14d
test   %al,%al
je     11ab <palindrome+0x6b>
lea    0x1(%r13),%rbx
nopl   0x0(%rax)
movsbl %al,%edi
call   1050 <tolower@plt>
mov    %al,-0x1(%rbx)
movzbl (%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1160 <palindrome+0x20>
mov    0x0(%r13),%al
test   %al,%al
je     11ab <palindrome+0x6b>
lea    0x1(%r13),%rbx
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nop
movsbl %al,%edi
call   1040 <islower@plt>
cmp    $0x1,%rax
sbb    $0xffffffff,%r14d
movzbl (%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1190 <palindrome+0x50>
mov    %r14d,%edi
call   1060 <malloc@plt>
mov    %rax,%r15
mov    0x0(%r13),%al
test   %al,%al
je     11fd <palindrome+0xbd>
add    $0x1,%r13
mov    %r14d,%r12d
jmp    11dd <palindrome+0x9d>
nopw   0x0(%rax,%rax,1)
movzbl 0x0(%r13),%eax
add    $0x1,%r13
test   %al,%al
je     11fd <palindrome+0xbd>
movsbl %al,%edi
call   1040 <islower@plt>
test   %rax,%rax
je     11d0 <palindrome+0x90>
movzbl -0x1(%r13),%eax
movslq %r12d,%r12
mov    %al,-0x1(%r15,%r12,1)
add    $0xffffffffffffffff,%r12
jmp    11d0 <palindrome+0x90>
cmp    $0x2,%r14d
jb     1235 <palindrome+0xf5>
movslq %r14d,%rax
shr    %r14d
lea    (%rax,%r15,1),%rcx
add    $0xffffffffffffffff,%rcx
neg    %r14
xor    %eax,%eax
xor    %edx,%edx
mov    %r15,%rsi
nopl   0x0(%rax,%rax,1)
movzbl (%rsi),%ebx
cmp    (%rcx,%rdx,1),%bl
jne    1242 <palindrome+0x102>
add    $0x1,%rsi
add    $0xffffffffffffffff,%rdx
cmp    %rdx,%r14
jne    1220 <palindrome+0xe0>
mov    %r15,%rdi
call   1030 <free@plt>
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @palindrome(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
store i32 0, i32* %4
br label %8
8: ; preds = %26, %1
%9 = load i8*, i8** %3
%10 = load i32, i32* %4
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %9, i64 %11
%13 = load i8, i8* %12
%14 = icmp ne i8 %13, 0
br i1 %14, label %15, label %29
15: ; preds = %8
%16 = load i8*, i8** %3
%17 = load i32, i32* %4
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
%20 = load i8, i8* %19
%21 = call signext i8 @tolower(i8 signext %20)
%22 = load i8*, i8** %3
%23 = load i32, i32* %4
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
store i8 %21, i8* %25
br label %26
26: ; preds = %15
%27 = load i32, i32* %4
%28 = add nsw i32 %27, 1
store i32 %28, i32* %4
br label %8
29: ; preds = %8
store i32 0, i32* %4
br label %30
30: ; preds = %50, %29
%31 = load i8*, i8** %3
%32 = load i32, i32* %4
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %53
38: ; preds = %30
%39 = load i8*, i8** %3
%40 = load i32, i32* %4
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %39, i64 %41
%43 = load i8, i8* %42
%44 = call i64 @islower(i8 signext %43)
%45 = icmp ne i64 %44, 0
br i1 %45, label %46, label %49
46: ; preds = %38
%47 = load i32, i32* %6
%48 = add nsw i32 %47, 1
store i32 %48, i32* %6
br label %49
49: ; preds = %46, %38
br label %50
50: ; preds = %49
%51 = load i32, i32* %4
%52 = add nsw i32 %51, 1
store i32 %52, i32* %4
br label %30
53: ; preds = %30
%54 = load i32, i32* %6
%55 = sext i32 %54 to i64
%56 = mul i64 %55, 1
%57 = trunc i64 %56 to i32
%58 = call i64 @malloc(i32 %57)
%59 = inttoptr i64 %58 to i8*
store i8* %59, i8** %7
store i32 0, i32* %4
%60 = load i32, i32* %6
store i32 %60, i32* %5
br label %61
61: ; preds = %91, %53
%62 = load i8*, i8** %3
%63 = load i32, i32* %4
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %62, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp ne i32 %67, 0
br i1 %68, label %69, label %94
69: ; preds = %61
%70 = load i8*, i8** %3
%71 = load i32, i32* %4
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = load i8, i8* %73
%75 = call i64 @islower(i8 signext %74)
%76 = icmp ne i64 %75, 0
br i1 %76, label %77, label %90
77: ; preds = %69
%78 = load i8*, i8** %3
%79 = load i32, i32* %4
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i8, i8* %78, i64 %80
%82 = load i8, i8* %81
%83 = load i8*, i8** %7
%84 = load i32, i32* %5
%85 = sub nsw i32 %84, 1
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i8, i8* %83, i64 %86
store i8 %82, i8* %87
%88 = load i32, i32* %5
%89 = add nsw i32 %88, -1
store i32 %89, i32* %5
br label %90
90: ; preds = %77, %69
br label %91
91: ; preds = %90
%92 = load i32, i32* %4
%93 = add nsw i32 %92, 1
store i32 %93, i32* %4
br label %61
94: ; preds = %61
store i32 0, i32* %4
br label %95
95: ; preds = %119, %94
%96 = load i32, i32* %4
%97 = load i32, i32* %6
%98 = sdiv i32 %97, 2
%99 = icmp slt i32 %96, %98
br i1 %99, label %100, label %122
100: ; preds = %95
%101 = load i8*, i8** %7
%102 = load i32, i32* %4
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i8, i8* %101, i64 %103
%105 = load i8, i8* %104
%106 = sext i8 %105 to i32
%107 = load i8*, i8** %7
%108 = load i32, i32* %6
%109 = sub nsw i32 %108, 1
%110 = load i32, i32* %4
%111 = sub nsw i32 %109, %110
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %107, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = icmp ne i32 %106, %115
br i1 %116, label %117, label %118
117: ; preds = %100
store i32 0, i32* %2
br label %125
118: ; preds = %100
br label %119
119: ; preds = %118
%120 = load i32, i32* %4
%121 = add nsw i32 %120, 1
store i32 %121, i32* %4
br label %95
122: ; preds = %95
%123 = load i8*, i8** %7
%124 = call i32 @free(i8* %123)
store i32 1, i32* %2
br label %125
125: ; preds = %122, %117
%126 = load i32, i32* %2
ret i32 %126
}

LLVM IR (-O2):
define i32 @palindrome(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %28, label %7
4: ; preds = %7
%5 = load i8, i8* %0
%6 = icmp eq i8 %5, 0
br i1 %6, label %28, label %16
7: ; preds = %1, %7
%8 = phi i64 [ %12, %7 ], [ 0, %1 ]
%9 = phi i8 [ %14, %7 ], [ %2, %1 ]
%10 = phi i8* [ %13, %7 ], [ %0, %1 ]
%11 = tail call signext i8 @tolower(i8 signext %9)
store i8 %11, i8* %10
%12 = add nuw i64 %8, 1
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 0
br i1 %15, label %4, label %7
16: ; preds = %4, %16
%17 = phi i64 [ %24, %16 ], [ 0, %4 ]
%18 = phi i8 [ %26, %16 ], [ %5, %4 ]
%19 = phi i32 [ %23, %16 ], [ 0, %4 ]
%20 = tail call i64 @islower(i8 signext %18)
%21 = icmp ne i64 %20, 0
%22 = zext i1 %21 to i32
%23 = add nuw nsw i32 %19, %22
%24 = add nuw i64 %17, 1
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 0
br i1 %27, label %28, label %16
28: ; preds = %16, %1, %4
%29 = phi i32 [ 0, %4 ], [ 0, %1 ], [ %23, %16 ]
%30 = tail call i64 @malloc(i32 %29)
%31 = inttoptr i64 %30 to i8*
%32 = load i8, i8* %0
%33 = icmp eq i8 %32, 0
br i1 %33, label %34, label %40
34: ; preds = %52, %28
%35 = icmp ult i32 %29, 2
br i1 %35, label %70, label %36
36: ; preds = %34
%37 = lshr i32 %29, 1
%38 = sext i32 %29 to i64
%39 = zext i32 %37 to i64
br label %60
40: ; preds = %28, %52
%41 = phi i64 [ %54, %52 ], [ 0, %28 ]
%42 = phi i8 [ %56, %52 ], [ %32, %28 ]
%43 = phi i8* [ %55, %52 ], [ %0, %28 ]
%44 = phi i32 [ %53, %52 ], [ %29, %28 ]
%45 = tail call i64 @islower(i8 signext %42)
%46 = icmp eq i64 %45, 0
br i1 %46, label %52, label %47
47: ; preds = %40
%48 = load i8, i8* %43
%49 = add nsw i32 %44, -1
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %31, i64 %50
store i8 %48, i8* %51
br label %52
52: ; preds = %40, %47
%53 = phi i32 [ %49, %47 ], [ %44, %40 ]
%54 = add nuw i64 %41, 1
%55 = getelementptr inbounds i8, i8* %0, i64 %54
%56 = load i8, i8* %55
%57 = icmp eq i8 %56, 0
br i1 %57, label %34, label %40
58: ; preds = %60
%59 = icmp eq i64 %69, %39
br i1 %59, label %70, label %60
60: ; preds = %36, %58
%61 = phi i64 [ 0, %36 ], [ %69, %58 ]
%62 = getelementptr inbounds i8, i8* %31, i64 %61
%63 = load i8, i8* %62
%64 = xor i64 %61, -1
%65 = add nsw i64 %38, %64
%66 = getelementptr inbounds i8, i8* %31, i64 %65
%67 = load i8, i8* %66
%68 = icmp eq i8 %63, %67
%69 = add nuw nsw i64 %61, 1
br i1 %68, label %58, label %72
70: ; preds = %58, %34
%71 = tail call i32 @free(i8* %31)
br label %72
72: ; preds = %60, %70
%73 = phi i32 [ 1, %70 ], [ 0, %60 ]
ret i32 %73
}