#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*/ putchar(char const);
scalar_t__ strlen(char const *);
void printString(const char *str) {
  int i, j;
  int length = (int)strlen(str);
  for (i = 0; i < length / 2 + 1; i++) {
    for (j = 0; j < length; j++) {
      if (j < i)
        putchar(' ');
      else {
        if (j == i)
          putchar(str[i]);
        else {
          if (j < length - 1 - i) {
            if (i == 0)
              putchar(str[j]);
            else
              putchar(' ');
          } else {
            if (j == length - 1 - i)
              putchar(str[length - 1 - i]);
            else
              putchar(' ');
          }
        }
      }
    }
    putchar('\n');
  }
  for (i = length / 2 - 1; i >= 0; i--) {
    for (j = 0; j < length; j++) {
      if (j < i)
        putchar(' ');
      else {
        if (j == i)
          putchar(str[i]);
        else {
          if (j < length - 1 - i) {
            if (i == 0)
              putchar(str[j]);
            else
              putchar(' ');
          } else {
            if (j == length - 1 - i)
              putchar(str[length - 1 - i]);
            else
              putchar(' ');
          }
        }
      }
    }
    putchar('\n');
  }
}


x86 assembly (clang, -O0):
<printString>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x14(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x18(%rbp),%eax
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1269 <printString+0x149>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1251 <printString+0x131>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    118e <printString+0x6e>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    123e <printString+0x11e>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11b0 <printString+0x90>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
jmp    1239 <printString+0x119>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    11f3 <printString+0xd3>
cmpl   $0x0,-0xc(%rbp)
jne    11e4 <printString+0xc4>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
jmp    11ee <printString+0xce>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    1234 <printString+0x114>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jne    1225 <printString+0x105>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
jmp    122f <printString+0x10f>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    1234 <printString+0x114>
jmp    1239 <printString+0x119>
jmp    123e <printString+0x11e>
jmp    1243 <printString+0x123>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1167 <printString+0x47>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113f <printString+0x1f>
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
sub    $0x1,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jl     138d <printString+0x26d>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1375 <printString+0x255>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12b2 <printString+0x192>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    1362 <printString+0x242>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    12d4 <printString+0x1b4>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
jmp    135d <printString+0x23d>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    1317 <printString+0x1f7>
cmpl   $0x0,-0xc(%rbp)
jne    1308 <printString+0x1e8>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
jmp    1312 <printString+0x1f2>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    1358 <printString+0x238>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jne    1349 <printString+0x229>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
jmp    1353 <printString+0x233>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    1358 <printString+0x238>
jmp    135d <printString+0x23d>
jmp    1362 <printString+0x242>
jmp    1367 <printString+0x247>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    128b <printString+0x16b>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    127a <printString+0x15a>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<printString>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,0x8(%rsp)
call   1040 <strlen@plt>
mov    %rax,(%rsp)
cmp    $0xffffffff,%eax
jl     12d6 <printString+0x1b6>
mov    (%rsp),%rax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
mov    %rcx,0x18(%rsp)
add    $0x1,%ecx
mov    %rcx,0x20(%rsp)
mov    %eax,%ebx
lea    -0x1(%rax),%ebp
xor    %r12d,%r12d
jmp    1188 <printString+0x68>
nopl   0x0(%rax)
mov    $0xa,%edi
call   1030 <putchar@plt>
add    $0x1,%r12
add    $0xffffffff,%ebp
cmp    0x20(%rsp),%r12
je     1201 <printString+0xe1>
mov    %ebp,%ebp
cmpl   $0x0,(%rsp)
jle    1170 <printString+0x50>
mov    %r12d,%eax
not    %eax
add    (%rsp),%eax
movslq %eax,%r14
mov    0x8(%rsp),%rax
lea    (%rax,%r14,1),%rcx
mov    %rcx,0x10(%rsp)
lea    (%rax,%r12,1),%r15
xor    %r13d,%r13d
jmp    11d4 <printString+0xb4>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rcx),%eax
movsbl %al,%edi
call   1030 <putchar@plt>
add    $0x1,%r13
cmp    %r13,%rbx
je     1170 <printString+0x50>
mov    $0x20,%al
cmp    %r12,%r13
jb     11c3 <printString+0xa3>
mov    %r15,%rcx
je     11c0 <printString+0xa0>
cmp    %r14,%r13
jge    11f5 <printString+0xd5>
test   %r12,%r12
jne    11c3 <printString+0xa3>
mov    0x8(%rsp),%rax
lea    (%rax,%r13,1),%rcx
jmp    11c0 <printString+0xa0>
mov    0x10(%rsp),%rcx
cmp    %r13,%rbp
je     11c0 <printString+0xa0>
jmp    11c3 <printString+0xa3>
cmpl   $0x2,(%rsp)
mov    0x18(%rsp),%rax
jl     12d6 <printString+0x1b6>
movslq %eax,%rcx
mov    (%rsp),%r13
mov    %r13d,%ebx
mov    %r13d,%edx
sub    %eax,%edx
add    $0xffffffff,%eax
jmp    1257 <printString+0x137>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %r13,%rax
add    $0xffffffff,%eax
mov    0x10(%rsp),%rdx
add    $0x1,%edx
cmpq   $0x1,0x18(%rsp)
mov    %r12,%rcx
jle    12d6 <printString+0x1b6>
mov    %eax,%eax
mov    %rax,%r13
mov    %edx,%edx
mov    %rdx,0x10(%rsp)
lea    -0x1(%rcx),%r12
mov    (%rsp),%rax
sub    %ecx,%eax
movslq %eax,%r15
mov    0x8(%rsp),%rax
lea    (%rax,%r15,1),%rdx
mov    %rdx,0x20(%rsp)
mov    %rcx,0x18(%rsp)
lea    (%rax,%rcx,1),%r14
add    $0xffffffffffffffff,%r14
xor    %ebp,%ebp
jmp    12a4 <printString+0x184>
nop
movzbl (%rcx),%eax
movsbl %al,%edi
call   1030 <putchar@plt>
add    $0x1,%rbp
cmp    %rbp,%rbx
je     1230 <printString+0x110>
mov    $0x20,%al
cmp    %r12,%rbp
jl     1293 <printString+0x173>
mov    %r14,%rcx
cmp    %rbp,%r13
je     1290 <printString+0x170>
cmp    %r15,%rbp
jge    12c8 <printString+0x1a8>
test   %r12,%r12
jne    1293 <printString+0x173>
mov    0x8(%rsp),%rax
lea    (%rax,%rbp,1),%rcx
jmp    1290 <printString+0x170>
mov    0x20(%rsp),%rcx
cmp    %rbp,0x10(%rsp)
je     1290 <printString+0x170>
jmp    1293 <printString+0x173>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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