#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 */
scalar_t__ check_tri(int, int *, int, int);
scalar_t__ check_xyz(int, double *, int *);
scalar_t__ fix_tri(int *, double *, int *, int *);
scalar_t__ fix_xyz(int *, double *, int *, int *, int *);
int /*<<< orphan*/ libaft_3d_warn(char *);
int /*<<< orphan*/ libaft_free(int *);
scalar_t__ libaft_malloc(int);
int check2dsurface(int *pnV, double *vertex, int *pnF, int *face, int indshift,
                   int autofix, int verbose) {
  int nV = *pnV, nF = *pnF, i;
  int *index;
  int result;
  for (i = 0; i < 3 * nF; face[i++] -= indshift)
    ;
  index = (int *)libaft_malloc(sizeof(int) * nV);
  result = 0;
  if (check_xyz(nV, vertex, index) == 0) {
    if (verbose)
      libaft_3d_warn("Check: xyz coords - OK\n");
  } else if ((autofix) && (fix_xyz(pnV, vertex, pnF, face, index) == 0)) {
    if (verbose)
      libaft_3d_warn("Check: updated xyz coords and topology\n");
  } else {
    result++;
  }
  nV = *pnV;
  nF = *pnF;
  if (check_tri(nF, face, indshift, verbose) == 0) {
    if (verbose)
      libaft_3d_warn("Check: surface topology - OK\n");
  } else if ((autofix) && (fix_tri(pnV, vertex, pnF, face) == 0)) {
    if (verbose)
      libaft_3d_warn("Check: updated surface topology\n");
  } else {
    result++;
  }
  libaft_free(index);
  for (i = 0; i < 3 * nF; face[i++] += indshift)
    ;
  return result;
}


x86 assembly (clang, -O0):
<check2dsurface>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
imul   $0x3,-0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    11e2 <check2dsurface+0x72>
jmp    11c0 <check2dsurface+0x50>
mov    -0x24(%rbp),%esi
mov    -0x20(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x34(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
jmp    11ac <check2dsurface+0x3c>
movslq -0x2c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1090 <libaft_malloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x2c(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x40(%rbp),%rdx
call   1050 <check_xyz@plt>
cmp    $0x0,%rax
jne    1231 <check2dsurface+0xc1>
cmpl   $0x0,0x10(%rbp)
je     122c <check2dsurface+0xbc>
lea    0xdd9(%rip),%rdi
call   1070 <libaft_3d_warn@plt>
jmp    1287 <check2dsurface+0x117>
cmpl   $0x0,-0x28(%rbp)
je     1279 <check2dsurface+0x109>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x40(%rbp),%r8
call   1040 <fix_xyz@plt>
cmp    $0x0,%rax
jne    1279 <check2dsurface+0x109>
cmpl   $0x0,0x10(%rbp)
je     1274 <check2dsurface+0x104>
lea    0xda9(%rip),%rdi
call   1070 <libaft_3d_warn@plt>
jmp    1282 <check2dsurface+0x112>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1287 <check2dsurface+0x117>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edi
mov    -0x20(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    0x10(%rbp),%ecx
call   1030 <check_tri@plt>
cmp    $0x0,%rax
jne    12d0 <check2dsurface+0x160>
cmpl   $0x0,0x10(%rbp)
je     12cb <check2dsurface+0x15b>
lea    0xd7a(%rip),%rdi
call   1070 <libaft_3d_warn@plt>
jmp    1322 <check2dsurface+0x1b2>
cmpl   $0x0,-0x28(%rbp)
je     1314 <check2dsurface+0x1a4>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
call   1060 <fix_tri@plt>
cmp    $0x0,%rax
jne    1314 <check2dsurface+0x1a4>
cmpl   $0x0,0x10(%rbp)
je     130f <check2dsurface+0x19f>
lea    0xd54(%rip),%rdi
call   1070 <libaft_3d_warn@plt>
jmp    131d <check2dsurface+0x1ad>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1322 <check2dsurface+0x1b2>
mov    -0x40(%rbp),%rdi
call   1080 <libaft_free@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
imul   $0x3,-0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    1366 <check2dsurface+0x1f6>
jmp    1346 <check2dsurface+0x1d6>
mov    -0x24(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    1332 <check2dsurface+0x1c2>
mov    -0x44(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check2dsurface>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,0x14(%rsp)
mov    %r8d,%ebp
mov    %rcx,%rbx
mov    %rsi,%r13
mov    %rdi,0x20(%rsp)
mov    (%rdi),%r15d
mov    %rdx,0x18(%rsp)
mov    (%rdx),%eax
test   %eax,%eax
jle    127c <check2dsurface+0x10c>
lea    (%rax,%rax,2),%ecx
cmp    $0x2,%ecx
mov    $0x1,%eax
cmovge %ecx,%eax
cmp    $0x8,%eax
jae    11bd <check2dsurface+0x4d>
xor    %ecx,%ecx
jmp    1270 <check2dsurface+0x100>
mov    %eax,%ecx
and    $0x7ffffff8,%ecx
movd   %ebp,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     146e <check2dsurface+0x2fe>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
nop
movdqu (%rbx,%rdx,4),%xmm1
movdqu 0x10(%rbx,%rdx,4),%xmm2
movdqu 0x20(%rbx,%rdx,4),%xmm3
movdqu 0x30(%rbx,%rdx,4),%xmm4
psubd  %xmm0,%xmm1
psubd  %xmm0,%xmm2
movdqu %xmm1,(%rbx,%rdx,4)
movdqu %xmm2,0x10(%rbx,%rdx,4)
psubd  %xmm0,%xmm3
psubd  %xmm0,%xmm4
movdqu %xmm3,0x20(%rbx,%rdx,4)
movdqu %xmm4,0x30(%rbx,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    11f0 <check2dsurface+0x80>
test   $0x1,%sil
je     125c <check2dsurface+0xec>
movdqu (%rbx,%rdx,4),%xmm1
movdqu 0x10(%rbx,%rdx,4),%xmm2
psubd  %xmm0,%xmm1
psubd  %xmm0,%xmm2
movdqu %xmm1,(%rbx,%rdx,4)
movdqu %xmm2,0x10(%rbx,%rdx,4)
cmp    %rax,%rcx
je     127c <check2dsurface+0x10c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
sub    %ebp,(%rbx,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1270 <check2dsurface+0x100>
lea    0x0(,%r15,4),%edi
call   1090 <libaft_malloc@plt>
mov    %rax,%r12
mov    %r15d,%edi
mov    %r13,%rsi
mov    %rax,%rdx
call   1050 <check_xyz@plt>
test   %rax,%rax
je     12d9 <check2dsurface+0x169>
mov    $0x1,%r14d
cmpl   $0x0,0x14(%rsp)
je     12ef <check2dsurface+0x17f>
mov    0x20(%rsp),%rdi
mov    %r13,%rsi
mov    0x18(%rsp),%rdx
mov    %rbx,%rcx
mov    %r12,%r8
call   1040 <fix_xyz@plt>
test   %rax,%rax
jne    12ef <check2dsurface+0x17f>
cmpl   $0x0,0x60(%rsp)
je     12ec <check2dsurface+0x17c>
lea    0xd41(%rip),%rdi
jmp    12e7 <check2dsurface+0x177>
cmpl   $0x0,0x60(%rsp)
je     12ec <check2dsurface+0x17c>
lea    0xd19(%rip),%rdi
call   1070 <libaft_3d_warn@plt>
xor    %r14d,%r14d
mov    %r12,0x8(%rsp)
mov    %r13,%r15
mov    0x18(%rsp),%rax
mov    (%rax),%r13d
mov    %r13d,%edi
mov    %rbx,%rsi
mov    %ebp,%edx
mov    0x60(%rsp),%r12d
mov    %r12d,%ecx
call   1030 <check_tri@plt>
test   %rax,%rax
je     1340 <check2dsurface+0x1d0>
cmpl   $0x0,0x14(%rsp)
je     133a <check2dsurface+0x1ca>
mov    0x20(%rsp),%rdi
mov    %r15,%rsi
mov    0x18(%rsp),%rdx
mov    %rbx,%rcx
call   1060 <fix_tri@plt>
test   %rax,%rax
je     134e <check2dsurface+0x1de>
add    $0x1,%r14d
jmp    1361 <check2dsurface+0x1f1>
test   %r12d,%r12d
je     1361 <check2dsurface+0x1f1>
lea    0xcf4(%rip),%rdi
jmp    135c <check2dsurface+0x1ec>
cmpl   $0x0,0x60(%rsp)
je     1361 <check2dsurface+0x1f1>
lea    0xd02(%rip),%rdi
call   1070 <libaft_3d_warn@plt>
mov    0x8(%rsp),%rdi
call   1080 <libaft_free@plt>
test   %r13d,%r13d
jle    145c <check2dsurface+0x2ec>
lea    0x0(%r13,%r13,2),%ecx
cmp    $0x2,%ecx
mov    $0x1,%eax
cmovge %ecx,%eax
cmp    $0x8,%eax
jae    1390 <check2dsurface+0x220>
xor    %ecx,%ecx
jmp    1450 <check2dsurface+0x2e0>
mov    %eax,%ecx
and    $0x7ffffff8,%ecx
movd   %ebp,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     147f <check2dsurface+0x30f>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu (%rbx,%rdx,4),%xmm1
movdqu 0x10(%rbx,%rdx,4),%xmm2
movdqu 0x20(%rbx,%rdx,4),%xmm3
movdqu 0x30(%rbx,%rdx,4),%xmm4
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqu %xmm1,(%rbx,%rdx,4)
movdqu %xmm2,0x10(%rbx,%rdx,4)
paddd  %xmm0,%xmm3
paddd  %xmm0,%xmm4
movdqu %xmm3,0x20(%rbx,%rdx,4)
movdqu %xmm4,0x30(%rbx,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    13d0 <check2dsurface+0x260>
test   $0x1,%sil
je     143c <check2dsurface+0x2cc>
movdqu (%rbx,%rdx,4),%xmm1
movdqu 0x10(%rbx,%rdx,4),%xmm2
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqu %xmm1,(%rbx,%rdx,4)
movdqu %xmm2,0x10(%rbx,%rdx,4)
cmp    %rax,%rcx
je     145c <check2dsurface+0x2ec>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    %ebp,(%rbx,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1450 <check2dsurface+0x2e0>
mov    %r14d,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edx,%edx
test   $0x1,%sil
jne    123e <check2dsurface+0xce>
jmp    125c <check2dsurface+0xec>
xor    %edx,%edx
test   $0x1,%sil
jne    141e <check2dsurface+0x2ae>
jmp    143c <check2dsurface+0x2cc>

LLVM IR (-O0):
@.str = [24 x i8] c"Check: xyz coords - OK\0A\00"
@.str.1 = [40 x i8] c"Check: updated xyz coords and topology\0A\00"
@.str.2 = [30 x i8] c"Check: surface topology - OK\0A\00"
@.str.3 = [33 x i8] c"Check: updated surface topology\0A\00"
define i32 @check2dsurface(i32* %0, double* %1, i32* %2, i32* %3, i32 %4, i32 %5, i32 %6) {
%8 = alloca i32*
%9 = alloca double*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32*
%19 = alloca i32
store i32* %0, i32** %8
store double* %1, double** %9
store i32* %2, i32** %10
store i32* %3, i32** %11
store i32 %4, i32* %12
store i32 %5, i32* %13
store i32 %6, i32* %14
%20 = load i32*, i32** %8
%21 = load i32, i32* %20
store i32 %21, i32* %15
%22 = load i32*, i32** %10
%23 = load i32, i32* %22
store i32 %23, i32* %16
store i32 0, i32* %17
br label %24
24: ; preds = %30, %7
%25 = load i32, i32* %17
%26 = load i32, i32* %16
%27 = mul nsw i32 3, %26
%28 = icmp slt i32 %25, %27
br i1 %28, label %29, label %39
29: ; preds = %24
br label %30
30: ; preds = %29
%31 = load i32, i32* %12
%32 = load i32*, i32** %11
%33 = load i32, i32* %17
%34 = add nsw i32 %33, 1
store i32 %34, i32* %17
%35 = sext i32 %33 to i64
%36 = getelementptr inbounds i32, i32* %32, i64 %35
%37 = load i32, i32* %36
%38 = sub nsw i32 %37, %31
store i32 %38, i32* %36
br label %24
39: ; preds = %24
%40 = load i32, i32* %15
%41 = sext i32 %40 to i64
%42 = mul i64 4, %41
%43 = trunc i64 %42 to i32
%44 = call i64 @libaft_malloc(i32 %43)
%45 = inttoptr i64 %44 to i32*
store i32* %45, i32** %18
store i32 0, i32* %19
%46 = load i32, i32* %15
%47 = load double*, double** %9
%48 = load i32*, i32** %18
%49 = call i64 @check_xyz(i32 %46, double* %47, i32* %48)
%50 = icmp eq i64 %49, 0
br i1 %50, label %51, label %57
51: ; preds = %39
%52 = load i32, i32* %14
%53 = icmp ne i32 %52, 0
br i1 %53, label %54, label %56
54: ; preds = %51
%55 = call i32 @libaft_3d_warn(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
br label %56
56: ; preds = %54, %51
br label %78
57: ; preds = %39
%58 = load i32, i32* %13
%59 = icmp ne i32 %58, 0
br i1 %59, label %60, label %74
60: ; preds = %57
%61 = load i32*, i32** %8
%62 = load double*, double** %9
%63 = load i32*, i32** %10
%64 = load i32*, i32** %11
%65 = load i32*, i32** %18
%66 = call i64 @fix_xyz(i32* %61, double* %62, i32* %63, i32* %64, i32* %65)
%67 = icmp eq i64 %66, 0
br i1 %67, label %68, label %74
68: ; preds = %60
%69 = load i32, i32* %14
%70 = icmp ne i32 %69, 0
br i1 %70, label %71, label %73
71: ; preds = %68
%72 = call i32 @libaft_3d_warn(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.1, i64 0, i64 0))
br label %73
73: ; preds = %71, %68
br label %77
74: ; preds = %60, %57
%75 = load i32, i32* %19
%76 = add nsw i32 %75, 1
store i32 %76, i32* %19
br label %77
77: ; preds = %74, %73
br label %78
78: ; preds = %77, %56
%79 = load i32*, i32** %8
%80 = load i32, i32* %79
store i32 %80, i32* %15
%81 = load i32*, i32** %10
%82 = load i32, i32* %81
store i32 %82, i32* %16
%83 = load i32, i32* %16
%84 = load i32*, i32** %11
%85 = load i32, i32* %12
%86 = load i32, i32* %14
%87 = call i64 @check_tri(i32 %83, i32* %84, i32 %85, i32 %86)
%88 = icmp eq i64 %87, 0
br i1 %88, label %89, label %95
89: ; preds = %78
%90 = load i32, i32* %14
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %94
92: ; preds = %89
%93 = call i32 @libaft_3d_warn(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0))
br label %94
94: ; preds = %92, %89
br label %115
95: ; preds = %78
%96 = load i32, i32* %13
%97 = icmp ne i32 %96, 0
br i1 %97, label %98, label %111
98: ; preds = %95
%99 = load i32*, i32** %8
%100 = load double*, double** %9
%101 = load i32*, i32** %10
%102 = load i32*, i32** %11
%103 = call i64 @fix_tri(i32* %99, double* %100, i32* %101, i32* %102)
%104 = icmp eq i64 %103, 0
br i1 %104, label %105, label %111
105: ; preds = %98
%106 = load i32, i32* %14
%107 = icmp ne i32 %106, 0
br i1 %107, label %108, label %110
108: ; preds = %105
%109 = call i32 @libaft_3d_warn(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.3, i64 0, i64 0))
br label %110
110: ; preds = %108, %105
br label %114
111: ; preds = %98, %95
%112 = load i32, i32* %19
%113 = add nsw i32 %112, 1
store i32 %113, i32* %19
br label %114
114: ; preds = %111, %110
br label %115
115: ; preds = %114, %94
%116 = load i32*, i32** %18
%117 = call i32 @libaft_free(i32* %116)
store i32 0, i32* %17
br label %118
118: ; preds = %124, %115
%119 = load i32, i32* %17
%120 = load i32, i32* %16
%121 = mul nsw i32 3, %120
%122 = icmp slt i32 %119, %121
br i1 %122, label %123, label %133
123: ; preds = %118
br label %124
124: ; preds = %123
%125 = load i32, i32* %12
%126 = load i32*, i32** %11
%127 = load i32, i32* %17
%128 = add nsw i32 %127, 1
store i32 %128, i32* %17
%129 = sext i32 %127 to i64
%130 = getelementptr inbounds i32, i32* %126, i64 %129
%131 = load i32, i32* %130
%132 = add nsw i32 %131, %125
store i32 %132, i32* %130
br label %118
133: ; preds = %118
%134 = load i32, i32* %19
ret i32 %134
}

LLVM IR (-O2):
@.str = [24 x i8] c"Check: xyz coords - OK\0A\00"
@.str.1 = [40 x i8] c"Check: updated xyz coords and topology\0A\00"
@.str.2 = [30 x i8] c"Check: surface topology - OK\0A\00"
@.str.3 = [33 x i8] c"Check: updated surface topology\0A\00"
define i32 @check2dsurface(i32* %0, double* %1, i32* %2, i32* %3, i32 %4, i32 %5, i32 %6) {
%8 = load i32, i32* %0
%9 = load i32, i32* %2
%10 = icmp sgt i32 %9, 0
br i1 %10, label %11, label %81
11: ; preds = %7
%12 = mul i32 %9, 3
%13 = call i32 @llvm.smax.i32(i32 %12, i32 1)
%14 = zext i32 %13 to i64
%15 = icmp ult i32 %13, 8
br i1 %15, label %72, label %16
16: ; preds = %11
%17 = and i64 %14, 2147483640
%18 = insertelement <4 x i32> poison, i32 %4, i64 0
%19 = shufflevector <4 x i32> %18, <4 x i32> poison, <4 x i32> zeroinitializer
%20 = insertelement <4 x i32> poison, i32 %4, i64 0
%21 = shufflevector <4 x i32> %20, <4 x i32> poison, <4 x i32> zeroinitializer
%22 = add nsw i64 %17, -8
%23 = lshr exact i64 %22, 3
%24 = add nuw nsw i64 %23, 1
%25 = and i64 %24, 1
%26 = icmp eq i64 %22, 0
br i1 %26, label %56, label %27
27: ; preds = %16
%28 = and i64 %24, 4611686018427387902
br label %29
29: ; preds = %29, %27
%30 = phi i64 [ 0, %27 ], [ %53, %29 ]
%31 = phi i64 [ 0, %27 ], [ %54, %29 ]
%32 = getelementptr inbounds i32, i32* %3, i64 %30
%33 = bitcast i32* %32 to <4 x i32>*
%34 = load <4 x i32>, <4 x i32>* %33
%35 = getelementptr inbounds i32, i32* %32, i64 4
%36 = bitcast i32* %35 to <4 x i32>*
%37 = load <4 x i32>, <4 x i32>* %36
%38 = sub nsw <4 x i32> %34, %19
%39 = sub nsw <4 x i32> %37, %21
%40 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %38, <4 x i32>* %40
%41 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %39, <4 x i32>* %41
%42 = or i64 %30, 8
%43 = getelementptr inbounds i32, i32* %3, i64 %42
%44 = bitcast i32* %43 to <4 x i32>*
%45 = load <4 x i32>, <4 x i32>* %44
%46 = getelementptr inbounds i32, i32* %43, i64 4
%47 = bitcast i32* %46 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = sub nsw <4 x i32> %45, %19
%50 = sub nsw <4 x i32> %48, %21
%51 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %49, <4 x i32>* %51
%52 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %52
%53 = add nuw i64 %30, 16
%54 = add i64 %31, 2
%55 = icmp eq i64 %54, %28
br i1 %55, label %56, label %29
56: ; preds = %29, %16
%57 = phi i64 [ 0, %16 ], [ %53, %29 ]
%58 = icmp eq i64 %25, 0
br i1 %58, label %70, label %59
59: ; preds = %56
%60 = getelementptr inbounds i32, i32* %3, i64 %57
%61 = bitcast i32* %60 to <4 x i32>*
%62 = load <4 x i32>, <4 x i32>* %61
%63 = getelementptr inbounds i32, i32* %60, i64 4
%64 = bitcast i32* %63 to <4 x i32>*
%65 = load <4 x i32>, <4 x i32>* %64
%66 = sub nsw <4 x i32> %62, %19
%67 = sub nsw <4 x i32> %65, %21
%68 = bitcast i32* %60 to <4 x i32>*
store <4 x i32> %66, <4 x i32>* %68
%69 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> %67, <4 x i32>* %69
br label %70
70: ; preds = %56, %59
%71 = icmp eq i64 %17, %14
br i1 %71, label %81, label %72
72: ; preds = %11, %70
%73 = phi i64 [ 0, %11 ], [ %17, %70 ]
br label %74
74: ; preds = %72, %74
%75 = phi i64 [ %76, %74 ], [ %73, %72 ]
%76 = add nuw nsw i64 %75, 1
%77 = getelementptr inbounds i32, i32* %3, i64 %75
%78 = load i32, i32* %77
%79 = sub nsw i32 %78, %4
store i32 %79, i32* %77
%80 = icmp eq i64 %76, %14
br i1 %80, label %81, label %74
81: ; preds = %74, %70, %7
%82 = shl i32 %8, 2
%83 = tail call i64 @libaft_malloc(i32 %82)
%84 = inttoptr i64 %83 to i32*
%85 = tail call i64 @check_xyz(i32 %8, double* %1, i32* %84)
%86 = icmp eq i64 %85, 0
br i1 %86, label %87, label %89
87: ; preds = %81
%88 = icmp eq i32 %6, 0
br i1 %88, label %99, label %96
89: ; preds = %81
%90 = icmp eq i32 %5, 0
br i1 %90, label %99, label %91
91: ; preds = %89
%92 = tail call i64 @fix_xyz(i32* %0, double* %1, i32* %2, i32* %3, i32* %84)
%93 = icmp eq i64 %92, 0
br i1 %93, label %94, label %99
94: ; preds = %91
%95 = icmp eq i32 %6, 0
br i1 %95, label %99, label %96
96: ; preds = %94, %87
%97 = phi i8* [ getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), %87 ], [ getelementptr inbounds ([40 x i8], [40 x i8]* @.str.1, i64 0, i64 0), %94 ]
%98 = tail call i32 @libaft_3d_warn(i8* %97)
br label %99
99: ; preds = %96, %89, %91, %94, %87
%100 = phi i32 [ 0, %87 ], [ 0, %94 ], [ 1, %91 ], [ 1, %89 ], [ 0, %96 ]
%101 = load i32, i32* %2
%102 = tail call i64 @check_tri(i32 %101, i32* %3, i32 %4, i32 %6)
%103 = icmp eq i64 %102, 0
br i1 %103, label %104, label %108
104: ; preds = %99
%105 = icmp eq i32 %6, 0
br i1 %105, label %119, label %106
106: ; preds = %104
%107 = tail call i32 @libaft_3d_warn(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0))
br label %119
108: ; preds = %99
%109 = icmp eq i32 %5, 0
br i1 %109, label %117, label %110
110: ; preds = %108
%111 = tail call i64 @fix_tri(i32* %0, double* %1, i32* %2, i32* %3)
%112 = icmp eq i64 %111, 0
br i1 %112, label %113, label %117
113: ; preds = %110
%114 = icmp eq i32 %6, 0
br i1 %114, label %119, label %115
115: ; preds = %113
%116 = tail call i32 @libaft_3d_warn(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.3, i64 0, i64 0))
br label %119
117: ; preds = %110, %108
%118 = add nuw nsw i32 %100, 1
br label %119
119: ; preds = %117, %115, %113, %104, %106
%120 = phi i32 [ %100, %106 ], [ %100, %104 ], [ %100, %115 ], [ %100, %113 ], [ %118, %117 ]
%121 = tail call i32 @libaft_free(i32* %84)
%122 = icmp sgt i32 %101, 0
br i1 %122, label %123, label %193
123: ; preds = %119
%124 = mul i32 %101, 3
%125 = call i32 @llvm.smax.i32(i32 %124, i32 1)
%126 = zext i32 %125 to i64
%127 = icmp ult i32 %125, 8
br i1 %127, label %184, label %128
128: ; preds = %123
%129 = and i64 %126, 2147483640
%130 = insertelement <4 x i32> poison, i32 %4, i64 0
%131 = shufflevector <4 x i32> %130, <4 x i32> poison, <4 x i32> zeroinitializer
%132 = insertelement <4 x i32> poison, i32 %4, i64 0
%133 = shufflevector <4 x i32> %132, <4 x i32> poison, <4 x i32> zeroinitializer
%134 = add nsw i64 %129, -8
%135 = lshr exact i64 %134, 3
%136 = add nuw nsw i64 %135, 1
%137 = and i64 %136, 1
%138 = icmp eq i64 %134, 0
br i1 %138, label %168, label %139
139: ; preds = %128
%140 = and i64 %136, 4611686018427387902
br label %141
141: ; preds = %141, %139
%142 = phi i64 [ 0, %139 ], [ %165, %141 ]
%143 = phi i64 [ 0, %139 ], [ %166, %141 ]
%144 = getelementptr inbounds i32, i32* %3, i64 %142
%145 = bitcast i32* %144 to <4 x i32>*
%146 = load <4 x i32>, <4 x i32>* %145
%147 = getelementptr inbounds i32, i32* %144, i64 4
%148 = bitcast i32* %147 to <4 x i32>*
%149 = load <4 x i32>, <4 x i32>* %148
%150 = add nsw <4 x i32> %146, %131
%151 = add nsw <4 x i32> %149, %133
%152 = bitcast i32* %144 to <4 x i32>*
store <4 x i32> %150, <4 x i32>* %152
%153 = bitcast i32* %147 to <4 x i32>*
store <4 x i32> %151, <4 x i32>* %153
%154 = or i64 %142, 8
%155 = getelementptr inbounds i32, i32* %3, i64 %154
%156 = bitcast i32* %155 to <4 x i32>*
%157 = load <4 x i32>, <4 x i32>* %156
%158 = getelementptr inbounds i32, i32* %155, i64 4
%159 = bitcast i32* %158 to <4 x i32>*
%160 = load <4 x i32>, <4 x i32>* %159
%161 = add nsw <4 x i32> %157, %131
%162 = add nsw <4 x i32> %160, %133
%163 = bitcast i32* %155 to <4 x i32>*
store <4 x i32> %161, <4 x i32>* %163
%164 = bitcast i32* %158 to <4 x i32>*
store <4 x i32> %162, <4 x i32>* %164
%165 = add nuw i64 %142, 16
%166 = add i64 %143, 2
%167 = icmp eq i64 %166, %140
br i1 %167, label %168, label %141
168: ; preds = %141, %128
%169 = phi i64 [ 0, %128 ], [ %165, %141 ]
%170 = icmp eq i64 %137, 0
br i1 %170, label %182, label %171
171: ; preds = %168
%172 = getelementptr inbounds i32, i32* %3, i64 %169
%173 = bitcast i32* %172 to <4 x i32>*
%174 = load <4 x i32>, <4 x i32>* %173
%175 = getelementptr inbounds i32, i32* %172, i64 4
%176 = bitcast i32* %175 to <4 x i32>*
%177 = load <4 x i32>, <4 x i32>* %176
%178 = add nsw <4 x i32> %174, %131
%179 = add nsw <4 x i32> %177, %133
%180 = bitcast i32* %172 to <4 x i32>*
store <4 x i32> %178, <4 x i32>* %180
%181 = bitcast i32* %175 to <4 x i32>*
store <4 x i32> %179, <4 x i32>* %181
br label %182
182: ; preds = %168, %171
%183 = icmp eq i64 %129, %126
br i1 %183, label %193, label %184
184: ; preds = %123, %182
%185 = phi i64 [ 0, %123 ], [ %129, %182 ]
br label %186
186: ; preds = %184, %186
%187 = phi i64 [ %188, %186 ], [ %185, %184 ]
%188 = add nuw nsw i64 %187, 1
%189 = getelementptr inbounds i32, i32* %3, i64 %187
%190 = load i32, i32* %189
%191 = add nsw i32 %190, %4
store i32 %191, i32* %189
%192 = icmp eq i64 %188, %126
br i1 %192, label %193, label %186
193: ; preds = %186, %182, %119
ret i32 %120
}