#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 fabs(double);
double RB_GS_SeqLoop(double **black, double **red, int m, int n, double eps,
                     int maxit, int iterations_print, int *iterations) {
  int i, j;
  double v;
  double diff = eps;
  while (eps <= diff && *iterations < maxit) {
    diff = 0.0;
    for (i = 1; i < m - 1; i++)
      for (j = i % 2; j < n / 2 - (i + 1) % 2; j++) {
        v = 0.25 * (red[i - 1][j] + red[i + 1][j] + red[i][j - i % 2] +
                    red[i][j + (i + 1) % 2]);
        if (diff < fabs(v - black[i][j]))
          diff = fabs(v - black[i][j]);
        black[i][j] = v;
      }
    for (i = 1; i < m - 1; i++)
      for (j = (i + 1) % 2; j < n / 2 - i % 2; j++) {
        v = 0.25 * (black[i - 1][j] + black[i + 1][j] +
                    black[i][j - (i + 1) % 2] + black[i][j + i % 2]);
        if (diff < fabs(v - red[i][j]))
          diff = fabs(v - red[i][j]);
        red[i][j] = v;
      }
    (*iterations)++;
  }
  return diff;
}


x86 assembly (clang, -O0):
<RB_GS_SeqLoop>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x20(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
xor    %eax,%eax
ucomisd %xmm1,%xmm0
mov    %al,-0x41(%rbp)
jb     1155 <RB_GS_SeqLoop+0x55>
mov    0x10(%rbp),%rax
mov    (%rax),%eax
cmp    -0x24(%rbp),%eax
setl   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1165 <RB_GS_SeqLoop+0x65>
jmp    1497 <RB_GS_SeqLoop+0x397>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12fa <RB_GS_SeqLoop+0x1fa>
mov    -0x2c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    -0x48(%rbp),%eax
sub    %edx,%ecx
cmp    %ecx,%eax
jge    12e7 <RB_GS_SeqLoop+0x1e7>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x58(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x2c(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    -0x58(%rbp),%rax
sub    %edx,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    -0x50(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm1
movsd  0xdb8(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x40(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movaps 0xd79(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    12bf <RB_GS_SeqLoop+0x1bf>
movsd  -0x38(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movaps 0xd4a(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x38(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1193 <RB_GS_SeqLoop+0x93>
jmp    12ec <RB_GS_SeqLoop+0x1ec>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1174 <RB_GS_SeqLoop+0x74>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1487 <RB_GS_SeqLoop+0x387>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    -0x5c(%rbp),%eax
sub    %edx,%ecx
cmp    %ecx,%eax
jge    1474 <RB_GS_SeqLoop+0x374>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x70(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    -0x70(%rbp),%rax
sub    %edx,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x68(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x2c(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    -0x68(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm1
movsd  0xc2b(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x40(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movaps 0xbec(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    144c <RB_GS_SeqLoop+0x34c>
movsd  -0x38(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movaps 0xbbd(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x38(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1323 <RB_GS_SeqLoop+0x223>
jmp    1479 <RB_GS_SeqLoop+0x379>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1301 <RB_GS_SeqLoop+0x201>
mov    0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    112d <RB_GS_SeqLoop+0x2d>
movsd  -0x40(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<RB_GS_SeqLoop>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,-0x10(%rsp)
ucomisd %xmm0,%xmm0
jp     1348 <RB_GS_SeqLoop+0x248>
mov    0x38(%rsp),%rax
mov    (%rax),%edi
cmp    %r8d,%edi
cmovg  %edi,%r8d
jge    1348 <RB_GS_SeqLoop+0x248>
lea    -0x1(%rdx),%r11d
mov    %ecx,%eax
shr    $0x1f,%eax
add    %ecx,%eax
sar    %eax
mov    %eax,-0x18(%rsp)
movsd  0xeba(%rip),%xmm2
movapd 0xec2(%rip),%xmm3
mov    %r8d,-0x1c(%rsp)
mov    %rdx,-0x8(%rsp)
nopl   0x0(%rax,%rax,1)
mov    %edi,-0x14(%rsp)
xorpd  %xmm1,%xmm1
cmp    $0x3,%edx
jl     1329 <RB_GS_SeqLoop+0x229>
mov    $0x1,%r13d
xorpd  %xmm4,%xmm4
mov    $0x1,%r15d
xor    %r12d,%r12d
mov    -0x18(%rsp),%r14d
jmp    11a1 <RB_GS_SeqLoop+0xa1>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r13d
add    $0x1,%r12b
cmp    %r11,%r15
je     1240 <RB_GS_SeqLoop+0x140>
mov    %r15,%r8
mov    %r8d,%eax
and    $0x1,%eax
add    $0x1,%r15
mov    %r15d,%ecx
and    $0x1,%ecx
mov    %r14d,%edx
sub    %ecx,%edx
cmp    %edx,%eax
jge    1190 <RB_GS_SeqLoop+0x90>
mov    %r13d,%eax
and    $0x1,%eax
movzbl %r12b,%ebp
and    $0x1,%ebp
add    %rax,%rbp
mov    %r13d,%ecx
and    $0x1,%ecx
mov    -0x8(%rsi,%r8,8),%rbx
mov    (%rsi,%r8,8),%rax
mov    (%rsi,%r15,8),%r9
mov    -0x10(%rsp),%rdi
mov    (%rdi,%r8,8),%r10
movslq %edx,%r8
movapd %xmm4,%xmm1
movsd  (%rbx,%rcx,8),%xmm5
addsd  (%r9,%rcx,8),%xmm5
addsd  (%rax),%xmm5
addsd  (%rax,%rbp,8),%xmm5
mulsd  %xmm2,%xmm5
movapd %xmm5,%xmm4
subsd  (%r10,%rcx,8),%xmm4
andpd  %xmm3,%xmm4
maxsd  %xmm1,%xmm4
movsd  %xmm5,(%r10,%rcx,8)
add    $0x1,%rcx
add    $0x8,%rax
movapd %xmm4,%xmm1
cmp    %r8,%rcx
jl     11f0 <RB_GS_SeqLoop+0xf0>
jmp    1190 <RB_GS_SeqLoop+0x90>
cs nopw 0x0(%rax,%rax,1)
mov    -0x8(%rsp),%rdx
cmp    $0x3,%edx
jl     1320 <RB_GS_SeqLoop+0x220>
mov    $0x1,%r15d
xor    %r12d,%r12d
mov    -0x1c(%rsp),%r8d
jmp    1278 <RB_GS_SeqLoop+0x178>
xchg   %ax,%ax
movapd %xmm4,%xmm1
add    $0x1,%r12b
movapd %xmm1,%xmm4
mov    %r14,%r11
cmp    %r14,%r15
je     1329 <RB_GS_SeqLoop+0x229>
mov    %r11,%r14
mov    %r15,%rcx
mov    %ecx,%eax
and    $0x1,%eax
add    $0x1,%r15
mov    %r15d,%ebp
and    $0x1,%ebp
mov    -0x18(%rsp),%r13d
sub    %eax,%r13d
cmp    %r13d,%ebp
jge    1260 <RB_GS_SeqLoop+0x160>
movzbl %r12b,%ebx
mov    %ebx,%r9d
and    $0x1,%r9d
add    %rax,%r9
and    $0x1,%ebx
mov    -0x10(%rsp),%rdi
mov    -0x8(%rdi,%rcx,8),%r10
mov    (%rdi,%rcx,8),%rax
mov    (%rdi,%r15,8),%r11
mov    (%rsi,%rcx,8),%rcx
movslq %r13d,%rbp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  (%r10,%rbx,8),%xmm5
addsd  (%r11,%rbx,8),%xmm5
addsd  (%rax),%xmm5
addsd  (%rax,%r9,8),%xmm5
mulsd  %xmm2,%xmm5
movapd %xmm5,%xmm1
subsd  (%rcx,%rbx,8),%xmm1
andpd  %xmm3,%xmm1
maxsd  %xmm4,%xmm1
movsd  %xmm5,(%rcx,%rbx,8)
add    $0x1,%rbx
add    $0x8,%rax
movapd %xmm1,%xmm4
cmp    %rbp,%rbx
jl     12d0 <RB_GS_SeqLoop+0x1d0>
jmp    1264 <RB_GS_SeqLoop+0x164>
cs nopw 0x0(%rax,%rax,1)
movapd %xmm4,%xmm1
mov    -0x1c(%rsp),%r8d
mov    -0x14(%rsp),%edi
add    $0x1,%edi
ucomisd %xmm0,%xmm1
jb     133f <RB_GS_SeqLoop+0x23f>
cmp    %r8d,%edi
jne    1160 <RB_GS_SeqLoop+0x60>
mov    0x38(%rsp),%rax
mov    %edi,(%rax)
jmp    134c <RB_GS_SeqLoop+0x24c>
movapd %xmm0,%xmm1
movapd %xmm1,%xmm0
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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