#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 USHRT_MAX;
double _p3dPunThresholding_maxfromt_16(double *h, int i) {
  int j;
  double x;
  x = h[i + 1];
  for (j = i + 2; j <= USHRT_MAX; j++)
    if (x < h[j])
      x = h[j];
  return x;
}


x86 assembly (clang, -O0):
<_p3dPunThresholding_maxfromt_16>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    0x2eb3(%rip),%rcx
cmp    (%rcx),%eax
jg     117e <_p3dPunThresholding_maxfromt_16+0x7e>
movsd  -0x18(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
jbe    116b <_p3dPunThresholding_maxfromt_16+0x6b>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1170 <_p3dPunThresholding_maxfromt_16+0x70>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    112b <_p3dPunThresholding_maxfromt_16+0x2b>
movsd  -0x18(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<_p3dPunThresholding_maxfromt_16>:
movslq %esi,%rax
movsd  0x8(%rdi,%rax,8),%xmm0
add    $0x2,%eax
mov    0x2ed5(%rip),%rcx
mov    (%rcx),%ecx
cmp    %ecx,%eax
jg     117f <_p3dPunThresholding_maxfromt_16+0x7f>
cltq
mov    %ecx,%edx
sub    %esi,%edx
not    %esi
add    %ecx,%esi
add    $0xfffffffe,%edx
and    $0x3,%esi
je     1146 <_p3dPunThresholding_maxfromt_16+0x46>
movapd %xmm0,%xmm1
nop
movsd  (%rdi,%rax,8),%xmm0
maxsd  %xmm1,%xmm0
add    $0x1,%rax
movapd %xmm0,%xmm1
add    $0xffffffff,%esi
jne    1130 <_p3dPunThresholding_maxfromt_16+0x30>
cmp    $0x3,%edx
jb     117f <_p3dPunThresholding_maxfromt_16+0x7f>
add    $0x1,%ecx
mov    %ecx,%ecx
movsd  (%rdi,%rax,8),%xmm1
maxsd  %xmm0,%xmm1
movsd  0x8(%rdi,%rax,8),%xmm0
maxsd  %xmm1,%xmm0
movsd  0x10(%rdi,%rax,8),%xmm1
maxsd  %xmm0,%xmm1
movsd  0x18(%rdi,%rax,8),%xmm0
maxsd  %xmm1,%xmm0
add    $0x4,%rax
cmp    %eax,%ecx
jne    1150 <_p3dPunThresholding_maxfromt_16+0x50>
ret

LLVM IR (-O0):
@USHRT_MAX = global i32 0
define double @_p3dPunThresholding_maxfromt_16(double* %0, i32 %1) {
%3 = alloca double*
%4 = alloca i32
%5 = alloca i32
%6 = alloca double
store double* %0, double** %3
store i32 %1, i32* %4
%7 = load double*, double** %3
%8 = load i32, i32* %4
%9 = add nsw i32 %8, 1
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds double, double* %7, i64 %10
%12 = load double, double* %11
store double %12, double* %6
%13 = load i32, i32* %4
%14 = add nsw i32 %13, 2
store i32 %14, i32* %5
br label %15
15: ; preds = %34, %2
%16 = load i32, i32* %5
%17 = load i32, i32* @USHRT_MAX
%18 = icmp sle i32 %16, %17
br i1 %18, label %19, label %37
19: ; preds = %15
%20 = load double, double* %6
%21 = load double*, double** %3
%22 = load i32, i32* %5
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds double, double* %21, i64 %23
%25 = load double, double* %24
%26 = fcmp olt double %20, %25
br i1 %26, label %27, label %33
27: ; preds = %19
%28 = load double*, double** %3
%29 = load i32, i32* %5
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds double, double* %28, i64 %30
%32 = load double, double* %31
store double %32, double* %6
br label %33
33: ; preds = %27, %19
br label %34
34: ; preds = %33
%35 = load i32, i32* %5
%36 = add nsw i32 %35, 1
store i32 %36, i32* %5
br label %15
37: ; preds = %15
%38 = load double, double* %6
ret double %38
}

LLVM IR (-O2):
@USHRT_MAX = global i32 0
define double @_p3dPunThresholding_maxfromt_16(double* nocapture %0, i32 %1) {
%3 = add nsw i32 %1, 1
%4 = sext i32 %3 to i64
%5 = getelementptr inbounds double, double* %0, i64 %4
%6 = load double, double* %5
%7 = add i32 %1, 2
%8 = load i32, i32* @USHRT_MAX
%9 = icmp sgt i32 %7, %8
br i1 %9, label %60, label %10
10: ; preds = %2
%11 = sext i32 %7 to i64
%12 = add i32 %8, 1
%13 = xor i32 %1, -1
%14 = add i32 %8, %13
%15 = add i32 %8, -2
%16 = sub i32 %15, %1
%17 = and i32 %14, 3
%18 = icmp eq i32 %17, 0
br i1 %18, label %30, label %19
19: ; preds = %10, %19
%20 = phi i64 [ %27, %19 ], [ %11, %10 ]
%21 = phi double [ %26, %19 ], [ %6, %10 ]
%22 = phi i32 [ %28, %19 ], [ 0, %10 ]
%23 = getelementptr inbounds double, double* %0, i64 %20
%24 = load double, double* %23
%25 = fcmp olt double %21, %24
%26 = select i1 %25, double %24, double %21
%27 = add nsw i64 %20, 1
%28 = add i32 %22, 1
%29 = icmp eq i32 %28, %17
br i1 %29, label %30, label %19
30: ; preds = %19, %10
%31 = phi double [ undef, %10 ], [ %26, %19 ]
%32 = phi i64 [ %11, %10 ], [ %27, %19 ]
%33 = phi double [ %6, %10 ], [ %26, %19 ]
%34 = icmp ult i32 %16, 3
br i1 %34, label %60, label %35
35: ; preds = %30, %35
%36 = phi i64 [ %57, %35 ], [ %32, %30 ]
%37 = phi double [ %56, %35 ], [ %33, %30 ]
%38 = getelementptr inbounds double, double* %0, i64 %36
%39 = load double, double* %38
%40 = fcmp olt double %37, %39
%41 = select i1 %40, double %39, double %37
%42 = add nsw i64 %36, 1
%43 = getelementptr inbounds double, double* %0, i64 %42
%44 = load double, double* %43
%45 = fcmp olt double %41, %44
%46 = select i1 %45, double %44, double %41
%47 = add nsw i64 %36, 2
%48 = getelementptr inbounds double, double* %0, i64 %47
%49 = load double, double* %48
%50 = fcmp olt double %46, %49
%51 = select i1 %50, double %49, double %46
%52 = add nsw i64 %36, 3
%53 = getelementptr inbounds double, double* %0, i64 %52
%54 = load double, double* %53
%55 = fcmp olt double %51, %54
%56 = select i1 %55, double %54, double %51
%57 = add nsw i64 %36, 4
%58 = trunc i64 %57 to i32
%59 = icmp eq i32 %12, %58
br i1 %59, label %60, label %35
60: ; preds = %30, %35, %2
%61 = phi double [ %6, %2 ], [ %31, %30 ], [ %56, %35 ]
ret double %61
}