#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 */
double INFINITY;
int /*<<< orphan*/ step3_dbl(long *, double *, int *, int *, int *, int *,
                             int *, long, long, long);
void step5_dbl(long *assignment, double *distMatrix, bool *starMatrix,
               bool *newStarMatrix, bool *primeMatrix, bool *coveredColumns,
               bool *coveredRows, long nOfRows, long nOfColumns, long minDim) {
  double h, value;
  long row, col;
  h = INFINITY;
  for (row = 0; row < nOfRows; row++)
    if (!coveredRows[row])
      for (col = 0; col < nOfColumns; col++)
        if (!coveredColumns[col]) {
          value = distMatrix[row + nOfRows * col];
          if (value < h)
            h = value;
        }
  for (row = 0; row < nOfRows; row++)
    if (coveredRows[row])
      for (col = 0; col < nOfColumns; col++)
        distMatrix[row + nOfRows * col] += h;
  for (col = 0; col < nOfColumns; col++)
    if (!coveredColumns[col])
      for (row = 0; row < nOfRows; row++)
        distMatrix[row + nOfRows * col] -= h;
  step3_dbl(assignment, distMatrix, starMatrix, newStarMatrix, primeMatrix,
            coveredColumns, coveredRows, nOfRows, nOfColumns, minDim);
}


x86 assembly (clang, -O0):
<step5_dbl>:
push   %rbp
mov    %rsp,%rbp
push   %rbx
sub    $0x78,%rsp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    0x2ea0(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    0x18(%rbp),%rax
jge    1213 <step5_dbl+0x103>
mov    0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11fd <step5_dbl+0xed>
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    0x20(%rbp),%rax
jge    11f8 <step5_dbl+0xe8>
mov    -0x38(%rbp),%rax
mov    -0x58(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11e2 <step5_dbl+0xd2>
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    0x18(%rbp),%rdx
imul   -0x58(%rbp),%rdx
add    %rdx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11dd <step5_dbl+0xcd>
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    11e2 <step5_dbl+0xd2>
jmp    11e7 <step5_dbl+0xd7>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1181 <step5_dbl+0x71>
jmp    11fd <step5_dbl+0xed>
jmp    1202 <step5_dbl+0xf2>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1159 <step5_dbl+0x49>
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    0x18(%rbp),%rax
jge    12a0 <step5_dbl+0x190>
mov    0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     128a <step5_dbl+0x17a>
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    0x20(%rbp),%rax
jge    1285 <step5_dbl+0x175>
movsd  -0x40(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    0x18(%rbp),%rdx
imul   -0x58(%rbp),%rdx
add    %rdx,%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1243 <step5_dbl+0x133>
jmp    128a <step5_dbl+0x17a>
jmp    128f <step5_dbl+0x17f>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    121b <step5_dbl+0x10b>
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    0x20(%rbp),%rax
jge    1331 <step5_dbl+0x221>
mov    -0x38(%rbp),%rax
mov    -0x58(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    131b <step5_dbl+0x20b>
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    0x18(%rbp),%rax
jge    1316 <step5_dbl+0x206>
movsd  -0x40(%rbp),%xmm1
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    0x18(%rbp),%rdx
imul   -0x58(%rbp),%rdx
add    %rdx,%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    12d0 <step5_dbl+0x1c0>
jmp    131b <step5_dbl+0x20b>
jmp    1320 <step5_dbl+0x210>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    12a8 <step5_dbl+0x198>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x38(%rbp),%r9
mov    0x10(%rbp),%rbx
mov    0x18(%rbp),%r11
mov    0x20(%rbp),%r10
mov    0x28(%rbp),%rax
mov    %rbx,(%rsp)
mov    %r11,0x8(%rsp)
mov    %r10,0x10(%rsp)
mov    %rax,0x18(%rsp)
call   1030 <step3_dbl@plt>
add    $0x78,%rsp
pop    %rbx
pop    %rbp
ret

x86 assembly (clang, -O2):
<step5_dbl>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rcx,%r13
mov    0x48(%rsp),%r12
mov    0x40(%rsp),%r10
movabs $0x7ffffffffffffffe,%rax
ff ff 7f
mov    %rax,-0x60(%rsp)
mov    0x2eab(%rip),%rax
movsd  (%rax),%xmm0
test   %r10,%r10
mov    %r12,-0x58(%rsp)
mov    %rdi,-0x30(%rsp)
jle    1450 <step5_dbl+0x340>
mov    0x38(%rsp),%r14
mov    %r12,%rax
and    $0xfffffffffffffffe,%rax
mov    %r10,%r15
shl    $0x4,%r15
xor    %ebp,%ebp
mov    %rsi,%r11
jmp    1181 <step5_dbl+0x71>
xchg   %ax,%ax
add    $0x1,%rbp
add    $0x8,%r11
cmp    %r10,%rbp
je     121a <step5_dbl+0x10a>
cmpl   $0x0,(%r14,%rbp,4)
jne    1170 <step5_dbl+0x60>
test   %r12,%r12
jle    1170 <step5_dbl+0x60>
cmp    $0x1,%r12
jne    11c0 <step5_dbl+0xb0>
xor    %ecx,%ecx
test   $0x1,%r12b
je     1170 <step5_dbl+0x60>
cmpl   $0x0,(%r9,%rcx,4)
jne    1170 <step5_dbl+0x60>
imul   %r10,%rcx
add    %rbp,%rcx
movsd  (%rsi,%rcx,8),%xmm1
ucomisd %xmm1,%xmm0
jbe    1170 <step5_dbl+0x60>
movapd %xmm1,%xmm0
jmp    1170 <step5_dbl+0x60>
nopw   0x0(%rax,%rax,1)
mov    %r11,%rbx
xor    %ecx,%ecx
jmp    11dc <step5_dbl+0xcc>
nopw   0x0(%rax,%rax,1)
add    $0x2,%rcx
add    %r15,%rbx
cmp    %rcx,%rax
je     1195 <step5_dbl+0x85>
cmpl   $0x0,(%r9,%rcx,4)
jne    1200 <step5_dbl+0xf0>
movsd  (%rbx),%xmm1
ucomisd %xmm1,%xmm0
jbe    1200 <step5_dbl+0xf0>
movapd %xmm1,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpl   $0x0,0x4(%r9,%rcx,4)
jne    11d0 <step5_dbl+0xc0>
movsd  (%rbx,%r10,8),%xmm1
ucomisd %xmm1,%xmm0
jbe    11d0 <step5_dbl+0xc0>
movapd %xmm1,%xmm0
jmp    11d0 <step5_dbl+0xc0>
test   %r10,%r10
jle    1450 <step5_dbl+0x340>
mov    %r14,-0x8(%rsp)
mov    %rdx,-0x48(%rsp)
mov    %r13,-0x50(%rsp)
mov    %r8,-0x40(%rsp)
lea    -0x4(%r12),%rax
mov    %rax,-0x18(%rsp)
mov    %rax,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
cmp    $0x4,%r12
setae  %al
cmp    $0x1,%r10
sete   %cl
and    %al,%cl
mov    %r12,%rax
and    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rsp)
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
mov    %rdx,%rax
mov    %rdx,-0x20(%rsp)
movabs $0x7ffffffffffffffe,%rax
ff ff 7f
and    %rax,%rdx
mov    %rdx,-0x38(%rsp)
mov    %r12,%rax
neg    %rax
mov    %rax,-0x10(%rsp)
mov    %r10,%rax
shl    $0x5,%rax
mov    %rsi,%r14
lea    0x10(%rsi),%r13
mov    %r10,%rbx
shl    $0x6,%rbx
xor    %r11d,%r11d
mov    %rsi,-0x68(%rsp)
jmp    12d5 <step5_dbl+0x1c5>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r11
add    $0x8,%r13
add    $0x8,%r14
cmp    %r10,%r11
je     143c <step5_dbl+0x32c>
mov    -0x8(%rsp),%rdx
cmpl   $0x0,(%rdx,%r11,4)
je     12c0 <step5_dbl+0x1b0>
test   %r12,%r12
jle    12c0 <step5_dbl+0x1b0>
test   %cl,%cl
je     1300 <step5_dbl+0x1f0>
cmpq   $0x4,-0x18(%rsp)
jae    1307 <step5_dbl+0x1f7>
xor    %r12d,%r12d
jmp    1365 <step5_dbl+0x255>
nopw   0x0(%rax,%rax,1)
xor    %edx,%edx
jmp    13b0 <step5_dbl+0x2a0>
mov    -0x38(%rsp),%r8
mov    %r13,%rdx
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movupd -0x10(%rdx),%xmm2
movupd (%rdx),%xmm3
addpd  %xmm1,%xmm2
addpd  %xmm1,%xmm3
movupd %xmm2,-0x10(%rdx)
movupd %xmm3,(%rdx)
movupd -0x10(%rdx,%rax,1),%xmm2
movupd (%rdx,%rax,1),%xmm3
addpd  %xmm1,%xmm2
addpd  %xmm1,%xmm3
movupd %xmm2,-0x10(%rdx,%rax,1)
movupd %xmm3,(%rdx,%rax,1)
add    $0x8,%r12
add    %rbx,%rdx
add    $0xfffffffffffffffe,%r8
jne    1320 <step5_dbl+0x210>
testb  $0x1,-0x20(%rsp)
je     139a <step5_dbl+0x28a>
imul   %r10,%r12
add    %r11,%r12
mov    -0x68(%rsp),%rdx
movupd (%rdx,%r12,8),%xmm2
movupd 0x10(%rdx,%r12,8),%xmm3
addpd  %xmm1,%xmm2
addpd  %xmm1,%xmm3
movupd %xmm2,(%rdx,%r12,8)
movupd %xmm3,0x10(%rdx,%r12,8)
mov    -0x28(%rsp),%rsi
mov    %rsi,%rdx
mov    -0x58(%rsp),%r12
cmp    %r12,%rsi
je     12c0 <step5_dbl+0x1b0>
mov    %rdx,%rdi
test   $0x1,%r12b
je     13dd <step5_dbl+0x2cd>
mov    %rdx,%rsi
imul   %r10,%rsi
add    %r11,%rsi
mov    -0x68(%rsp),%rdi
movsd  (%rdi,%rsi,8),%xmm2
addsd  %xmm0,%xmm2
movsd  %xmm2,(%rdi,%rsi,8)
mov    %rdx,%rdi
or     $0x1,%rdi
not    %rdx
cmp    -0x10(%rsp),%rdx
je     12c0 <step5_dbl+0x1b0>
mov    %r12,%rdx
sub    %rdi,%rdx
lea    0x1(%rdi),%rsi
imul   %r10,%rsi
lea    (%r14,%rsi,8),%rbp
imul   %r10,%rdi
lea    (%r14,%rdi,8),%rdi
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movsd  (%rdi,%rsi,1),%xmm2
addsd  %xmm0,%xmm2
movsd  %xmm2,(%rdi,%rsi,1)
movsd  0x0(%rbp,%rsi,1),%xmm2
addsd  %xmm0,%xmm2
movsd  %xmm2,0x0(%rbp,%rsi,1)
add    %r15,%rsi
add    $0xfffffffffffffffe,%rdx
jne    1410 <step5_dbl+0x300>
jmp    12c0 <step5_dbl+0x1b0>
mov    -0x40(%rsp),%r8
mov    -0x50(%rsp),%r13
mov    -0x48(%rsp),%rdx
mov    -0x68(%rsp),%rsi
test   %r12,%r12
jle    158c <step5_dbl+0x47c>
lea    -0x4(%r10),%r15
mov    %r15,%r11
shr    $0x2,%r11
add    $0x1,%r11
mov    %r10,%r14
and    $0xfffffffffffffffc,%r14
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
and    %r11,-0x60(%rsp)
lea    0x30(%rsi),%rcx
lea    0x0(,%r10,8),%r12
xor    %ebx,%ebx
mov    %rsi,%rax
jmp    14a5 <step5_dbl+0x395>
nop
add    $0x1,%rbx
add    %r12,%rcx
add    %r12,%rax
cmp    -0x58(%rsp),%rbx
je     158c <step5_dbl+0x47c>
cmpl   $0x0,(%r9,%rbx,4)
jne    1490 <step5_dbl+0x380>
test   %r10,%r10
jle    1490 <step5_dbl+0x380>
cmp    $0x4,%r10
jae    14c0 <step5_dbl+0x3b0>
xor    %edi,%edi
jmp    1570 <step5_dbl+0x460>
xchg   %ax,%ax
cmp    $0x4,%r15
jae    14ca <step5_dbl+0x3ba>
xor    %edi,%edi
jmp    1528 <step5_dbl+0x418>
mov    -0x60(%rsp),%rbp
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movupd -0x30(%rcx,%rdi,8),%xmm2
movupd -0x20(%rcx,%rdi,8),%xmm3
movupd -0x10(%rcx,%rdi,8),%xmm4
movupd (%rcx,%rdi,8),%xmm5
subpd  %xmm1,%xmm2
subpd  %xmm1,%xmm3
movupd %xmm2,-0x30(%rcx,%rdi,8)
movupd %xmm3,-0x20(%rcx,%rdi,8)
subpd  %xmm1,%xmm4
subpd  %xmm1,%xmm5
movupd %xmm4,-0x10(%rcx,%rdi,8)
movupd %xmm5,(%rcx,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rbp
jne    14e0 <step5_dbl+0x3d0>
test   $0x1,%r11b
je     1556 <step5_dbl+0x446>
mov    %rbx,%rbp
imul   %r10,%rbp
add    %rbp,%rdi
movupd (%rsi,%rdi,8),%xmm2
movupd 0x10(%rsi,%rdi,8),%xmm3
subpd  %xmm1,%xmm2
subpd  %xmm1,%xmm3
movupd %xmm2,(%rsi,%rdi,8)
movupd %xmm3,0x10(%rsi,%rdi,8)
mov    %r14,%rdi
cmp    %r10,%r14
je     1490 <step5_dbl+0x380>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%rax,%rdi,8),%xmm2
subsd  %xmm0,%xmm2
movsd  %xmm2,(%rax,%rdi,8)
add    $0x1,%rdi
cmp    %rdi,%r10
jne    1570 <step5_dbl+0x460>
jmp    1490 <step5_dbl+0x380>
mov    -0x30(%rsp),%rdi
mov    %r13,%rcx
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <step3_dbl@plt>

LLVM IR (-O0):
@INFINITY = global double 0.000000e+00
define void @step5_dbl(i64* %0, double* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i64 %7, i64 %8, i64 %9) {
%11 = alloca i64*
%12 = alloca double*
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
%17 = alloca i32*
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca double
%22 = alloca double
%23 = alloca i64
%24 = alloca i64
store i64* %0, i64** %11
store double* %1, double** %12
store i32* %2, i32** %13
store i32* %3, i32** %14
store i32* %4, i32** %15
store i32* %5, i32** %16
store i32* %6, i32** %17
store i64 %7, i64* %18
store i64 %8, i64* %19
store i64 %9, i64* %20
%25 = load double, double* @INFINITY
store double %25, double* %21
store i64 0, i64* %23
br label %26
26: ; preds = %68, %10
%27 = load i64, i64* %23
%28 = load i64, i64* %18
%29 = icmp slt i64 %27, %28
br i1 %29, label %30, label %71
30: ; preds = %26
%31 = load i32*, i32** %17
%32 = load i64, i64* %23
%33 = getelementptr inbounds i32, i32* %31, i64 %32
%34 = load i32, i32* %33
%35 = icmp ne i32 %34, 0
br i1 %35, label %67, label %36
36: ; preds = %30
store i64 0, i64* %24
br label %37
37: ; preds = %63, %36
%38 = load i64, i64* %24
%39 = load i64, i64* %19
%40 = icmp slt i64 %38, %39
br i1 %40, label %41, label %66
41: ; preds = %37
%42 = load i32*, i32** %16
%43 = load i64, i64* %24
%44 = getelementptr inbounds i32, i32* %42, i64 %43
%45 = load i32, i32* %44
%46 = icmp ne i32 %45, 0
br i1 %46, label %62, label %47
47: ; preds = %41
%48 = load double*, double** %12
%49 = load i64, i64* %23
%50 = load i64, i64* %18
%51 = load i64, i64* %24
%52 = mul nsw i64 %50, %51
%53 = add nsw i64 %49, %52
%54 = getelementptr inbounds double, double* %48, i64 %53
%55 = load double, double* %54
store double %55, double* %22
%56 = load double, double* %22
%57 = load double, double* %21
%58 = fcmp olt double %56, %57
br i1 %58, label %59, label %61
59: ; preds = %47
%60 = load double, double* %22
store double %60, double* %21
br label %61
61: ; preds = %59, %47
br label %62
62: ; preds = %61, %41
br label %63
63: ; preds = %62
%64 = load i64, i64* %24
%65 = add nsw i64 %64, 1
store i64 %65, i64* %24
br label %37
66: ; preds = %37
br label %67
67: ; preds = %66, %30
br label %68
68: ; preds = %67
%69 = load i64, i64* %23
%70 = add nsw i64 %69, 1
store i64 %70, i64* %23
br label %26
71: ; preds = %26
store i64 0, i64* %23
br label %72
72: ; preds = %103, %71
%73 = load i64, i64* %23
%74 = load i64, i64* %18
%75 = icmp slt i64 %73, %74
br i1 %75, label %76, label %106
76: ; preds = %72
%77 = load i32*, i32** %17
%78 = load i64, i64* %23
%79 = getelementptr inbounds i32, i32* %77, i64 %78
%80 = load i32, i32* %79
%81 = icmp ne i32 %80, 0
br i1 %81, label %82, label %102
82: ; preds = %76
store i64 0, i64* %24
br label %83
83: ; preds = %98, %82
%84 = load i64, i64* %24
%85 = load i64, i64* %19
%86 = icmp slt i64 %84, %85
br i1 %86, label %87, label %101
87: ; preds = %83
%88 = load double, double* %21
%89 = load double*, double** %12
%90 = load i64, i64* %23
%91 = load i64, i64* %18
%92 = load i64, i64* %24
%93 = mul nsw i64 %91, %92
%94 = add nsw i64 %90, %93
%95 = getelementptr inbounds double, double* %89, i64 %94
%96 = load double, double* %95
%97 = fadd double %96, %88
store double %97, double* %95
br label %98
98: ; preds = %87
%99 = load i64, i64* %24
%100 = add nsw i64 %99, 1
store i64 %100, i64* %24
br label %83
101: ; preds = %83
br label %102
102: ; preds = %101, %76
br label %103
103: ; preds = %102
%104 = load i64, i64* %23
%105 = add nsw i64 %104, 1
store i64 %105, i64* %23
br label %72
106: ; preds = %72
store i64 0, i64* %24
br label %107
107: ; preds = %138, %106
%108 = load i64, i64* %24
%109 = load i64, i64* %19
%110 = icmp slt i64 %108, %109
br i1 %110, label %111, label %141
111: ; preds = %107
%112 = load i32*, i32** %16
%113 = load i64, i64* %24
%114 = getelementptr inbounds i32, i32* %112, i64 %113
%115 = load i32, i32* %114
%116 = icmp ne i32 %115, 0
br i1 %116, label %137, label %117
117: ; preds = %111
store i64 0, i64* %23
br label %118
118: ; preds = %133, %117
%119 = load i64, i64* %23
%120 = load i64, i64* %18
%121 = icmp slt i64 %119, %120
br i1 %121, label %122, label %136
122: ; preds = %118
%123 = load double, double* %21
%124 = load double*, double** %12
%125 = load i64, i64* %23
%126 = load i64, i64* %18
%127 = load i64, i64* %24
%128 = mul nsw i64 %126, %127
%129 = add nsw i64 %125, %128
%130 = getelementptr inbounds double, double* %124, i64 %129
%131 = load double, double* %130
%132 = fsub double %131, %123
store double %132, double* %130
br label %133
133: ; preds = %122
%134 = load i64, i64* %23
%135 = add nsw i64 %134, 1
store i64 %135, i64* %23
br label %118
136: ; preds = %118
br label %137
137: ; preds = %136, %111
br label %138
138: ; preds = %137
%139 = load i64, i64* %24
%140 = add nsw i64 %139, 1
store i64 %140, i64* %24
br label %107
141: ; preds = %107
%142 = load i64*, i64** %11
%143 = load double*, double** %12
%144 = load i32*, i32** %13
%145 = load i32*, i32** %14
%146 = load i32*, i32** %15
%147 = load i32*, i32** %16
%148 = load i32*, i32** %17
%149 = load i64, i64* %18
%150 = load i64, i64* %19
%151 = load i64, i64* %20
%152 = call i32 @step3_dbl(i64* %142, double* %143, i32* %144, i32* %145, i32* %146, i32* %147, i32* %148, i64 %149, i64 %150, i64 %151)
ret void
}

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