int Length(int s[], int i) {
  int seq[20], t, j, k, b, m, c;
  int count = 0;
  for (j = 0; j < i; j++) {
    count = 0;
    for (b = j + 1; b < i && b > j; b++) {
      c = 0;
      for (m = 1; m < b - j + 1; m++) {
        if (s[b] > s[b - m])
          c = c + 1;
      }
      if (s[j] < s[b] && c == b - j)
        count = count + 1;
      else
        continue;
    }
    seq[j] = count + 1;
  }
  int a;
  int num = 0;
  for (t = 0; t < i; t++) {
    num = 0;
    for (k = 0; k < i; k++) {
      if (seq[t] >= seq[k])
        num = num + 1;
    }
    if (num == i)
      a = seq[t];
  }
  return a;
}


x86 assembly (clang, -O0):
<Length>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x7c(%rbp)
movl   $0x0,-0x68(%rbp)
mov    -0x68(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    123d <Length+0x13d>
movl   $0x0,-0x7c(%rbp)
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x85(%rbp)
jge    115c <Length+0x5c>
mov    -0x70(%rbp),%eax
cmp    -0x68(%rbp),%eax
setg   %al
mov    %al,-0x85(%rbp)
mov    -0x85(%rbp),%al
test   $0x1,%al
jne    116f <Length+0x6f>
jmp    1221 <Length+0x121>
movl   $0x0,-0x78(%rbp)
movl   $0x1,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    -0x70(%rbp),%ecx
sub    -0x68(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    11ce <Length+0xce>
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x70(%rbp),%edx
sub    -0x74(%rbp),%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11bb <Length+0xbb>
mov    -0x78(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x78(%rbp)
jmp    11c0 <Length+0xc0>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    117d <Length+0x7d>
mov    -0x8(%rbp),%rax
movslq -0x68(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x70(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1209 <Length+0x109>
mov    -0x78(%rbp),%eax
mov    -0x70(%rbp),%ecx
sub    -0x68(%rbp),%ecx
cmp    %ecx,%eax
jne    1209 <Length+0x109>
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
jmp    120e <Length+0x10e>
jmp    1213 <Length+0x113>
jmp    1213 <Length+0x113>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    1139 <Length+0x39>
mov    -0x7c(%rbp),%ecx
add    $0x1,%ecx
movslq -0x68(%rbp),%rax
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    111d <Length+0x1d>
movl   $0x0,-0x84(%rbp)
movl   $0x0,-0x64(%rbp)
mov    -0x64(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12dc <Length+0x1dc>
movl   $0x0,-0x84(%rbp)
movl   $0x0,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12af <Length+0x1af>
movslq -0x64(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%eax
movslq -0x6c(%rbp),%rcx
cmp    -0x60(%rbp,%rcx,4),%eax
jl     129c <Length+0x19c>
mov    -0x84(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x84(%rbp)
jmp    12a1 <Length+0x1a1>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    126b <Length+0x16b>
mov    -0x84(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    12c9 <Length+0x1c9>
movslq -0x64(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%eax
mov    %eax,-0x80(%rbp)
jmp    12ce <Length+0x1ce>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    124e <Length+0x14e>
mov    -0x80(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Length>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %esi,%esi
jle    14d8 <Length+0x3d8>
mov    %esi,-0x78(%rsp)
mov    %esi,%r14d
lea    -0xc(%rdi),%rax
mov    %rax,-0x60(%rsp)
lea    0x4(%rdi),%rax
mov    %rax,-0x68(%rsp)
mov    $0x1,%eax
mov    %rax,-0x70(%rsp)
xor    %edx,%edx
mov    %r14,-0x58(%rsp)
jmp    117a <Length+0x7a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%ebp
mov    %ebp,-0x40(%rsp,%rdx,4)
addq   $0x1,-0x70(%rsp)
addq   $0x4,-0x60(%rsp)
addq   $0x4,-0x68(%rsp)
mov    -0x50(%rsp),%rax
mov    %rax,%rdx
cmp    %r14,%rax
je     1383 <Length+0x283>
lea    0x1(%rdx),%rax
mov    $0x0,%ebp
mov    %rax,-0x50(%rsp)
cmp    %r14,%rax
jae    1150 <Length+0x50>
mov    (%rdi,%rdx,4),%eax
mov    %eax,-0x74(%rsp)
xor    %r13d,%r13d
mov    $0xfffffffffffffff9,%r15
mov    -0x68(%rsp),%rax
mov    -0x60(%rsp),%rcx
mov    -0x70(%rsp),%r12
xor    %ebp,%ebp
mov    %rdx,-0x48(%rsp)
jmp    1201 <Length+0x101>
cs nopw 0x0(%rax,%rax,1)
mov    %r11,%r9
mov    %rsi,%r11
mov    -0x58(%rsp),%r14
cmp    %r8d,-0x74(%rsp)
setl   %dl
cmp    %r11d,%ebx
sete   %bl
and    %dl,%bl
movzbl %bl,%edx
add    %edx,%ebp
add    $0x1,%r12
add    $0x4,%rcx
add    $0x1,%r15
add    $0x4,%rax
mov    %r9,%r13
cmp    %r14,%r12
mov    -0x48(%rsp),%rdx
jae    1150 <Length+0x50>
lea    0x1(%r13),%r11
mov    %r12,%rsi
sub    %rdx,%rsi
mov    (%rdi,%r12,4),%r8d
mov    $0x1,%r10d
mov    $0x0,%ebx
cmp    $0x8,%r11
jb     1357 <Length+0x257>
lea    -0x7(%r13),%rbx
mov    %rbx,%r9
shr    $0x3,%r9
add    $0x1,%r9
movd   %r8d,%xmm0
pshufd $0x0,%xmm0,%xmm0
cmp    $0x8,%rbx
jae    1260 <Length+0x160>
pxor   %xmm1,%xmm1
xor    %r14d,%r14d
pxor   %xmm2,%xmm2
jmp    12ec <Length+0x1ec>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r15,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
and    $0xfffffffffffffffe,%rbx
pxor   %xmm1,%xmm1
xor    %r14d,%r14d
pxor   %xmm2,%xmm2
nopw   0x0(%rax,%rax,1)
movdqu -0x30(%rcx,%r14,4),%xmm3
movdqu -0x20(%rcx,%r14,4),%xmm4
movdqu -0x10(%rcx,%r14,4),%xmm5
movdqu (%rcx,%r14,4),%xmm6
pshufd $0x1b,%xmm6,%xmm6
pshufd $0x1b,%xmm5,%xmm5
movdqa %xmm0,%xmm7
pcmpgtd %xmm6,%xmm7
psubd  %xmm7,%xmm1
movdqa %xmm0,%xmm6
pcmpgtd %xmm5,%xmm6
psubd  %xmm6,%xmm2
pshufd $0x1b,%xmm4,%xmm4
pshufd $0x1b,%xmm3,%xmm3
movdqa %xmm0,%xmm5
pcmpgtd %xmm4,%xmm5
psubd  %xmm5,%xmm1
movdqa %xmm0,%xmm4
pcmpgtd %xmm3,%xmm4
psubd  %xmm4,%xmm2
add    $0xfffffffffffffff0,%r14
add    $0xfffffffffffffffe,%rbx
jne    1280 <Length+0x180>
neg    %r14
mov    %r11,%r10
and    $0xfffffffffffffff8,%r10
test   $0x1,%r9b
je     132b <Length+0x22b>
not    %r14
add    %r12,%r14
movdqu -0x1c(%rdi,%r14,4),%xmm3
movdqu -0xc(%rdi,%r14,4),%xmm4
pshufd $0x1b,%xmm4,%xmm4
pshufd $0x1b,%xmm3,%xmm3
movdqa %xmm0,%xmm5
pcmpgtd %xmm4,%xmm5
psubd  %xmm5,%xmm1
pcmpgtd %xmm3,%xmm0
psubd  %xmm0,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ebx
cmp    %r10,%r11
je     11c0 <Length+0xc0>
or     $0x1,%r10
mov    -0x58(%rsp),%r14
mov    %r11,%r9
mov    %rsi,%r11
neg    %r10
xor    %esi,%esi
cmp    (%rax,%r10,4),%r8d
setg   %sil
add    %esi,%ebx
lea    (%r10,%r13,1),%rsi
add    $0xffffffffffffffff,%rsi
add    $0xffffffffffffffff,%r10
cmp    $0xfffffffffffffffe,%rsi
jne    1360 <Length+0x260>
jmp    11cb <Length+0xcb>
mov    -0x78(%rsp),%ecx
test   %ecx,%ecx
jle    14d8 <Length+0x3d8>
mov    %r14d,%r11d
and    $0xfffffff8,%r11d
lea    -0x8(%r11),%r9
mov    %r9,%r10
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffffe,%r8
xor    %ebp,%ebp
pcmpeqd %xmm8,%xmm8
movdqa 0xc45(%rip),%xmm1
jmp    13cd <Length+0x2cd>
nopl   (%rax)
add    $0x1,%rbp
cmp    %r14,%rbp
je     14d8 <Length+0x3d8>
mov    -0x40(%rsp,%rbp,4),%ebx
cmp    $0x8,%ecx
jae    13e0 <Length+0x2e0>
xor    %edi,%edi
xor    %edx,%edx
jmp    14a0 <Length+0x3a0>
nop
movd   %ebx,%xmm2
pshufd $0x0,%xmm2,%xmm2
test   %r9,%r9
je     14c6 <Length+0x3c6>
pxor   %xmm5,%xmm5
mov    %r8,%rdx
xor    %edi,%edi
pxor   %xmm6,%xmm6
nop
movdqa -0x40(%rsp,%rdi,4),%xmm7
movdqa -0x30(%rsp,%rdi,4),%xmm0
movdqa -0x20(%rsp,%rdi,4),%xmm3
movdqa -0x10(%rsp,%rdi,4),%xmm4
pcmpgtd %xmm2,%xmm7
paddd  %xmm5,%xmm7
pcmpgtd %xmm2,%xmm0
paddd  %xmm6,%xmm0
pcmpgtd %xmm2,%xmm3
pcmpgtd %xmm2,%xmm4
paddd  %xmm1,%xmm3
paddd  %xmm7,%xmm3
paddd  %xmm1,%xmm4
paddd  %xmm0,%xmm4
add    $0x10,%rdi
movdqa %xmm3,%xmm5
movdqa %xmm4,%xmm6
add    $0xfffffffffffffffe,%rdx
jne    1400 <Length+0x300>
test   $0x1,%r10b
je     147e <Length+0x37e>
movdqa -0x40(%rsp,%rdi,4),%xmm0
movdqa -0x30(%rsp,%rdi,4),%xmm5
pcmpgtd %xmm2,%xmm0
paddd  %xmm0,%xmm3
pcmpgtd %xmm2,%xmm5
paddd  %xmm5,%xmm4
psubd  %xmm8,%xmm3
psubd  %xmm8,%xmm4
paddd  %xmm4,%xmm3
pshufd $0xee,%xmm3,%xmm0
paddd  %xmm3,%xmm0
pshufd $0x55,%xmm0,%xmm2
paddd  %xmm0,%xmm2
movd   %xmm2,%edx
mov    %r11,%rdi
cmp    %r14,%r11
je     14b5 <Length+0x3b5>
xor    %esi,%esi
cmp    -0x40(%rsp,%rdi,4),%ebx
setge  %sil
add    %esi,%edx
add    $0x1,%rdi
cmp    %rdi,%r14
jne    14a0 <Length+0x3a0>
cmp    %ecx,%edx
jne    13c0 <Length+0x2c0>
mov    -0x40(%rsp,%rbp,4),%eax
jmp    13c0 <Length+0x2c0>
pxor   %xmm3,%xmm3
xor    %edi,%edi
pxor   %xmm4,%xmm4
test   $0x1,%r10b
jne    1458 <Length+0x358>
jmp    147e <Length+0x37e>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @Length(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca [20 x i32]
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
store i32 0, i32* %12
store i32 0, i32* %7
br label %15
15: ; preds = %93, %2
%16 = load i32, i32* %7
%17 = load i32, i32* %4
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %96
19: ; preds = %15
store i32 0, i32* %12
%20 = load i32, i32* %7
%21 = add nsw i32 %20, 1
store i32 %21, i32* %9
br label %22
22: ; preds = %84, %19
%23 = load i32, i32* %9
%24 = load i32, i32* %4
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %30
26: ; preds = %22
%27 = load i32, i32* %9
%28 = load i32, i32* %7
%29 = icmp sgt i32 %27, %28
br label %30
30: ; preds = %26, %22
%31 = phi i1 [ false, %22 ], [ %29, %26 ]
br i1 %31, label %32, label %87
32: ; preds = %30
store i32 0, i32* %11
store i32 1, i32* %10
br label %33
33: ; preds = %58, %32
%34 = load i32, i32* %10
%35 = load i32, i32* %9
%36 = load i32, i32* %7
%37 = sub nsw i32 %35, %36
%38 = add nsw i32 %37, 1
%39 = icmp slt i32 %34, %38
br i1 %39, label %40, label %61
40: ; preds = %33
%41 = load i32*, i32** %3
%42 = load i32, i32* %9
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
%46 = load i32*, i32** %3
%47 = load i32, i32* %9
%48 = load i32, i32* %10
%49 = sub nsw i32 %47, %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %46, i64 %50
%52 = load i32, i32* %51
%53 = icmp sgt i32 %45, %52
br i1 %53, label %54, label %57
54: ; preds = %40
%55 = load i32, i32* %11
%56 = add nsw i32 %55, 1
store i32 %56, i32* %11
br label %57
57: ; preds = %54, %40
br label %58
58: ; preds = %57
%59 = load i32, i32* %10
%60 = add nsw i32 %59, 1
store i32 %60, i32* %10
br label %33
61: ; preds = %33
%62 = load i32*, i32** %3
%63 = load i32, i32* %7
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
%66 = load i32, i32* %65
%67 = load i32*, i32** %3
%68 = load i32, i32* %9
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
%72 = icmp slt i32 %66, %71
br i1 %72, label %73, label %82
73: ; preds = %61
%74 = load i32, i32* %11
%75 = load i32, i32* %9
%76 = load i32, i32* %7
%77 = sub nsw i32 %75, %76
%78 = icmp eq i32 %74, %77
br i1 %78, label %79, label %82
79: ; preds = %73
%80 = load i32, i32* %12
%81 = add nsw i32 %80, 1
store i32 %81, i32* %12
br label %83
82: ; preds = %73, %61
br label %84
83: ; preds = %79
br label %84
84: ; preds = %83, %82
%85 = load i32, i32* %9
%86 = add nsw i32 %85, 1
store i32 %86, i32* %9
br label %22
87: ; preds = %30
%88 = load i32, i32* %12
%89 = add nsw i32 %88, 1
%90 = load i32, i32* %7
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds [20 x i32], [20 x i32]* %5, i64 0, i64 %91
store i32 %89, i32* %92
br label %93
93: ; preds = %87
%94 = load i32, i32* %7
%95 = add nsw i32 %94, 1
store i32 %95, i32* %7
br label %15
96: ; preds = %15
store i32 0, i32* %14
store i32 0, i32* %6
br label %97
97: ; preds = %133, %96
%98 = load i32, i32* %6
%99 = load i32, i32* %4
%100 = icmp slt i32 %98, %99
br i1 %100, label %101, label %136
101: ; preds = %97
store i32 0, i32* %14
store i32 0, i32* %8
br label %102
102: ; preds = %120, %101
%103 = load i32, i32* %8
%104 = load i32, i32* %4
%105 = icmp slt i32 %103, %104
br i1 %105, label %106, label %123
106: ; preds = %102
%107 = load i32, i32* %6
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds [20 x i32], [20 x i32]* %5, i64 0, i64 %108
%110 = load i32, i32* %109
%111 = load i32, i32* %8
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds [20 x i32], [20 x i32]* %5, i64 0, i64 %112
%114 = load i32, i32* %113
%115 = icmp sge i32 %110, %114
br i1 %115, label %116, label %119
116: ; preds = %106
%117 = load i32, i32* %14
%118 = add nsw i32 %117, 1
store i32 %118, i32* %14
br label %119
119: ; preds = %116, %106
br label %120
120: ; preds = %119
%121 = load i32, i32* %8
%122 = add nsw i32 %121, 1
store i32 %122, i32* %8
br label %102
123: ; preds = %102
%124 = load i32, i32* %14
%125 = load i32, i32* %4
%126 = icmp eq i32 %124, %125
br i1 %126, label %127, label %132
127: ; preds = %123
%128 = load i32, i32* %6
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds [20 x i32], [20 x i32]* %5, i64 0, i64 %129
%131 = load i32, i32* %130
store i32 %131, i32* %13
br label %132
132: ; preds = %127, %123
br label %133
133: ; preds = %132
%134 = load i32, i32* %6
%135 = add nsw i32 %134, 1
store i32 %135, i32* %6
br label %97
136: ; preds = %97
%137 = load i32, i32* %13
ret i32 %137
}

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