#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 *);
void *malloc(size_t);
char *reverse_string(char *);
int /*<<< orphan*/ strcat(char *, char *);
char **make_diamond(const char letter) {
  size_t size = (letter - 'A') * 2 + 1;
  char **result = malloc(size * sizeof(char *));
  for (size_t i = 0; i < size; ++i)
    result[i] = malloc(size + 1);
  char position = 'A';
  size_t diamond_idx = 0;
  size_t max_padding = size / 2;
  while (position <= letter) {
    size_t idx = 0;
    size_t padding = letter - position;
    for (size_t i = 0; i < padding; ++i)
      result[diamond_idx][idx++] = ' ';
    result[diamond_idx][idx++] = position;
    result[diamond_idx][idx] = '\0';
    char *reversed = reverse_string(result[diamond_idx]);
    size_t middle_len = (diamond_idx == 0) ? 0 : 2 * diamond_idx - 1;
    for (size_t i = 0; i < middle_len; ++i)
      result[diamond_idx][idx++] = ' ';
    result[diamond_idx][idx] = '\0';
    strcat(result[diamond_idx], (diamond_idx == 0) ? (reversed + 1) : reversed);
    free(reversed);
    diamond_idx++;
    position++;
  }
  position -= 2;
  while (position >= 'A') {
    size_t idx = 0;
    size_t padding = letter - position;
    for (size_t i = 0; i < padding; ++i)
      result[diamond_idx][idx++] = ' ';
    result[diamond_idx][idx++] = position;
    for (size_t i = 0; i < (max_padding - padding); ++i)
      result[diamond_idx][idx++] = ' ';
    result[diamond_idx][idx] = '\0';
    char *reversed = reverse_string(result[diamond_idx]);
    strcat(result[diamond_idx], reversed + 1);
    free(reversed);
    diamond_idx++;
    position--;
  }
  return result;
}


x86 assembly (clang, -O0):
<make_diamond>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %dil,%al
mov    %al,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
sub    $0x41,%eax
shl    $0x1,%eax
add    $0x1,%eax
cltq
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
shl    $0x3,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    11b8 <make_diamond+0x78>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
call   1050 <malloc@plt>
mov    %rax,%rdx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    117d <make_diamond+0x3d>
movb   $0x41,-0x21(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x38(%rbp)
movsbl -0x21(%rbp),%eax
movsbl -0x1(%rbp),%ecx
cmp    %ecx,%eax
jg     138b <make_diamond+0x24b>
movq   $0x0,-0x40(%rbp)
movsbl -0x1(%rbp),%eax
movsbl -0x21(%rbp),%ecx
sub    %ecx,%eax
cltq
mov    %rax,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    123e <make_diamond+0xfe>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x20,(%rax,%rcx,1)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1200 <make_diamond+0xc0>
mov    -0x21(%rbp),%dl
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x40(%rbp)
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <reverse_string@plt>
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    12a1 <make_diamond+0x161>
xor    %eax,%eax
mov    %rax,-0x98(%rbp)
jmp    12b4 <make_diamond+0x174>
mov    -0x30(%rbp),%rax
shl    $0x1,%rax
sub    $0x1,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0x60(%rbp)
movq   $0x0,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    1305 <make_diamond+0x1c5>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x20,(%rax,%rcx,1)
mov    -0x68(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x68(%rbp)
jmp    12c7 <make_diamond+0x187>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xa0(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    134b <make_diamond+0x20b>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa8(%rbp)
jmp    1356 <make_diamond+0x216>
mov    -0x58(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa0(%rbp),%rdi
mov    -0xa8(%rbp),%rsi
call   1060 <strcat@plt>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x21(%rbp),%al
add    $0x1,%al
mov    %al,-0x21(%rbp)
jmp    11d0 <make_diamond+0x90>
movsbl -0x21(%rbp),%eax
sub    $0x2,%eax
mov    %al,-0x21(%rbp)
movsbl -0x21(%rbp),%eax
cmp    $0x41,%eax
jl     14e7 <make_diamond+0x3a7>
movq   $0x0,-0x70(%rbp)
movsbl -0x1(%rbp),%eax
movsbl -0x21(%rbp),%ecx
sub    %ecx,%eax
cltq
mov    %rax,-0x78(%rbp)
movq   $0x0,-0x80(%rbp)
mov    -0x80(%rbp),%rax
cmp    -0x78(%rbp),%rax
jae    1400 <make_diamond+0x2c0>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x70(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x70(%rbp)
movb   $0x20,(%rax,%rcx,1)
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
jmp    13c2 <make_diamond+0x282>
mov    -0x21(%rbp),%dl
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x70(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x70(%rbp)
mov    %dl,(%rax,%rcx,1)
movq   $0x0,-0x88(%rbp)
mov    -0x88(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    -0x78(%rbp),%rcx
cmp    %rcx,%rax
jae    147a <make_diamond+0x33a>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x70(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x70(%rbp)
movb   $0x20,(%rax,%rcx,1)
mov    -0x88(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x88(%rbp)
jmp    142c <make_diamond+0x2ec>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x70(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <reverse_string@plt>
mov    %rax,-0x90(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x90(%rbp),%rsi
add    $0x1,%rsi
call   1060 <strcat@plt>
mov    -0x90(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x21(%rbp),%al
add    $0xff,%al
mov    %al,-0x21(%rbp)
jmp    1395 <make_diamond+0x255>
mov    -0x18(%rbp),%rax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<make_diamond>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdi,(%rsp)
lea    (%rdi,%rdi,1),%eax
movslq %eax,%rbx
lea    -0x81(%rbx),%r14
lea    -0x408(,%rbx,8),%rdi
ff
call   1060 <malloc@plt>
mov    %rax,%r15
add    $0xffffffffffffff80,%rbx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rbx,%rdi
call   1060 <malloc@plt>
mov    %rax,(%r15,%rbp,8)
add    $0x1,%rbp
cmp    %rbp,%r14
jne    1190 <make_diamond+0x40>
cmpb   $0x41,(%rsp)
jl     13f0 <make_diamond+0x2a0>
shr    %r14
mov    %r14,0x28(%rsp)
mov    (%rsp),%rax
movzbl %al,%ecx
mov    %rcx,0x8(%rsp)
add    $0xffffffbf,%eax
movzbl %al,%eax
mov    %rax,0x18(%rsp)
mov    $0xffffffffffffffff,%r14
xor    %ebp,%ebp
mov    %r15,%rdx
mov    %r15,0x30(%rsp)
jmp    1232 <make_diamond+0xe2>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movb   $0x0,(%r12,%r15,1)
cmp    $0x1,%rbp
mov    %r13,%rsi
adc    $0x0,%rsi
mov    %r12,%rdi
call   1070 <strcat@plt>
mov    %r13,%rdi
call   1030 <free@plt>
add    $0x1,%rbp
mov    0x20(%rsp),%rdx
add    $0x8,%rdx
lea    0x41(%rbp),%eax
add    $0x2,%r14
cmp    (%rsp),%al
mov    0x30(%rsp),%r15
jg     12d1 <make_diamond+0x181>
mov    %rbp,%rcx
add    $0x41,%rbp
movsbq %bpl,%rax
mov    0x8(%rsp),%rbx
sub    %rax,%rbx
cmp    $0x2,%rbx
mov    $0x1,%eax
cmovb  %rax,%rbx
mov    (%r15,%rcx,8),%r12
mov    %rcx,0x10(%rsp)
cmp    %cl,0x18(%rsp)
mov    %rdx,0x20(%rsp)
jne    1270 <make_diamond+0x120>
xor    %ebx,%ebx
jmp    1280 <make_diamond+0x130>
nopw   0x0(%rax,%rax,1)
mov    %r12,%rdi
mov    $0x20,%esi
mov    %rbx,%rdx
call   1050 <memset@plt>
lea    0x1(%rbx),%r15
mov    %bpl,(%r12,%rbx,1)
movb   $0x0,0x1(%r12,%rbx,1)
mov    %r12,%rdi
call   1040 <reverse_string@plt>
mov    %rax,%r13
mov    0x10(%rsp),%rbp
test   %rbp,%rbp
je     11f0 <make_diamond+0xa0>
lea    (%r12,%rbx,1),%rdi
add    $0x1,%rdi
cmp    $0x2,%r14
mov    $0x1,%ebx
cmovae %r14,%rbx
mov    $0x20,%esi
mov    %rbx,%rdx
call   1050 <memset@plt>
add    %rbx,%r15
jmp    11f0 <make_diamond+0xa0>
mov    %rbp,0x10(%rsp)
lea    0x3f(%rbp),%rax
cmp    $0x41,%al
mov    0x28(%rsp),%rdi
jl     13f0 <make_diamond+0x2a0>
mov    (%rsp),%rsi
movsbq %sil,%r14
movzbl %al,%ecx
sub    %r14,%rdi
sub    %rcx,%r14
movzbl %al,%ecx
add    %rdi,%rcx
mov    %rcx,0x8(%rsp)
movzbl %al,%eax
sub    %eax,%esi
mov    %rsi,(%rsp)
mov    0x10(%rsp),%rax
add    $0xffffffff,%eax
movzbl %al,%eax
neg    %rax
mov    %rax,0x18(%rsp)
xor    %r13d,%r13d
jmp    138d <make_diamond+0x23d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%r12,%rbx,1),%rdi
add    $0x1,%rdi
mov    $0x20,%esi
mov    %rbp,%rdx
call   1050 <memset@plt>
add    0x8(%rsp),%rbx
add    %r13,%rbx
add    $0x1,%rbx
movb   $0x0,(%r12,%rbx,1)
mov    %r12,%rdi
call   1040 <reverse_string@plt>
mov    %rax,%rbx
lea    0x1(%rax),%rsi
mov    %r12,%rdi
call   1070 <strcat@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
add    $0x1,%r14
add    $0xffffffffffffffff,%r13
mov    0x20(%rsp),%rdx
add    $0x8,%rdx
cmp    %r13,0x18(%rsp)
je     13f0 <make_diamond+0x2a0>
mov    0x8(%rsp),%rax
lea    (%rax,%r13,1),%rbp
cmp    %r13d,(%rsp)
mov    %rdx,0x20(%rsp)
jne    13b0 <make_diamond+0x260>
mov    (%rdx),%r12
xor    %ebx,%ebx
jmp    13d0 <make_diamond+0x280>
nopl   0x0(%rax,%rax,1)
cmp    $0x2,%r14
mov    $0x1,%ebx
cmovae %r14,%rbx
mov    (%rdx),%r12
mov    %r12,%rdi
mov    $0x20,%esi
mov    %rbx,%rdx
call   1050 <memset@plt>
mov    0x10(%rsp),%rax
add    %r13d,%eax
add    $0x3f,%al
mov    %al,(%r12,%rbx,1)
test   %rbp,%rbp
jne    1330 <make_diamond+0x1e0>
add    $0x1,%rbx
jmp    1351 <make_diamond+0x201>
mov    %r15,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8** @make_diamond(i8 signext %0) {
%2 = alloca i8
%3 = alloca i64
%4 = alloca i8**
%5 = alloca i64
%6 = alloca i8
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i8*
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i8*
store i8 %0, i8* %2
%20 = load i8, i8* %2
%21 = sext i8 %20 to i32
%22 = sub nsw i32 %21, 65
%23 = mul nsw i32 %22, 2
%24 = add nsw i32 %23, 1
%25 = sext i32 %24 to i64
store i64 %25, i64* %3
%26 = load i64, i64* %3
%27 = mul i64 %26, 8
%28 = call i8* @malloc(i64 %27)
%29 = bitcast i8* %28 to i8**
store i8** %29, i8*** %4
store i64 0, i64* %5
br label %30
30: ; preds = %41, %1
%31 = load i64, i64* %5
%32 = load i64, i64* %3
%33 = icmp ult i64 %31, %32
br i1 %33, label %34, label %44
34: ; preds = %30
%35 = load i64, i64* %3
%36 = add i64 %35, 1
%37 = call i8* @malloc(i64 %36)
%38 = load i8**, i8*** %4
%39 = load i64, i64* %5
%40 = getelementptr inbounds i8*, i8** %38, i64 %39
store i8* %37, i8** %40
br label %41
41: ; preds = %34
%42 = load i64, i64* %5
%43 = add i64 %42, 1
store i64 %43, i64* %5
br label %30
44: ; preds = %30
store i8 65, i8* %6
store i64 0, i64* %7
%45 = load i64, i64* %3
%46 = udiv i64 %45, 2
store i64 %46, i64* %8
br label %47
47: ; preds = %137, %44
%48 = load i8, i8* %6
%49 = sext i8 %48 to i32
%50 = load i8, i8* %2
%51 = sext i8 %50 to i32
%52 = icmp sle i32 %49, %51
br i1 %52, label %53, label %146
53: ; preds = %47
store i64 0, i64* %9
%54 = load i8, i8* %2
%55 = sext i8 %54 to i32
%56 = load i8, i8* %6
%57 = sext i8 %56 to i32
%58 = sub nsw i32 %55, %57
%59 = sext i32 %58 to i64
store i64 %59, i64* %10
store i64 0, i64* %11
br label %60
60: ; preds = %72, %53
%61 = load i64, i64* %11
%62 = load i64, i64* %10
%63 = icmp ult i64 %61, %62
br i1 %63, label %64, label %75
64: ; preds = %60
%65 = load i8**, i8*** %4
%66 = load i64, i64* %7
%67 = getelementptr inbounds i8*, i8** %65, i64 %66
%68 = load i8*, i8** %67
%69 = load i64, i64* %9
%70 = add i64 %69, 1
store i64 %70, i64* %9
%71 = getelementptr inbounds i8, i8* %68, i64 %69
store i8 32, i8* %71
br label %72
72: ; preds = %64
%73 = load i64, i64* %11
%74 = add i64 %73, 1
store i64 %74, i64* %11
br label %60
75: ; preds = %60
%76 = load i8, i8* %6
%77 = load i8**, i8*** %4
%78 = load i64, i64* %7
%79 = getelementptr inbounds i8*, i8** %77, i64 %78
%80 = load i8*, i8** %79
%81 = load i64, i64* %9
%82 = add i64 %81, 1
store i64 %82, i64* %9
%83 = getelementptr inbounds i8, i8* %80, i64 %81
store i8 %76, i8* %83
%84 = load i8**, i8*** %4
%85 = load i64, i64* %7
%86 = getelementptr inbounds i8*, i8** %84, i64 %85
%87 = load i8*, i8** %86
%88 = load i64, i64* %9
%89 = getelementptr inbounds i8, i8* %87, i64 %88
store i8 0, i8* %89
%90 = load i8**, i8*** %4
%91 = load i64, i64* %7
%92 = getelementptr inbounds i8*, i8** %90, i64 %91
%93 = load i8*, i8** %92
%94 = call i8* @reverse_string(i8* %93)
store i8* %94, i8** %12
%95 = load i64, i64* %7
%96 = icmp eq i64 %95, 0
br i1 %96, label %97, label %98
97: ; preds = %75
br label %102
98: ; preds = %75
%99 = load i64, i64* %7
%100 = mul i64 2, %99
%101 = sub i64 %100, 1
br label %102
102: ; preds = %98, %97
%103 = phi i64 [ 0, %97 ], [ %101, %98 ]
store i64 %103, i64* %13
store i64 0, i64* %14
br label %104
104: ; preds = %116, %102
%105 = load i64, i64* %14
%106 = load i64, i64* %13
%107 = icmp ult i64 %105, %106
br i1 %107, label %108, label %119
108: ; preds = %104
%109 = load i8**, i8*** %4
%110 = load i64, i64* %7
%111 = getelementptr inbounds i8*, i8** %109, i64 %110
%112 = load i8*, i8** %111
%113 = load i64, i64* %9
%114 = add i64 %113, 1
store i64 %114, i64* %9
%115 = getelementptr inbounds i8, i8* %112, i64 %113
store i8 32, i8* %115
br label %116
116: ; preds = %108
%117 = load i64, i64* %14
%118 = add i64 %117, 1
store i64 %118, i64* %14
br label %104
119: ; preds = %104
%120 = load i8**, i8*** %4
%121 = load i64, i64* %7
%122 = getelementptr inbounds i8*, i8** %120, i64 %121
%123 = load i8*, i8** %122
%124 = load i64, i64* %9
%125 = getelementptr inbounds i8, i8* %123, i64 %124
store i8 0, i8* %125
%126 = load i8**, i8*** %4
%127 = load i64, i64* %7
%128 = getelementptr inbounds i8*, i8** %126, i64 %127
%129 = load i8*, i8** %128
%130 = load i64, i64* %7
%131 = icmp eq i64 %130, 0
br i1 %131, label %132, label %135
132: ; preds = %119
%133 = load i8*, i8** %12
%134 = getelementptr inbounds i8, i8* %133, i64 1
br label %137
135: ; preds = %119
%136 = load i8*, i8** %12
br label %137
137: ; preds = %135, %132
%138 = phi i8* [ %134, %132 ], [ %136, %135 ]
%139 = call i32 @strcat(i8* %129, i8* %138)
%140 = load i8*, i8** %12
%141 = call i32 @free(i8* %140)
%142 = load i64, i64* %7
%143 = add i64 %142, 1
store i64 %143, i64* %7
%144 = load i8, i8* %6
%145 = add i8 %144, 1
store i8 %145, i8* %6
br label %47
146: ; preds = %47
%147 = load i8, i8* %6
%148 = sext i8 %147 to i32
%149 = sub nsw i32 %148, 2
%150 = trunc i32 %149 to i8
store i8 %150, i8* %6
br label %151
151: ; preds = %203, %146
%152 = load i8, i8* %6
%153 = sext i8 %152 to i32
%154 = icmp sge i32 %153, 65
br i1 %154, label %155, label %228
155: ; preds = %151
store i64 0, i64* %15
%156 = load i8, i8* %2
%157 = sext i8 %156 to i32
%158 = load i8, i8* %6
%159 = sext i8 %158 to i32
%160 = sub nsw i32 %157, %159
%161 = sext i32 %160 to i64
store i64 %161, i64* %16
store i64 0, i64* %17
br label %162
162: ; preds = %174, %155
%163 = load i64, i64* %17
%164 = load i64, i64* %16
%165 = icmp ult i64 %163, %164
br i1 %165, label %166, label %177
166: ; preds = %162
%167 = load i8**, i8*** %4
%168 = load i64, i64* %7
%169 = getelementptr inbounds i8*, i8** %167, i64 %168
%170 = load i8*, i8** %169
%171 = load i64, i64* %15
%172 = add i64 %171, 1
store i64 %172, i64* %15
%173 = getelementptr inbounds i8, i8* %170, i64 %171
store i8 32, i8* %173
br label %174
174: ; preds = %166
%175 = load i64, i64* %17
%176 = add i64 %175, 1
store i64 %176, i64* %17
br label %162
177: ; preds = %162
%178 = load i8, i8* %6
%179 = load i8**, i8*** %4
%180 = load i64, i64* %7
%181 = getelementptr inbounds i8*, i8** %179, i64 %180
%182 = load i8*, i8** %181
%183 = load i64, i64* %15
%184 = add i64 %183, 1
store i64 %184, i64* %15
%185 = getelementptr inbounds i8, i8* %182, i64 %183
store i8 %178, i8* %185
store i64 0, i64* %18
br label %186
186: ; preds = %200, %177
%187 = load i64, i64* %18
%188 = load i64, i64* %8
%189 = load i64, i64* %16
%190 = sub i64 %188, %189
%191 = icmp ult i64 %187, %190
br i1 %191, label %192, label %203
192: ; preds = %186
%193 = load i8**, i8*** %4
%194 = load i64, i64* %7
%195 = getelementptr inbounds i8*, i8** %193, i64 %194
%196 = load i8*, i8** %195
%197 = load i64, i64* %15
%198 = add i64 %197, 1
store i64 %198, i64* %15
%199 = getelementptr inbounds i8, i8* %196, i64 %197
store i8 32, i8* %199
br label %200
200: ; preds = %192
%201 = load i64, i64* %18
%202 = add i64 %201, 1
store i64 %202, i64* %18
br label %186
203: ; preds = %186
%204 = load i8**, i8*** %4
%205 = load i64, i64* %7
%206 = getelementptr inbounds i8*, i8** %204, i64 %205
%207 = load i8*, i8** %206
%208 = load i64, i64* %15
%209 = getelementptr inbounds i8, i8* %207, i64 %208
store i8 0, i8* %209
%210 = load i8**, i8*** %4
%211 = load i64, i64* %7
%212 = getelementptr inbounds i8*, i8** %210, i64 %211
%213 = load i8*, i8** %212
%214 = call i8* @reverse_string(i8* %213)
store i8* %214, i8** %19
%215 = load i8**, i8*** %4
%216 = load i64, i64* %7
%217 = getelementptr inbounds i8*, i8** %215, i64 %216
%218 = load i8*, i8** %217
%219 = load i8*, i8** %19
%220 = getelementptr inbounds i8, i8* %219, i64 1
%221 = call i32 @strcat(i8* %218, i8* %220)
%222 = load i8*, i8** %19
%223 = call i32 @free(i8* %222)
%224 = load i64, i64* %7
%225 = add i64 %224, 1
store i64 %225, i64* %7
%226 = load i8, i8* %6
%227 = add i8 %226, -1
store i8 %227, i8* %6
br label %151
228: ; preds = %151
%229 = load i8**, i8*** %4
ret i8** %229
}

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