#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*/ gets(char *);
int /*<<< orphan*/ printf(char *);
scalar_t__ strlen(char *);
int main() {
  char input[100];
  int i;
  bool palindroma = true;
  printf("Rilevatore di frase palindroma");
  printf("\nInserisci frase: ");
  gets(input);
  int len = (int)strlen(input);
  for (i = 0; i < len; i++) {
    if (len % 2 == 1 && i == len / 2) {
      continue;
    }
    if (input[i] != input[len - i - 1]) {
      palindroma = false;
    }
  }
  if (palindroma) {
    printf("La frase è palindroma");
  } else {
    printf("La frase non è palindroma");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x78(%rbp)
lea    0xeb0(%rip),%rdi
call   1040 <printf@plt>
lea    0xec3(%rip),%rdi
call   1040 <printf@plt>
lea    -0x70(%rbp),%rdi
call   1050 <gets@plt>
lea    -0x70(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x7c(%rbp)
movl   $0x0,-0x74(%rbp)
mov    -0x74(%rbp),%eax
cmp    -0x7c(%rbp),%eax
jge    11fc <main+0xcc>
mov    -0x7c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
jne    11c0 <main+0x90>
mov    -0x74(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x7c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x80(%rbp),%eax
cmp    %ecx,%eax
jne    11c0 <main+0x90>
jmp    11ee <main+0xbe>
movslq -0x74(%rbp),%rax
movsbl -0x70(%rbp,%rax,1),%eax
mov    -0x7c(%rbp),%ecx
sub    -0x74(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl -0x70(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
je     11e9 <main+0xb9>
movl   $0x0,-0x78(%rbp)
jmp    11ee <main+0xbe>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    117d <main+0x4d>
cmpl   $0x0,-0x78(%rbp)
je     1217 <main+0xe7>
lea    0xe25(%rip),%rdi
call   1040 <printf@plt>
jmp    1223 <main+0xf3>
lea    0xe2b(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x68,%rsp
lea    0xebf(%rip),%rdi
call   1040 <printf@plt>
lea    0xed2(%rip),%rdi
call   1040 <printf@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1050 <gets@plt>
mov    %rbx,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    1196 <main+0x66>
mov    %eax,%r14d
shr    %r14d
mov    %eax,%r11d
mov    %eax,%r8d
and    $0x1,%r8d
xor    %r9d,%r9d
cmp    $0x1,%r11
jne    11a2 <main+0x72>
mov    $0x1,%r15d
test   %r8,%r8
jne    123c <main+0x10c>
jmp    125b <main+0x12b>
lea    0xe95(%rip),%rdi
jmp    1270 <main+0x140>
movabs $0xfffffffe00000000,%r10
ff ff ff
sub    %r8,%r11
mov    %rax,%rcx
shl    $0x20,%rcx
lea    (%rcx,%r10,1),%rbp
movabs $0xffffffff00000000,%rdx
ff ff ff
add    %rcx,%rdx
mov    $0x1,%r15d
xor    %ebx,%ebx
jmp    1203 <main+0xd3>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl 0x1(%rsp,%rcx,1),%edi
mov    %rbp,%rsi
sar    $0x20,%rsi
cmp    (%rsp,%rsi,1),%dil
cmovne %r9d,%r15d
add    %r10,%rbp
add    %r10,%rdx
add    $0x1,%rbx
cmp    %r11,%rbx
je     1230 <main+0x100>
mov    %rbx,%rcx
test   $0x1,%al
je     120f <main+0xdf>
cmp    %rcx,%r14
je     1221 <main+0xf1>
movzbl (%rsp,%rcx,1),%ebx
mov    %rdx,%rdi
sar    $0x20,%rdi
cmp    (%rsp,%rdi,1),%bl
cmovne %r9d,%r15d
lea    0x1(%rcx),%rbx
test   $0x1,%al
je     11e0 <main+0xb0>
cmp    %r14,%rbx
je     11f4 <main+0xc4>
jmp    11e0 <main+0xb0>
add    $0x2,%rcx
mov    %rcx,%r9
test   %r8,%r8
je     125b <main+0x12b>
test   $0x1,%al
je     1245 <main+0x115>
cmp    %r14,%r9
je     125b <main+0x12b>
mov    (%rsp,%r9,1),%cl
not    %r9d
add    %eax,%r9d
movslq %r9d,%rax
xor    %edx,%edx
cmp    (%rsp,%rax,1),%cl
cmovne %edx,%r15d
test   %r15d,%r15d
lea    0xde4(%rip),%rax
lea    0xdc6(%rip),%rdi
cmove  %rax,%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [31 x i8] c"Rilevatore di frase palindroma\00"
@.str.1 = [19 x i8] c"\0AInserisci frase: \00"
@.str.2 = [23 x i8] c"La frase \C3\A8 palindroma\00"
@.str.3 = [27 x i8] c"La frase non \C3\A8 palindroma\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [100 x i8]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 0, i32* %1
store i32 1, i32* %4
%6 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0))
%8 = getelementptr inbounds [100 x i8], [100 x i8]* %2, i64 0, i64 0
%9 = call i32 @gets(i8* %8)
%10 = getelementptr inbounds [100 x i8], [100 x i8]* %2, i64 0, i64 0
%11 = call i64 @strlen(i8* %10)
%12 = trunc i64 %11 to i32
store i32 %12, i32* %5
store i32 0, i32* %3
br label %13
13: ; preds = %44, %0
%14 = load i32, i32* %3
%15 = load i32, i32* %5
%16 = icmp slt i32 %14, %15
br i1 %16, label %17, label %47
17: ; preds = %13
%18 = load i32, i32* %5
%19 = srem i32 %18, 2
%20 = icmp eq i32 %19, 1
br i1 %20, label %21, label %27
21: ; preds = %17
%22 = load i32, i32* %3
%23 = load i32, i32* %5
%24 = sdiv i32 %23, 2
%25 = icmp eq i32 %22, %24
br i1 %25, label %26, label %27
26: ; preds = %21
br label %44
27: ; preds = %21, %17
%28 = load i32, i32* %3
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [100 x i8], [100 x i8]* %2, i64 0, i64 %29
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = load i32, i32* %5
%34 = load i32, i32* %3
%35 = sub nsw i32 %33, %34
%36 = sub nsw i32 %35, 1
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [100 x i8], [100 x i8]* %2, i64 0, i64 %37
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = icmp ne i32 %32, %40
br i1 %41, label %42, label %43
42: ; preds = %27
store i32 0, i32* %4
br label %43
43: ; preds = %42, %27
br label %44
44: ; preds = %43, %26
%45 = load i32, i32* %3
%46 = add nsw i32 %45, 1
store i32 %46, i32* %3
br label %13
47: ; preds = %13
%48 = load i32, i32* %4
%49 = icmp ne i32 %48, 0
br i1 %49, label %50, label %52
50: ; preds = %47
%51 = call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0))
br label %54
52: ; preds = %47
%53 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0))
br label %54
54: ; preds = %52, %50
ret i32 0
}

LLVM IR (-O2):
@.str = [31 x i8] c"Rilevatore di frase palindroma\00"
@.str.1 = [19 x i8] c"\0AInserisci frase: \00"
@.str.2 = [23 x i8] c"La frase \C3\A8 palindroma\00"
@.str.3 = [27 x i8] c"La frase non \C3\A8 palindroma\00"
define i32 @main() {
%1 = alloca [100 x i8]
%2 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 0
%3 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0))
%4 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0))
%5 = call i32 @gets(i8* %2)
%6 = call i64 @strlen(i8* %2)
%7 = trunc i64 %6 to i32
%8 = icmp sgt i32 %7, 0
br i1 %8, label %9, label %80
9: ; preds = %0
%10 = and i32 %7, 1
%11 = icmp ne i32 %10, 0
%12 = lshr i64 %6, 1
%13 = and i64 %12, 2147483647
%14 = and i64 %6, 4294967295
%15 = and i64 %6, 1
%16 = icmp eq i64 %14, 1
br i1 %16, label %57, label %17
17: ; preds = %9
%18 = sub nsw i64 %14, %15
br label %19
19: ; preds = %52, %17
%20 = phi i64 [ 0, %17 ], [ %54, %52 ]
%21 = phi i32 [ 1, %17 ], [ %53, %52 ]
%22 = phi i64 [ 0, %17 ], [ %55, %52 ]
%23 = icmp eq i64 %20, %13
%24 = select i1 %11, i1 %23, i1 false
br i1 %24, label %36, label %25
25: ; preds = %19
%26 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 %20
%27 = load i8, i8* %26
%28 = xor i64 %20, -1
%29 = add i64 %6, %28
%30 = shl i64 %29, 32
%31 = ashr exact i64 %30, 32
%32 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 %31
%33 = load i8, i8* %32
%34 = icmp eq i8 %27, %33
%35 = select i1 %34, i32 %21, i32 0
br label %36
36: ; preds = %25, %19
%37 = phi i32 [ %21, %19 ], [ %35, %25 ]
%38 = or i64 %20, 1
%39 = icmp eq i64 %38, %13
%40 = select i1 %11, i1 %39, i1 false
br i1 %40, label %52, label %41
41: ; preds = %36
%42 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 %38
%43 = load i8, i8* %42
%44 = sub nsw i64 4294967294, %20
%45 = add i64 %6, %44
%46 = shl i64 %45, 32
%47 = ashr exact i64 %46, 32
%48 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 %47
%49 = load i8, i8* %48
%50 = icmp eq i8 %43, %49
%51 = select i1 %50, i32 %37, i32 0
br label %52
52: ; preds = %41, %36
%53 = phi i32 [ %37, %36 ], [ %51, %41 ]
%54 = add nuw nsw i64 %20, 2
%55 = add i64 %22, 2
%56 = icmp eq i64 %55, %18
br i1 %56, label %57, label %19
57: ; preds = %52, %9
%58 = phi i32 [ undef, %9 ], [ %53, %52 ]
%59 = phi i64 [ 0, %9 ], [ %54, %52 ]
%60 = phi i32 [ 1, %9 ], [ %53, %52 ]
%61 = icmp eq i64 %15, 0
br i1 %61, label %76, label %62
62: ; preds = %57
%63 = icmp eq i64 %59, %13
%64 = select i1 %11, i1 %63, i1 false
br i1 %64, label %76, label %65
65: ; preds = %62
%66 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 %59
%67 = load i8, i8* %66
%68 = xor i64 %59, -1
%69 = add i64 %6, %68
%70 = shl i64 %69, 32
%71 = ashr exact i64 %70, 32
%72 = getelementptr inbounds [100 x i8], [100 x i8]* %1, i64 0, i64 %71
%73 = load i8, i8* %72
%74 = icmp eq i8 %67, %73
%75 = select i1 %74, i32 %60, i32 0
br label %76
76: ; preds = %62, %65, %57
%77 = phi i32 [ %58, %57 ], [ %60, %62 ], [ %75, %65 ]
%78 = icmp eq i32 %77, 0
%79 = select i1 %78, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0)
br label %80
80: ; preds = %76, %0
%81 = phi i8* [ getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), %0 ], [ %79, %76 ]
%82 = call i32 @printf(i8* dereferenceable(1) %81)
ret i32 0
}