#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 */
scalar_t__ malloc(int);
int /*<<< orphan*/ memset(char *, char, int);
scalar_t__ realloc(char **, int);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
char **fullJustify(char **words, int wordsSize, int maxWidth, int *returnSize) {
  int i, j, lastLength;
  char **ret;
  for (i = 0, j = 0; i < wordsSize; ++i)
    if (strlen(words[i]))
      words[j++] = words[i];
  if (!wordsSize) {
    *returnSize = 0;
    return (char **)malloc(0);
  }
  ret = (char **)malloc(sizeof(char *));
  *returnSize = 1;
  *ret = (char *)malloc((maxWidth + 1) * sizeof(char));
  strcpy(*ret, words[0]);
  lastLength = strlen(words[0]);
  for (i = 1, j = 0; i < wordsSize; ++i) {
    int curLength = strlen(words[i]) + 1;
    if (lastLength + curLength <= maxWidth) {
      ret[*returnSize - 1][lastLength] = ' ';
      strcpy(ret[*returnSize - 1] + lastLength + 1, words[i]);
      lastLength += curLength;
    } else {
      if (i - j <= 1)
        memset(ret[*returnSize - 1] + lastLength, ' ', maxWidth - lastLength);
      else {
        int p = (maxWidth - lastLength) % (i - j - 1), q = i - j - 1 - p,
            all = i - j - 1;
        int lessSpace = (maxWidth - lastLength) / (i - j - 1);
        char *l = ret[*returnSize - 1] + lastLength - 1,
             *r = ret[*returnSize - 1] + maxWidth - 1;
        ret[*returnSize - 1][maxWidth] = 0;
        while (all--) {
          int t;
          while (*l != ' ')
            *r-- = *l--;
          *r-- = *l--;
          if (q) {
            --q;
            t = lessSpace;
          } else {
            --p;
            t = lessSpace + 1;
          }
          while (t--)
            *r-- = ' ';
        }
      }
      ret[*returnSize - 1][maxWidth] = 0;
      j = i;
      ret = (char **)realloc(ret, sizeof(char *) * (*returnSize + 1));
      ret[*returnSize] = (char *)malloc((maxWidth + 1) * sizeof(char));
      strcpy(ret[(*returnSize)++], words[i]);
      lastLength = curLength - 1;
    }
  }
  memset(ret[*returnSize - 1] + lastLength, ' ', maxWidth - lastLength);
  ret[*returnSize - 1][maxWidth] = 0;
  return ret;
}


x86 assembly (clang, -O0):
<fullJustify>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11cf <fullJustify+0x7f>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <strlen@plt>
cmp    $0x0,%eax
je     11bc <fullJustify+0x6c>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
jmp    11c1 <fullJustify+0x71>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1174 <fullJustify+0x24>
cmpl   $0x0,-0x14(%rbp)
jne    11f3 <fullJustify+0xa3>
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
xor    %edi,%edi
call   1060 <malloc@plt>
mov    %rax,-0x8(%rbp)
jmp    159f <fullJustify+0x44f>
mov    $0x8,%edi
call   1060 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x1,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
mov    (%rax),%rdi
mov    -0x10(%rbp),%rax
mov    (%rax),%rsi
call   1030 <strcpy@plt>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x2c(%rbp)
movl   $0x1,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1550 <fullJustify+0x400>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <strlen@plt>
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x3c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     12e4 <fullJustify+0x194>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
movslq -0x2c(%rbp),%rax
add    %rax,%rdi
add    $0x1,%rdi
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1030 <strcpy@plt>
mov    -0x3c(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    153d <fullJustify+0x3ed>
mov    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
cmp    $0x1,%eax
jg     1323 <fullJustify+0x1d3>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
movslq -0x2c(%rbp),%rax
add    %rax,%rdi
mov    -0x18(%rbp),%edx
sub    -0x2c(%rbp),%edx
mov    $0x20,%esi
call   1050 <memset@plt>
jmp    14a6 <fullJustify+0x356>
mov    -0x18(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x28(%rbp),%ecx
sub    $0x1,%ecx
cltd
idiv   %ecx
mov    %edx,-0x40(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
sub    $0x1,%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x28(%rbp),%ecx
sub    $0x1,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4c(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x60(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x48(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x48(%rbp)
cmp    $0x0,%eax
je     14a1 <fullJustify+0x351>
jmp    13e3 <fullJustify+0x293>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
je     141a <fullJustify+0x2ca>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x58(%rbp)
mov    (%rax),%cl
mov    -0x60(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x60(%rbp)
mov    %cl,(%rax)
jmp    13e3 <fullJustify+0x293>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x58(%rbp)
mov    (%rax),%cl
mov    -0x60(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x60(%rbp)
mov    %cl,(%rax)
cmpl   $0x0,-0x44(%rbp)
je     145a <fullJustify+0x30a>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x64(%rbp)
jmp    146c <fullJustify+0x31c>
mov    -0x40(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x40(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    1471 <fullJustify+0x321>
mov    -0x64(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x64(%rbp)
cmp    $0x0,%eax
je     149c <fullJustify+0x34c>
mov    -0x60(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x60(%rbp)
movb   $0x20,(%rax)
jmp    1471 <fullJustify+0x321>
jmp    13ca <fullJustify+0x27a>
jmp    14a6 <fullJustify+0x356>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
add    $0x1,%eax
cltq
shl    $0x3,%rax
mov    %eax,%esi
call   1070 <realloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,%rdx
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1030 <strcpy@plt>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1542 <fullJustify+0x3f2>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1258 <fullJustify+0x108>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
movslq -0x2c(%rbp),%rax
add    %rax,%rdi
mov    -0x18(%rbp),%edx
sub    -0x2c(%rbp),%edx
mov    $0x20,%esi
call   1050 <memset@plt>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fullJustify>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rcx,0x8(%rsp)
mov    %rdx,0x18(%rsp)
mov    %esi,%r15d
mov    %rdi,%r12
test   %esi,%esi
jle    11a6 <fullJustify+0x56>
mov    %r15d,%r14d
xor    %ebp,%ebp
xor    %ebx,%ebx
jmp    1189 <fullJustify+0x39>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbp
cmp    %rbp,%r14
je     11a6 <fullJustify+0x56>
mov    (%r12,%rbp,8),%rdi
call   1040 <strlen@plt>
test   %eax,%eax
je     1180 <fullJustify+0x30>
mov    (%r12,%rbp,8),%rax
movslq %ebx,%rcx
add    $0x1,%ebx
mov    %rax,(%r12,%rcx,8)
jmp    1180 <fullJustify+0x30>
test   %r15d,%r15d
je     13f2 <fullJustify+0x2a2>
mov    $0x8,%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
mov    0x8(%rsp),%rax
movl   $0x1,(%rax)
mov    0x18(%rsp),%rbp
lea    0x1(%rbp),%edi
mov    %edi,0x20(%rsp)
call   1060 <malloc@plt>
mov    %rbx,(%rsp)
mov    %rax,(%rbx)
mov    (%r12),%rsi
mov    %rax,%rdi
call   1030 <strcpy@plt>
mov    (%r12),%rdi
call   1040 <strlen@plt>
mov    %rbp,%rcx
mov    %eax,%r14d
movslq %ecx,%rax
mov    %rax,0x10(%rsp)
cmp    $0x2,%r15d
jl     1409 <fullJustify+0x2b9>
mov    %r15d,%eax
mov    %rax,0x40(%rsp)
mov    $0x1,%r13d
xor    %r15d,%r15d
mov    0x8(%rsp),%rbx
mov    %r12,0x28(%rsp)
jmp    126e <fullJustify+0x11e>
nopl   0x0(%rax)
movslq (%rbx),%rax
mov    (%rsp),%rdx
mov    -0x8(%rdx,%rax,8),%rax
movslq %r14d,%rcx
movb   $0x20,(%rax,%rcx,1)
movslq (%rbx),%rax
mov    -0x8(%rdx,%rax,8),%rax
lea    (%rax,%rcx,1),%rdi
add    $0x1,%rdi
mov    (%r12,%r13,8),%rsi
call   1030 <strcpy@plt>
add    $0x1,%r13
mov    %ebp,%r14d
cmp    0x40(%rsp),%r13
je     1411 <fullJustify+0x2c1>
mov    (%r12,%r13,8),%rdi
call   1040 <strlen@plt>
lea    (%r14,%rax,1),%ebp
add    $0x1,%ebp
mov    0x18(%rsp),%rdx
cmp    %edx,%ebp
jle    1230 <fullJustify+0xe0>
mov    %r13d,%r12d
sub    %r15d,%r12d
cmp    $0x1,%r12d
mov    %r13,0x38(%rsp)
mov    %rax,0x30(%rsp)
jg     1330 <fullJustify+0x1e0>
movslq (%rbx),%rax
movslq %r14d,%rdi
mov    (%rsp),%rcx
add    -0x8(%rcx,%rax,8),%rdi
sub    %r14d,%edx
mov    $0x20,%esi
call   1050 <memset@plt>
mov    0x8(%rsp),%rbx
movslq (%rbx),%rax
mov    (%rsp),%rdi
mov    -0x8(%rdi,%rax,8),%rax
mov    0x10(%rsp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    (%rbx),%eax
lea    0x8(,%rax,8),%esi
call   1070 <realloc@plt>
mov    %rax,%rbp
mov    0x20(%rsp),%edi
call   1060 <malloc@plt>
movslq (%rbx),%rcx
mov    %rbp,(%rsp)
mov    %rax,0x0(%rbp,%rcx,8)
add    $0x1,%ecx
mov    %ecx,(%rbx)
mov    0x28(%rsp),%r12
mov    0x38(%rsp),%r13
mov    (%r12,%r13,8),%rsi
mov    %rax,%rdi
call   1030 <strcpy@plt>
mov    %r13d,%r15d
mov    0x30(%rsp),%rcx
mov    %ecx,%ebp
jmp    125c <fullJustify+0x10c>
nopw   0x0(%rax,%rax,1)
mov    %edx,%eax
sub    %r14d,%eax
lea    -0x1(%r12),%ebp
cltd
idiv   %ebp
mov    %eax,%r13d
movslq (%rbx),%rax
mov    (%rsp),%rcx
mov    -0x8(%rcx,%rax,8),%rax
mov    0x10(%rsp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0xfffffffe,%r12d
lea    (%rax,%rcx,1),%r15
add    $0xffffffffffffffff,%r15
movslq %r14d,%rbx
add    %rax,%rbx
sub    %edx,%ebp
lea    -0x1(%r13),%eax
mov    %eax,0x24(%rsp)
mov    %ebp,%eax
jmp    1387 <fullJustify+0x237>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %cl,(%r15)
add    $0xffffffffffffffff,%r15
movzbl -0x1(%rbx),%ecx
add    $0xffffffffffffffff,%rbx
cmp    $0x20,%cl
jne    1380 <fullJustify+0x230>
movb   $0x20,(%r15)
mov    %eax,%ebp
sub    $0x1,%ebp
mov    $0x0,%ecx
cmovb  %ecx,%ebp
sbb    %ecx,%ecx
lea    -0x1(%r15),%rdi
cmp    %ecx,%r13d
jne    13be <fullJustify+0x26e>
mov    %rdi,%r15
sub    $0x1,%r12d
jae    13ee <fullJustify+0x29e>
jmp    12bd <fullJustify+0x16d>
cmp    $0x1,%eax
mov    0x24(%rsp),%eax
mov    %eax,%r14d
adc    $0x0,%r14d
sub    %r14,%rdi
lea    0x1(%r14),%rdx
mov    $0x20,%esi
call   1050 <memset@plt>
sub    %r14,%r15
add    $0xfffffffffffffffe,%r15
sub    $0x1,%r12d
jb     12bd <fullJustify+0x16d>
mov    %ebp,%eax
jmp    1387 <fullJustify+0x237>
mov    0x8(%rsp),%rax
movl   $0x0,(%rax)
xor    %edi,%edi
call   1060 <malloc@plt>
mov    %rax,%rbp
jmp    1445 <fullJustify+0x2f5>
mov    %r14d,%ebp
mov    0x8(%rsp),%rbx
movslq (%rbx),%rax
movslq %ebp,%rcx
mov    (%rsp),%rbp
mov    -0x8(%rbp,%rax,8),%rdi
add    %rcx,%rdi
mov    0x18(%rsp),%rdx
sub    %ecx,%edx
mov    $0x20,%esi
call   1050 <memset@plt>
movslq (%rbx),%rax
mov    -0x8(%rbp,%rax,8),%rax
mov    0x10(%rsp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    %rbp,%rax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8** @fullJustify(i8** %0, i32 %1, i32 %2, i32* %3) {
%5 = alloca i8**
%6 = alloca i8**
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i8**
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i8*
%20 = alloca i8*
%21 = alloca i32
store i8** %0, i8*** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32* %3, i32** %9
store i32 0, i32* %10
store i32 0, i32* %11
br label %22
22: ; preds = %46, %4
%23 = load i32, i32* %10
%24 = load i32, i32* %7
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %49
26: ; preds = %22
%27 = load i8**, i8*** %6
%28 = load i32, i32* %10
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8*, i8** %27, i64 %29
%31 = load i8*, i8** %30
%32 = call i32 @strlen(i8* %31)
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %45
34: ; preds = %26
%35 = load i8**, i8*** %6
%36 = load i32, i32* %10
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8*, i8** %35, i64 %37
%39 = load i8*, i8** %38
%40 = load i8**, i8*** %6
%41 = load i32, i32* %11
%42 = add nsw i32 %41, 1
store i32 %42, i32* %11
%43 = sext i32 %41 to i64
%44 = getelementptr inbounds i8*, i8** %40, i64 %43
store i8* %39, i8** %44
br label %45
45: ; preds = %34, %26
br label %46
46: ; preds = %45
%47 = load i32, i32* %10
%48 = add nsw i32 %47, 1
store i32 %48, i32* %10
br label %22
49: ; preds = %22
%50 = load i32, i32* %7
%51 = icmp ne i32 %50, 0
br i1 %51, label %56, label %52
52: ; preds = %49
%53 = load i32*, i32** %9
store i32 0, i32* %53
%54 = call i64 @malloc(i32 0)
%55 = inttoptr i64 %54 to i8**
store i8** %55, i8*** %5
br label %326
56: ; preds = %49
%57 = call i64 @malloc(i32 8)
%58 = inttoptr i64 %57 to i8**
store i8** %58, i8*** %13
%59 = load i32*, i32** %9
store i32 1, i32* %59
%60 = load i32, i32* %8
%61 = add nsw i32 %60, 1
%62 = sext i32 %61 to i64
%63 = mul i64 %62, 1
%64 = trunc i64 %63 to i32
%65 = call i64 @malloc(i32 %64)
%66 = inttoptr i64 %65 to i8*
%67 = load i8**, i8*** %13
store i8* %66, i8** %67
%68 = load i8**, i8*** %13
%69 = load i8*, i8** %68
%70 = load i8**, i8*** %6
%71 = getelementptr inbounds i8*, i8** %70, i64 0
%72 = load i8*, i8** %71
%73 = call i32 @strcpy(i8* %69, i8* %72)
%74 = load i8**, i8*** %6
%75 = getelementptr inbounds i8*, i8** %74, i64 0
%76 = load i8*, i8** %75
%77 = call i32 @strlen(i8* %76)
store i32 %77, i32* %12
store i32 1, i32* %10
store i32 0, i32* %11
br label %78
78: ; preds = %297, %56
%79 = load i32, i32* %10
%80 = load i32, i32* %7
%81 = icmp slt i32 %79, %80
br i1 %81, label %82, label %300
82: ; preds = %78
%83 = load i8**, i8*** %6
%84 = load i32, i32* %10
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8*, i8** %83, i64 %85
%87 = load i8*, i8** %86
%88 = call i32 @strlen(i8* %87)
%89 = add nsw i32 %88, 1
store i32 %89, i32* %14
%90 = load i32, i32* %12
%91 = load i32, i32* %14
%92 = add nsw i32 %90, %91
%93 = load i32, i32* %8
%94 = icmp sle i32 %92, %93
br i1 %94, label %95, label %126
95: ; preds = %82
%96 = load i8**, i8*** %13
%97 = load i32*, i32** %9
%98 = load i32, i32* %97
%99 = sub nsw i32 %98, 1
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8*, i8** %96, i64 %100
%102 = load i8*, i8** %101
%103 = load i32, i32* %12
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i8, i8* %102, i64 %104
store i8 32, i8* %105
%106 = load i8**, i8*** %13
%107 = load i32*, i32** %9
%108 = load i32, i32* %107
%109 = sub nsw i32 %108, 1
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8*, i8** %106, i64 %110
%112 = load i8*, i8** %111
%113 = load i32, i32* %12
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
%116 = getelementptr inbounds i8, i8* %115, i64 1
%117 = load i8**, i8*** %6
%118 = load i32, i32* %10
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i8*, i8** %117, i64 %119
%121 = load i8*, i8** %120
%122 = call i32 @strcpy(i8* %116, i8* %121)
%123 = load i32, i32* %14
%124 = load i32, i32* %12
%125 = add nsw i32 %124, %123
store i32 %125, i32* %12
br label %296
126: ; preds = %82
%127 = load i32, i32* %10
%128 = load i32, i32* %11
%129 = sub nsw i32 %127, %128
%130 = icmp sle i32 %129, 1
br i1 %130, label %131, label %146
131: ; preds = %126
%132 = load i8**, i8*** %13
%133 = load i32*, i32** %9
%134 = load i32, i32* %133
%135 = sub nsw i32 %134, 1
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i8*, i8** %132, i64 %136
%138 = load i8*, i8** %137
%139 = load i32, i32* %12
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i8, i8* %138, i64 %140
%142 = load i32, i32* %8
%143 = load i32, i32* %12
%144 = sub nsw i32 %142, %143
%145 = call i32 @memset(i8* %141, i8 signext 32, i32 %144)
br label %248
146: ; preds = %126
%147 = load i32, i32* %8
%148 = load i32, i32* %12
%149 = sub nsw i32 %147, %148
%150 = load i32, i32* %10
%151 = load i32, i32* %11
%152 = sub nsw i32 %150, %151
%153 = sub nsw i32 %152, 1
%154 = srem i32 %149, %153
store i32 %154, i32* %15
%155 = load i32, i32* %10
%156 = load i32, i32* %11
%157 = sub nsw i32 %155, %156
%158 = sub nsw i32 %157, 1
%159 = load i32, i32* %15
%160 = sub nsw i32 %158, %159
store i32 %160, i32* %16
%161 = load i32, i32* %10
%162 = load i32, i32* %11
%163 = sub nsw i32 %161, %162
%164 = sub nsw i32 %163, 1
store i32 %164, i32* %17
%165 = load i32, i32* %8
%166 = load i32, i32* %12
%167 = sub nsw i32 %165, %166
%168 = load i32, i32* %10
%169 = load i32, i32* %11
%170 = sub nsw i32 %168, %169
%171 = sub nsw i32 %170, 1
%172 = sdiv i32 %167, %171
store i32 %172, i32* %18
%173 = load i8**, i8*** %13
%174 = load i32*, i32** %9
%175 = load i32, i32* %174
%176 = sub nsw i32 %175, 1
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds i8*, i8** %173, i64 %177
%179 = load i8*, i8** %178
%180 = load i32, i32* %12
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds i8, i8* %179, i64 %181
%183 = getelementptr inbounds i8, i8* %182, i64 -1
store i8* %183, i8** %19
%184 = load i8**, i8*** %13
%185 = load i32*, i32** %9
%186 = load i32, i32* %185
%187 = sub nsw i32 %186, 1
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i8*, i8** %184, i64 %188
%190 = load i8*, i8** %189
%191 = load i32, i32* %8
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i8, i8* %190, i64 %192
%194 = getelementptr inbounds i8, i8* %193, i64 -1
store i8* %194, i8** %20
%195 = load i8**, i8*** %13
%196 = load i32*, i32** %9
%197 = load i32, i32* %196
%198 = sub nsw i32 %197, 1
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds i8*, i8** %195, i64 %199
%201 = load i8*, i8** %200
%202 = load i32, i32* %8
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i8, i8* %201, i64 %203
store i8 0, i8* %204
br label %205
205: ; preds = %246, %146
%206 = load i32, i32* %17
%207 = add nsw i32 %206, -1
store i32 %207, i32* %17
%208 = icmp ne i32 %206, 0
br i1 %208, label %209, label %247
209: ; preds = %205
br label %210
210: ; preds = %215, %209
%211 = load i8*, i8** %19
%212 = load i8, i8* %211
%213 = sext i8 %212 to i32
%214 = icmp ne i32 %213, 32
br i1 %214, label %215, label %221
215: ; preds = %210
%216 = load i8*, i8** %19
%217 = getelementptr inbounds i8, i8* %216, i32 -1
store i8* %217, i8** %19
%218 = load i8, i8* %216
%219 = load i8*, i8** %20
%220 = getelementptr inbounds i8, i8* %219, i32 -1
store i8* %220, i8** %20
store i8 %218, i8* %219
br label %210
221: ; preds = %210
%222 = load i8*, i8** %19
%223 = getelementptr inbounds i8, i8* %222, i32 -1
store i8* %223, i8** %19
%224 = load i8, i8* %222
%225 = load i8*, i8** %20
%226 = getelementptr inbounds i8, i8* %225, i32 -1
store i8* %226, i8** %20
store i8 %224, i8* %225
%227 = load i32, i32* %16
%228 = icmp ne i32 %227, 0
br i1 %228, label %229, label %233
229: ; preds = %221
%230 = load i32, i32* %16
%231 = add nsw i32 %230, -1
store i32 %231, i32* %16
%232 = load i32, i32* %18
store i32 %232, i32* %21
br label %238
233: ; preds = %221
%234 = load i32, i32* %15
%235 = add nsw i32 %234, -1
store i32 %235, i32* %15
%236 = load i32, i32* %18
%237 = add nsw i32 %236, 1
store i32 %237, i32* %21
br label %238
238: ; preds = %233, %229
br label %239
239: ; preds = %243, %238
%240 = load i32, i32* %21
%241 = add nsw i32 %240, -1
store i32 %241, i32* %21
%242 = icmp ne i32 %240, 0
br i1 %242, label %243, label %246
243: ; preds = %239
%244 = load i8*, i8** %20
%245 = getelementptr inbounds i8, i8* %244, i32 -1
store i8* %245, i8** %20
store i8 32, i8* %244
br label %239
246: ; preds = %239
br label %205
247: ; preds = %205
br label %248
248: ; preds = %247, %131
%249 = load i8**, i8*** %13
%250 = load i32*, i32** %9
%251 = load i32, i32* %250
%252 = sub nsw i32 %251, 1
%253 = sext i32 %252 to i64
%254 = getelementptr inbounds i8*, i8** %249, i64 %253
%255 = load i8*, i8** %254
%256 = load i32, i32* %8
%257 = sext i32 %256 to i64
%258 = getelementptr inbounds i8, i8* %255, i64 %257
store i8 0, i8* %258
%259 = load i32, i32* %10
store i32 %259, i32* %11
%260 = load i8**, i8*** %13
%261 = load i32*, i32** %9
%262 = load i32, i32* %261
%263 = add nsw i32 %262, 1
%264 = sext i32 %263 to i64
%265 = mul i64 8, %264
%266 = trunc i64 %265 to i32
%267 = call i64 @realloc(i8** %260, i32 %266)
%268 = inttoptr i64 %267 to i8**
store i8** %268, i8*** %13
%269 = load i32, i32* %8
%270 = add nsw i32 %269, 1
%271 = sext i32 %270 to i64
%272 = mul i64 %271, 1
%273 = trunc i64 %272 to i32
%274 = call i64 @malloc(i32 %273)
%275 = inttoptr i64 %274 to i8*
%276 = load i8**, i8*** %13
%277 = load i32*, i32** %9
%278 = load i32, i32* %277
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds i8*, i8** %276, i64 %279
store i8* %275, i8** %280
%281 = load i8**, i8*** %13
%282 = load i32*, i32** %9
%283 = load i32, i32* %282
%284 = add nsw i32 %283, 1
store i32 %284, i32* %282
%285 = sext i32 %283 to i64
%286 = getelementptr inbounds i8*, i8** %281, i64 %285
%287 = load i8*, i8** %286
%288 = load i8**, i8*** %6
%289 = load i32, i32* %10
%290 = sext i32 %289 to i64
%291 = getelementptr inbounds i8*, i8** %288, i64 %290
%292 = load i8*, i8** %291
%293 = call i32 @strcpy(i8* %287, i8* %292)
%294 = load i32, i32* %14
%295 = sub nsw i32 %294, 1
store i32 %295, i32* %12
br label %296
296: ; preds = %248, %95
br label %297
297: ; preds = %296
%298 = load i32, i32* %10
%299 = add nsw i32 %298, 1
store i32 %299, i32* %10
br label %78
300: ; preds = %78
%301 = load i8**, i8*** %13
%302 = load i32*, i32** %9
%303 = load i32, i32* %302
%304 = sub nsw i32 %303, 1
%305 = sext i32 %304 to i64
%306 = getelementptr inbounds i8*, i8** %301, i64 %305
%307 = load i8*, i8** %306
%308 = load i32, i32* %12
%309 = sext i32 %308 to i64
%310 = getelementptr inbounds i8, i8* %307, i64 %309
%311 = load i32, i32* %8
%312 = load i32, i32* %12
%313 = sub nsw i32 %311, %312
%314 = call i32 @memset(i8* %310, i8 signext 32, i32 %313)
%315 = load i8**, i8*** %13
%316 = load i32*, i32** %9
%317 = load i32, i32* %316
%318 = sub nsw i32 %317, 1
%319 = sext i32 %318 to i64
%320 = getelementptr inbounds i8*, i8** %315, i64 %319
%321 = load i8*, i8** %320
%322 = load i32, i32* %8
%323 = sext i32 %322 to i64
%324 = getelementptr inbounds i8, i8* %321, i64 %323
store i8 0, i8* %324
%325 = load i8**, i8*** %13
store i8** %325, i8*** %5
br label %326
326: ; preds = %300, %52
%327 = load i8**, i8*** %5
ret i8** %327
}

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