#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 */
double fabs(double);
double cg_inf(double *x, long int n) {
  long int i, n5;
  double t;
  t = ((double)0);
  n5 = n % 5;
  for (i = 0; i < n5; i++)
    if (t < fabs(x[i]))
      t = fabs(x[i]);
  for (; i < n; i += 5) {
    if (t < fabs(x[i]))
      t = fabs(x[i]);
    if (t < fabs(x[i + 1]))
      t = fabs(x[i + 1]);
    if (t < fabs(x[i + 2]))
      t = fabs(x[i + 2]);
    if (t < fabs(x[i + 3]))
      t = fabs(x[i + 3]);
    if (t < fabs(x[i + 4]))
      t = fabs(x[i + 4]);
  }
  return (t);
}


x86 assembly (clang, -O0):
<cg_inf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    $0x5,%ecx
cqto
idiv   %rcx
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1196 <cg_inf+0x96>
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xeab(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    1180 <cg_inf+0x80>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe89(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    1185 <cg_inf+0x85>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    112e <cg_inf+0x2e>
jmp    119b <cg_inf+0x9b>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    131b <cg_inf+0x21b>
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe3e(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    11ed <cg_inf+0xed>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe1c(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movaps 0xdf9(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    1233 <cg_inf+0x133>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movaps 0xdd6(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x10(%rax,%rcx,8),%xmm0
movaps 0xdb3(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    1279 <cg_inf+0x179>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x10(%rax,%rcx,8),%xmm0
movaps 0xd90(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x18(%rax,%rcx,8),%xmm0
movaps 0xd6d(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    12bf <cg_inf+0x1bf>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x18(%rax,%rcx,8),%xmm0
movaps 0xd4a(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x20(%rax,%rcx,8),%xmm0
movaps 0xd27(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    1305 <cg_inf+0x205>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsd  0x20(%rax,%rcx,8),%xmm0
movaps 0xd04(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    130a <cg_inf+0x20a>
mov    -0x18(%rbp),%rax
add    $0x5,%rax
mov    %rax,-0x18(%rbp)
jmp    119b <cg_inf+0x9b>
movsd  -0x28(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<cg_inf>:
movabs $0x6666666666666667,%rcx
66 66 66
mov    %rsi,%rax
imul   %rcx
mov    %rdx,%rax
shr    $0x3f,%rax
sar    %rdx
add    %rax,%rdx
lea    (%rdx,%rdx,4),%rcx
mov    %rsi,%rax
sub    %rcx,%rax
test   %rax,%rax
jle    1163 <cg_inf+0x63>
movsd  (%rdi),%xmm0
andpd  0xec8(%rip),%xmm0
xorpd  %xmm1,%xmm1
maxsd  %xmm1,%xmm0
cmp    $0x1,%rax
je     1169 <cg_inf+0x69>
movsd  0x8(%rdi),%xmm1
andpd  0xead(%rip),%xmm1
maxsd  %xmm0,%xmm1
cmp    $0x2,%rax
jne    11cf <cg_inf+0xcf>
movapd %xmm1,%xmm0
jmp    1169 <cg_inf+0x69>
xorpd  %xmm0,%xmm0
xor    %eax,%eax
cmp    %rsi,%rax
jge    11ce <cg_inf+0xce>
movapd 0xe8a(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
movsd  (%rdi,%rax,8),%xmm2
movsd  0x8(%rdi,%rax,8),%xmm3
movsd  0x10(%rdi,%rax,8),%xmm4
movsd  0x18(%rdi,%rax,8),%xmm5
andpd  %xmm1,%xmm2
maxsd  %xmm0,%xmm2
andpd  %xmm1,%xmm3
maxsd  %xmm2,%xmm3
andpd  %xmm1,%xmm4
maxsd  %xmm3,%xmm4
andpd  %xmm1,%xmm5
maxsd  %xmm4,%xmm5
movsd  0x20(%rdi,%rax,8),%xmm0
andpd  %xmm1,%xmm0
maxsd  %xmm5,%xmm0
add    $0x5,%rax
cmp    %rsi,%rax
jl     1180 <cg_inf+0x80>
ret
movsd  0x10(%rdi),%xmm0
andpd  0xe24(%rip),%xmm0
maxsd  %xmm1,%xmm0
cmp    $0x3,%rax
je     1169 <cg_inf+0x69>
movsd  0x18(%rdi),%xmm1
andpd  0xe0d(%rip),%xmm1
maxsd  %xmm0,%xmm1
cmp    $0x4,%rax
je     115d <cg_inf+0x5d>
movapd 0xdf7(%rip),%xmm2
movsd  0x20(%rdi),%xmm3
movsd  0x28(%rdi),%xmm4
movsd  0x30(%rdi),%xmm0
andpd  %xmm2,%xmm3
maxsd  %xmm1,%xmm3
andpd  %xmm2,%xmm4
maxsd  %xmm3,%xmm4
andpd  %xmm2,%xmm0
maxsd  %xmm4,%xmm0
jmp    1169 <cg_inf+0x69>

LLVM IR (-O0):
define double @cg_inf(double* %0, i64 %1) {
%3 = alloca double*
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca double
store double* %0, double** %3
store i64 %1, i64* %4
store double 0.000000e+00, double* %7
%8 = load i64, i64* %4
%9 = srem i64 %8, 5
store i64 %9, i64* %6
store i64 0, i64* %5
br label %10
10: ; preds = %29, %2
%11 = load i64, i64* %5
%12 = load i64, i64* %6
%13 = icmp slt i64 %11, %12
br i1 %13, label %14, label %32
14: ; preds = %10
%15 = load double, double* %7
%16 = load double*, double** %3
%17 = load i64, i64* %5
%18 = getelementptr inbounds double, double* %16, i64 %17
%19 = load double, double* %18
%20 = call double @llvm.fabs.f64(double %19)
%21 = fcmp olt double %15, %20
br i1 %21, label %22, label %28
22: ; preds = %14
%23 = load double*, double** %3
%24 = load i64, i64* %5
%25 = getelementptr inbounds double, double* %23, i64 %24
%26 = load double, double* %25
%27 = call double @llvm.fabs.f64(double %26)
store double %27, double* %7
br label %28
28: ; preds = %22, %14
br label %29
29: ; preds = %28
%30 = load i64, i64* %5
%31 = add nsw i64 %30, 1
store i64 %31, i64* %5
br label %10
32: ; preds = %10
br label %33
33: ; preds = %116, %32
%34 = load i64, i64* %5
%35 = load i64, i64* %4
%36 = icmp slt i64 %34, %35
br i1 %36, label %37, label %119
37: ; preds = %33
%38 = load double, double* %7
%39 = load double*, double** %3
%40 = load i64, i64* %5
%41 = getelementptr inbounds double, double* %39, i64 %40
%42 = load double, double* %41
%43 = call double @llvm.fabs.f64(double %42)
%44 = fcmp olt double %38, %43
br i1 %44, label %45, label %51
45: ; preds = %37
%46 = load double*, double** %3
%47 = load i64, i64* %5
%48 = getelementptr inbounds double, double* %46, i64 %47
%49 = load double, double* %48
%50 = call double @llvm.fabs.f64(double %49)
store double %50, double* %7
br label %51
51: ; preds = %45, %37
%52 = load double, double* %7
%53 = load double*, double** %3
%54 = load i64, i64* %5
%55 = add nsw i64 %54, 1
%56 = getelementptr inbounds double, double* %53, i64 %55
%57 = load double, double* %56
%58 = call double @llvm.fabs.f64(double %57)
%59 = fcmp olt double %52, %58
br i1 %59, label %60, label %67
60: ; preds = %51
%61 = load double*, double** %3
%62 = load i64, i64* %5
%63 = add nsw i64 %62, 1
%64 = getelementptr inbounds double, double* %61, i64 %63
%65 = load double, double* %64
%66 = call double @llvm.fabs.f64(double %65)
store double %66, double* %7
br label %67
67: ; preds = %60, %51
%68 = load double, double* %7
%69 = load double*, double** %3
%70 = load i64, i64* %5
%71 = add nsw i64 %70, 2
%72 = getelementptr inbounds double, double* %69, i64 %71
%73 = load double, double* %72
%74 = call double @llvm.fabs.f64(double %73)
%75 = fcmp olt double %68, %74
br i1 %75, label %76, label %83
76: ; preds = %67
%77 = load double*, double** %3
%78 = load i64, i64* %5
%79 = add nsw i64 %78, 2
%80 = getelementptr inbounds double, double* %77, i64 %79
%81 = load double, double* %80
%82 = call double @llvm.fabs.f64(double %81)
store double %82, double* %7
br label %83
83: ; preds = %76, %67
%84 = load double, double* %7
%85 = load double*, double** %3
%86 = load i64, i64* %5
%87 = add nsw i64 %86, 3
%88 = getelementptr inbounds double, double* %85, i64 %87
%89 = load double, double* %88
%90 = call double @llvm.fabs.f64(double %89)
%91 = fcmp olt double %84, %90
br i1 %91, label %92, label %99
92: ; preds = %83
%93 = load double*, double** %3
%94 = load i64, i64* %5
%95 = add nsw i64 %94, 3
%96 = getelementptr inbounds double, double* %93, i64 %95
%97 = load double, double* %96
%98 = call double @llvm.fabs.f64(double %97)
store double %98, double* %7
br label %99
99: ; preds = %92, %83
%100 = load double, double* %7
%101 = load double*, double** %3
%102 = load i64, i64* %5
%103 = add nsw i64 %102, 4
%104 = getelementptr inbounds double, double* %101, i64 %103
%105 = load double, double* %104
%106 = call double @llvm.fabs.f64(double %105)
%107 = fcmp olt double %100, %106
br i1 %107, label %108, label %115
108: ; preds = %99
%109 = load double*, double** %3
%110 = load i64, i64* %5
%111 = add nsw i64 %110, 4
%112 = getelementptr inbounds double, double* %109, i64 %111
%113 = load double, double* %112
%114 = call double @llvm.fabs.f64(double %113)
store double %114, double* %7
br label %115
115: ; preds = %108, %99
br label %116
116: ; preds = %115
%117 = load i64, i64* %5
%118 = add nsw i64 %117, 5
store i64 %118, i64* %5
br label %33
119: ; preds = %33
%120 = load double, double* %7
ret double %120
}

LLVM IR (-O2):
define double @cg_inf(double* nocapture %0, i64 %1) {
%3 = srem i64 %1, 5
%4 = icmp sgt i64 %3, 0
br i1 %4, label %9, label %5
5: ; preds = %9, %15, %22, %29, %36, %2
%6 = phi i64 [ 0, %2 ], [ %3, %36 ], [ %3, %29 ], [ %3, %22 ], [ %3, %15 ], [ %3, %9 ]
%7 = phi double [ 0.000000e+00, %2 ], [ %13, %9 ], [ %20, %15 ], [ %27, %22 ], [ %34, %29 ], [ %51, %36 ]
%8 = icmp slt i64 %6, %1
br i1 %8, label %52, label %86
9: ; preds = %2
%10 = load double, double* %0
%11 = tail call double @llvm.fabs.f64(double %10)
%12 = fcmp ogt double %11, 0.000000e+00
%13 = select i1 %12, double %11, double 0.000000e+00
%14 = icmp eq i64 %3, 1
br i1 %14, label %5, label %15
15: ; preds = %9
%16 = getelementptr inbounds double, double* %0, i64 1
%17 = load double, double* %16
%18 = tail call double @llvm.fabs.f64(double %17)
%19 = fcmp olt double %13, %18
%20 = select i1 %19, double %18, double %13
%21 = icmp eq i64 %3, 2
br i1 %21, label %5, label %22
22: ; preds = %15
%23 = getelementptr inbounds double, double* %0, i64 2
%24 = load double, double* %23
%25 = tail call double @llvm.fabs.f64(double %24)
%26 = fcmp olt double %20, %25
%27 = select i1 %26, double %25, double %20
%28 = icmp eq i64 %3, 3
br i1 %28, label %5, label %29
29: ; preds = %22
%30 = getelementptr inbounds double, double* %0, i64 3
%31 = load double, double* %30
%32 = tail call double @llvm.fabs.f64(double %31)
%33 = fcmp olt double %27, %32
%34 = select i1 %33, double %32, double %27
%35 = icmp eq i64 %3, 4
br i1 %35, label %5, label %36
36: ; preds = %29
%37 = getelementptr inbounds double, double* %0, i64 4
%38 = load double, double* %37
%39 = tail call double @llvm.fabs.f64(double %38)
%40 = fcmp olt double %34, %39
%41 = select i1 %40, double %39, double %34
%42 = getelementptr inbounds double, double* %0, i64 5
%43 = load double, double* %42
%44 = tail call double @llvm.fabs.f64(double %43)
%45 = fcmp olt double %41, %44
%46 = select i1 %45, double %44, double %41
%47 = getelementptr inbounds double, double* %0, i64 6
%48 = load double, double* %47
%49 = tail call double @llvm.fabs.f64(double %48)
%50 = fcmp olt double %46, %49
%51 = select i1 %50, double %49, double %46
br label %5
52: ; preds = %5, %52
%53 = phi double [ %83, %52 ], [ %7, %5 ]
%54 = phi i64 [ %84, %52 ], [ %6, %5 ]
%55 = getelementptr inbounds double, double* %0, i64 %54
%56 = load double, double* %55
%57 = tail call double @llvm.fabs.f64(double %56)
%58 = fcmp olt double %53, %57
%59 = select i1 %58, double %57, double %53
%60 = add nuw nsw i64 %54, 1
%61 = getelementptr inbounds double, double* %0, i64 %60
%62 = load double, double* %61
%63 = tail call double @llvm.fabs.f64(double %62)
%64 = fcmp olt double %59, %63
%65 = select i1 %64, double %63, double %59
%66 = add nuw nsw i64 %54, 2
%67 = getelementptr inbounds double, double* %0, i64 %66
%68 = load double, double* %67
%69 = tail call double @llvm.fabs.f64(double %68)
%70 = fcmp olt double %65, %69
%71 = select i1 %70, double %69, double %65
%72 = add nuw nsw i64 %54, 3
%73 = getelementptr inbounds double, double* %0, i64 %72
%74 = load double, double* %73
%75 = tail call double @llvm.fabs.f64(double %74)
%76 = fcmp olt double %71, %75
%77 = select i1 %76, double %75, double %71
%78 = add nuw nsw i64 %54, 4
%79 = getelementptr inbounds double, double* %0, i64 %78
%80 = load double, double* %79
%81 = tail call double @llvm.fabs.f64(double %80)
%82 = fcmp olt double %77, %81
%83 = select i1 %82, double %81, double %77
%84 = add nuw nsw i64 %54, 5
%85 = icmp slt i64 %84, %1
br i1 %85, label %52, label %86
86: ; preds = %52, %5
%87 = phi double [ %7, %5 ], [ %83, %52 ]
ret double %87
}