#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 fabs(float);
int arrayf_is_linear(float *x, int n) {
  int i;
  float xp, x0, x1, xav;
  if (n < 3)
    return (1);
  x0 = x[0];
  x1 = x[n - 1];
  xav = (x0 + x1) / 2.;
  if (xav == 0)
    xav = (x1 - x0);
  if (xav == 0)
    xav = 1;
  for (i = 1; i < n - 1; i++) {
    xp = x0 + (x1 - x0) * i / (n - 1);
    if (fabs((xp - x[i]) / xav) > 1e-5)
      return (0);
  }
  return (1);
}


x86 assembly (clang, -O0):
<arrayf_is_linear>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    1135 <arrayf_is_linear+0x25>
movl   $0x1,-0x4(%rbp)
jmp    1265 <arrayf_is_linear+0x155>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm0
addss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe91(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    11a2 <arrayf_is_linear+0x92>
jp     11a2 <arrayf_is_linear+0x92>
movss  -0x24(%rbp),%xmm0
subss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    11c6 <arrayf_is_linear+0xb6>
jp     11c6 <arrayf_is_linear+0xb6>
movss  0xe4f(%rip),%xmm0
movss  %xmm0,-0x28(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    125e <arrayf_is_linear+0x14e>
movss  -0x20(%rbp),%xmm0
movss  -0x24(%rbp),%xmm1
subss  -0x20(%rbp),%xmm1
cvtsi2ssl -0x18(%rbp),%xmm2
mulss  %xmm2,%xmm1
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
cvtsi2ss %eax,%xmm2
divss  %xmm2,%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x1c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
divss  -0x28(%rbp),%xmm0
call   1030 <fabs@plt>
cvtsi2sd %eax,%xmm0
movsd  0xdd3(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    124b <arrayf_is_linear+0x13b>
movl   $0x0,-0x4(%rbp)
jmp    1265 <arrayf_is_linear+0x155>
jmp    1250 <arrayf_is_linear+0x140>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11cd <arrayf_is_linear+0xbd>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<arrayf_is_linear>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x38,%rsp
mov    $0x1,%r14d
cmp    $0x3,%esi
jl     11dc <arrayf_is_linear+0xcc>
mov    %esi,%ebx
mov    %rdi,%r15
movss  (%rdi),%xmm1
add    $0xffffffff,%ebx
movss  (%rdi,%rbx,4),%xmm4
movaps %xmm1,%xmm0
addss  %xmm4,%xmm0
mulss  0xeb7(%rip),%xmm0
movss  %xmm1,0xc(%rsp)
subss  %xmm1,%xmm4
xorps  %xmm1,%xmm1
movaps %xmm0,%xmm2
cmpeqss %xmm1,%xmm2
movaps %xmm2,%xmm3
movaps %xmm4,0x20(%rsp)
andps  %xmm4,%xmm3
andnps %xmm0,%xmm2
orps   %xmm3,%xmm2
movaps %xmm2,%xmm0
cmpeqss %xmm1,%xmm0
movss  0xe85(%rip),%xmm1
andps  %xmm0,%xmm1
andnps %xmm2,%xmm0
orps   %xmm0,%xmm1
movaps %xmm1,0x10(%rsp)
xorps  %xmm0,%xmm0
cvtsi2ss %ebx,%xmm0
movss  %xmm0,0x8(%rsp)
mov    $0x1,%ebp
nop
xorps  %xmm0,%xmm0
cvtsi2ss %ebp,%xmm0
mulss  0x20(%rsp),%xmm0
divss  0x8(%rsp),%xmm0
addss  0xc(%rsp),%xmm0
subss  (%r15,%rbp,4),%xmm0
divss  0x10(%rsp),%xmm0
call   1030 <fabs@plt>
test   %eax,%eax
jg     11d9 <arrayf_is_linear+0xc9>
add    $0x1,%rbp
cmp    %rbp,%rbx
jne    11a0 <arrayf_is_linear+0x90>
jmp    11dc <arrayf_is_linear+0xcc>
xor    %r14d,%r14d
mov    %r14d,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @arrayf_is_linear(float* %0, i32 %1) {
%3 = alloca i32
%4 = alloca float*
%5 = alloca i32
%6 = alloca i32
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
store float* %0, float** %4
store i32 %1, i32* %5
%11 = load i32, i32* %5
%12 = icmp slt i32 %11, 3
br i1 %12, label %13, label %14
13: ; preds = %2
store i32 1, i32* %3
br label %77
14: ; preds = %2
%15 = load float*, float** %4
%16 = getelementptr inbounds float, float* %15, i64 0
%17 = load float, float* %16
store float %17, float* %8
%18 = load float*, float** %4
%19 = load i32, i32* %5
%20 = sub nsw i32 %19, 1
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds float, float* %18, i64 %21
%23 = load float, float* %22
store float %23, float* %9
%24 = load float, float* %8
%25 = load float, float* %9
%26 = fadd float %24, %25
%27 = fpext float %26 to double
%28 = fdiv double %27, 2.000000e+00
%29 = fptrunc double %28 to float
store float %29, float* %10
%30 = load float, float* %10
%31 = fcmp oeq float %30, 0.000000e+00
br i1 %31, label %32, label %36
32: ; preds = %14
%33 = load float, float* %9
%34 = load float, float* %8
%35 = fsub float %33, %34
store float %35, float* %10
br label %36
36: ; preds = %32, %14
%37 = load float, float* %10
%38 = fcmp oeq float %37, 0.000000e+00
br i1 %38, label %39, label %40
39: ; preds = %36
store float 1.000000e+00, float* %10
br label %40
40: ; preds = %39, %36
store i32 1, i32* %6
br label %41
41: ; preds = %73, %40
%42 = load i32, i32* %6
%43 = load i32, i32* %5
%44 = sub nsw i32 %43, 1
%45 = icmp slt i32 %42, %44
br i1 %45, label %46, label %76
46: ; preds = %41
%47 = load float, float* %8
%48 = load float, float* %9
%49 = load float, float* %8
%50 = fsub float %48, %49
%51 = load i32, i32* %6
%52 = sitofp i32 %51 to float
%53 = fmul float %50, %52
%54 = load i32, i32* %5
%55 = sub nsw i32 %54, 1
%56 = sitofp i32 %55 to float
%57 = fdiv float %53, %56
%58 = fadd float %47, %57
store float %58, float* %7
%59 = load float, float* %7
%60 = load float*, float** %4
%61 = load i32, i32* %6
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds float, float* %60, i64 %62
%64 = load float, float* %63
%65 = fsub float %59, %64
%66 = load float, float* %10
%67 = fdiv float %65, %66
%68 = call i32 @fabs(float %67)
%69 = sitofp i32 %68 to double
%70 = fcmp ogt double %69, 1.000000e-05
br i1 %70, label %71, label %72
71: ; preds = %46
store i32 0, i32* %3
br label %77
72: ; preds = %46
br label %73
73: ; preds = %72
%74 = load i32, i32* %6
%75 = add nsw i32 %74, 1
store i32 %75, i32* %6
br label %41
76: ; preds = %41
store i32 1, i32* %3
br label %77
77: ; preds = %76, %71, %13
%78 = load i32, i32* %3
ret i32 %78
}

LLVM IR (-O2):
define i32 @arrayf_is_linear(float* nocapture %0, i32 %1) {
%3 = icmp slt i32 %1, 3
br i1 %3, label %34, label %4
4: ; preds = %2
%5 = load float, float* %0
%6 = add nsw i32 %1, -1
%7 = zext i32 %6 to i64
%8 = getelementptr inbounds float, float* %0, i64 %7
%9 = load float, float* %8
%10 = fadd float %5, %9
%11 = fmul float %10, 5.000000e-01
%12 = fcmp oeq float %11, 0.000000e+00
%13 = fsub float %9, %5
%14 = select i1 %12, float %13, float %11
%15 = fcmp oeq float %14, 0.000000e+00
%16 = select i1 %15, float 1.000000e+00, float %14
%17 = sitofp i32 %6 to float
br label %20
18: ; preds = %20
%19 = icmp eq i64 %33, %7
br i1 %19, label %34, label %20
20: ; preds = %4, %18
%21 = phi i64 [ 1, %4 ], [ %33, %18 ]
%22 = trunc i64 %21 to i32
%23 = sitofp i32 %22 to float
%24 = fmul float %13, %23
%25 = fdiv float %24, %17
%26 = fadd float %5, %25
%27 = getelementptr inbounds float, float* %0, i64 %21
%28 = load float, float* %27
%29 = fsub float %26, %28
%30 = fdiv float %29, %16
%31 = tail call i32 @fabs(float %30)
%32 = icmp sgt i32 %31, 0
%33 = add nuw nsw i64 %21, 1
br i1 %32, label %34, label %18
34: ; preds = %20, %18, %2
%35 = phi i32 [ 1, %2 ], [ 0, %20 ], [ 1, %18 ]
ret i32 %35
}