#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 */
typedef int /*<<< orphan*/ array;

/* Variables and functions */
scalar_t__ calloc(int, int);
int /*<<< orphan*/ free(int *);
int max_lis_length(int *, int);
int /*<<< orphan*/ printf(char *, ...);
void printLIS(int *array, int sizeofarray) {
  int *lis_length = (int *)calloc(sizeofarray, sizeof(array[sizeofarray - 1]));
  int total_elements = 0;
  for (int i = 0; i < sizeofarray; i++) {
    lis_length[i] = 1;
  }
  for (int i = 1; i < sizeofarray; i++) {
    if (array[i] > array[i - 1]) {
      lis_length[i] = 1 + max_lis_length(lis_length, i - 1);
    }
  }
  total_elements = lis_length[sizeofarray - 1];
  printf("Length of LIS: %d\n", total_elements);
  if (total_elements == 1) {
    printf("The longest increasing subsequences are : ");
    for (int i = 0; i < sizeofarray; i++) {
      printf("{%d} ", array[i]);
    }
    printf("\n");
  } else {
    printf("The longest increasing subsequence is : {");
    int j = 1;
    for (int i = 0; i < sizeofarray; i++) {
      if (lis_length[i] == j) {
        printf("%d, ", array[i]);
        j++;
      }
    }
    printf("\b\b}\n");
  }
  free(lis_length);
}


x86 assembly (clang, -O0):
<printLIS>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%edi
mov    $0x4,%esi
call   1050 <calloc@plt>
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1197 <printLIS+0x57>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    116e <printLIS+0x2e>
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11fd <printLIS+0xbd>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11ea <printLIS+0xaa>
mov    -0x18(%rbp),%rdi
mov    -0x24(%rbp),%esi
sub    $0x1,%esi
call   1060 <max_lis_length@plt>
mov    %eax,%edx
add    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11ef <printLIS+0xaf>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    119e <printLIS+0x5e>
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%esi
lea    0xde6(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x1,-0x1c(%rbp)
jne    1286 <printLIS+0x146>
lea    0xde1(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1273 <printLIS+0x133>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xde0(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1240 <printLIS+0x100>
lea    0xd97(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    1305 <printLIS+0x1c5>
lea    0xdb7(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12f7 <printLIS+0x1b7>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x2c(%rbp),%eax
jne    12e4 <printLIS+0x1a4>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xd9a(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12e9 <printLIS+0x1a9>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12a2 <printLIS+0x162>
lea    0xd75(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x18(%rbp),%rdi
call   1030 <free@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<printLIS>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%r15d
mov    %rdi,%r14
mov    %esi,%edi
mov    $0x4,%esi
call   1070 <calloc@plt>
mov    %rax,%rbx
test   %r15d,%r15d
jle    12c7 <printLIS+0x167>
mov    %r15d,%r12d
cmp    $0x8,%r15d
jae    1199 <printLIS+0x39>
xor    %eax,%eax
jmp    1280 <printLIS+0x120>
mov    %r12d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x38,%rsi
jae    11c0 <printLIS+0x60>
xor    %esi,%esi
jmp    1241 <printLIS+0xe1>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
movaps 0xe33(%rip),%xmm0
nopl   (%rax)
movups %xmm0,(%rbx,%rsi,4)
movups %xmm0,0x10(%rbx,%rsi,4)
movups %xmm0,0x20(%rbx,%rsi,4)
movups %xmm0,0x30(%rbx,%rsi,4)
movups %xmm0,0x40(%rbx,%rsi,4)
movups %xmm0,0x50(%rbx,%rsi,4)
movups %xmm0,0x60(%rbx,%rsi,4)
movups %xmm0,0x70(%rbx,%rsi,4)
movups %xmm0,0x80(%rbx,%rsi,4)
movups %xmm0,0x90(%rbx,%rsi,4)
movups %xmm0,0xa0(%rbx,%rsi,4)
movups %xmm0,0xb0(%rbx,%rsi,4)
movups %xmm0,0xc0(%rbx,%rsi,4)
movups %xmm0,0xd0(%rbx,%rsi,4)
movups %xmm0,0xe0(%rbx,%rsi,4)
movups %xmm0,0xf0(%rbx,%rsi,4)
add    $0x40,%rsi
add    $0xfffffffffffffff8,%rdx
jne    11d0 <printLIS+0x70>
test   %rcx,%rcx
je     1272 <printLIS+0x112>
lea    (%rbx,%rsi,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
movaps 0xda5(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movups %xmm0,-0x10(%rdx,%rsi,1)
movups %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1260 <printLIS+0x100>
cmp    %r12,%rax
je     1290 <printLIS+0x130>
nopw   0x0(%rax,%rax,1)
movl   $0x1,(%rbx,%rax,4)
add    $0x1,%rax
cmp    %rax,%r12
jne    1280 <printLIS+0x120>
cmp    $0x2,%r15d
jl     12c7 <printLIS+0x167>
add    $0xffffffffffffffff,%r12
xor    %ebp,%ebp
jmp    12a9 <printLIS+0x149>
xchg   %ax,%ax
add    $0x1,%rbp
cmp    %rbp,%r12
je     12c7 <printLIS+0x167>
mov    0x4(%r14,%rbp,4),%eax
cmp    (%r14,%rbp,4),%eax
jle    12a0 <printLIS+0x140>
mov    %rbx,%rdi
mov    %ebp,%esi
call   1080 <max_lis_length@plt>
add    $0x1,%eax
mov    %eax,0x4(%rbx,%rbp,4)
jmp    12a0 <printLIS+0x140>
movslq %r15d,%rax
mov    -0x4(%rbx,%rax,4),%ebp
lea    0xd3b(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1060 <printf@plt>
cmp    $0x1,%ebp
jne    1333 <printLIS+0x1d3>
lea    0xd39(%rip),%rdi
xor    %eax,%eax
call   1060 <printf@plt>
test   %r15d,%r15d
jle    1327 <printLIS+0x1c7>
mov    %r15d,%r12d
lea    0xd4e(%rip),%r15
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%r14,%rbp,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%r12
jne    1310 <printLIS+0x1b0>
mov    $0xa,%edi
call   1040 <putchar@plt>
jmp    138f <printLIS+0x22f>
lea    0xd1a(%rip),%rdi
xor    %eax,%eax
call   1060 <printf@plt>
test   %r15d,%r15d
jle    1383 <printLIS+0x223>
mov    %r15d,%r12d
mov    $0x1,%r13d
lea    0xd28(%rip),%r15
xor    %ebp,%ebp
jmp    1369 <printLIS+0x209>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbp
cmp    %rbp,%r12
je     1383 <printLIS+0x223>
cmp    %r13d,(%rbx,%rbp,4)
jne    1360 <printLIS+0x200>
mov    (%r14,%rbp,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0x1,%r13d
jmp    1360 <printLIS+0x200>
lea    0xcf9(%rip),%rdi
call   1050 <puts@plt>
mov    %rbx,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

LLVM IR (-O0):
@.str = [19 x i8] c"Length of LIS: %d\0A\00"
@.str.1 = [43 x i8] c"The longest increasing subsequences are : \00"
@.str.2 = [6 x i8] c"{%d} \00"
@.str.3 = [2 x i8] c"\0A\00"
@.str.4 = [42 x i8] c"The longest increasing subsequence is : {\00"
@.str.5 = [5 x i8] c"%d, \00"
@.str.6 = [5 x i8] c"\08\08}\0A\00"
define void @printLIS(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%12 = load i32, i32* %4
%13 = call i64 @calloc(i32 %12, i32 4)
%14 = inttoptr i64 %13 to i32*
store i32* %14, i32** %5
store i32 0, i32* %6
store i32 0, i32* %7
br label %15
15: ; preds = %24, %2
%16 = load i32, i32* %7
%17 = load i32, i32* %4
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %27
19: ; preds = %15
%20 = load i32*, i32** %5
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
store i32 1, i32* %23
br label %24
24: ; preds = %19
%25 = load i32, i32* %7
%26 = add nsw i32 %25, 1
store i32 %26, i32* %7
br label %15
27: ; preds = %15
store i32 1, i32* %8
br label %28
28: ; preds = %56, %27
%29 = load i32, i32* %8
%30 = load i32, i32* %4
%31 = icmp slt i32 %29, %30
br i1 %31, label %32, label %59
32: ; preds = %28
%33 = load i32*, i32** %3
%34 = load i32, i32* %8
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
%37 = load i32, i32* %36
%38 = load i32*, i32** %3
%39 = load i32, i32* %8
%40 = sub nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %38, i64 %41
%43 = load i32, i32* %42
%44 = icmp sgt i32 %37, %43
br i1 %44, label %45, label %55
45: ; preds = %32
%46 = load i32*, i32** %5
%47 = load i32, i32* %8
%48 = sub nsw i32 %47, 1
%49 = call i32 @max_lis_length(i32* %46, i32 %48)
%50 = add nsw i32 1, %49
%51 = load i32*, i32** %5
%52 = load i32, i32* %8
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %51, i64 %53
store i32 %50, i32* %54
br label %55
55: ; preds = %45, %32
br label %56
56: ; preds = %55
%57 = load i32, i32* %8
%58 = add nsw i32 %57, 1
store i32 %58, i32* %8
br label %28
59: ; preds = %28
%60 = load i32*, i32** %5
%61 = load i32, i32* %4
%62 = sub nsw i32 %61, 1
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %60, i64 %63
%65 = load i32, i32* %64
store i32 %65, i32* %6
%66 = load i32, i32* %6
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0), i32 %66)
%68 = load i32, i32* %6
%69 = icmp eq i32 %68, 1
br i1 %69, label %70, label %88
70: ; preds = %59
%71 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %9
br label %72
72: ; preds = %83, %70
%73 = load i32, i32* %9
%74 = load i32, i32* %4
%75 = icmp slt i32 %73, %74
br i1 %75, label %76, label %86
76: ; preds = %72
%77 = load i32*, i32** %3
%78 = load i32, i32* %9
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
%81 = load i32, i32* %80
%82 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32 %81)
br label %83
83: ; preds = %76
%84 = load i32, i32* %9
%85 = add nsw i32 %84, 1
store i32 %85, i32* %9
br label %72
86: ; preds = %72
%87 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
br label %117
88: ; preds = %59
%89 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.4, i64 0, i64 0))
store i32 1, i32* %10
store i32 0, i32* %11
br label %90
90: ; preds = %112, %88
%91 = load i32, i32* %11
%92 = load i32, i32* %4
%93 = icmp slt i32 %91, %92
br i1 %93, label %94, label %115
94: ; preds = %90
%95 = load i32*, i32** %5
%96 = load i32, i32* %11
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %95, i64 %97
%99 = load i32, i32* %98
%100 = load i32, i32* %10
%101 = icmp eq i32 %99, %100
br i1 %101, label %102, label %111
102: ; preds = %94
%103 = load i32*, i32** %3
%104 = load i32, i32* %11
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i32, i32* %103, i64 %105
%107 = load i32, i32* %106
%108 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.5, i64 0, i64 0), i32 %107)
%109 = load i32, i32* %10
%110 = add nsw i32 %109, 1
store i32 %110, i32* %10
br label %111
111: ; preds = %102, %94
br label %112
112: ; preds = %111
%113 = load i32, i32* %11
%114 = add nsw i32 %113, 1
store i32 %114, i32* %11
br label %90
115: ; preds = %90
%116 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.6, i64 0, i64 0))
br label %117
117: ; preds = %115, %86
%118 = load i32*, i32** %5
%119 = call i32 @free(i32* %118)
ret void
}

LLVM IR (-O2):
@.str = [19 x i8] c"Length of LIS: %d\0A\00"
@.str.1 = [43 x i8] c"The longest increasing subsequences are : \00"
@.str.2 = [6 x i8] c"{%d} \00"
@.str.4 = [42 x i8] c"The longest increasing subsequence is : {\00"
@.str.5 = [5 x i8] c"%d, \00"
@str = [4 x i8] c"\08\08}\00"
define void @printLIS(i32* nocapture %0, i32 %1) {
%3 = tail call i64 @calloc(i32 %1, i32 4)
%4 = inttoptr i64 %3 to i32*
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %89
6: ; preds = %2
%7 = zext i32 %1 to i64
%8 = icmp ult i32 %1, 8
br i1 %8, label %78, label %9
9: ; preds = %6
%10 = and i64 %7, 4294967288
%11 = add nsw i64 %10, -8
%12 = lshr exact i64 %11, 3
%13 = add nuw nsw i64 %12, 1
%14 = and i64 %13, 7
%15 = icmp ult i64 %11, 56
br i1 %15, label %63, label %16
16: ; preds = %9
%17 = and i64 %13, 4611686018427387896
br label %18
18: ; preds = %18, %16
%19 = phi i64 [ 0, %16 ], [ %60, %18 ]
%20 = phi i64 [ 0, %16 ], [ %61, %18 ]
%21 = getelementptr inbounds i32, i32* %4, i64 %19
%22 = bitcast i32* %21 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %22
%23 = getelementptr inbounds i32, i32* %21, i64 4
%24 = bitcast i32* %23 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %24
%25 = or i64 %19, 8
%26 = getelementptr inbounds i32, i32* %4, i64 %25
%27 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %27
%28 = getelementptr inbounds i32, i32* %26, i64 4
%29 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %29
%30 = or i64 %19, 16
%31 = getelementptr inbounds i32, i32* %4, i64 %30
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %32
%33 = getelementptr inbounds i32, i32* %31, i64 4
%34 = bitcast i32* %33 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %34
%35 = or i64 %19, 24
%36 = getelementptr inbounds i32, i32* %4, i64 %35
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %37
%38 = getelementptr inbounds i32, i32* %36, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %39
%40 = or i64 %19, 32
%41 = getelementptr inbounds i32, i32* %4, i64 %40
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %41, i64 4
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %44
%45 = or i64 %19, 40
%46 = getelementptr inbounds i32, i32* %4, i64 %45
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %49
%50 = or i64 %19, 48
%51 = getelementptr inbounds i32, i32* %4, i64 %50
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %51, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %54
%55 = or i64 %19, 56
%56 = getelementptr inbounds i32, i32* %4, i64 %55
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %57
%58 = getelementptr inbounds i32, i32* %56, i64 4
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %59
%60 = add nuw i64 %19, 64
%61 = add nuw i64 %20, 8
%62 = icmp eq i64 %61, %17
br i1 %62, label %63, label %18
63: ; preds = %18, %9
%64 = phi i64 [ 0, %9 ], [ %60, %18 ]
%65 = icmp eq i64 %14, 0
br i1 %65, label %76, label %66
66: ; preds = %63, %66
%67 = phi i64 [ %73, %66 ], [ %64, %63 ]
%68 = phi i64 [ %74, %66 ], [ 0, %63 ]
%69 = getelementptr inbounds i32, i32* %4, i64 %67
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %70
%71 = getelementptr inbounds i32, i32* %69, i64 4
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %72
%73 = add nuw i64 %67, 8
%74 = add i64 %68, 1
%75 = icmp eq i64 %74, %14
br i1 %75, label %76, label %66
76: ; preds = %66, %63
%77 = icmp eq i64 %10, %7
br i1 %77, label %80, label %78
78: ; preds = %6, %76
%79 = phi i64 [ 0, %6 ], [ %10, %76 ]
br label %84
80: ; preds = %84, %76
%81 = icmp sgt i32 %1, 1
br i1 %81, label %82, label %89
82: ; preds = %80
%83 = zext i32 %1 to i64
br label %96
84: ; preds = %78, %84
%85 = phi i64 [ %87, %84 ], [ %79, %78 ]
%86 = getelementptr inbounds i32, i32* %4, i64 %85
store i32 1, i32* %86
%87 = add nuw nsw i64 %85, 1
%88 = icmp eq i64 %87, %7
br i1 %88, label %80, label %84
89: ; preds = %109, %2, %80
%90 = add nsw i32 %1, -1
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i32, i32* %4, i64 %91
%93 = load i32, i32* %92
%94 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0), i32 %93)
%95 = icmp eq i32 %93, 1
br i1 %95, label %112, label %125
96: ; preds = %82, %109
%97 = phi i64 [ 1, %82 ], [ %110, %109 ]
%98 = getelementptr inbounds i32, i32* %0, i64 %97
%99 = load i32, i32* %98
%100 = add nsw i64 %97, -1
%101 = getelementptr inbounds i32, i32* %0, i64 %100
%102 = load i32, i32* %101
%103 = icmp sgt i32 %99, %102
br i1 %103, label %104, label %109
104: ; preds = %96
%105 = trunc i64 %100 to i32
%106 = tail call i32 @max_lis_length(i32* %4, i32 %105)
%107 = add nsw i32 %106, 1
%108 = getelementptr inbounds i32, i32* %4, i64 %97
store i32 %107, i32* %108
br label %109
109: ; preds = %96, %104
%110 = add nuw nsw i64 %97, 1
%111 = icmp eq i64 %110, %83
br i1 %111, label %89, label %96
112: ; preds = %89
%113 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.1, i64 0, i64 0))
br i1 %5, label %114, label %116
114: ; preds = %112
%115 = zext i32 %1 to i64
br label %118
116: ; preds = %118, %112
%117 = tail call i32 @putchar(i32 10)
br label %146
118: ; preds = %114, %118
%119 = phi i64 [ 0, %114 ], [ %123, %118 ]
%120 = getelementptr inbounds i32, i32* %0, i64 %119
%121 = load i32, i32* %120
%122 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32 %121)
%123 = add nuw nsw i64 %119, 1
%124 = icmp eq i64 %123, %115
br i1 %124, label %116, label %118
125: ; preds = %89
%126 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str.4, i64 0, i64 0))
br i1 %5, label %127, label %129
127: ; preds = %125
%128 = zext i32 %1 to i64
br label %131
129: ; preds = %142, %125
%130 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0))
br label %146
131: ; preds = %127, %142
%132 = phi i64 [ 0, %127 ], [ %144, %142 ]
%133 = phi i32 [ 1, %127 ], [ %143, %142 ]
%134 = getelementptr inbounds i32, i32* %4, i64 %132
%135 = load i32, i32* %134
%136 = icmp eq i32 %135, %133
br i1 %136, label %137, label %142
137: ; preds = %131
%138 = getelementptr inbounds i32, i32* %0, i64 %132
%139 = load i32, i32* %138
%140 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.5, i64 0, i64 0), i32 %139)
%141 = add nsw i32 %133, 1
br label %142
142: ; preds = %131, %137
%143 = phi i32 [ %141, %137 ], [ %133, %131 ]
%144 = add nuw nsw i64 %132, 1
%145 = icmp eq i64 %144, %128
br i1 %145, label %129, label %131
146: ; preds = %129, %116
%147 = tail call i32 @free(i32* %4)
ret void
}