int StatMaxInt(int a[], int n, int s) {
  int i;
  int maxa = a[0];
  for (i = 1; i < n; i++) {
    if (a[i * s] > maxa) {
      maxa = a[i * s];
    }
  }
  return maxa;
}


x86 assembly (clang, -O0):
<StatMaxInt>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    116b <StatMaxInt+0x6b>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jle    1158 <StatMaxInt+0x58>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
jmp    115d <StatMaxInt+0x5d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111e <StatMaxInt+0x1e>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<StatMaxInt>:
push   %r15
push   %r14
push   %rbx
mov    (%rdi),%eax
cmp    $0x2,%esi
jl     12ec <StatMaxInt+0x1ec>
movslq %edx,%r8
mov    %esi,%r15d
lea    -0x1(%r15),%r9
mov    $0x1,%r11d
cmp    $0x8,%r9
jb     129d <StatMaxInt+0x19d>
cmp    $0x1,%edx
jne    129d <StatMaxInt+0x19d>
mov    %r9,%r11
and    $0xfffffffffffffff8,%r11
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r11),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     1350 <StatMaxInt+0x250>
mov    %r10,%rax
and    $0xfffffffffffffffe,%rax
lea    0x0(,%r8,4),%rcx
lea    (%rcx,%rcx,8),%rsi
lea    0x10(%rdi),%rbx
mov    %r8,%r14
shl    $0x6,%r14
mov    $0x1,%edx
movdqa %xmm0,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu -0x10(%rbx,%r8,4),%xmm2
movdqu (%rbx,%r8,4),%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqu -0x10(%rbx,%rsi,1),%xmm1
movdqu (%rbx,%rsi,1),%xmm3
movdqa %xmm1,%xmm0
pcmpgtd %xmm4,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm4,%xmm0
por    %xmm1,%xmm0
movdqa %xmm3,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm3
pandn  %xmm2,%xmm1
por    %xmm3,%xmm1
add    %r14,%rbx
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    1190 <StatMaxInt+0x90>
test   $0x1,%r10b
je     124a <StatMaxInt+0x14a>
imul   %r8,%rdx
movdqu (%rdi,%rdx,4),%xmm2
movdqu 0x10(%rdi,%rdx,4),%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
movdqa %xmm2,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%eax
cmp    %r11,%r9
je     12ec <StatMaxInt+0x1ec>
or     $0x1,%r11
mov    %r15d,%esi
sub    %r11d,%esi
mov    %r11,%r9
not    %r9
add    %r15,%r9
and    $0x3,%rsi
je     12e6 <StatMaxInt+0x1e6>
mov    %r11,%rcx
imul   %r8,%rcx
lea    (%rdi,%rcx,4),%rbx
lea    0x0(,%r8,4),%r10
neg    %rsi
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
mov    (%rbx),%edx
cmp    %eax,%edx
cmovg  %edx,%eax
add    $0xffffffffffffffff,%rcx
add    %r10,%rbx
cmp    %rcx,%rsi
jne    12d0 <StatMaxInt+0x1d0>
sub    %rcx,%r11
cmp    $0x3,%r9
jae    12f2 <StatMaxInt+0x1f2>
pop    %rbx
pop    %r14
pop    %r15
ret
sub    %r11,%r15
lea    0x3(%r11),%r9
imul   %r8,%r9
mov    %r8,%r10
shl    $0x4,%r10
lea    0x2(%r11),%rbx
imul   %r8,%rbx
mov    %r11,%rdx
imul   %r8,%rdx
add    $0x1,%r11
imul   %r8,%r11
jmp    1329 <StatMaxInt+0x229>
nopl   (%rax)
add    %r10,%rdi
add    $0xfffffffffffffffc,%r15
je     12ec <StatMaxInt+0x1ec>
mov    (%rdi,%rdx,4),%ecx
cmp    %eax,%ecx
cmovg  %ecx,%eax
mov    (%rdi,%r11,4),%ecx
cmp    %eax,%ecx
jg     133b <StatMaxInt+0x23b>
mov    %eax,%ecx
mov    (%rdi,%rbx,4),%esi
cmp    %ecx,%esi
jg     1344 <StatMaxInt+0x244>
mov    %ecx,%esi
mov    (%rdi,%r9,4),%eax
cmp    %esi,%eax
jg     1320 <StatMaxInt+0x220>
mov    %esi,%eax
jmp    1320 <StatMaxInt+0x220>
mov    $0x1,%edx
movdqa %xmm0,%xmm1
test   $0x1,%r10b
jne    120b <StatMaxInt+0x10b>
jmp    124a <StatMaxInt+0x14a>

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

LLVM IR (-O2):
define i32 @StatMaxInt(i32* nocapture %0, i32 %1, i32 %2) {
%4 = load i32, i32* %0
%5 = icmp sgt i32 %1, 1
br i1 %5, label %6, label %138
6: ; preds = %3
%7 = sext i32 %2 to i64
%8 = zext i32 %1 to i64
%9 = add nsw i64 %8, -1
%10 = icmp ugt i64 %9, 7
%11 = icmp eq i32 %2, 1
%12 = and i1 %10, %11
br i1 %12, label %13, label %85
13: ; preds = %6
%14 = and i64 %9, -8
%15 = or i64 %14, 1
%16 = insertelement <4 x i32> poison, i32 %4, i64 0
%17 = shufflevector <4 x i32> %16, <4 x i32> poison, <4 x i32> zeroinitializer
%18 = add nsw i64 %14, -8
%19 = lshr exact i64 %18, 3
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 1
%22 = icmp eq i64 %18, 0
br i1 %22, label %59, label %23
23: ; preds = %13
%24 = and i64 %20, 4611686018427387902
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %54, %25 ]
%27 = phi <4 x i32> [ %17, %23 ], [ %52, %25 ]
%28 = phi <4 x i32> [ %17, %23 ], [ %53, %25 ]
%29 = phi i64 [ 0, %23 ], [ %55, %25 ]
%30 = or i64 %26, 1
%31 = mul nsw i64 %30, %7
%32 = getelementptr inbounds i32, i32* %0, i64 %31
%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 = icmp sgt <4 x i32> %34, %27
%39 = icmp sgt <4 x i32> %37, %28
%40 = select <4 x i1> %38, <4 x i32> %34, <4 x i32> %27
%41 = select <4 x i1> %39, <4 x i32> %37, <4 x i32> %28
%42 = or i64 %26, 9
%43 = mul nsw i64 %42, %7
%44 = getelementptr inbounds i32, i32* %0, i64 %43
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = getelementptr inbounds i32, i32* %44, i64 4
%48 = bitcast i32* %47 to <4 x i32>*
%49 = load <4 x i32>, <4 x i32>* %48
%50 = icmp sgt <4 x i32> %46, %40
%51 = icmp sgt <4 x i32> %49, %41
%52 = select <4 x i1> %50, <4 x i32> %46, <4 x i32> %40
%53 = select <4 x i1> %51, <4 x i32> %49, <4 x i32> %41
%54 = add nuw i64 %26, 16
%55 = add i64 %29, 2
%56 = icmp eq i64 %55, %24
br i1 %56, label %57, label %25
57: ; preds = %25
%58 = or i64 %54, 1
br label %59
59: ; preds = %57, %13
%60 = phi <4 x i32> [ undef, %13 ], [ %52, %57 ]
%61 = phi <4 x i32> [ undef, %13 ], [ %53, %57 ]
%62 = phi i64 [ 1, %13 ], [ %58, %57 ]
%63 = phi <4 x i32> [ %17, %13 ], [ %52, %57 ]
%64 = phi <4 x i32> [ %17, %13 ], [ %53, %57 ]
%65 = icmp eq i64 %21, 0
br i1 %65, label %78, label %66
66: ; preds = %59
%67 = mul nsw i64 %62, %7
%68 = getelementptr inbounds i32, i32* %0, i64 %67
%69 = bitcast i32* %68 to <4 x i32>*
%70 = load <4 x i32>, <4 x i32>* %69
%71 = getelementptr inbounds i32, i32* %68, i64 4
%72 = bitcast i32* %71 to <4 x i32>*
%73 = load <4 x i32>, <4 x i32>* %72
%74 = icmp sgt <4 x i32> %70, %63
%75 = icmp sgt <4 x i32> %73, %64
%76 = select <4 x i1> %74, <4 x i32> %70, <4 x i32> %63
%77 = select <4 x i1> %75, <4 x i32> %73, <4 x i32> %64
br label %78
78: ; preds = %59, %66
%79 = phi <4 x i32> [ %60, %59 ], [ %76, %66 ]
%80 = phi <4 x i32> [ %61, %59 ], [ %77, %66 ]
%81 = icmp sgt <4 x i32> %79, %80
%82 = select <4 x i1> %81, <4 x i32> %79, <4 x i32> %80
%83 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %82)
%84 = icmp eq i64 %9, %14
br i1 %84, label %138, label %85
85: ; preds = %6, %78
%86 = phi i64 [ 1, %6 ], [ %15, %78 ]
%87 = phi i32 [ %4, %6 ], [ %83, %78 ]
%88 = sub nsw i64 %8, %86
%89 = xor i64 %86, -1
%90 = add nsw i64 %89, %8
%91 = and i64 %88, 3
%92 = icmp eq i64 %91, 0
br i1 %92, label %105, label %93
93: ; preds = %85, %93
%94 = phi i64 [ %102, %93 ], [ %86, %85 ]
%95 = phi i32 [ %101, %93 ], [ %87, %85 ]
%96 = phi i64 [ %103, %93 ], [ 0, %85 ]
%97 = mul nsw i64 %94, %7
%98 = getelementptr inbounds i32, i32* %0, i64 %97
%99 = load i32, i32* %98
%100 = icmp sgt i32 %99, %95
%101 = select i1 %100, i32 %99, i32 %95
%102 = add nuw nsw i64 %94, 1
%103 = add i64 %96, 1
%104 = icmp eq i64 %103, %91
br i1 %104, label %105, label %93
105: ; preds = %93, %85
%106 = phi i32 [ undef, %85 ], [ %101, %93 ]
%107 = phi i64 [ %86, %85 ], [ %102, %93 ]
%108 = phi i32 [ %87, %85 ], [ %101, %93 ]
%109 = icmp ult i64 %90, 3
br i1 %109, label %138, label %110
110: ; preds = %105, %110
%111 = phi i64 [ %136, %110 ], [ %107, %105 ]
%112 = phi i32 [ %135, %110 ], [ %108, %105 ]
%113 = mul nsw i64 %111, %7
%114 = getelementptr inbounds i32, i32* %0, i64 %113
%115 = load i32, i32* %114
%116 = icmp sgt i32 %115, %112
%117 = select i1 %116, i32 %115, i32 %112
%118 = add nuw nsw i64 %111, 1
%119 = mul nsw i64 %118, %7
%120 = getelementptr inbounds i32, i32* %0, i64 %119
%121 = load i32, i32* %120
%122 = icmp sgt i32 %121, %117
%123 = select i1 %122, i32 %121, i32 %117
%124 = add nuw nsw i64 %111, 2
%125 = mul nsw i64 %124, %7
%126 = getelementptr inbounds i32, i32* %0, i64 %125
%127 = load i32, i32* %126
%128 = icmp sgt i32 %127, %123
%129 = select i1 %128, i32 %127, i32 %123
%130 = add nuw nsw i64 %111, 3
%131 = mul nsw i64 %130, %7
%132 = getelementptr inbounds i32, i32* %0, i64 %131
%133 = load i32, i32* %132
%134 = icmp sgt i32 %133, %129
%135 = select i1 %134, i32 %133, i32 %129
%136 = add nuw nsw i64 %111, 4
%137 = icmp eq i64 %136, %8
br i1 %137, label %138, label %110
138: ; preds = %105, %110, %78, %3
%139 = phi i32 [ %4, %3 ], [ %83, %78 ], [ %106, %105 ], [ %135, %110 ]
ret i32 %139
}