#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(int *);
scalar_t__ malloc(int);
int nnz(int *, int);
void UpdateLambda(int ***Lambda, int LambdaIndex, int *mComplex, int *m0,
                  int **A, int numSS, int numTotal) {
  int i, j, k;
  int n;
  int *mss;
  int dotprod;
  mss = (int *)malloc(numSS * sizeof(int));
  for (i = 0; i < numSS; i++) {
    dotprod = 0;
    for (j = numSS; j < numTotal; j++) {
      dotprod += A[i][j] * mComplex[j - numSS];
    }
    mss[i] = m0[i] - dotprod;
  }
  n = nnz(mss, numSS);
  n += nnz(mComplex, numTotal - numSS);
  (*Lambda)[LambdaIndex] = (int *)malloc((2 * n + 1) * sizeof(int));
  (*Lambda)[LambdaIndex][0] = n;
  k = 1;
  for (i = 0; i < numSS; i++) {
    if (mss[i] > 0) {
      (*Lambda)[LambdaIndex][k++] = i;
      (*Lambda)[LambdaIndex][k++] = mss[i];
    }
  }
  for (j = numSS; j < numTotal; j++) {
    if (mComplex[j - numSS] > 0) {
      (*Lambda)[LambdaIndex][k++] = j;
      (*Lambda)[LambdaIndex][k++] = mComplex[j - numSS];
    }
  }
  free(mss);
}


x86 assembly (clang, -O0):
<UpdateLambda>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movslq -0x2c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    11f0 <UpdateLambda+0xc0>
movl   $0x0,-0x4c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    11c9 <UpdateLambda+0x99>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
mov    -0x34(%rbp),%edx
sub    -0x2c(%rbp),%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1185 <UpdateLambda+0x55>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    -0x4c(%rbp),%edx
mov    -0x48(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    116c <UpdateLambda+0x3c>
mov    -0x48(%rbp),%rdi
mov    -0x2c(%rbp),%esi
call   1040 <nnz@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%rdi
mov    0x10(%rbp),%esi
sub    -0x2c(%rbp),%esi
call   1040 <nnz@plt>
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x3c(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movslq -0xc(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x38(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    12dd <UpdateLambda+0x1ad>
mov    -0x48(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    12ca <UpdateLambda+0x19a>
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x38(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x48(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x38(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12cf <UpdateLambda+0x19f>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    125e <UpdateLambda+0x12e>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    136c <UpdateLambda+0x23c>
mov    -0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    1359 <UpdateLambda+0x229>
mov    -0x34(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x38(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x38(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    135e <UpdateLambda+0x22e>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12e3 <UpdateLambda+0x1b3>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<UpdateLambda>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r9d,%ebx
mov    %r8,0x10(%rsp)
mov    %rcx,%r14
mov    %rdx,%r15
mov    %esi,0x1c(%rsp)
mov    %rdi,0x20(%rsp)
mov    0x90(%rsp),%ebp
lea    0x0(,%rbx,4),%edi
call   1050 <malloc@plt>
mov    %r14,%r9
mov    %ebp,%r8d
mov    %rbx,%rsi
mov    %rax,%r14
mov    %esi,%r12d
movslq %ebp,%r13
test   %esi,%esi
mov    %rbx,0x8(%rsp)
mov    %ebp,0x4(%rsp)
jle    13f7 <UpdateLambda+0x2c7>
mov    %r13,%r11
sub    %r12,%r11
lea    -0x8(%r11),%rax
mov    %rax,0x50(%rsp)
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %r11,%rax
and    $0xfffffffffffffff8,%rax
mov    %rax,0x40(%rsp)
add    %r12,%rax
mov    %rax,0x38(%rsp)
mov    %rcx,%rax
mov    %rcx,0x48(%rsp)
and    $0xfffffffffffffffe,%rcx
mov    %rcx,0x30(%rsp)
lea    0xc(%r12),%rax
mov    %rax,0x28(%rsp)
lea    0x0(,%r12,4),%rcx
mov    %r15,%rbx
sub    %rcx,%rbx
xor    %edi,%edi
jmp    1207 <UpdateLambda+0xd7>
cs nopw 0x0(%rax,%rax,1)
mov    (%r9,%rdi,4),%eax
sub    %ebp,%eax
mov    %eax,(%r14,%rdi,4)
add    $0x1,%rdi
cmp    %r12,%rdi
je     13f7 <UpdateLambda+0x2c7>
mov    $0x0,%ebp
cmp    %esi,%r8d
jle    11f0 <UpdateLambda+0xc0>
xor    %ebp,%ebp
mov    0x10(%rsp),%rax
mov    (%rax,%rdi,8),%rcx
mov    %r12,%rdx
cmp    $0x8,%r11
jb     13e0 <UpdateLambda+0x2b0>
mov    %r9,%rax
cmpq   $0x8,0x50(%rsp)
jae    1244 <UpdateLambda+0x114>
pxor   %xmm0,%xmm0
xor    %r9d,%r9d
pxor   %xmm1,%xmm1
jmp    133a <UpdateLambda+0x20a>
mov    0x28(%rsp),%rdx
lea    (%rcx,%rdx,4),%r8
pxor   %xmm0,%xmm0
mov    0x30(%rsp),%r10
xor    %r9d,%r9d
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu -0x30(%r8,%r9,4),%xmm5
movdqu -0x20(%r8,%r9,4),%xmm10
movdqu -0x10(%r8,%r9,4),%xmm9
movdqu (%r8,%r9,4),%xmm8
movdqu (%r15,%r9,4),%xmm7
movdqu 0x10(%r15,%r9,4),%xmm2
movdqu 0x20(%r15,%r9,4),%xmm4
movdqu 0x30(%r15,%r9,4),%xmm3
pshufd $0xf5,%xmm7,%xmm6
pmuludq %xmm5,%xmm7
pshufd $0xe8,%xmm7,%xmm7
pshufd $0xf5,%xmm5,%xmm5
pmuludq %xmm6,%xmm5
pshufd $0xe8,%xmm5,%xmm5
punpckldq %xmm5,%xmm7
paddd  %xmm0,%xmm7
pshufd $0xf5,%xmm2,%xmm0
pmuludq %xmm10,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm10,%xmm5
pmuludq %xmm0,%xmm5
pshufd $0xe8,%xmm5,%xmm0
punpckldq %xmm0,%xmm2
paddd  %xmm1,%xmm2
pshufd $0xf5,%xmm4,%xmm1
pmuludq %xmm9,%xmm4
pshufd $0xe8,%xmm4,%xmm0
pshufd $0xf5,%xmm9,%xmm4
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm1
punpckldq %xmm1,%xmm0
paddd  %xmm7,%xmm0
pshufd $0xf5,%xmm3,%xmm4
pmuludq %xmm8,%xmm3
pshufd $0xe8,%xmm3,%xmm1
pshufd $0xf5,%xmm8,%xmm3
pmuludq %xmm4,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm1
paddd  %xmm2,%xmm1
add    $0x10,%r9
add    $0xfffffffffffffffe,%r10
jne    1260 <UpdateLambda+0x130>
testb  $0x1,0x48(%rsp)
mov    0x4(%rsp),%r8d
je     13aa <UpdateLambda+0x27a>
lea    (%r9,%r12,1),%rdx
movdqu (%rcx,%rdx,4),%xmm2
movdqu 0x10(%rcx,%rdx,4),%xmm3
movdqu (%r15,%r9,4),%xmm4
movdqu 0x10(%r15,%r9,4),%xmm5
pshufd $0xf5,%xmm4,%xmm6
pmuludq %xmm2,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xf5,%xmm2,%xmm2
pmuludq %xmm6,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm4
paddd  %xmm4,%xmm0
pshufd $0xf5,%xmm5,%xmm2
pmuludq %xmm3,%xmm5
pshufd $0xe8,%xmm5,%xmm4
pshufd $0xf5,%xmm3,%xmm3
pmuludq %xmm2,%xmm3
pshufd $0xe8,%xmm3,%xmm2
punpckldq %xmm2,%xmm4
paddd  %xmm4,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ebp
mov    0x38(%rsp),%rdx
cmp    0x40(%rsp),%r11
mov    0x8(%rsp),%rsi
mov    %rax,%r9
je     11f0 <UpdateLambda+0xc0>
nopl   0x0(%rax)
mov    (%rbx,%rdx,4),%eax
imul   (%rcx,%rdx,4),%eax
add    %eax,%ebp
add    $0x1,%rdx
cmp    %rdx,%r13
jne    13e0 <UpdateLambda+0x2b0>
jmp    11f0 <UpdateLambda+0xc0>
mov    %r14,%rdi
mov    %r8d,%ebx
call   1040 <nnz@plt>
mov    %eax,0x10(%rsp)
mov    %ebx,%esi
sub    0x8(%rsp),%esi
mov    %r15,%rdi
call   1040 <nnz@plt>
mov    %eax,%ebp
add    0x10(%rsp),%ebp
lea    0x4(,%rbp,8),%edi
call   1050 <malloc@plt>
mov    0x8(%rsp),%rbx
mov    0x20(%rsp),%rsi
mov    (%rsi),%rcx
movslq 0x1c(%rsp),%rdx
mov    %rax,(%rcx,%rdx,8)
mov    (%rsi),%rax
mov    (%rax,%rdx,8),%rax
mov    %ebp,(%rax)
mov    $0x1,%ecx
test   %ebx,%ebx
jle    1483 <UpdateLambda+0x353>
xor    %edx,%edx
mov    0x4(%rsp),%ebp
jmp    1469 <UpdateLambda+0x339>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rdx
cmp    %rdx,%r12
je     1487 <UpdateLambda+0x357>
cmpl   $0x0,(%r14,%rdx,4)
jle    1460 <UpdateLambda+0x330>
movslq %ecx,%rsi
mov    %edx,(%rax,%rsi,4)
mov    (%r14,%rdx,4),%edi
lea    0x2(%rsi),%ecx
mov    %edi,0x4(%rax,%rsi,4)
jmp    1460 <UpdateLambda+0x330>
mov    0x4(%rsp),%ebp
cmp    %ebx,%ebp
jle    14c7 <UpdateLambda+0x397>
movslq %ebx,%rdx
sub    %rdx,%r13
xor    %edx,%edx
jmp    14a9 <UpdateLambda+0x379>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%rdx
cmp    %rdx,%r13
je     14c7 <UpdateLambda+0x397>
cmpl   $0x0,(%r15,%rdx,4)
jle    14a0 <UpdateLambda+0x370>
movslq %ecx,%rsi
lea    (%r12,%rdx,1),%ecx
mov    %ecx,(%rax,%rsi,4)
mov    (%r15,%rdx,4),%edi
lea    0x2(%rsi),%ecx
mov    %edi,0x4(%rax,%rsi,4)
jmp    14a0 <UpdateLambda+0x370>
mov    %r14,%rdi
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

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