#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 */
char *malloc(int);
int strlen(char *);
int /*<<< orphan*/ strncpy(char *, char *, int);
char *longestPalindrome(char *s) {
  int len = strlen(s);
  int i, j, k;
  int ans_len = 0, start_index;
  char *ans_str = NULL;
  if (len == 0)
    return NULL;
  for (i = 0; i < len; i++) {
    for (j = i - 1, k = i + 1; j >= 0 && k < len && s[j] == s[k]; j--, k++)
      ;
    if (k - j - 1 > ans_len) {
      ans_len = k - j - 1;
      start_index = j + 1;
    }
    for (j = i, k = i + 1; j >= 0 && k < len && s[j] == s[k]; j--, k++)
      ;
    if (k - j - 1 > ans_len) {
      ans_len = k - j - 1;
      start_index = j + 1;
    }
  }
  ans_str = malloc(sizeof(char) * (ans_len + 1));
  strncpy(ans_str, s + start_index, ans_len);
  ans_str[ans_len] = 0;
  return ans_str;
}


x86 assembly (clang, -O0):
<longestPalindrome>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x24(%rbp)
movq   $0x0,-0x30(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    116e <longestPalindrome+0x3e>
movq   $0x0,-0x8(%rbp)
jmp    131d <longestPalindrome+0x1ed>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12db <longestPalindrome+0x1ab>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x31(%rbp)
jl     11d3 <longestPalindrome+0xa3>
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x31(%rbp)
jge    11d3 <longestPalindrome+0xa3>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    11e3 <longestPalindrome+0xb3>
jmp    11ff <longestPalindrome+0xcf>
jmp    11e8 <longestPalindrome+0xb8>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1193 <longestPalindrome+0x63>
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
sub    $0x1,%eax
cmp    -0x24(%rbp),%eax
jle    1226 <longestPalindrome+0xf6>
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x32(%rbp)
jl     1275 <longestPalindrome+0x145>
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x32(%rbp)
jge    1275 <longestPalindrome+0x145>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x32(%rbp)
mov    -0x32(%rbp),%al
test   $0x1,%al
jne    1285 <longestPalindrome+0x155>
jmp    12a1 <longestPalindrome+0x171>
jmp    128a <longestPalindrome+0x15a>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1235 <longestPalindrome+0x105>
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
sub    $0x1,%eax
cmp    -0x24(%rbp),%eax
jle    12c8 <longestPalindrome+0x198>
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12cd <longestPalindrome+0x19d>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1175 <longestPalindrome+0x45>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x28(%rbp),%rax
add    %rax,%rsi
mov    -0x24(%rbp),%edx
call   1030 <strncpy@plt>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<longestPalindrome>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r14
call   1040 <strlen@plt>
xor    %r12d,%r12d
test   %eax,%eax
je     123e <longestPalindrome+0x10e>
jle    1243 <longestPalindrome+0x113>
mov    %eax,%r8d
xor    %esi,%esi
mov    $0x1,%r9d
xor    %r12d,%r12d
jmp    119a <longestPalindrome+0x6a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r10d,%edx
mov    %esi,%r12d
not    %r12d
add    %edx,%r12d
add    $0x1,%esi
cmp    %ecx,%r12d
cmovle %ecx,%r12d
cmovg  %esi,%r11d
add    $0x1,%r9
mov    %r10,%rsi
cmp    %r8,%r10
je     1239 <longestPalindrome+0x109>
lea    0x1(%rsi),%r10
mov    %esi,%edi
mov    %r10d,%ecx
test   %esi,%esi
je     11f3 <longestPalindrome+0xc3>
mov    %esi,%edi
mov    %r10d,%ecx
cmp    %r10d,%eax
jle    11f3 <longestPalindrome+0xc3>
mov    %rsi,%rdx
mov    %r9,%rcx
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rdx),%edi
movzbl (%r14,%rdi,1),%ebx
cmp    (%r14,%rcx,1),%bl
jne    11f0 <longestPalindrome+0xc0>
add    $0x1,%rcx
lea    -0x1(%rdx),%rdi
cmp    $0x2,%rdx
jl     11f3 <longestPalindrome+0xc3>
mov    %rdi,%rdx
cmp    %ecx,%eax
jg     11c0 <longestPalindrome+0x90>
jmp    11f3 <longestPalindrome+0xc3>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rdx,%rdi
sub    %edi,%ecx
cmp    %r12d,%ecx
cmovle %r12d,%ecx
cmovg  %edi,%r11d
cmp    %r10d,%eax
jle    1170 <longestPalindrome+0x40>
mov    %r9,%rdx
nopl   0x0(%rax)
mov    %esi,%edi
movzbl (%r14,%rdi,1),%ebx
cmp    (%r14,%rdx,1),%bl
jne    1230 <longestPalindrome+0x100>
lea    -0x1(%rsi),%edi
add    $0x1,%rdx
test   %esi,%esi
jle    1232 <longestPalindrome+0x102>
mov    %edi,%esi
cmp    %edx,%eax
jg     1210 <longestPalindrome+0xe0>
jmp    1232 <longestPalindrome+0x102>
mov    %esi,%edi
mov    %edi,%esi
jmp    1173 <longestPalindrome+0x43>
movslq %r11d,%rbx
jmp    1245 <longestPalindrome+0x115>
xor    %r15d,%r15d
jmp    126b <longestPalindrome+0x13b>
xor    %ebx,%ebx
lea    0x1(%r12),%edi
call   1050 <malloc@plt>
mov    %rax,%r15
add    %rbx,%r14
mov    %rax,%rdi
mov    %r14,%rsi
mov    %r12d,%edx
call   1030 <strncpy@plt>
movslq %r12d,%rax
movb   $0x0,(%r15,%rax,1)
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define i8* @longestPalindrome(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp eq i32 %2, 0
br i1 %3, label %89, label %4
4: ; preds = %1
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %80
6: ; preds = %4
%7 = zext i32 %2 to i64
br label %8
8: ; preds = %6, %67
%9 = phi i64 [ 0, %6 ], [ %14, %67 ]
%10 = phi i64 [ 1, %6 ], [ %76, %67 ]
%11 = phi i32 [ undef, %6 ], [ %75, %67 ]
%12 = phi i32 [ 0, %6 ], [ %74, %67 ]
%13 = trunc i64 %9 to i32
%14 = add nuw nsw i64 %9, 1
%15 = trunc i64 %14 to i32
%16 = icmp ne i32 %13, 0
%17 = icmp sgt i32 %2, %15
%18 = select i1 %16, i1 %17, i1 false
br i1 %18, label %19, label %40
19: ; preds = %8, %29
%20 = phi i64 [ %22, %29 ], [ %9, %8 ]
%21 = phi i64 [ %30, %29 ], [ %10, %8 ]
%22 = add nsw i64 %20, -1
%23 = and i64 %22, 4294967295
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = getelementptr inbounds i8, i8* %0, i64 %21
%27 = load i8, i8* %26
%28 = icmp eq i8 %25, %27
br i1 %28, label %29, label %35
29: ; preds = %19
%30 = add nuw nsw i64 %21, 1
%31 = trunc i64 %30 to i32
%32 = icmp sgt i64 %20, 1
%33 = icmp sgt i32 %2, %31
%34 = select i1 %32, i1 %33, i1 false
br i1 %34, label %19, label %35
35: ; preds = %19, %29
%36 = phi i64 [ %30, %29 ], [ %21, %19 ]
%37 = phi i64 [ %22, %29 ], [ %20, %19 ]
%38 = trunc i64 %36 to i32
%39 = trunc i64 %37 to i32
br label %40
40: ; preds = %35, %8
%41 = phi i32 [ %13, %8 ], [ %39, %35 ]
%42 = phi i32 [ %15, %8 ], [ %38, %35 ]
%43 = sub i32 %42, %41
%44 = icmp sgt i32 %43, %12
%45 = select i1 %44, i32 %43, i32 %12
%46 = select i1 %44, i32 %41, i32 %11
br i1 %17, label %47, label %67
47: ; preds = %40, %56
%48 = phi i64 [ %58, %56 ], [ %10, %40 ]
%49 = phi i32 [ %57, %56 ], [ %13, %40 ]
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %0, i64 %50
%52 = load i8, i8* %51
%53 = getelementptr inbounds i8, i8* %0, i64 %48
%54 = load i8, i8* %53
%55 = icmp eq i8 %52, %54
br i1 %55, label %56, label %63
56: ; preds = %47
%57 = add nsw i32 %49, -1
%58 = add nuw nsw i64 %48, 1
%59 = trunc i64 %58 to i32
%60 = icmp sgt i32 %49, 0
%61 = icmp sgt i32 %2, %59
%62 = select i1 %60, i1 %61, i1 false
br i1 %62, label %47, label %63
63: ; preds = %47, %56
%64 = phi i64 [ %58, %56 ], [ %48, %47 ]
%65 = phi i32 [ %57, %56 ], [ %49, %47 ]
%66 = trunc i64 %64 to i32
br label %67
67: ; preds = %63, %40
%68 = phi i32 [ %13, %40 ], [ %65, %63 ]
%69 = phi i32 [ %15, %40 ], [ %66, %63 ]
%70 = xor i32 %68, -1
%71 = add i32 %69, %70
%72 = icmp sgt i32 %71, %45
%73 = add nsw i32 %68, 1
%74 = select i1 %72, i32 %71, i32 %45
%75 = select i1 %72, i32 %73, i32 %46
%76 = add nuw nsw i64 %10, 1
%77 = icmp eq i64 %14, %7
br i1 %77, label %78, label %8
78: ; preds = %67
%79 = sext i32 %75 to i64
br label %80
80: ; preds = %78, %4
%81 = phi i32 [ 0, %4 ], [ %74, %78 ]
%82 = phi i64 [ 0, %4 ], [ %79, %78 ]
%83 = add nsw i32 %81, 1
%84 = tail call i8* @malloc(i32 %83)
%85 = getelementptr inbounds i8, i8* %0, i64 %82
%86 = tail call i32 @strncpy(i8* %84, i8* %85, i32 %81)
%87 = sext i32 %81 to i64
%88 = getelementptr inbounds i8, i8* %84, i64 %87
store i8 0, i8* %88
br label %89
89: ; preds = %1, %80
%90 = phi i8* [ %84, %80 ], [ null, %1 ]
ret i8* %90
}