#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 idet2i3(double *, int, int, int);
int intsect(double *vertex, int a, int b, int c, int u, int v) {
  int uv, dup = 0;
  if ((u == a) || (u == b) || (u == c))
    dup++;
  if ((v == a) || (v == b) || (v == c))
    dup++;
  if (dup == 0) {
    uv = idet2i3(vertex, u, v, a) + idet2i3(vertex, u, v, b) +
         idet2i3(vertex, u, v, c);
    if ((uv == 3) || (uv == -3))
      return 0;
    if (idet2i3(vertex, b, c, u) + idet2i3(vertex, b, c, v) == -2)
      return 0;
    if (idet2i3(vertex, c, a, u) + idet2i3(vertex, c, a, v) == -2)
      return 0;
    if (idet2i3(vertex, a, b, u) + idet2i3(vertex, a, b, v) == -2)
      return 0;
  } else if (dup == 1) {
    if (idet2i3(vertex, b, c, u) + idet2i3(vertex, b, c, v) == -1)
      return 0;
    if (idet2i3(vertex, c, a, u) + idet2i3(vertex, c, a, v) == -1)
      return 0;
    if (idet2i3(vertex, a, b, u) + idet2i3(vertex, a, b, v) == -1)
      return 0;
  } else
    return 0;
  return 1;
}


x86 assembly (clang, -O0):
<intsect>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     1158 <intsect+0x48>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1158 <intsect+0x48>
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    1161 <intsect+0x51>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     1185 <intsect+0x75>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1185 <intsect+0x75>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    118e <intsect+0x7e>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    12d3 <intsect+0x1c3>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x14(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x18(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
je     11f9 <intsect+0xe9>
cmpl   $0xfffffffd,-0x28(%rbp)
jne    1205 <intsect+0xf5>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
add    %ecx,%eax
cmp    $0xfffffffe,%eax
jne    1248 <intsect+0x138>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x3c(%rbp),%eax
add    %ecx,%eax
cmp    $0xfffffffe,%eax
jne    128b <intsect+0x17b>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
add    %ecx,%eax
cmp    $0xfffffffe,%eax
jne    12ce <intsect+0x1be>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
jmp    13bc <intsect+0x2ac>
cmpl   $0x1,-0x2c(%rbp)
jne    13ab <intsect+0x29b>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
add    %ecx,%eax
cmp    $0xffffffff,%eax
jne    1320 <intsect+0x210>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%eax
add    %ecx,%eax
cmp    $0xffffffff,%eax
jne    1363 <intsect+0x253>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
add    %ecx,%eax
cmp    $0xffffffff,%eax
jne    13a6 <intsect+0x296>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
jmp    13b7 <intsect+0x2a7>
movl   $0x0,-0x4(%rbp)
jmp    13c3 <intsect+0x2b3>
jmp    13bc <intsect+0x2ac>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<intsect>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9d,%r15d
mov    %r8d,%r13d
mov    %ecx,%r14d
mov    %edx,%ebp
mov    %esi,%ebx
mov    %rdi,%r12
cmp    %esi,%r8d
sete   %al
cmp    %edx,%r8d
sete   %cl
or     %al,%cl
cmp    %r14d,%r8d
sete   %al
or     %cl,%al
movzbl %al,%edx
lea    0x1(%rdx),%ecx
cmp    %ebp,%r9d
cmove  %ecx,%edx
cmp    %esi,%r9d
cmove  %ecx,%edx
cmp    %r14d,%r9d
cmove  %ecx,%edx
xor    %eax,%eax
cmp    $0x1,%edx
je     126b <intsect+0x15b>
test   %edx,%edx
jne    12fa <intsect+0x1ea>
mov    %r12,%rdi
mov    %r13d,%esi
mov    %r15d,%edx
mov    %ebx,0x4(%rsp)
mov    %ebx,%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ebx
mov    %r12,%rdi
mov    %r13d,%esi
mov    %r15d,%edx
mov    %ebp,(%rsp)
mov    %ebp,%ecx
call   1030 <idet2i3@plt>
mov    %r12,%rdi
mov    %eax,%r12d
add    %ebx,%r12d
mov    %rdi,%rbp
mov    %r13d,%esi
mov    %r15d,%edx
mov    %r14d,%ecx
call   1030 <idet2i3@plt>
add    %r12d,%eax
cmp    $0xfffffffd,%eax
je     12f8 <intsect+0x1e8>
cmp    $0x3,%eax
mov    $0x0,%eax
je     12fa <intsect+0x1ea>
mov    %rbp,%rdi
mov    (%rsp),%ebx
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r13d,%ecx
call   1030 <idet2i3@plt>
mov    %eax,%r12d
mov    %rbp,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r15d,%ecx
call   1030 <idet2i3@plt>
add    %r12d,%eax
cmp    $0xfffffffe,%eax
je     12f8 <intsect+0x1e8>
mov    %rbp,%rdi
mov    %r14d,%esi
mov    0x4(%rsp),%ebx
mov    %ebx,%edx
mov    %r13d,%ecx
call   1030 <idet2i3@plt>
mov    %eax,%r12d
mov    %rbp,%rdi
mov    %r14d,%esi
mov    %ebx,%edx
mov    %r15d,%ecx
call   1030 <idet2i3@plt>
add    %r12d,%eax
cmp    $0xfffffffe,%eax
je     12f8 <intsect+0x1e8>
mov    %rbp,%rdi
mov    %ebx,%esi
mov    (%rsp),%r12d
mov    %r12d,%edx
mov    %r13d,%ecx
call   1030 <idet2i3@plt>
mov    %eax,%r14d
mov    %rbp,%rdi
mov    %ebx,%esi
mov    %r12d,%edx
mov    %r15d,%ecx
call   1030 <idet2i3@plt>
add    %r14d,%eax
cmp    $0xfffffffe,%eax
mov    $0x0,%eax
jne    12f1 <intsect+0x1e1>
jmp    12fa <intsect+0x1ea>
mov    %r12,%rdi
mov    %ebp,%esi
mov    %r14d,%edx
mov    %r13d,%ecx
call   1030 <idet2i3@plt>
mov    %ebp,%esi
mov    %eax,%ebp
mov    %r12,%rdi
mov    %esi,(%rsp)
mov    %r14d,%edx
mov    %r15d,%ecx
call   1030 <idet2i3@plt>
add    %ebp,%eax
cmp    $0xffffffff,%eax
je     12f8 <intsect+0x1e8>
mov    %r12,%rdi
mov    %r14d,%esi
mov    %ebx,%edx
mov    %r13d,%ecx
call   1030 <idet2i3@plt>
mov    %eax,%ebp
mov    %r12,%rdi
mov    %r14d,%esi
mov    %ebx,%edx
mov    %r15d,%ecx
call   1030 <idet2i3@plt>
add    %ebp,%eax
cmp    $0xffffffff,%eax
je     12f8 <intsect+0x1e8>
mov    %r12,%rdi
mov    %ebx,%esi
mov    (%rsp),%ebp
mov    %ebp,%edx
mov    %r13d,%ecx
call   1030 <idet2i3@plt>
mov    %eax,%r14d
mov    %r12,%rdi
mov    %ebx,%esi
mov    %ebp,%edx
mov    %r15d,%ecx
call   1030 <idet2i3@plt>
add    %r14d,%eax
cmp    $0xffffffff,%eax
mov    $0x0,%eax
je     12fa <intsect+0x1ea>
mov    $0x1,%eax
jmp    12fa <intsect+0x1ea>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @intsect(double* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5) {
%7 = alloca i32
%8 = alloca double*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store double* %0, double** %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32 %5, i32* %13
store i32 0, i32* %15
%16 = load i32, i32* %12
%17 = load i32, i32* %9
%18 = icmp eq i32 %16, %17
br i1 %18, label %27, label %19
19: ; preds = %6
%20 = load i32, i32* %12
%21 = load i32, i32* %10
%22 = icmp eq i32 %20, %21
br i1 %22, label %27, label %23
23: ; preds = %19
%24 = load i32, i32* %12
%25 = load i32, i32* %11
%26 = icmp eq i32 %24, %25
br i1 %26, label %27, label %30
27: ; preds = %23, %19, %6
%28 = load i32, i32* %15
%29 = add nsw i32 %28, 1
store i32 %29, i32* %15
br label %30
30: ; preds = %27, %23
%31 = load i32, i32* %13
%32 = load i32, i32* %9
%33 = icmp eq i32 %31, %32
br i1 %33, label %42, label %34
34: ; preds = %30
%35 = load i32, i32* %13
%36 = load i32, i32* %10
%37 = icmp eq i32 %35, %36
br i1 %37, label %42, label %38
38: ; preds = %34
%39 = load i32, i32* %13
%40 = load i32, i32* %11
%41 = icmp eq i32 %39, %40
br i1 %41, label %42, label %45
42: ; preds = %38, %34, %30
%43 = load i32, i32* %15
%44 = add nsw i32 %43, 1
store i32 %44, i32* %15
br label %45
45: ; preds = %42, %38
%46 = load i32, i32* %15
%47 = icmp eq i32 %46, 0
br i1 %47, label %48, label %115
48: ; preds = %45
%49 = load double*, double** %8
%50 = load i32, i32* %12
%51 = load i32, i32* %13
%52 = load i32, i32* %9
%53 = call i32 @idet2i3(double* %49, i32 %50, i32 %51, i32 %52)
%54 = load double*, double** %8
%55 = load i32, i32* %12
%56 = load i32, i32* %13
%57 = load i32, i32* %10
%58 = call i32 @idet2i3(double* %54, i32 %55, i32 %56, i32 %57)
%59 = add nsw i32 %53, %58
%60 = load double*, double** %8
%61 = load i32, i32* %12
%62 = load i32, i32* %13
%63 = load i32, i32* %11
%64 = call i32 @idet2i3(double* %60, i32 %61, i32 %62, i32 %63)
%65 = add nsw i32 %59, %64
store i32 %65, i32* %14
%66 = load i32, i32* %14
%67 = icmp eq i32 %66, 3
br i1 %67, label %71, label %68
68: ; preds = %48
%69 = load i32, i32* %14
%70 = icmp eq i32 %69, -3
br i1 %70, label %71, label %72
71: ; preds = %68, %48
store i32 0, i32* %7
br label %164
72: ; preds = %68
%73 = load double*, double** %8
%74 = load i32, i32* %10
%75 = load i32, i32* %11
%76 = load i32, i32* %12
%77 = call i32 @idet2i3(double* %73, i32 %74, i32 %75, i32 %76)
%78 = load double*, double** %8
%79 = load i32, i32* %10
%80 = load i32, i32* %11
%81 = load i32, i32* %13
%82 = call i32 @idet2i3(double* %78, i32 %79, i32 %80, i32 %81)
%83 = add nsw i32 %77, %82
%84 = icmp eq i32 %83, -2
br i1 %84, label %85, label %86
85: ; preds = %72
store i32 0, i32* %7
br label %164
86: ; preds = %72
%87 = load double*, double** %8
%88 = load i32, i32* %11
%89 = load i32, i32* %9
%90 = load i32, i32* %12
%91 = call i32 @idet2i3(double* %87, i32 %88, i32 %89, i32 %90)
%92 = load double*, double** %8
%93 = load i32, i32* %11
%94 = load i32, i32* %9
%95 = load i32, i32* %13
%96 = call i32 @idet2i3(double* %92, i32 %93, i32 %94, i32 %95)
%97 = add nsw i32 %91, %96
%98 = icmp eq i32 %97, -2
br i1 %98, label %99, label %100
99: ; preds = %86
store i32 0, i32* %7
br label %164
100: ; preds = %86
%101 = load double*, double** %8
%102 = load i32, i32* %9
%103 = load i32, i32* %10
%104 = load i32, i32* %12
%105 = call i32 @idet2i3(double* %101, i32 %102, i32 %103, i32 %104)
%106 = load double*, double** %8
%107 = load i32, i32* %9
%108 = load i32, i32* %10
%109 = load i32, i32* %13
%110 = call i32 @idet2i3(double* %106, i32 %107, i32 %108, i32 %109)
%111 = add nsw i32 %105, %110
%112 = icmp eq i32 %111, -2
br i1 %112, label %113, label %114
113: ; preds = %100
store i32 0, i32* %7
br label %164
114: ; preds = %100
br label %163
115: ; preds = %45
%116 = load i32, i32* %15
%117 = icmp eq i32 %116, 1
br i1 %117, label %118, label %161
118: ; preds = %115
%119 = load double*, double** %8
%120 = load i32, i32* %10
%121 = load i32, i32* %11
%122 = load i32, i32* %12
%123 = call i32 @idet2i3(double* %119, i32 %120, i32 %121, i32 %122)
%124 = load double*, double** %8
%125 = load i32, i32* %10
%126 = load i32, i32* %11
%127 = load i32, i32* %13
%128 = call i32 @idet2i3(double* %124, i32 %125, i32 %126, i32 %127)
%129 = add nsw i32 %123, %128
%130 = icmp eq i32 %129, -1
br i1 %130, label %131, label %132
131: ; preds = %118
store i32 0, i32* %7
br label %164
132: ; preds = %118
%133 = load double*, double** %8
%134 = load i32, i32* %11
%135 = load i32, i32* %9
%136 = load i32, i32* %12
%137 = call i32 @idet2i3(double* %133, i32 %134, i32 %135, i32 %136)
%138 = load double*, double** %8
%139 = load i32, i32* %11
%140 = load i32, i32* %9
%141 = load i32, i32* %13
%142 = call i32 @idet2i3(double* %138, i32 %139, i32 %140, i32 %141)
%143 = add nsw i32 %137, %142
%144 = icmp eq i32 %143, -1
br i1 %144, label %145, label %146
145: ; preds = %132
store i32 0, i32* %7
br label %164
146: ; preds = %132
%147 = load double*, double** %8
%148 = load i32, i32* %9
%149 = load i32, i32* %10
%150 = load i32, i32* %12
%151 = call i32 @idet2i3(double* %147, i32 %148, i32 %149, i32 %150)
%152 = load double*, double** %8
%153 = load i32, i32* %9
%154 = load i32, i32* %10
%155 = load i32, i32* %13
%156 = call i32 @idet2i3(double* %152, i32 %153, i32 %154, i32 %155)
%157 = add nsw i32 %151, %156
%158 = icmp eq i32 %157, -1
br i1 %158, label %159, label %160
159: ; preds = %146
store i32 0, i32* %7
br label %164
160: ; preds = %146
br label %162
161: ; preds = %115
store i32 0, i32* %7
br label %164
162: ; preds = %160
br label %163
163: ; preds = %162, %114
store i32 1, i32* %7
br label %164
164: ; preds = %163, %161, %159, %145, %131, %113, %99, %85, %71
%165 = load i32, i32* %7
ret i32 %165
}

LLVM IR (-O2):
define i32 @intsect(double* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5) {
%7 = icmp eq i32 %4, %1
%8 = icmp eq i32 %4, %2
%9 = or i1 %7, %8
%10 = icmp eq i32 %4, %3
%11 = or i1 %10, %9
%12 = zext i1 %11 to i32
%13 = icmp eq i32 %5, %1
%14 = icmp eq i32 %5, %2
%15 = or i1 %13, %14
%16 = icmp eq i32 %5, %3
%17 = or i1 %16, %15
%18 = select i1 %11, i32 2, i32 1
%19 = select i1 %17, i32 %18, i32 %12
switch i32 %19, label %57 [
i32 0, label %20
i32 1, label %41
]
20: ; preds = %6
%21 = tail call i32 @idet2i3(double* %0, i32 %4, i32 %5, i32 %1)
%22 = tail call i32 @idet2i3(double* %0, i32 %4, i32 %5, i32 %2)
%23 = add nsw i32 %22, %21
%24 = tail call i32 @idet2i3(double* %0, i32 %4, i32 %5, i32 %3)
%25 = add nsw i32 %23, %24
switch i32 %25, label %26 [
i32 -3, label %57
i32 3, label %57
]
26: ; preds = %20
%27 = tail call i32 @idet2i3(double* %0, i32 %2, i32 %3, i32 %4)
%28 = tail call i32 @idet2i3(double* %0, i32 %2, i32 %3, i32 %5)
%29 = add nsw i32 %28, %27
%30 = icmp eq i32 %29, -2
br i1 %30, label %57, label %31
31: ; preds = %26
%32 = tail call i32 @idet2i3(double* %0, i32 %3, i32 %1, i32 %4)
%33 = tail call i32 @idet2i3(double* %0, i32 %3, i32 %1, i32 %5)
%34 = add nsw i32 %33, %32
%35 = icmp eq i32 %34, -2
br i1 %35, label %57, label %36
36: ; preds = %31
%37 = tail call i32 @idet2i3(double* %0, i32 %1, i32 %2, i32 %4)
%38 = tail call i32 @idet2i3(double* %0, i32 %1, i32 %2, i32 %5)
%39 = add nsw i32 %38, %37
%40 = icmp eq i32 %39, -2
br i1 %40, label %57, label %56
41: ; preds = %6
%42 = tail call i32 @idet2i3(double* %0, i32 %2, i32 %3, i32 %4)
%43 = tail call i32 @idet2i3(double* %0, i32 %2, i32 %3, i32 %5)
%44 = add nsw i32 %43, %42
%45 = icmp eq i32 %44, -1
br i1 %45, label %57, label %46
46: ; preds = %41
%47 = tail call i32 @idet2i3(double* %0, i32 %3, i32 %1, i32 %4)
%48 = tail call i32 @idet2i3(double* %0, i32 %3, i32 %1, i32 %5)
%49 = add nsw i32 %48, %47
%50 = icmp eq i32 %49, -1
br i1 %50, label %57, label %51
51: ; preds = %46
%52 = tail call i32 @idet2i3(double* %0, i32 %1, i32 %2, i32 %4)
%53 = tail call i32 @idet2i3(double* %0, i32 %1, i32 %2, i32 %5)
%54 = add nsw i32 %53, %52
%55 = icmp eq i32 %54, -1
br i1 %55, label %57, label %56
56: ; preds = %51, %36
br label %57
57: ; preds = %6, %51, %46, %41, %36, %31, %26, %20, %20, %56
%58 = phi i32 [ 1, %56 ], [ 0, %20 ], [ 0, %20 ], [ 0, %26 ], [ 0, %31 ], [ 0, %36 ], [ 0, %41 ], [ 0, %46 ], [ 0, %51 ], [ 0, %6 ]
ret i32 %58
}