#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*/ printf(char *, int, int, ...);
int /*<<< orphan*/ sfree(int *);
int *smalloc(int);
void check_resid(int n_left, int n_right, int *vweight, int *resid,
                 int *pointers, int *indices, int *flow) {
  int i, j, left_used, right_used;
  int *diff;
  for (i = 0; i < n_left + n_right; i++) {
    if (resid[i] < 0 || resid[i] > vweight[i]) {
      printf("BAD resid[%d] = %d, vweight = %d\n", i, resid[i], vweight[i]);
    }
  }
  left_used = right_used = 0;
  for (i = 0; i < n_left; i++) {
    left_used += vweight[i] - resid[i];
  }
  for (i = n_left; i < n_left + n_right; i++) {
    right_used += vweight[i] - resid[i];
  }
  if (left_used != right_used) {
    printf("left_used = %d, NOT EQUAL TO right_resid = %d\n", left_used,
           right_used);
  }
  diff = smalloc((n_left + n_right) * sizeof(int));
  for (i = 0; i < n_left + n_right; i++) {
    diff[i] = 0;
  }
  for (i = n_left; i < n_left + n_right; i++) {
    for (j = pointers[i]; j < pointers[i + 1]; j++) {
      if (flow[j] < 0) {
        printf("Negative flow (%d,%d) = %d\n", i, indices[j], flow[j]);
      }
      diff[i] += flow[j];
      diff[indices[j]] += flow[j];
    }
  }
  for (i = 0; i < n_left + n_right; i++) {
    if (diff[i] != vweight[i] - resid[i]) {
      printf("ERROR: diff[%d] = %d, but vweight = %d and resid = %d\n", i,
             diff[i], vweight[i], resid[i]);
    }
  }
  sfree(diff);
}


x86 assembly (clang, -O0):
<check_resid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    11d2 <check_resid+0xa2>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jl     1198 <check_resid+0x68>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11bf <check_resid+0x8f>
mov    -0x2c(%rbp),%esi
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
lea    0xe48(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    11c4 <check_resid+0x94>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1159 <check_resid+0x29>
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    121d <check_resid+0xed>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e7 <check_resid+0xb7>
mov    -0x4(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    125e <check_resid+0x12e>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1223 <check_resid+0xf3>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     127e <check_resid+0x14e>
mov    -0x34(%rbp),%esi
mov    -0x38(%rbp),%edx
lea    0xdab(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <smalloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    12ca <check_resid+0x19a>
mov    -0x40(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    129c <check_resid+0x16c>
mov    -0x4(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    139c <check_resid+0x26c>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1389 <check_resid+0x259>
mov    0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jge    1341 <check_resid+0x211>
mov    -0x2c(%rbp),%esi
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
lea    0xd17(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq -0x30(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12ef <check_resid+0x1bf>
jmp    138e <check_resid+0x25e>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12d0 <check_resid+0x1a0>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    1423 <check_resid+0x2f3>
mov    -0x40(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x18(%rbp),%rdx
movslq -0x2c(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
je     1410 <check_resid+0x2e0>
mov    -0x2c(%rbp),%esi
mov    -0x40(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rdi
mov    (%rax,%rdi,4),%r8d
lea    0xc64(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1415 <check_resid+0x2e5>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13a3 <check_resid+0x273>
mov    -0x40(%rbp),%rdi
call   1040 <sfree@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_resid>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9,%rbx
mov    %r8,0x28(%rsp)
mov    %rcx,%r12
mov    %rdx,(%rsp)
mov    %edi,%r13d
mov    0x70(%rsp),%r15
mov    %rsi,%rax
mov    %rsi,0x8(%rsp)
lea    (%rsi,%r13,1),%ecx
mov    %ecx,%eax
mov    %rax,0x20(%rsp)
mov    %rcx,0x10(%rsp)
test   %ecx,%ecx
jle    11bc <check_resid+0x7c>
lea    0xe78(%rip),%r14
xor    %ebp,%ebp
jmp    11a7 <check_resid+0x67>
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1030 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,0x20(%rsp)
je     11bc <check_resid+0x7c>
mov    (%r12,%rbp,4),%edx
mov    (%rsp),%rax
mov    (%rax,%rbp,4),%ecx
test   %edx,%edx
js     1190 <check_resid+0x50>
cmp    %ecx,%edx
jle    119c <check_resid+0x5c>
jmp    1190 <check_resid+0x50>
xor    %edx,%edx
mov    $0x0,%esi
test   %r13d,%r13d
mov    (%rsp),%r11
mov    0x10(%rsp),%r14
jle    12f1 <check_resid+0x1b1>
mov    %r13d,%eax
cmp    $0x8,%r13d
jae    11e7 <check_resid+0xa7>
xor    %ecx,%ecx
xor    %esi,%esi
jmp    12e0 <check_resid+0x1a0>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
test   %rsi,%rsi
je     1567 <check_resid+0x427>
mov    %rbp,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%r11,%rsi,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r11,%rsi,4),%xmm3
paddd  %xmm1,%xmm3
movdqu 0x20(%r11,%rsi,4),%xmm0
paddd  %xmm2,%xmm0
movdqu 0x30(%r11,%rsi,4),%xmm1
paddd  %xmm3,%xmm1
movdqu (%r12,%rsi,4),%xmm2
movdqu 0x10(%r12,%rsi,4),%xmm3
movdqu 0x20(%r12,%rsi,4),%xmm4
paddd  %xmm2,%xmm4
psubd  %xmm4,%xmm0
movdqu 0x30(%r12,%rsi,4),%xmm2
paddd  %xmm3,%xmm2
psubd  %xmm2,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1220 <check_resid+0xe0>
test   $0x1,%bpl
je     12b8 <check_resid+0x178>
movdqu (%r11,%rsi,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r11,%rsi,4),%xmm3
paddd  %xmm1,%xmm3
movdqu (%r12,%rsi,4),%xmm0
psubd  %xmm0,%xmm2
movdqu 0x10(%r12,%rsi,4),%xmm0
psubd  %xmm0,%xmm3
movdqa %xmm2,%xmm0
movdqa %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %rax,%rcx
je     12f1 <check_resid+0x1b1>
nopw   0x0(%rax,%rax,1)
add    (%r11,%rcx,4),%esi
sub    (%r12,%rcx,4),%esi
add    $0x1,%rcx
cmp    %rcx,%rax
jne    12e0 <check_resid+0x1a0>
movslq %r14d,%rcx
cmpl   $0x0,0x8(%rsp)
mov    %rcx,0x18(%rsp)
jle    1441 <check_resid+0x301>
movslq %r13d,%rax
lea    0x1(%rax),%r10
cmp    %rcx,%r10
cmovle %rcx,%r10
sub    %rax,%r10
xor    %edx,%edx
cmp    $0x8,%r10
jb     1430 <check_resid+0x2f0>
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     1580 <check_resid+0x440>
mov    %r9,%rbp
and    $0xfffffffffffffffe,%rbp
lea    (%r12,%rax,4),%rdi
add    $0x30,%rdi
lea    (%r11,%rax,4),%rcx
add    $0x30,%rcx
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rcx,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x20(%rcx,%rdx,4),%xmm3
paddd  %xmm1,%xmm3
movdqu -0x10(%rcx,%rdx,4),%xmm0
paddd  %xmm2,%xmm0
movdqu (%rcx,%rdx,4),%xmm1
paddd  %xmm3,%xmm1
movdqu -0x30(%rdi,%rdx,4),%xmm2
movdqu -0x20(%rdi,%rdx,4),%xmm3
movdqu -0x10(%rdi,%rdx,4),%xmm4
paddd  %xmm2,%xmm4
psubd  %xmm4,%xmm0
movdqu (%rdi,%rdx,4),%xmm2
paddd  %xmm3,%xmm2
psubd  %xmm2,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rbp
jne    1370 <check_resid+0x230>
test   $0x1,%r9b
je     1403 <check_resid+0x2c3>
add    %rax,%rdx
movdqu (%r11,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r11,%rdx,4),%xmm3
paddd  %xmm1,%xmm3
movdqu (%r12,%rdx,4),%xmm0
psubd  %xmm0,%xmm2
movdqu 0x10(%r12,%rdx,4),%xmm0
psubd  %xmm0,%xmm3
movdqa %xmm2,%xmm0
movdqa %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edx
cmp    %r8,%r10
mov    0x18(%rsp),%rcx
je     1441 <check_resid+0x301>
add    %r8,%rax
nopw   0x0(%rax,%rax,1)
add    (%r11,%rax,4),%edx
sub    (%r12,%rax,4),%edx
add    $0x1,%rax
cmp    %rcx,%rax
jl     1430 <check_resid+0x2f0>
cmp    %edx,%esi
je     1453 <check_resid+0x313>
lea    0xbd6(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    %r12,0x30(%rsp)
lea    0x0(,%r14,4),%edi
call   1060 <smalloc@plt>
mov    %rax,%rbp
test   %r14d,%r14d
jle    1483 <check_resid+0x343>
lea    -0x1(%r14),%eax
lea    0x4(,%rax,4),%rdx
mov    %rbp,%rdi
xor    %esi,%esi
call   1050 <memset@plt>
cmpl   $0x0,0x8(%rsp)
mov    0x28(%rsp),%rdx
jle    1506 <check_resid+0x3c6>
movslq %r13d,%r12
mov    (%rdx,%r12,4),%eax
jmp    14a9 <check_resid+0x369>
nopl   0x0(%rax,%rax,1)
mov    %ecx,%eax
cmp    0x18(%rsp),%r12
jge    1506 <check_resid+0x3c6>
mov    %r12,%r14
add    $0x1,%r12
mov    0x4(%rdx,%r14,4),%ecx
cmp    %ecx,%eax
jge    14a0 <check_resid+0x360>
movslq %eax,%r13
jmp    14de <check_resid+0x39e>
xchg   %ax,%ax
add    %ecx,0x0(%rbp,%r14,4)
mov    (%r15,%r13,4),%eax
movslq (%rbx,%r13,4),%rcx
add    %eax,0x0(%rbp,%rcx,4)
add    $0x1,%r13
movslq (%rdx,%r12,4),%rcx
cmp    %rcx,%r13
jge    14a0 <check_resid+0x360>
mov    (%r15,%r13,4),%ecx
test   %ecx,%ecx
jns    14c0 <check_resid+0x380>
mov    (%rbx,%r13,4),%edx
lea    0xb60(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x28(%rsp),%rdx
mov    (%r15,%r13,4),%ecx
jmp    14c0 <check_resid+0x380>
cmpl   $0x0,0x10(%rsp)
mov    0x30(%rsp),%r15
jle    1551 <check_resid+0x411>
lea    0xb54(%rip),%r14
xor    %ebx,%ebx
jmp    152b <check_resid+0x3eb>
nopl   (%rax)
add    $0x1,%rbx
cmp    %rbx,0x20(%rsp)
je     1551 <check_resid+0x411>
mov    0x0(%rbp,%rbx,4),%edx
mov    (%rsp),%rax
mov    (%rax,%rbx,4),%ecx
mov    (%r15,%rbx,4),%r8d
mov    %ecx,%eax
sub    %r8d,%eax
cmp    %eax,%edx
je     1520 <check_resid+0x3e0>
mov    %r14,%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1030 <printf@plt>
jmp    1520 <check_resid+0x3e0>
mov    %rbp,%rdi
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <sfree@plt>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
test   $0x1,%bpl
jne    1286 <check_resid+0x146>
jmp    12b8 <check_resid+0x178>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
test   $0x1,%r9b
jne    13ce <check_resid+0x28e>
jmp    1403 <check_resid+0x2c3>

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

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