#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 Patch_FlatnessTest(float, float const *, float const *, float const *);
void Patch_GetFlatness(float maxflat, const float *points, int comp,
                       const int *patch_cp, int *flat) {
  int i, p, u, v;
  float maxflat2 = maxflat * maxflat;
  flat[0] = flat[1] = 0;
  for (v = 0; v < patch_cp[1] - 1; v += 2) {
    for (u = 0; u < patch_cp[0] - 1; u += 2) {
      p = v * patch_cp[0] + u;
      i = Patch_FlatnessTest(maxflat2, &points[p * comp],
                             &points[(p + 1) * comp], &points[(p + 2) * comp]);
      flat[0] = ((flat[0]) > (i) ? (flat[0]) : (i));
      i = Patch_FlatnessTest(maxflat2, &points[(p + patch_cp[0]) * comp],
                             &points[(p + patch_cp[0] + 1) * comp],
                             &points[(p + patch_cp[0] + 2) * comp]);
      flat[0] = ((flat[0]) > (i) ? (flat[0]) : (i));
      i = Patch_FlatnessTest(maxflat2, &points[(p + 2 * patch_cp[0]) * comp],
                             &points[(p + 2 * patch_cp[0] + 1) * comp],
                             &points[(p + 2 * patch_cp[0] + 2) * comp]);
      flat[0] = ((flat[0]) > (i) ? (flat[0]) : (i));
      i = Patch_FlatnessTest(maxflat2, &points[p * comp],
                             &points[(p + patch_cp[0]) * comp],
                             &points[(p + 2 * patch_cp[0]) * comp]);
      flat[1] = ((flat[1]) > (i) ? (flat[1]) : (i));
      i = Patch_FlatnessTest(maxflat2, &points[(p + 1) * comp],
                             &points[(p + patch_cp[0] + 1) * comp],
                             &points[(p + 2 * patch_cp[0] + 1) * comp]);
      flat[1] = ((flat[1]) > (i) ? (flat[1]) : (i));
      i = Patch_FlatnessTest(maxflat2, &points[(p + 2) * comp],
                             &points[(p + patch_cp[0] + 2) * comp],
                             &points[(p + 2 * patch_cp[0] + 2) * comp]);
      flat[1] = ((flat[1]) > (i) ? (flat[1]) : (i));
    }
  }
}


x86 assembly (clang, -O0):
<Patch_GetFlatness>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movss  %xmm0,-0x4(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movss  -0x4(%rbp),%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
movl   $0x0,0x4(%rax)
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    0x4(%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1509 <Patch_GetFlatness+0x3f9>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    14f6 <Patch_GetFlatness+0x3e6>
mov    -0x38(%rbp),%eax
mov    -0x20(%rbp),%rcx
imul   (%rcx),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%eax
add    $0x2,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
call   1030 <Patch_FlatnessTest@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
cmp    -0x2c(%rbp),%eax
jle    1203 <Patch_GetFlatness+0xf3>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x40(%rbp)
jmp    1209 <Patch_GetFlatness+0xf9>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
add    $0x2,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
call   1030 <Patch_FlatnessTest@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
cmp    -0x2c(%rbp),%eax
jle    1290 <Patch_GetFlatness+0x180>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x44(%rbp)
jmp    1296 <Patch_GetFlatness+0x186>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
add    $0x2,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
call   1030 <Patch_FlatnessTest@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
cmp    -0x2c(%rbp),%eax
jle    132c <Patch_GetFlatness+0x21c>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x48(%rbp)
jmp    1332 <Patch_GetFlatness+0x222>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
call   1030 <Patch_FlatnessTest@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
cmp    -0x2c(%rbp),%eax
jle    13b4 <Patch_GetFlatness+0x2a4>
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x4c(%rbp)
jmp    13ba <Patch_GetFlatness+0x2aa>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4(%rax)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
call   1030 <Patch_FlatnessTest@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
cmp    -0x2c(%rbp),%eax
jle    1446 <Patch_GetFlatness+0x336>
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x50(%rbp)
jmp    144c <Patch_GetFlatness+0x33c>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4(%rax)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%eax
add    $0x2,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
add    $0x2,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
add    $0x2,%eax
imul   -0x14(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
call   1030 <Patch_FlatnessTest@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
cmp    -0x2c(%rbp),%eax
jle    14d8 <Patch_GetFlatness+0x3c8>
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x54(%rbp)
jmp    14de <Patch_GetFlatness+0x3ce>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x34(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x34(%rbp)
jmp    1173 <Patch_GetFlatness+0x63>
jmp    14fb <Patch_GetFlatness+0x3eb>
mov    -0x38(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x38(%rbp)
jmp    1157 <Patch_GetFlatness+0x47>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Patch_GetFlatness>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
movq   $0x0,(%rcx)
mov    0x4(%rdx),%eax
cmp    $0x2,%eax
jl     1350 <Patch_GetFlatness+0x240>
mov    %rcx,%r15
mov    %rdx,%r14
mov    %esi,%ebp
mov    %rdi,%rbx
mulss  %xmm0,%xmm0
mov    (%rdx),%r13d
xor    %edx,%edx
movss  %xmm0,0x8(%rsp)
jmp    115e <Patch_GetFlatness+0x4e>
nopl   (%rax)
add    $0x2,%edx
lea    -0x1(%rax),%ecx
cmp    %ecx,%edx
jge    1350 <Patch_GetFlatness+0x240>
cmp    $0x2,%r13d
jl     1150 <Patch_GetFlatness+0x40>
xor    %r12d,%r12d
mov    %edx,0xc(%rsp)
nopl   0x0(%rax,%rax,1)
imul   %edx,%r13d
lea    (%r12,%r13,1),%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdi
mov    %rdi,0x10(%rsp)
lea    (%r12,%r13,1),%eax
add    $0x1,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rsi
mov    %rsi,0x18(%rsp)
lea    (%r12,%r13,1),%eax
add    $0x2,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdx
mov    %rdx,0x20(%rsp)
movss  0x8(%rsp),%xmm0
call   1030 <Patch_FlatnessTest@plt>
mov    (%r15),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    %eax,(%r15)
mov    (%r14),%eax
add    %r13d,%eax
lea    (%r12,%rax,1),%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rdi
lea    (%r12,%rax,1),%ecx
add    $0x1,%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rsi
add    %r12d,%eax
add    $0x2,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdx
movss  0x8(%rsp),%xmm0
call   1030 <Patch_FlatnessTest@plt>
mov    (%r15),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    %eax,(%r15)
mov    (%r14),%eax
lea    0x0(%r13,%rax,2),%eax
lea    (%r12,%rax,1),%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rdi
lea    (%r12,%rax,1),%ecx
add    $0x1,%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rsi
add    %r12d,%eax
add    $0x2,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdx
movss  0x8(%rsp),%xmm0
call   1030 <Patch_FlatnessTest@plt>
mov    (%r15),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    %eax,(%r15)
mov    (%r14),%eax
lea    (%rax,%r13,1),%ecx
add    %r12d,%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rsi
lea    0x0(%r13,%rax,2),%eax
add    %r12d,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdx
movss  0x8(%rsp),%xmm0
mov    0x10(%rsp),%rdi
call   1030 <Patch_FlatnessTest@plt>
mov    0x4(%r15),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    %eax,0x4(%r15)
mov    (%r14),%eax
lea    (%rax,%r13,1),%ecx
add    %r12d,%ecx
add    $0x1,%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rsi
lea    0x0(%r13,%rax,2),%eax
add    %r12d,%eax
add    $0x1,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdx
movss  0x8(%rsp),%xmm0
mov    0x18(%rsp),%rdi
call   1030 <Patch_FlatnessTest@plt>
mov    0x4(%r15),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    %eax,0x4(%r15)
mov    (%r14),%eax
mov    %r13d,%ecx
add    %eax,%ecx
add    %r12d,%ecx
add    $0x2,%ecx
imul   %ebp,%ecx
movslq %ecx,%rcx
lea    (%rbx,%rcx,4),%rsi
lea    0x0(%r13,%rax,2),%eax
add    %r12d,%eax
add    $0x2,%eax
imul   %ebp,%eax
cltq
lea    (%rbx,%rax,4),%rdx
movss  0x8(%rsp),%xmm0
mov    0x20(%rsp),%rdi
call   1030 <Patch_FlatnessTest@plt>
mov    0xc(%rsp),%edx
mov    0x4(%r15),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    %eax,0x4(%r15)
add    $0x2,%r12d
mov    (%r14),%r13d
lea    -0x1(%r13),%eax
cmp    %eax,%r12d
jl     1170 <Patch_GetFlatness+0x60>
mov    0x4(%r14),%eax
jmp    1150 <Patch_GetFlatness+0x40>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @Patch_GetFlatness(float %0, float* %1, i32 %2, i32* %3, i32* %4) {
%6 = alloca float
%7 = alloca float*
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca float
store float %0, float* %6
store float* %1, float** %7
store i32 %2, i32* %8
store i32* %3, i32** %9
store i32* %4, i32** %10
%16 = load float, float* %6
%17 = load float, float* %6
%18 = fmul float %16, %17
store float %18, float* %15
%19 = load i32*, i32** %10
%20 = getelementptr inbounds i32, i32* %19, i64 1
store i32 0, i32* %20
%21 = load i32*, i32** %10
%22 = getelementptr inbounds i32, i32* %21, i64 0
store i32 0, i32* %22
store i32 0, i32* %14
br label %23
23: ; preds = %326, %5
%24 = load i32, i32* %14
%25 = load i32*, i32** %9
%26 = getelementptr inbounds i32, i32* %25, i64 1
%27 = load i32, i32* %26
%28 = sub nsw i32 %27, 1
%29 = icmp slt i32 %24, %28
br i1 %29, label %30, label %329
30: ; preds = %23
store i32 0, i32* %13
br label %31
31: ; preds = %322, %30
%32 = load i32, i32* %13
%33 = load i32*, i32** %9
%34 = getelementptr inbounds i32, i32* %33, i64 0
%35 = load i32, i32* %34
%36 = sub nsw i32 %35, 1
%37 = icmp slt i32 %32, %36
br i1 %37, label %38, label %325
38: ; preds = %31
%39 = load i32, i32* %14
%40 = load i32*, i32** %9
%41 = getelementptr inbounds i32, i32* %40, i64 0
%42 = load i32, i32* %41
%43 = mul nsw i32 %39, %42
%44 = load i32, i32* %13
%45 = add nsw i32 %43, %44
store i32 %45, i32* %12
%46 = load float, float* %15
%47 = load float*, float** %7
%48 = load i32, i32* %12
%49 = load i32, i32* %8
%50 = mul nsw i32 %48, %49
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds float, float* %47, i64 %51
%53 = load float*, float** %7
%54 = load i32, i32* %12
%55 = add nsw i32 %54, 1
%56 = load i32, i32* %8
%57 = mul nsw i32 %55, %56
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds float, float* %53, i64 %58
%60 = load float*, float** %7
%61 = load i32, i32* %12
%62 = add nsw i32 %61, 2
%63 = load i32, i32* %8
%64 = mul nsw i32 %62, %63
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds float, float* %60, i64 %65
%67 = call i32 @Patch_FlatnessTest(float %46, float* %52, float* %59, float* %66)
store i32 %67, i32* %11
%68 = load i32*, i32** %10
%69 = getelementptr inbounds i32, i32* %68, i64 0
%70 = load i32, i32* %69
%71 = load i32, i32* %11
%72 = icmp sgt i32 %70, %71
br i1 %72, label %73, label %77
73: ; preds = %38
%74 = load i32*, i32** %10
%75 = getelementptr inbounds i32, i32* %74, i64 0
%76 = load i32, i32* %75
br label %79
77: ; preds = %38
%78 = load i32, i32* %11
br label %79
79: ; preds = %77, %73
%80 = phi i32 [ %76, %73 ], [ %78, %77 ]
%81 = load i32*, i32** %10
%82 = getelementptr inbounds i32, i32* %81, i64 0
store i32 %80, i32* %82
%83 = load float, float* %15
%84 = load float*, float** %7
%85 = load i32, i32* %12
%86 = load i32*, i32** %9
%87 = getelementptr inbounds i32, i32* %86, i64 0
%88 = load i32, i32* %87
%89 = add nsw i32 %85, %88
%90 = load i32, i32* %8
%91 = mul nsw i32 %89, %90
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds float, float* %84, i64 %92
%94 = load float*, float** %7
%95 = load i32, i32* %12
%96 = load i32*, i32** %9
%97 = getelementptr inbounds i32, i32* %96, i64 0
%98 = load i32, i32* %97
%99 = add nsw i32 %95, %98
%100 = add nsw i32 %99, 1
%101 = load i32, i32* %8
%102 = mul nsw i32 %100, %101
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds float, float* %94, i64 %103
%105 = load float*, float** %7
%106 = load i32, i32* %12
%107 = load i32*, i32** %9
%108 = getelementptr inbounds i32, i32* %107, i64 0
%109 = load i32, i32* %108
%110 = add nsw i32 %106, %109
%111 = add nsw i32 %110, 2
%112 = load i32, i32* %8
%113 = mul nsw i32 %111, %112
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds float, float* %105, i64 %114
%116 = call i32 @Patch_FlatnessTest(float %83, float* %93, float* %104, float* %115)
store i32 %116, i32* %11
%117 = load i32*, i32** %10
%118 = getelementptr inbounds i32, i32* %117, i64 0
%119 = load i32, i32* %118
%120 = load i32, i32* %11
%121 = icmp sgt i32 %119, %120
br i1 %121, label %122, label %126
122: ; preds = %79
%123 = load i32*, i32** %10
%124 = getelementptr inbounds i32, i32* %123, i64 0
%125 = load i32, i32* %124
br label %128
126: ; preds = %79
%127 = load i32, i32* %11
br label %128
128: ; preds = %126, %122
%129 = phi i32 [ %125, %122 ], [ %127, %126 ]
%130 = load i32*, i32** %10
%131 = getelementptr inbounds i32, i32* %130, i64 0
store i32 %129, i32* %131
%132 = load float, float* %15
%133 = load float*, float** %7
%134 = load i32, i32* %12
%135 = load i32*, i32** %9
%136 = getelementptr inbounds i32, i32* %135, i64 0
%137 = load i32, i32* %136
%138 = mul nsw i32 2, %137
%139 = add nsw i32 %134, %138
%140 = load i32, i32* %8
%141 = mul nsw i32 %139, %140
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds float, float* %133, i64 %142
%144 = load float*, float** %7
%145 = load i32, i32* %12
%146 = load i32*, i32** %9
%147 = getelementptr inbounds i32, i32* %146, i64 0
%148 = load i32, i32* %147
%149 = mul nsw i32 2, %148
%150 = add nsw i32 %145, %149
%151 = add nsw i32 %150, 1
%152 = load i32, i32* %8
%153 = mul nsw i32 %151, %152
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds float, float* %144, i64 %154
%156 = load float*, float** %7
%157 = load i32, i32* %12
%158 = load i32*, i32** %9
%159 = getelementptr inbounds i32, i32* %158, i64 0
%160 = load i32, i32* %159
%161 = mul nsw i32 2, %160
%162 = add nsw i32 %157, %161
%163 = add nsw i32 %162, 2
%164 = load i32, i32* %8
%165 = mul nsw i32 %163, %164
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds float, float* %156, i64 %166
%168 = call i32 @Patch_FlatnessTest(float %132, float* %143, float* %155, float* %167)
store i32 %168, i32* %11
%169 = load i32*, i32** %10
%170 = getelementptr inbounds i32, i32* %169, i64 0
%171 = load i32, i32* %170
%172 = load i32, i32* %11
%173 = icmp sgt i32 %171, %172
br i1 %173, label %174, label %178
174: ; preds = %128
%175 = load i32*, i32** %10
%176 = getelementptr inbounds i32, i32* %175, i64 0
%177 = load i32, i32* %176
br label %180
178: ; preds = %128
%179 = load i32, i32* %11
br label %180
180: ; preds = %178, %174
%181 = phi i32 [ %177, %174 ], [ %179, %178 ]
%182 = load i32*, i32** %10
%183 = getelementptr inbounds i32, i32* %182, i64 0
store i32 %181, i32* %183
%184 = load float, float* %15
%185 = load float*, float** %7
%186 = load i32, i32* %12
%187 = load i32, i32* %8
%188 = mul nsw i32 %186, %187
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds float, float* %185, i64 %189
%191 = load float*, float** %7
%192 = load i32, i32* %12
%193 = load i32*, i32** %9
%194 = getelementptr inbounds i32, i32* %193, i64 0
%195 = load i32, i32* %194
%196 = add nsw i32 %192, %195
%197 = load i32, i32* %8
%198 = mul nsw i32 %196, %197
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds float, float* %191, i64 %199
%201 = load float*, float** %7
%202 = load i32, i32* %12
%203 = load i32*, i32** %9
%204 = getelementptr inbounds i32, i32* %203, i64 0
%205 = load i32, i32* %204
%206 = mul nsw i32 2, %205
%207 = add nsw i32 %202, %206
%208 = load i32, i32* %8
%209 = mul nsw i32 %207, %208
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds float, float* %201, i64 %210
%212 = call i32 @Patch_FlatnessTest(float %184, float* %190, float* %200, float* %211)
store i32 %212, i32* %11
%213 = load i32*, i32** %10
%214 = getelementptr inbounds i32, i32* %213, i64 1
%215 = load i32, i32* %214
%216 = load i32, i32* %11
%217 = icmp sgt i32 %215, %216
br i1 %217, label %218, label %222
218: ; preds = %180
%219 = load i32*, i32** %10
%220 = getelementptr inbounds i32, i32* %219, i64 1
%221 = load i32, i32* %220
br label %224
222: ; preds = %180
%223 = load i32, i32* %11
br label %224
224: ; preds = %222, %218
%225 = phi i32 [ %221, %218 ], [ %223, %222 ]
%226 = load i32*, i32** %10
%227 = getelementptr inbounds i32, i32* %226, i64 1
store i32 %225, i32* %227
%228 = load float, float* %15
%229 = load float*, float** %7
%230 = load i32, i32* %12
%231 = add nsw i32 %230, 1
%232 = load i32, i32* %8
%233 = mul nsw i32 %231, %232
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds float, float* %229, i64 %234
%236 = load float*, float** %7
%237 = load i32, i32* %12
%238 = load i32*, i32** %9
%239 = getelementptr inbounds i32, i32* %238, i64 0
%240 = load i32, i32* %239
%241 = add nsw i32 %237, %240
%242 = add nsw i32 %241, 1
%243 = load i32, i32* %8
%244 = mul nsw i32 %242, %243
%245 = sext i32 %244 to i64
%246 = getelementptr inbounds float, float* %236, i64 %245
%247 = load float*, float** %7
%248 = load i32, i32* %12
%249 = load i32*, i32** %9
%250 = getelementptr inbounds i32, i32* %249, i64 0
%251 = load i32, i32* %250
%252 = mul nsw i32 2, %251
%253 = add nsw i32 %248, %252
%254 = add nsw i32 %253, 1
%255 = load i32, i32* %8
%256 = mul nsw i32 %254, %255
%257 = sext i32 %256 to i64
%258 = getelementptr inbounds float, float* %247, i64 %257
%259 = call i32 @Patch_FlatnessTest(float %228, float* %235, float* %246, float* %258)
store i32 %259, i32* %11
%260 = load i32*, i32** %10
%261 = getelementptr inbounds i32, i32* %260, i64 1
%262 = load i32, i32* %261
%263 = load i32, i32* %11
%264 = icmp sgt i32 %262, %263
br i1 %264, label %265, label %269
265: ; preds = %224
%266 = load i32*, i32** %10
%267 = getelementptr inbounds i32, i32* %266, i64 1
%268 = load i32, i32* %267
br label %271
269: ; preds = %224
%270 = load i32, i32* %11
br label %271
271: ; preds = %269, %265
%272 = phi i32 [ %268, %265 ], [ %270, %269 ]
%273 = load i32*, i32** %10
%274 = getelementptr inbounds i32, i32* %273, i64 1
store i32 %272, i32* %274
%275 = load float, float* %15
%276 = load float*, float** %7
%277 = load i32, i32* %12
%278 = add nsw i32 %277, 2
%279 = load i32, i32* %8
%280 = mul nsw i32 %278, %279
%281 = sext i32 %280 to i64
%282 = getelementptr inbounds float, float* %276, i64 %281
%283 = load float*, float** %7
%284 = load i32, i32* %12
%285 = load i32*, i32** %9
%286 = getelementptr inbounds i32, i32* %285, i64 0
%287 = load i32, i32* %286
%288 = add nsw i32 %284, %287
%289 = add nsw i32 %288, 2
%290 = load i32, i32* %8
%291 = mul nsw i32 %289, %290
%292 = sext i32 %291 to i64
%293 = getelementptr inbounds float, float* %283, i64 %292
%294 = load float*, float** %7
%295 = load i32, i32* %12
%296 = load i32*, i32** %9
%297 = getelementptr inbounds i32, i32* %296, i64 0
%298 = load i32, i32* %297
%299 = mul nsw i32 2, %298
%300 = add nsw i32 %295, %299
%301 = add nsw i32 %300, 2
%302 = load i32, i32* %8
%303 = mul nsw i32 %301, %302
%304 = sext i32 %303 to i64
%305 = getelementptr inbounds float, float* %294, i64 %304
%306 = call i32 @Patch_FlatnessTest(float %275, float* %282, float* %293, float* %305)
store i32 %306, i32* %11
%307 = load i32*, i32** %10
%308 = getelementptr inbounds i32, i32* %307, i64 1
%309 = load i32, i32* %308
%310 = load i32, i32* %11
%311 = icmp sgt i32 %309, %310
br i1 %311, label %312, label %316
312: ; preds = %271
%313 = load i32*, i32** %10
%314 = getelementptr inbounds i32, i32* %313, i64 1
%315 = load i32, i32* %314
br label %318
316: ; preds = %271
%317 = load i32, i32* %11
br label %318
318: ; preds = %316, %312
%319 = phi i32 [ %315, %312 ], [ %317, %316 ]
%320 = load i32*, i32** %10
%321 = getelementptr inbounds i32, i32* %320, i64 1
store i32 %319, i32* %321
br label %322
322: ; preds = %318
%323 = load i32, i32* %13
%324 = add nsw i32 %323, 2
store i32 %324, i32* %13
br label %31
325: ; preds = %31
br label %326
326: ; preds = %325
%327 = load i32, i32* %14
%328 = add nsw i32 %327, 2
store i32 %328, i32* %14
br label %23
329: ; preds = %23
ret void
}

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