#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 fabs(double);
int checkProb2D(double **matrix, int max, unsigned int lattType) {
  int m, n;
  double totalprob;
  const int rbound = (lattType == 43) ? max : 2 * max + 1;
  totalprob = 0.0;
  for (m = 0; m < rbound; m++)
    for (n = 0; n < rbound; n++)
      totalprob += matrix[m][n];
  if (fabs(totalprob - 1.0) > 10e-5)
    return 0;
  return 1;
}


x86 assembly (clang, -O0):
<checkProb2D>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
cmpl   $0x2b,-0x18(%rbp)
jne    1137 <checkProb2D+0x27>
mov    -0x14(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    1143 <checkProb2D+0x33>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x2c(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    11b7 <checkProb2D+0xa7>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    11a4 <checkProb2D+0x94>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    116b <checkProb2D+0x5b>
jmp    11a9 <checkProb2D+0x99>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1158 <checkProb2D+0x48>
movsd  -0x28(%rbp),%xmm0
movsd  0xe44(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1030 <fabs@plt>
cvtsi2sd %eax,%xmm0
movsd  0xe27(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11ef <checkProb2D+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    11f6 <checkProb2D+0xe6>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkProb2D>:
push   %rax
cmp    $0x2b,%edx
lea    0x1(%rsi,%rsi,1),%eax
cmove  %esi,%eax
test   %eax,%eax
jle    11ca <checkProb2D+0xba>
mov    %eax,%r9d
lea    -0x1(%r9),%r8
mov    %r9d,%edx
and    $0x7,%edx
mov    %r9d,%esi
and    $0xfffffff8,%esi
xorpd  %xmm0,%xmm0
xor    %r10d,%r10d
jmp    1149 <checkProb2D+0x39>
nop
add    $0x1,%r10
cmp    %r9,%r10
je     11c0 <checkProb2D+0xb0>
mov    (%rdi,%r10,8),%rax
xor    %ecx,%ecx
cmp    $0x7,%r8
jb     1198 <checkProb2D+0x88>
cs nopw 0x0(%rax,%rax,1)
nop
addsd  (%rax,%rcx,8),%xmm0
addsd  0x8(%rax,%rcx,8),%xmm0
addsd  0x10(%rax,%rcx,8),%xmm0
addsd  0x18(%rax,%rcx,8),%xmm0
addsd  0x20(%rax,%rcx,8),%xmm0
addsd  0x28(%rax,%rcx,8),%xmm0
addsd  0x30(%rax,%rcx,8),%xmm0
addsd  0x38(%rax,%rcx,8),%xmm0
add    $0x8,%rcx
cmp    %rcx,%rsi
jne    1160 <checkProb2D+0x50>
test   %rdx,%rdx
je     1140 <checkProb2D+0x30>
lea    (%rax,%rcx,8),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
addsd  (%rax,%rcx,8),%xmm0
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    11b0 <checkProb2D+0xa0>
jmp    1140 <checkProb2D+0x30>
addsd  0xe38(%rip),%xmm0
jmp    11d2 <checkProb2D+0xc2>
movsd  0xe2e(%rip),%xmm0
call   1030 <fabs@plt>
xor    %ecx,%ecx
test   %eax,%eax
setle  %cl
mov    %ecx,%eax
pop    %rcx
ret

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

LLVM IR (-O2):
define i32 @checkProb2D(double** nocapture %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %2, 43
%5 = shl nsw i32 %1, 1
%6 = or i32 %5, 1
%7 = select i1 %4, i32 %1, i32 %6
%8 = icmp sgt i32 %7, 0
br i1 %8, label %9, label %79
9: ; preds = %3
%10 = zext i32 %7 to i64
%11 = add nsw i64 %10, -1
%12 = and i64 %10, 7
%13 = icmp ult i64 %11, 7
%14 = and i64 %10, 4294967288
%15 = icmp eq i64 %12, 0
br label %16
16: ; preds = %73, %9
%17 = phi i64 [ 0, %9 ], [ %75, %73 ]
%18 = phi double [ 0.000000e+00, %9 ], [ %74, %73 ]
%19 = getelementptr inbounds double*, double** %0, i64 %17
%20 = load double*, double** %19
br i1 %13, label %59, label %21
21: ; preds = %16, %21
%22 = phi i64 [ %56, %21 ], [ 0, %16 ]
%23 = phi double [ %55, %21 ], [ %18, %16 ]
%24 = phi i64 [ %57, %21 ], [ 0, %16 ]
%25 = getelementptr inbounds double, double* %20, i64 %22
%26 = load double, double* %25
%27 = fadd double %23, %26
%28 = or i64 %22, 1
%29 = getelementptr inbounds double, double* %20, i64 %28
%30 = load double, double* %29
%31 = fadd double %27, %30
%32 = or i64 %22, 2
%33 = getelementptr inbounds double, double* %20, i64 %32
%34 = load double, double* %33
%35 = fadd double %31, %34
%36 = or i64 %22, 3
%37 = getelementptr inbounds double, double* %20, i64 %36
%38 = load double, double* %37
%39 = fadd double %35, %38
%40 = or i64 %22, 4
%41 = getelementptr inbounds double, double* %20, i64 %40
%42 = load double, double* %41
%43 = fadd double %39, %42
%44 = or i64 %22, 5
%45 = getelementptr inbounds double, double* %20, i64 %44
%46 = load double, double* %45
%47 = fadd double %43, %46
%48 = or i64 %22, 6
%49 = getelementptr inbounds double, double* %20, i64 %48
%50 = load double, double* %49
%51 = fadd double %47, %50
%52 = or i64 %22, 7
%53 = getelementptr inbounds double, double* %20, i64 %52
%54 = load double, double* %53
%55 = fadd double %51, %54
%56 = add nuw nsw i64 %22, 8
%57 = add i64 %24, 8
%58 = icmp eq i64 %57, %14
br i1 %58, label %59, label %21
59: ; preds = %21, %16
%60 = phi double [ undef, %16 ], [ %55, %21 ]
%61 = phi i64 [ 0, %16 ], [ %56, %21 ]
%62 = phi double [ %18, %16 ], [ %55, %21 ]
br i1 %15, label %73, label %63
63: ; preds = %59, %63
%64 = phi i64 [ %70, %63 ], [ %61, %59 ]
%65 = phi double [ %69, %63 ], [ %62, %59 ]
%66 = phi i64 [ %71, %63 ], [ 0, %59 ]
%67 = getelementptr inbounds double, double* %20, i64 %64
%68 = load double, double* %67
%69 = fadd double %65, %68
%70 = add nuw nsw i64 %64, 1
%71 = add i64 %66, 1
%72 = icmp eq i64 %71, %12
br i1 %72, label %73, label %63
73: ; preds = %63, %59
%74 = phi double [ %60, %59 ], [ %69, %63 ]
%75 = add nuw nsw i64 %17, 1
%76 = icmp eq i64 %75, %10
br i1 %76, label %77, label %16
77: ; preds = %73
%78 = fadd double %74, -1.000000e+00
br label %79
79: ; preds = %77, %3
%80 = phi double [ -1.000000e+00, %3 ], [ %78, %77 ]
%81 = tail call i32 @fabs(double %80)
%82 = icmp slt i32 %81, 1
%83 = zext i1 %82 to i32
ret i32 %83
}