#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(int);
int mat_check_identity_matrix_id3(int 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_id3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
cvtsi2sdl (%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  (%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x8(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x10(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0xc(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x18(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x10(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x20(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x14(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x28(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x18(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x30(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x1c(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x38(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
ja     1279 <mat_check_identity_matrix_id3+0x169>
mov    -0x10(%rbp),%rax
cvtsi2sdl 0x20(%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  0x40(%rax),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd -0x20(%rbp),%xmm0
jbe    1285 <mat_check_identity_matrix_id3+0x175>
movl   $0x0,-0x4(%rbp)
jmp    128c <mat_check_identity_matrix_id3+0x17c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mat_check_identity_matrix_id3>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
movsd  %xmm0,0x8(%rsp)
mov    %rsi,%rbx
mov    %rdi,%rbp
xorps  %xmm0,%xmm0
cvtsi2sdl (%rdi),%xmm0
subsd  (%rsi),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
xor    %r14d,%r14d
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x4(%rbp),%xmm0
subsd  0x8(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x8(%rbp),%xmm0
subsd  0x10(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0xc(%rbp),%xmm0
subsd  0x18(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x10(%rbp),%xmm0
subsd  0x20(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x14(%rbp),%xmm0
subsd  0x28(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x18(%rbp),%xmm0
subsd  0x30(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x1c(%rbp),%xmm0
subsd  0x38(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x20(%rbp),%xmm0
subsd  0x40(%rbx),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <mat_Dabs@plt>
ucomisd 0x8(%rsp),%xmm0
ja     1249 <mat_check_identity_matrix_id3+0x139>
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_id3([3 x i32]* %0, [3 x double]* %1, double %2) {
%4 = alloca i32
%5 = alloca [3 x i32]*
%6 = alloca [3 x double]*
%7 = alloca double
store [3 x i32]* %0, [3 x i32]** %5
store [3 x double]* %1, [3 x double]** %6
store double %2, double* %7
%8 = load [3 x i32]*, [3 x i32]** %5
%9 = getelementptr inbounds [3 x i32], [3 x i32]* %8, i64 0
%10 = getelementptr inbounds [3 x i32], [3 x i32]* %9, i64 0, i64 0
%11 = load i32, i32* %10
%12 = sitofp i32 %11 to double
%13 = load [3 x double]*, [3 x double]** %6
%14 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0
%15 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%16 = load double, double* %15
%17 = fsub double %12, %16
%18 = fptosi double %17 to i32
%19 = call double @mat_Dabs(i32 %18)
%20 = load double, double* %7
%21 = fcmp ogt double %19, %20
br i1 %21, label %142, label %22
22: ; preds = %3
%23 = load [3 x i32]*, [3 x i32]** %5
%24 = getelementptr inbounds [3 x i32], [3 x i32]* %23, i64 0
%25 = getelementptr inbounds [3 x i32], [3 x i32]* %24, i64 0, i64 1
%26 = load i32, i32* %25
%27 = sitofp i32 %26 to double
%28 = load [3 x double]*, [3 x double]** %6
%29 = getelementptr inbounds [3 x double], [3 x double]* %28, i64 0
%30 = getelementptr inbounds [3 x double], [3 x double]* %29, i64 0, i64 1
%31 = load double, double* %30
%32 = fsub double %27, %31
%33 = fptosi double %32 to i32
%34 = call double @mat_Dabs(i32 %33)
%35 = load double, double* %7
%36 = fcmp ogt double %34, %35
br i1 %36, label %142, label %37
37: ; preds = %22
%38 = load [3 x i32]*, [3 x i32]** %5
%39 = getelementptr inbounds [3 x i32], [3 x i32]* %38, i64 0
%40 = getelementptr inbounds [3 x i32], [3 x i32]* %39, i64 0, i64 2
%41 = load i32, i32* %40
%42 = sitofp i32 %41 to double
%43 = load [3 x double]*, [3 x double]** %6
%44 = getelementptr inbounds [3 x double], [3 x double]* %43, i64 0
%45 = getelementptr inbounds [3 x double], [3 x double]* %44, i64 0, i64 2
%46 = load double, double* %45
%47 = fsub double %42, %46
%48 = fptosi double %47 to i32
%49 = call double @mat_Dabs(i32 %48)
%50 = load double, double* %7
%51 = fcmp ogt double %49, %50
br i1 %51, label %142, label %52
52: ; preds = %37
%53 = load [3 x i32]*, [3 x i32]** %5
%54 = getelementptr inbounds [3 x i32], [3 x i32]* %53, i64 1
%55 = getelementptr inbounds [3 x i32], [3 x i32]* %54, i64 0, i64 0
%56 = load i32, i32* %55
%57 = sitofp i32 %56 to double
%58 = load [3 x double]*, [3 x double]** %6
%59 = getelementptr inbounds [3 x double], [3 x double]* %58, i64 1
%60 = getelementptr inbounds [3 x double], [3 x double]* %59, i64 0, i64 0
%61 = load double, double* %60
%62 = fsub double %57, %61
%63 = fptosi double %62 to i32
%64 = call double @mat_Dabs(i32 %63)
%65 = load double, double* %7
%66 = fcmp ogt double %64, %65
br i1 %66, label %142, label %67
67: ; preds = %52
%68 = load [3 x i32]*, [3 x i32]** %5
%69 = getelementptr inbounds [3 x i32], [3 x i32]* %68, i64 1
%70 = getelementptr inbounds [3 x i32], [3 x i32]* %69, i64 0, i64 1
%71 = load i32, i32* %70
%72 = sitofp i32 %71 to double
%73 = load [3 x double]*, [3 x double]** %6
%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 1
%76 = load double, double* %75
%77 = fsub double %72, %76
%78 = fptosi double %77 to i32
%79 = call double @mat_Dabs(i32 %78)
%80 = load double, double* %7
%81 = fcmp ogt double %79, %80
br i1 %81, label %142, label %82
82: ; preds = %67
%83 = load [3 x i32]*, [3 x i32]** %5
%84 = getelementptr inbounds [3 x i32], [3 x i32]* %83, i64 1
%85 = getelementptr inbounds [3 x i32], [3 x i32]* %84, i64 0, i64 2
%86 = load i32, i32* %85
%87 = sitofp i32 %86 to double
%88 = load [3 x double]*, [3 x double]** %6
%89 = getelementptr inbounds [3 x double], [3 x double]* %88, i64 1
%90 = getelementptr inbounds [3 x double], [3 x double]* %89, i64 0, i64 2
%91 = load double, double* %90
%92 = fsub double %87, %91
%93 = fptosi double %92 to i32
%94 = call double @mat_Dabs(i32 %93)
%95 = load double, double* %7
%96 = fcmp ogt double %94, %95
br i1 %96, label %142, label %97
97: ; preds = %82
%98 = load [3 x i32]*, [3 x i32]** %5
%99 = getelementptr inbounds [3 x i32], [3 x i32]* %98, i64 2
%100 = getelementptr inbounds [3 x i32], [3 x i32]* %99, i64 0, i64 0
%101 = load i32, i32* %100
%102 = sitofp i32 %101 to double
%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 0
%106 = load double, double* %105
%107 = fsub double %102, %106
%108 = fptosi double %107 to i32
%109 = call double @mat_Dabs(i32 %108)
%110 = load double, double* %7
%111 = fcmp ogt double %109, %110
br i1 %111, label %142, label %112
112: ; preds = %97
%113 = load [3 x i32]*, [3 x i32]** %5
%114 = getelementptr inbounds [3 x i32], [3 x i32]* %113, i64 2
%115 = getelementptr inbounds [3 x i32], [3 x i32]* %114, i64 0, i64 1
%116 = load i32, i32* %115
%117 = sitofp i32 %116 to double
%118 = load [3 x double]*, [3 x double]** %6
%119 = getelementptr inbounds [3 x double], [3 x double]* %118, i64 2
%120 = getelementptr inbounds [3 x double], [3 x double]* %119, i64 0, i64 1
%121 = load double, double* %120
%122 = fsub double %117, %121
%123 = fptosi double %122 to i32
%124 = call double @mat_Dabs(i32 %123)
%125 = load double, double* %7
%126 = fcmp ogt double %124, %125
br i1 %126, label %142, label %127
127: ; preds = %112
%128 = load [3 x i32]*, [3 x i32]** %5
%129 = getelementptr inbounds [3 x i32], [3 x i32]* %128, i64 2
%130 = getelementptr inbounds [3 x i32], [3 x i32]* %129, i64 0, i64 2
%131 = load i32, i32* %130
%132 = sitofp i32 %131 to double
%133 = load [3 x double]*, [3 x double]** %6
%134 = getelementptr inbounds [3 x double], [3 x double]* %133, i64 2
%135 = getelementptr inbounds [3 x double], [3 x double]* %134, i64 0, i64 2
%136 = load double, double* %135
%137 = fsub double %132, %136
%138 = fptosi double %137 to i32
%139 = call double @mat_Dabs(i32 %138)
%140 = load double, double* %7
%141 = fcmp ogt double %139, %140
br i1 %141, label %142, label %143
142: ; preds = %127, %112, %97, %82, %67, %52, %37, %22, %3
store i32 0, i32* %4
br label %144
143: ; preds = %127
store i32 1, i32* %4
br label %144
144: ; preds = %143, %142
%145 = load i32, i32* %4
ret i32 %145
}

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