#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);
int converge(double **u_previous, double **u_current, int i_min, int i_max,
             int j_min, int j_max) {
  int i, j;
  for (i = i_min; i <= i_max; i++)
    for (j = j_min; j <= j_max; j++)
      if (fabs(u_current[i][j] - u_previous[i][j]) > 0.000001)
        return 0;
  return 1;
}


x86 assembly (clang, -O0):
<converge>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     11b7 <converge+0xb7>
mov    -0x24(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     11a4 <converge+0xa4>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movaps 0xea1(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xe85(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1191 <converge+0x91>
movl   $0x0,-0x4(%rbp)
jmp    11be <converge+0xbe>
jmp    1196 <converge+0x96>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1132 <converge+0x32>
jmp    11a9 <converge+0xa9>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1120 <converge+0x20>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<converge>:
push   %r15
push   %r14
push   %rbx
mov    $0x1,%eax
cmp    %ecx,%edx
jg     1182 <converge+0x82>
movslq %r8d,%r10
movslq %edx,%r11
add    $0x1,%ecx
mov    %r9d,%r14d
sub    %r10d,%r14d
add    $0x1,%r14d
shl    $0x3,%r10
movapd 0xed3(%rip),%xmm0
movsd  0xedb(%rip),%xmm1
jmp    1149 <converge+0x49>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r11
cmp    %r11d,%ecx
je     1182 <converge+0x82>
cmp    %r9d,%r8d
jg     1140 <converge+0x40>
mov    (%rsi,%r11,8),%r15
add    %r10,%r15
mov    (%rdi,%r11,8),%rdx
add    %r10,%rdx
xor    %ebx,%ebx
xchg   %ax,%ax
movsd  (%r15,%rbx,8),%xmm2
subsd  (%rdx,%rbx,8),%xmm2
andpd  %xmm0,%xmm2
ucomisd %xmm1,%xmm2
ja     1180 <converge+0x80>
add    $0x1,%rbx
cmp    %ebx,%r14d
jne    1160 <converge+0x60>
jmp    1140 <converge+0x40>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @converge(double** %0, double** %1, i32 %2, i32 %3, i32 %4, i32 %5) {
%7 = alloca i32
%8 = alloca double**
%9 = alloca double**
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store double** %0, double*** %8
store double** %1, double*** %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32 %5, i32* %13
%16 = load i32, i32* %10
store i32 %16, i32* %14
br label %17
17: ; preds = %55, %6
%18 = load i32, i32* %14
%19 = load i32, i32* %11
%20 = icmp sle i32 %18, %19
br i1 %20, label %21, label %58
21: ; preds = %17
%22 = load i32, i32* %12
store i32 %22, i32* %15
br label %23
23: ; preds = %51, %21
%24 = load i32, i32* %15
%25 = load i32, i32* %13
%26 = icmp sle i32 %24, %25
br i1 %26, label %27, label %54
27: ; preds = %23
%28 = load double**, double*** %9
%29 = load i32, i32* %14
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds double*, double** %28, i64 %30
%32 = load double*, double** %31
%33 = load i32, i32* %15
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds double, double* %32, i64 %34
%36 = load double, double* %35
%37 = load double**, double*** %8
%38 = load i32, i32* %14
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds double*, double** %37, i64 %39
%41 = load double*, double** %40
%42 = load i32, i32* %15
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds double, double* %41, i64 %43
%45 = load double, double* %44
%46 = fsub double %36, %45
%47 = call double @llvm.fabs.f64(double %46)
%48 = fcmp ogt double %47, 0x3EB0C6F7A0B5ED8D
br i1 %48, label %49, label %50
49: ; preds = %27
store i32 0, i32* %7
br label %59
50: ; preds = %27
br label %51
51: ; preds = %50
%52 = load i32, i32* %15
%53 = add nsw i32 %52, 1
store i32 %53, i32* %15
br label %23
54: ; preds = %23
br label %55
55: ; preds = %54
%56 = load i32, i32* %14
%57 = add nsw i32 %56, 1
store i32 %57, i32* %14
br label %17
58: ; preds = %17
store i32 1, i32* %7
br label %59
59: ; preds = %58, %49
%60 = load i32, i32* %7
ret i32 %60
}

LLVM IR (-O2):
define i32 @converge(double** nocapture %0, double** nocapture %1, i32 %2, i32 %3, i32 %4, i32 %5) {
%7 = icmp sgt i32 %2, %3
br i1 %7, label %38, label %8
8: ; preds = %6
%9 = icmp sgt i32 %4, %5
%10 = sext i32 %4 to i64
%11 = add i32 %5, 1
%12 = sext i32 %2 to i64
%13 = add i32 %3, 1
br label %14
14: ; preds = %8, %34
%15 = phi i64 [ %12, %8 ], [ %35, %34 ]
br i1 %9, label %34, label %16
16: ; preds = %14
%17 = getelementptr inbounds double*, double** %1, i64 %15
%18 = load double*, double** %17
%19 = getelementptr inbounds double*, double** %0, i64 %15
%20 = load double*, double** %19
br label %25
21: ; preds = %25
%22 = add nsw i64 %26, 1
%23 = trunc i64 %22 to i32
%24 = icmp eq i32 %11, %23
br i1 %24, label %34, label %25
25: ; preds = %16, %21
%26 = phi i64 [ %10, %16 ], [ %22, %21 ]
%27 = getelementptr inbounds double, double* %18, i64 %26
%28 = load double, double* %27
%29 = getelementptr inbounds double, double* %20, i64 %26
%30 = load double, double* %29
%31 = fsub double %28, %30
%32 = tail call double @llvm.fabs.f64(double %31)
%33 = fcmp ogt double %32, 0x3EB0C6F7A0B5ED8D
br i1 %33, label %38, label %21
34: ; preds = %21, %14
%35 = add nsw i64 %15, 1
%36 = trunc i64 %35 to i32
%37 = icmp eq i32 %13, %36
br i1 %37, label %38, label %14
38: ; preds = %34, %25, %6
%39 = phi i32 [ 1, %6 ], [ 0, %25 ], [ 1, %34 ]
ret i32 %39
}