int checkif_sol_exist(float A[6][10 + 1]) {
  int i, j;
  for (i = 0; i < 6; i++) {
    for (j = 0; j < 10 && ((A[i][j]) <= 0.00001 && (A[i][j]) >= -0.00001); j++)
      ;
    if (j == 10 && !((A[i][10]) <= 0.00001 && (A[i][10]) >= -0.00001))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<checkif_sol_exist>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x6,-0x14(%rbp)
jge    1236 <checkif_sol_exist+0x136>
movl   $0x0,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0xa,-0x18(%rbp)
mov    %al,-0x19(%rbp)
jge    1196 <checkif_sol_exist+0x96>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x2c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
xor    %eax,%eax
movsd  0xeab(%rip),%xmm0
ucomisd %xmm1,%xmm0
mov    %al,-0x1a(%rbp)
jb     1190 <checkif_sol_exist+0x90>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x2c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe82(%rip),%xmm1
ucomisd %xmm1,%xmm0
setae  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    11a6 <checkif_sol_exist+0xa6>
jmp    11b9 <checkif_sol_exist+0xb9>
jmp    11ab <checkif_sol_exist+0xab>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1120 <checkif_sol_exist+0x20>
cmpl   $0xa,-0x18(%rbp)
jne    1223 <checkif_sol_exist+0x123>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x2c,%rcx,%rcx
add    %rcx,%rax
movss  0x28(%rax),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe1d(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1217 <checkif_sol_exist+0x117>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x2c,%rcx,%rcx
add    %rcx,%rax
movss  0x28(%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdfb(%rip),%xmm1
ucomisd %xmm1,%xmm0
jae    1223 <checkif_sol_exist+0x123>
movl   $0x0,-0x4(%rbp)
jmp    123d <checkif_sol_exist+0x13d>
jmp    1228 <checkif_sol_exist+0x128>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <checkif_sol_exist+0xf>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkif_sol_exist>:
mov    $0x28,%ecx
movsd  0xef3(%rip),%xmm0
movsd  0xef3(%rip),%xmm1
xor    %eax,%eax
jmp    1131 <checkif_sol_exist+0x31>
nopl   0x0(%rax)
add    $0x2c,%rcx
cmp    $0x130,%rcx
je     1250 <checkif_sol_exist+0x150>
movss  -0x28(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x24(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x20(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x1c(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x18(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x14(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x10(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0xc(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x8(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  -0x4(%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1120 <checkif_sol_exist+0x20>
ucomisd %xmm1,%xmm2
jb     1120 <checkif_sol_exist+0x20>
movss  (%rdi,%rcx,1),%xmm2
cvtss2sd %xmm2,%xmm2
ucomisd %xmm2,%xmm0
jb     1255 <checkif_sol_exist+0x155>
ucomisd %xmm1,%xmm2
jae    1120 <checkif_sol_exist+0x20>
jmp    1255 <checkif_sol_exist+0x155>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @checkif_sol_exist([11 x float]* %0) {
%2 = alloca i32
%3 = alloca [11 x float]*
%4 = alloca i32
%5 = alloca i32
store [11 x float]* %0, [11 x float]** %3
store i32 0, i32* %4
br label %6
6: ; preds = %66, %1
%7 = load i32, i32* %4
%8 = icmp slt i32 %7, 6
br i1 %8, label %9, label %69
9: ; preds = %6
store i32 0, i32* %5
br label %10
10: ; preds = %40, %9
%11 = load i32, i32* %5
%12 = icmp slt i32 %11, 10
br i1 %12, label %13, label %37
13: ; preds = %10
%14 = load [11 x float]*, [11 x float]** %3
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [11 x float], [11 x float]* %14, i64 %16
%18 = load i32, i32* %5
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds [11 x float], [11 x float]* %17, i64 0, i64 %19
%21 = load float, float* %20
%22 = fpext float %21 to double
%23 = fcmp ole double %22, 1.000000e-05
br i1 %23, label %24, label %35
24: ; preds = %13
%25 = load [11 x float]*, [11 x float]** %3
%26 = load i32, i32* %4
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [11 x float], [11 x float]* %25, i64 %27
%29 = load i32, i32* %5
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [11 x float], [11 x float]* %28, i64 0, i64 %30
%32 = load float, float* %31
%33 = fpext float %32 to double
%34 = fcmp oge double %33, -1.000000e-05
br label %35
35: ; preds = %24, %13
%36 = phi i1 [ false, %13 ], [ %34, %24 ]
br label %37
37: ; preds = %35, %10
%38 = phi i1 [ false, %10 ], [ %36, %35 ]
br i1 %38, label %39, label %43
39: ; preds = %37
br label %40
40: ; preds = %39
%41 = load i32, i32* %5
%42 = add nsw i32 %41, 1
store i32 %42, i32* %5
br label %10
43: ; preds = %37
%44 = load i32, i32* %5
%45 = icmp eq i32 %44, 10
br i1 %45, label %46, label %65
46: ; preds = %43
%47 = load [11 x float]*, [11 x float]** %3
%48 = load i32, i32* %4
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [11 x float], [11 x float]* %47, i64 %49
%51 = getelementptr inbounds [11 x float], [11 x float]* %50, i64 0, i64 10
%52 = load float, float* %51
%53 = fpext float %52 to double
%54 = fcmp ole double %53, 1.000000e-05
br i1 %54, label %55, label %64
55: ; preds = %46
%56 = load [11 x float]*, [11 x float]** %3
%57 = load i32, i32* %4
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [11 x float], [11 x float]* %56, i64 %58
%60 = getelementptr inbounds [11 x float], [11 x float]* %59, i64 0, i64 10
%61 = load float, float* %60
%62 = fpext float %61 to double
%63 = fcmp oge double %62, -1.000000e-05
br i1 %63, label %65, label %64
64: ; preds = %55, %46
store i32 0, i32* %2
br label %70
65: ; preds = %55, %43
br label %66
66: ; preds = %65
%67 = load i32, i32* %4
%68 = add nsw i32 %67, 1
store i32 %68, i32* %4
br label %6
69: ; preds = %6
store i32 1, i32* %2
br label %70
70: ; preds = %69, %64
%71 = load i32, i32* %2
ret i32 %71
}

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