#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 const mat_Dabs(double);
int mat_check_identity_matrix_d3(double a[3][3], double b[3][3],
                                 const double symprec) {
  if (mat_Dabs(a[0][0] - b[0][0]) > symprec ||
      mat_Dabs(a[0][1] - b[0][1]) > symprec ||
      mat_Dabs(a[0][2] - b[0][2]) > symprec ||
      mat_Dabs(a[1][0] - b[1][0]) > symprec ||
      mat_Dabs(a[1][1] - b[1][1]) > symprec ||
      mat_Dabs(a[1][2] - b[1][2]) > symprec ||
      mat_Dabs(a[2][0] - b[2][0]) > symprec ||
      mat_Dabs(a[2][1] - b[2][1]) > symprec ||
      mat_Dabs(a[2][2] - b[2][2]) > symprec) {
    return 0;
  } else {
    return 1;
  }
}


x86 assembly (clang, -O0):
<mat_check_identity_matrix_d3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  (%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x8(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x10(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x18(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x18(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x20(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x20(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x28(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x28(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x30(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x30(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x38(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x38(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1255 <mat_check_identity_matrix_d3+0x145>
mov    -0x10(%rbp),%rax
movsd  0x40(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x40(%rax),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
jbe    1261 <mat_check_identity_matrix_d3+0x151>
movl   $0x0,-0x4(%rbp)
jmp    1268 <mat_check_identity_matrix_d3+0x158>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mat_check_identity_matrix_d3>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
movsd  %xmm0,0x8(%rsp)
mov    %rsi,%rbx
mov    %rdi,%rbp
movsd  (%rdi),%xmm0
subsd  (%rsi),%xmm0
call   1030 <mat_Dabs@plt>
xor    %r14d,%r14d
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x8(%rbp),%xmm0
subsd  0x8(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x10(%rbp),%xmm0
subsd  0x10(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x18(%rbp),%xmm0
subsd  0x18(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x20(%rbp),%xmm0
subsd  0x20(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x28(%rbp),%xmm0
subsd  0x28(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x30(%rbp),%xmm0
subsd  0x30(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x38(%rbp),%xmm0
subsd  0x38(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
movsd  0x40(%rbp),%xmm0
subsd  0x40(%rbx),%xmm0
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1206 <mat_check_identity_matrix_d3+0xf6>
mov    $0x1,%r14d
mov    %r14d,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @mat_check_identity_matrix_d3([3 x double]* %0, [3 x double]* %1, double %2) {
%4 = alloca i32
%5 = alloca [3 x double]*
%6 = alloca [3 x double]*
%7 = alloca double
store [3 x double]* %0, [3 x double]** %5
store [3 x double]* %1, [3 x double]** %6
store double %2, double* %7
%8 = load [3 x double]*, [3 x double]** %5
%9 = getelementptr inbounds [3 x double], [3 x double]* %8, i64 0
%10 = getelementptr inbounds [3 x double], [3 x double]* %9, i64 0, i64 0
%11 = load double, double* %10
%12 = load [3 x double]*, [3 x double]** %6
%13 = getelementptr inbounds [3 x double], [3 x double]* %12, i64 0
%14 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 0
%15 = load double, double* %14
%16 = fsub double %11, %15
%17 = call double @mat_Dabs(double %16)
%18 = load double, double* %7
%19 = fcmp ogt double %17, %18
br i1 %19, label %124, label %20
20: ; preds = %3
%21 = load [3 x double]*, [3 x double]** %5
%22 = getelementptr inbounds [3 x double], [3 x double]* %21, i64 0
%23 = getelementptr inbounds [3 x double], [3 x double]* %22, i64 0, i64 1
%24 = load double, double* %23
%25 = load [3 x double]*, [3 x double]** %6
%26 = getelementptr inbounds [3 x double], [3 x double]* %25, i64 0
%27 = getelementptr inbounds [3 x double], [3 x double]* %26, i64 0, i64 1
%28 = load double, double* %27
%29 = fsub double %24, %28
%30 = call double @mat_Dabs(double %29)
%31 = load double, double* %7
%32 = fcmp ogt double %30, %31
br i1 %32, label %124, label %33
33: ; preds = %20
%34 = load [3 x double]*, [3 x double]** %5
%35 = getelementptr inbounds [3 x double], [3 x double]* %34, i64 0
%36 = getelementptr inbounds [3 x double], [3 x double]* %35, i64 0, i64 2
%37 = load double, double* %36
%38 = load [3 x double]*, [3 x double]** %6
%39 = getelementptr inbounds [3 x double], [3 x double]* %38, i64 0
%40 = getelementptr inbounds [3 x double], [3 x double]* %39, i64 0, i64 2
%41 = load double, double* %40
%42 = fsub double %37, %41
%43 = call double @mat_Dabs(double %42)
%44 = load double, double* %7
%45 = fcmp ogt double %43, %44
br i1 %45, label %124, label %46
46: ; preds = %33
%47 = load [3 x double]*, [3 x double]** %5
%48 = getelementptr inbounds [3 x double], [3 x double]* %47, i64 1
%49 = getelementptr inbounds [3 x double], [3 x double]* %48, i64 0, i64 0
%50 = load double, double* %49
%51 = load [3 x double]*, [3 x double]** %6
%52 = getelementptr inbounds [3 x double], [3 x double]* %51, i64 1
%53 = getelementptr inbounds [3 x double], [3 x double]* %52, i64 0, i64 0
%54 = load double, double* %53
%55 = fsub double %50, %54
%56 = call double @mat_Dabs(double %55)
%57 = load double, double* %7
%58 = fcmp ogt double %56, %57
br i1 %58, label %124, label %59
59: ; preds = %46
%60 = load [3 x double]*, [3 x double]** %5
%61 = getelementptr inbounds [3 x double], [3 x double]* %60, i64 1
%62 = getelementptr inbounds [3 x double], [3 x double]* %61, i64 0, i64 1
%63 = load double, double* %62
%64 = load [3 x double]*, [3 x double]** %6
%65 = getelementptr inbounds [3 x double], [3 x double]* %64, i64 1
%66 = getelementptr inbounds [3 x double], [3 x double]* %65, i64 0, i64 1
%67 = load double, double* %66
%68 = fsub double %63, %67
%69 = call double @mat_Dabs(double %68)
%70 = load double, double* %7
%71 = fcmp ogt double %69, %70
br i1 %71, label %124, label %72
72: ; preds = %59
%73 = load [3 x double]*, [3 x double]** %5
%74 = getelementptr inbounds [3 x double], [3 x double]* %73, i64 1
%75 = getelementptr inbounds [3 x double], [3 x double]* %74, i64 0, i64 2
%76 = load double, double* %75
%77 = load [3 x double]*, [3 x double]** %6
%78 = getelementptr inbounds [3 x double], [3 x double]* %77, i64 1
%79 = getelementptr inbounds [3 x double], [3 x double]* %78, i64 0, i64 2
%80 = load double, double* %79
%81 = fsub double %76, %80
%82 = call double @mat_Dabs(double %81)
%83 = load double, double* %7
%84 = fcmp ogt double %82, %83
br i1 %84, label %124, label %85
85: ; preds = %72
%86 = load [3 x double]*, [3 x double]** %5
%87 = getelementptr inbounds [3 x double], [3 x double]* %86, i64 2
%88 = getelementptr inbounds [3 x double], [3 x double]* %87, i64 0, i64 0
%89 = load double, double* %88
%90 = load [3 x double]*, [3 x double]** %6
%91 = getelementptr inbounds [3 x double], [3 x double]* %90, i64 2
%92 = getelementptr inbounds [3 x double], [3 x double]* %91, i64 0, i64 0
%93 = load double, double* %92
%94 = fsub double %89, %93
%95 = call double @mat_Dabs(double %94)
%96 = load double, double* %7
%97 = fcmp ogt double %95, %96
br i1 %97, label %124, label %98
98: ; preds = %85
%99 = load [3 x double]*, [3 x double]** %5
%100 = getelementptr inbounds [3 x double], [3 x double]* %99, i64 2
%101 = getelementptr inbounds [3 x double], [3 x double]* %100, i64 0, i64 1
%102 = load double, double* %101
%103 = load [3 x double]*, [3 x double]** %6
%104 = getelementptr inbounds [3 x double], [3 x double]* %103, i64 2
%105 = getelementptr inbounds [3 x double], [3 x double]* %104, i64 0, i64 1
%106 = load double, double* %105
%107 = fsub double %102, %106
%108 = call double @mat_Dabs(double %107)
%109 = load double, double* %7
%110 = fcmp ogt double %108, %109
br i1 %110, label %124, label %111
111: ; preds = %98
%112 = load [3 x double]*, [3 x double]** %5
%113 = getelementptr inbounds [3 x double], [3 x double]* %112, i64 2
%114 = getelementptr inbounds [3 x double], [3 x double]* %113, i64 0, i64 2
%115 = load double, double* %114
%116 = load [3 x double]*, [3 x double]** %6
%117 = getelementptr inbounds [3 x double], [3 x double]* %116, i64 2
%118 = getelementptr inbounds [3 x double], [3 x double]* %117, i64 0, i64 2
%119 = load double, double* %118
%120 = fsub double %115, %119
%121 = call double @mat_Dabs(double %120)
%122 = load double, double* %7
%123 = fcmp ogt double %121, %122
br i1 %123, label %124, label %125
124: ; preds = %111, %98, %85, %72, %59, %46, %33, %20, %3
store i32 0, i32* %4
br label %126
125: ; preds = %111
store i32 1, i32* %4
br label %126
126: ; preds = %125, %124
%127 = load i32, i32* %4
ret i32 %127
}

LLVM IR (-O2):
define i32 @mat_check_identity_matrix_d3([3 x double]* nocapture %0, [3 x double]* nocapture %1, double %2) {
%4 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 0, i64 0
%5 = load double, double* %4
%6 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 0, i64 0
%7 = load double, double* %6
%8 = fsub double %5, %7
%9 = tail call double @mat_Dabs(double %8)
%10 = fcmp ogt double %9, %2
br i1 %10, label %76, label %11
11: ; preds = %3
%12 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 0, i64 1
%13 = load double, double* %12
%14 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 0, i64 1
%15 = load double, double* %14
%16 = fsub double %13, %15
%17 = tail call double @mat_Dabs(double %16)
%18 = fcmp ogt double %17, %2
br i1 %18, label %76, label %19
19: ; preds = %11
%20 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 0, i64 2
%21 = load double, double* %20
%22 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 0, i64 2
%23 = load double, double* %22
%24 = fsub double %21, %23
%25 = tail call double @mat_Dabs(double %24)
%26 = fcmp ogt double %25, %2
br i1 %26, label %76, label %27
27: ; preds = %19
%28 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 1, i64 0
%29 = load double, double* %28
%30 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 1, i64 0
%31 = load double, double* %30
%32 = fsub double %29, %31
%33 = tail call double @mat_Dabs(double %32)
%34 = fcmp ogt double %33, %2
br i1 %34, label %76, label %35
35: ; preds = %27
%36 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 1, i64 1
%37 = load double, double* %36
%38 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 1, i64 1
%39 = load double, double* %38
%40 = fsub double %37, %39
%41 = tail call double @mat_Dabs(double %40)
%42 = fcmp ogt double %41, %2
br i1 %42, label %76, label %43
43: ; preds = %35
%44 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 1, i64 2
%45 = load double, double* %44
%46 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 1, i64 2
%47 = load double, double* %46
%48 = fsub double %45, %47
%49 = tail call double @mat_Dabs(double %48)
%50 = fcmp ogt double %49, %2
br i1 %50, label %76, label %51
51: ; preds = %43
%52 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 2, i64 0
%53 = load double, double* %52
%54 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 2, i64 0
%55 = load double, double* %54
%56 = fsub double %53, %55
%57 = tail call double @mat_Dabs(double %56)
%58 = fcmp ogt double %57, %2
br i1 %58, label %76, label %59
59: ; preds = %51
%60 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 2, i64 1
%61 = load double, double* %60
%62 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 2, i64 1
%63 = load double, double* %62
%64 = fsub double %61, %63
%65 = tail call double @mat_Dabs(double %64)
%66 = fcmp ogt double %65, %2
br i1 %66, label %76, label %67
67: ; preds = %59
%68 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 2, i64 2
%69 = load double, double* %68
%70 = getelementptr inbounds [3 x double], [3 x double]* %1, i64 2, i64 2
%71 = load double, double* %70
%72 = fsub double %69, %71
%73 = tail call double @mat_Dabs(double %72)
%74 = fcmp ogt double %73, %2
br i1 %74, label %76, label %75
75: ; preds = %67
br label %76
76: ; preds = %3, %11, %19, %27, %35, %43, %51, %59, %67, %75
%77 = phi i32 [ 1, %75 ], [ 0, %67 ], [ 0, %59 ], [ 0, %51 ], [ 0, %43 ], [ 0, %35 ], [ 0, %27 ], [ 0, %19 ], [ 0, %11 ], [ 0, %3 ]
ret i32 %77
}