#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 /*<<< orphan*/ abort();
void test_reductions_minmax(void) {
  const int n = 1000;
  int i;
  int array[n];
  for (i = 0; i < n; i++)
    array[i] = i;
  {
    int res, vres;
    res = (n + 1);
#pragma acc parallel vector_length(vl) copy(res)

#pragma acc loop reduction(min : res)
    for (i = 0; i < n; i++)
      res = (((res) < ((array[i]))) ? (res) : ((array[i])));
    vres = (n + 1);
    for (i = 0; i < n; i++)
      vres = (((vres) < ((array[i]))) ? (vres) : ((array[i])));
    if (res != vres)
      abort();
  };
  {
    int res, vres;
    res = (-1);
#pragma acc parallel vector_length(vl) copy(res)

#pragma acc loop reduction(max : res)
    for (i = 0; i < n; i++)
      res = (((res) > ((array[i]))) ? (res) : ((array[i])));
    vres = (-1);
    for (i = 0; i < n; i++)
      vres = (((vres) > ((array[i]))) ? (vres) : ((array[i])));
    if (res != vres)
      abort();
  };
}


x86 assembly (clang, -O0):
<test_reductions_minmax>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfd0,%rsp
movl   $0x3e8,-0x4(%rbp)
mov    %rsp,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    1159 <test_reductions_minmax+0x49>
mov    -0x8(%rbp),%ecx
movslq -0x8(%rbp),%rax
mov    %ecx,-0xfc0(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1130 <test_reductions_minmax+0x20>
movl   $0x3e9,-0x14(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    11be <test_reductions_minmax+0xae>
mov    -0x14(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfc0(%rbp,%rcx,4),%eax
jge    1196 <test_reductions_minmax+0x86>
mov    -0x14(%rbp),%eax
mov    %eax,-0xfc4(%rbp)
jmp    11a7 <test_reductions_minmax+0x97>
movslq -0x8(%rbp),%rax
mov    -0xfc0(%rbp,%rax,4),%eax
mov    %eax,-0xfc4(%rbp)
mov    -0xfc4(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1167 <test_reductions_minmax+0x57>
movl   $0x3e9,-0x18(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    1223 <test_reductions_minmax+0x113>
mov    -0x18(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfc0(%rbp,%rcx,4),%eax
jge    11fb <test_reductions_minmax+0xeb>
mov    -0x18(%rbp),%eax
mov    %eax,-0xfc8(%rbp)
jmp    120c <test_reductions_minmax+0xfc>
movslq -0x8(%rbp),%rax
mov    -0xfc0(%rbp,%rax,4),%eax
mov    %eax,-0xfc8(%rbp)
mov    -0xfc8(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11cc <test_reductions_minmax+0xbc>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1236 <test_reductions_minmax+0x126>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0xffffffff,-0x1c(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    129b <test_reductions_minmax+0x18b>
mov    -0x1c(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfc0(%rbp,%rcx,4),%eax
jle    1273 <test_reductions_minmax+0x163>
mov    -0x1c(%rbp),%eax
mov    %eax,-0xfcc(%rbp)
jmp    1284 <test_reductions_minmax+0x174>
movslq -0x8(%rbp),%rax
mov    -0xfc0(%rbp,%rax,4),%eax
mov    %eax,-0xfcc(%rbp)
mov    -0xfcc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1244 <test_reductions_minmax+0x134>
movl   $0xffffffff,-0x20(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    1300 <test_reductions_minmax+0x1f0>
mov    -0x20(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfc0(%rbp,%rcx,4),%eax
jle    12d8 <test_reductions_minmax+0x1c8>
mov    -0x20(%rbp),%eax
mov    %eax,-0xfd0(%rbp)
jmp    12e9 <test_reductions_minmax+0x1d9>
movslq -0x8(%rbp),%rax
mov    -0xfc0(%rbp,%rax,4),%eax
mov    %eax,-0xfd0(%rbp)
mov    -0xfd0(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12a9 <test_reductions_minmax+0x199>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1313 <test_reductions_minmax+0x203>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x10(%rbp),%rax
mov    %rax,%rsp
add    $0xfd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_reductions_minmax>:
sub    $0xfa8,%rsp
movdqa 0xee1(%rip),%xmm0
xor    %eax,%eax
movdqa 0xee6(%rip),%xmm8
movdqa 0xeed(%rip),%xmm9
movdqa 0xef4(%rip),%xmm10
movdqa 0xefb(%rip),%xmm11
movdqa 0xf02(%rip),%xmm12
movdqa 0xf0a(%rip),%xmm6
movdqa 0xf12(%rip),%xmm7
movdqa 0xf1a(%rip),%xmm1
movdqa 0xf22(%rip),%xmm2
movdqa 0xf2a(%rip),%xmm3
cs nopw 0x0(%rax,%rax,1)
movdqa %xmm0,%xmm4
paddd  %xmm8,%xmm4
movdqa %xmm0,(%rsp,%rax,4)
movdqa %xmm4,0x10(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm9,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm10,%xmm5
movdqa %xmm4,0x20(%rsp,%rax,4)
movdqa %xmm5,0x30(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm11,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm12,%xmm5
movdqa %xmm4,0x40(%rsp,%rax,4)
movdqa %xmm5,0x50(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm6,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm7,%xmm5
movdqa %xmm4,0x60(%rsp,%rax,4)
movdqa %xmm5,0x70(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm4,0x80(%rsp,%rax,4)
movdqa %xmm5,0x90(%rsp,%rax,4)
add    $0x28,%rax
paddd  %xmm3,%xmm0
cmp    $0x3e8,%rax
jne    1180 <test_reductions_minmax+0x70>
movdqa 0xe86(%rip),%xmm0
mov    $0xc,%eax
movdqa %xmm0,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa -0x30(%rsp,%rax,4),%xmm3
movdqa -0x20(%rsp,%rax,4),%xmm4
movdqa %xmm3,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm3,%xmm1
por    %xmm0,%xmm1
movdqa %xmm4,%xmm3
pcmpgtd %xmm2,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm4,%xmm3
por    %xmm2,%xmm3
cmp    $0x3ec,%rax
je     12b5 <test_reductions_minmax+0x1a5>
movdqa -0x10(%rsp,%rax,4),%xmm2
movdqa (%rsp,%rax,4),%xmm4
movdqa %xmm2,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm2,%xmm0
por    %xmm1,%xmm0
movdqa %xmm4,%xmm2
pcmpgtd %xmm3,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm4,%xmm2
por    %xmm3,%xmm2
add    $0x10,%rax
jmp    1240 <test_reductions_minmax+0x130>
movdqa %xmm3,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm3,%xmm0
por    %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%eax
movdqa 0xda9(%rip),%xmm0
mov    $0xc,%ecx
movdqa %xmm0,%xmm2
movdqa -0x30(%rsp,%rcx,4),%xmm3
movdqa -0x20(%rsp,%rcx,4),%xmm4
movdqa %xmm3,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm3,%xmm1
por    %xmm0,%xmm1
movdqa %xmm4,%xmm3
pcmpgtd %xmm2,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm4,%xmm3
por    %xmm2,%xmm3
cmp    $0x3ec,%rcx
je     1386 <test_reductions_minmax+0x276>
movdqa -0x10(%rsp,%rcx,4),%xmm2
movdqa (%rsp,%rcx,4),%xmm4
movdqa %xmm2,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm2,%xmm0
por    %xmm1,%xmm0
movdqa %xmm4,%xmm2
pcmpgtd %xmm3,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm4,%xmm2
por    %xmm3,%xmm2
add    $0x10,%rcx
jmp    1310 <test_reductions_minmax+0x200>
movdqa %xmm3,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm3,%xmm0
por    %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%ecx
cmp    %ecx,%eax
jne    158c <test_reductions_minmax+0x47c>
pcmpeqd %xmm0,%xmm0
mov    $0xc,%eax
pcmpeqd %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
movdqa -0x30(%rsp,%rax,4),%xmm3
movdqa -0x20(%rsp,%rax,4),%xmm4
movdqa %xmm0,%xmm1
pcmpgtd %xmm3,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm3,%xmm1
por    %xmm0,%xmm1
movdqa %xmm2,%xmm3
pcmpgtd %xmm4,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm4,%xmm3
por    %xmm2,%xmm3
cmp    $0x3ec,%rax
je     1465 <test_reductions_minmax+0x355>
movdqa -0x10(%rsp,%rax,4),%xmm2
movdqa (%rsp,%rax,4),%xmm4
movdqa %xmm1,%xmm0
pcmpgtd %xmm2,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm2,%xmm0
por    %xmm1,%xmm0
movdqa %xmm3,%xmm2
pcmpgtd %xmm4,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm4,%xmm2
por    %xmm3,%xmm2
add    $0x10,%rax
jmp    13f0 <test_reductions_minmax+0x2e0>
movdqa %xmm1,%xmm0
pcmpgtd %xmm3,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm3,%xmm0
por    %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%eax
pcmpeqd %xmm0,%xmm0
mov    $0xc,%ecx
pcmpeqd %xmm2,%xmm2
nopl   0x0(%rax)
movdqa -0x30(%rsp,%rcx,4),%xmm3
movdqa -0x20(%rsp,%rcx,4),%xmm4
movdqa %xmm0,%xmm1
pcmpgtd %xmm3,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm3,%xmm1
por    %xmm0,%xmm1
movdqa %xmm2,%xmm3
pcmpgtd %xmm4,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm4,%xmm3
por    %xmm2,%xmm3
cmp    $0x3ec,%rcx
je     1536 <test_reductions_minmax+0x426>
movdqa -0x10(%rsp,%rcx,4),%xmm2
movdqa (%rsp,%rcx,4),%xmm4
movdqa %xmm1,%xmm0
pcmpgtd %xmm2,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm2,%xmm0
por    %xmm1,%xmm0
movdqa %xmm3,%xmm2
pcmpgtd %xmm4,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm4,%xmm2
por    %xmm3,%xmm2
add    $0x10,%rcx
jmp    14c0 <test_reductions_minmax+0x3b0>
movdqa %xmm1,%xmm0
pcmpgtd %xmm3,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm3,%xmm0
por    %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%ecx
cmp    %ecx,%eax
jne    158c <test_reductions_minmax+0x47c>
add    $0xfa8,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
define void @test_reductions_minmax() {
%1 = alloca [1000 x i32]
br label %2
2: ; preds = %2, %0
%3 = phi i64 [ 0, %0 ], [ %38, %2 ]
%4 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %0 ], [ %39, %2 ]
%5 = add <4 x i32> %4, <i32 4, i32 4, i32 4, i32 4>
%6 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %3
%7 = bitcast i32* %6 to <4 x i32>*
store <4 x i32> %4, <4 x i32>* %7
%8 = getelementptr inbounds i32, i32* %6, i64 4
%9 = bitcast i32* %8 to <4 x i32>*
store <4 x i32> %5, <4 x i32>* %9
%10 = add nuw nsw i64 %3, 8
%11 = add <4 x i32> %4, <i32 8, i32 8, i32 8, i32 8>
%12 = add <4 x i32> %4, <i32 12, i32 12, i32 12, i32 12>
%13 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %10
%14 = bitcast i32* %13 to <4 x i32>*
store <4 x i32> %11, <4 x i32>* %14
%15 = getelementptr inbounds i32, i32* %13, i64 4
%16 = bitcast i32* %15 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %16
%17 = add nuw nsw i64 %3, 16
%18 = add <4 x i32> %4, <i32 16, i32 16, i32 16, i32 16>
%19 = add <4 x i32> %4, <i32 20, i32 20, i32 20, i32 20>
%20 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %17
%21 = bitcast i32* %20 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %21
%22 = getelementptr inbounds i32, i32* %20, i64 4
%23 = bitcast i32* %22 to <4 x i32>*
store <4 x i32> %19, <4 x i32>* %23
%24 = add nuw nsw i64 %3, 24
%25 = add <4 x i32> %4, <i32 24, i32 24, i32 24, i32 24>
%26 = add <4 x i32> %4, <i32 28, i32 28, i32 28, i32 28>
%27 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %24
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> %25, <4 x i32>* %28
%29 = getelementptr inbounds i32, i32* %27, i64 4
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %30
%31 = add nuw nsw i64 %3, 32
%32 = add <4 x i32> %4, <i32 32, i32 32, i32 32, i32 32>
%33 = add <4 x i32> %4, <i32 36, i32 36, i32 36, i32 36>
%34 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %31
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %32, <4 x i32>* %35
%36 = getelementptr inbounds i32, i32* %34, i64 4
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %37
%38 = add nuw nsw i64 %3, 40
%39 = add <4 x i32> %4, <i32 40, i32 40, i32 40, i32 40>
%40 = icmp eq i64 %38, 1000
br i1 %40, label %41, label %2
41: ; preds = %2, %57
%42 = phi i64 [ %68, %57 ], [ 0, %2 ]
%43 = phi <4 x i32> [ %66, %57 ], [ <i32 1001, i32 1001, i32 1001, i32 1001>, %2 ]
%44 = phi <4 x i32> [ %67, %57 ], [ <i32 1001, i32 1001, i32 1001, i32 1001>, %2 ]
%45 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %42
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = getelementptr inbounds i32, i32* %45, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = icmp slt <4 x i32> %43, %47
%52 = icmp slt <4 x i32> %44, %50
%53 = select <4 x i1> %51, <4 x i32> %43, <4 x i32> %47
%54 = select <4 x i1> %52, <4 x i32> %44, <4 x i32> %50
%55 = or i64 %42, 8
%56 = icmp eq i64 %55, 1000
br i1 %56, label %69, label %57
57: ; preds = %41
%58 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %55
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %58, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = icmp slt <4 x i32> %53, %60
%65 = icmp slt <4 x i32> %54, %63
%66 = select <4 x i1> %64, <4 x i32> %53, <4 x i32> %60
%67 = select <4 x i1> %65, <4 x i32> %54, <4 x i32> %63
%68 = add nuw nsw i64 %42, 16
br label %41
69: ; preds = %41
%70 = icmp slt <4 x i32> %53, %54
%71 = select <4 x i1> %70, <4 x i32> %53, <4 x i32> %54
%72 = call i32 @llvm.vector.reduce.smin.v4i32(<4 x i32> %71)
br label %73
73: ; preds = %89, %69
%74 = phi i64 [ 0, %69 ], [ %100, %89 ]
%75 = phi <4 x i32> [ <i32 1001, i32 1001, i32 1001, i32 1001>, %69 ], [ %98, %89 ]
%76 = phi <4 x i32> [ <i32 1001, i32 1001, i32 1001, i32 1001>, %69 ], [ %99, %89 ]
%77 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %74
%78 = bitcast i32* %77 to <4 x i32>*
%79 = load <4 x i32>, <4 x i32>* %78
%80 = getelementptr inbounds i32, i32* %77, i64 4
%81 = bitcast i32* %80 to <4 x i32>*
%82 = load <4 x i32>, <4 x i32>* %81
%83 = icmp slt <4 x i32> %75, %79
%84 = icmp slt <4 x i32> %76, %82
%85 = select <4 x i1> %83, <4 x i32> %75, <4 x i32> %79
%86 = select <4 x i1> %84, <4 x i32> %76, <4 x i32> %82
%87 = or i64 %74, 8
%88 = icmp eq i64 %87, 1000
br i1 %88, label %101, label %89
89: ; preds = %73
%90 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %87
%91 = bitcast i32* %90 to <4 x i32>*
%92 = load <4 x i32>, <4 x i32>* %91
%93 = getelementptr inbounds i32, i32* %90, i64 4
%94 = bitcast i32* %93 to <4 x i32>*
%95 = load <4 x i32>, <4 x i32>* %94
%96 = icmp slt <4 x i32> %85, %92
%97 = icmp slt <4 x i32> %86, %95
%98 = select <4 x i1> %96, <4 x i32> %85, <4 x i32> %92
%99 = select <4 x i1> %97, <4 x i32> %86, <4 x i32> %95
%100 = add nuw nsw i64 %74, 16
br label %73
101: ; preds = %73
%102 = icmp slt <4 x i32> %85, %86
%103 = select <4 x i1> %102, <4 x i32> %85, <4 x i32> %86
%104 = call i32 @llvm.vector.reduce.smin.v4i32(<4 x i32> %103)
%105 = icmp eq i32 %72, %104
br i1 %105, label %106, label %138
106: ; preds = %101, %122
%107 = phi i64 [ %133, %122 ], [ 0, %101 ]
%108 = phi <4 x i32> [ %131, %122 ], [ <i32 -1, i32 -1, i32 -1, i32 -1>, %101 ]
%109 = phi <4 x i32> [ %132, %122 ], [ <i32 -1, i32 -1, i32 -1, i32 -1>, %101 ]
%110 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %107
%111 = bitcast i32* %110 to <4 x i32>*
%112 = load <4 x i32>, <4 x i32>* %111
%113 = getelementptr inbounds i32, i32* %110, i64 4
%114 = bitcast i32* %113 to <4 x i32>*
%115 = load <4 x i32>, <4 x i32>* %114
%116 = icmp sgt <4 x i32> %108, %112
%117 = icmp sgt <4 x i32> %109, %115
%118 = select <4 x i1> %116, <4 x i32> %108, <4 x i32> %112
%119 = select <4 x i1> %117, <4 x i32> %109, <4 x i32> %115
%120 = or i64 %107, 8
%121 = icmp eq i64 %120, 1000
br i1 %121, label %134, label %122
122: ; preds = %106
%123 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %120
%124 = bitcast i32* %123 to <4 x i32>*
%125 = load <4 x i32>, <4 x i32>* %124
%126 = getelementptr inbounds i32, i32* %123, i64 4
%127 = bitcast i32* %126 to <4 x i32>*
%128 = load <4 x i32>, <4 x i32>* %127
%129 = icmp sgt <4 x i32> %118, %125
%130 = icmp sgt <4 x i32> %119, %128
%131 = select <4 x i1> %129, <4 x i32> %118, <4 x i32> %125
%132 = select <4 x i1> %130, <4 x i32> %119, <4 x i32> %128
%133 = add nuw nsw i64 %107, 16
br label %106
134: ; preds = %106
%135 = icmp sgt <4 x i32> %118, %119
%136 = select <4 x i1> %135, <4 x i32> %118, <4 x i32> %119
%137 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %136)
br label %140
138: ; preds = %101
%139 = tail call i32 (...) @abort()
unreachable
140: ; preds = %156, %134
%141 = phi i64 [ 0, %134 ], [ %167, %156 ]
%142 = phi <4 x i32> [ <i32 -1, i32 -1, i32 -1, i32 -1>, %134 ], [ %165, %156 ]
%143 = phi <4 x i32> [ <i32 -1, i32 -1, i32 -1, i32 -1>, %134 ], [ %166, %156 ]
%144 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %141
%145 = bitcast i32* %144 to <4 x i32>*
%146 = load <4 x i32>, <4 x i32>* %145
%147 = getelementptr inbounds i32, i32* %144, i64 4
%148 = bitcast i32* %147 to <4 x i32>*
%149 = load <4 x i32>, <4 x i32>* %148
%150 = icmp sgt <4 x i32> %142, %146
%151 = icmp sgt <4 x i32> %143, %149
%152 = select <4 x i1> %150, <4 x i32> %142, <4 x i32> %146
%153 = select <4 x i1> %151, <4 x i32> %143, <4 x i32> %149
%154 = or i64 %141, 8
%155 = icmp eq i64 %154, 1000
br i1 %155, label %168, label %156
156: ; preds = %140
%157 = getelementptr inbounds [1000 x i32], [1000 x i32]* %1, i64 0, i64 %154
%158 = bitcast i32* %157 to <4 x i32>*
%159 = load <4 x i32>, <4 x i32>* %158
%160 = getelementptr inbounds i32, i32* %157, i64 4
%161 = bitcast i32* %160 to <4 x i32>*
%162 = load <4 x i32>, <4 x i32>* %161
%163 = icmp sgt <4 x i32> %152, %159
%164 = icmp sgt <4 x i32> %153, %162
%165 = select <4 x i1> %163, <4 x i32> %152, <4 x i32> %159
%166 = select <4 x i1> %164, <4 x i32> %153, <4 x i32> %162
%167 = add nuw nsw i64 %141, 16
br label %140
168: ; preds = %140
%169 = icmp sgt <4 x i32> %152, %153
%170 = select <4 x i1> %169, <4 x i32> %152, <4 x i32> %153
%171 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %170)
%172 = icmp eq i32 %137, %171
br i1 %172, label %175, label %173
173: ; preds = %168
%174 = tail call i32 (...) @abort()
unreachable
175: ; preds = %168
ret void
}