#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();
__attribute__((no)) int main1(float x, float max_result) {
  int i;
  float b[1600];
  float c[1600];
  float diff = 2;
  float max = x;
  float min = 10;
  for (i = 0; i < 1600; i++) {
    b[i] = i * 3;
    c[i] = i;
  }
  for (i = 0; i < 1600; i++) {
    diff += (b[i] - c[i]);
  }
  for (i = 0; i < 1600; i++) {
    max = max < c[i] ? c[i] : max;
  }
  for (i = 0; i < 1600; i++) {
    min = min > c[i] ? c[i] : min;
  }
  if (diff != 2558402)
    abort();
  if (max != max_result)
    abort();
  if (min != 0)
    abort();
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x3230,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  0xed7(%rip),%xmm0
movss  %xmm0,-0x3214(%rbp)
ff
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x3218(%rbp)
ff
movss  0xeb6(%rip),%xmm0
movss  %xmm0,-0x321c(%rbp)
ff
movl   $0x0,-0xc(%rbp)
cmpl   $0x640,-0xc(%rbp)
jge    119b <main1+0x8b>
imul   $0x3,-0xc(%rbp),%eax
cvtsi2ss %eax,%xmm0
movslq -0xc(%rbp),%rax
movss  %xmm0,-0x1910(%rbp,%rax,4)
ff ff
cvtsi2ssl -0xc(%rbp),%xmm0
movslq -0xc(%rbp),%rax
movss  %xmm0,-0x3210(%rbp,%rax,4)
ff ff
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1159 <main1+0x49>
movl   $0x0,-0xc(%rbp)
cmpl   $0x640,-0xc(%rbp)
jge    11e7 <main1+0xd7>
movslq -0xc(%rbp),%rax
movss  -0x1910(%rbp,%rax,4),%xmm0
ff ff
movslq -0xc(%rbp),%rax
subss  -0x3210(%rbp,%rax,4),%xmm0
ff ff
addss  -0x3214(%rbp),%xmm0
ff
movss  %xmm0,-0x3214(%rbp)
ff
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11a2 <main1+0x92>
movl   $0x0,-0xc(%rbp)
cmpl   $0x640,-0xc(%rbp)
jge    1261 <main1+0x151>
movss  -0x3218(%rbp),%xmm1
ff
movslq -0xc(%rbp),%rax
movss  -0x3210(%rbp,%rax,4),%xmm0
ff ff
ucomiss %xmm1,%xmm0
jbe    1233 <main1+0x123>
movslq -0xc(%rbp),%rax
movss  -0x3210(%rbp,%rax,4),%xmm0
ff ff
movss  %xmm0,-0x3220(%rbp)
ff
jmp    1243 <main1+0x133>
movss  -0x3218(%rbp),%xmm0
ff
movss  %xmm0,-0x3220(%rbp)
ff
movss  -0x3220(%rbp),%xmm0
ff
movss  %xmm0,-0x3218(%rbp)
ff
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11ee <main1+0xde>
movl   $0x0,-0xc(%rbp)
cmpl   $0x640,-0xc(%rbp)
jge    12d7 <main1+0x1c7>
movss  -0x321c(%rbp),%xmm0
ff
movslq -0xc(%rbp),%rax
ucomiss -0x3210(%rbp,%rax,4),%xmm0
ff
jbe    12a9 <main1+0x199>
movslq -0xc(%rbp),%rax
movss  -0x3210(%rbp,%rax,4),%xmm0
ff ff
movss  %xmm0,-0x3224(%rbp)
ff
jmp    12b9 <main1+0x1a9>
movss  -0x321c(%rbp),%xmm0
ff
movss  %xmm0,-0x3224(%rbp)
ff
movss  -0x3224(%rbp),%xmm0
ff
movss  %xmm0,-0x321c(%rbp)
ff
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1268 <main1+0x158>
movss  -0x3214(%rbp),%xmm0
ff
movss  0xd21(%rip),%xmm1
ucomiss %xmm1,%xmm0
jne    12fb <main1+0x1eb>
jp     12fb <main1+0x1eb>
jmp    1302 <main1+0x1f2>
mov    $0x0,%al
call   1030 <abort@plt>
movss  -0x3218(%rbp),%xmm0
ff
ucomiss -0x8(%rbp),%xmm0
jne    131f <main1+0x20f>
jp     131f <main1+0x20f>
jmp    1326 <main1+0x216>
mov    $0x0,%al
call   1030 <abort@plt>
movss  -0x321c(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1345 <main1+0x235>
jp     1345 <main1+0x235>
jmp    134c <main1+0x23c>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x3230,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
sub    $0x3208,%rsp
movdqa 0xee1(%rip),%xmm3
mov    $0x4,%eax
movdqa 0xee3(%rip),%xmm8
movdqa 0xeea(%rip),%xmm9
movdqa 0xef2(%rip),%xmm5
movdqa %xmm3,%xmm6
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqa %xmm6,%xmm7
paddd  %xmm8,%xmm7
movdqa %xmm3,%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm3,%xmm2
cvtdq2ps %xmm2,%xmm4
paddd  %xmm9,%xmm2
cvtdq2ps %xmm2,%xmm2
movaps %xmm4,0x18f0(%rsp,%rax,4)
movaps %xmm2,0x1900(%rsp,%rax,4)
cvtdq2ps %xmm6,%xmm2
cvtdq2ps %xmm7,%xmm4
movaps %xmm2,-0x10(%rsp,%rax,4)
movaps %xmm4,(%rsp,%rax,4)
paddd  %xmm5,%xmm3
paddd  %xmm5,%xmm6
add    $0x8,%rax
cmp    $0x644,%rax
jne    1150 <main1+0x40>
movss  0xe95(%rip),%xmm2
mov    $0x4,%eax
movss  0x18f0(%rsp,%rax,4),%xmm3
movss  0x18f4(%rsp,%rax,4),%xmm4
subss  -0x10(%rsp,%rax,4),%xmm3
subss  -0xc(%rsp,%rax,4),%xmm4
addss  %xmm2,%xmm3
movss  0x18f8(%rsp,%rax,4),%xmm5
subss  -0x8(%rsp,%rax,4),%xmm5
addss  %xmm3,%xmm4
movss  0x18fc(%rsp,%rax,4),%xmm3
subss  -0x4(%rsp,%rax,4),%xmm3
addss  %xmm4,%xmm5
movss  0x1900(%rsp,%rax,4),%xmm2
subss  (%rsp,%rax,4),%xmm2
addss  %xmm5,%xmm3
addss  %xmm3,%xmm2
add    $0x5,%rax
cmp    $0x644,%rax
jne    11b0 <main1+0xa0>
mov    $0x4,%eax
nop
movss  -0x10(%rsp,%rax,4),%xmm3
maxss  %xmm0,%xmm3
movss  -0xc(%rsp,%rax,4),%xmm0
maxss  %xmm3,%xmm0
movss  -0x8(%rsp,%rax,4),%xmm3
maxss  %xmm0,%xmm3
movss  -0x4(%rsp,%rax,4),%xmm4
maxss  %xmm3,%xmm4
movss  (%rsp,%rax,4),%xmm0
maxss  %xmm4,%xmm0
add    $0x5,%rax
cmp    $0x644,%rax
jne    1220 <main1+0x110>
movss  0xddf(%rip),%xmm3
mov    $0x4,%eax
nopw   0x0(%rax,%rax,1)
movss  -0x10(%rsp,%rax,4),%xmm4
minss  %xmm3,%xmm4
movss  -0xc(%rsp,%rax,4),%xmm3
minss  %xmm4,%xmm3
movss  -0x8(%rsp,%rax,4),%xmm4
minss  %xmm3,%xmm4
movss  -0x4(%rsp,%rax,4),%xmm5
minss  %xmm4,%xmm5
movss  (%rsp,%rax,4),%xmm3
minss  %xmm5,%xmm3
add    $0x5,%rax
cmp    $0x644,%rax
jne    1270 <main1+0x160>
ucomiss 0xd94(%rip),%xmm2
jne    12d3 <main1+0x1c3>
jp     12d3 <main1+0x1c3>
ucomiss %xmm1,%xmm0
jne    12d3 <main1+0x1c3>
jp     12d3 <main1+0x1c3>
xorps  %xmm0,%xmm0
ucomiss %xmm0,%xmm3
jne    12d3 <main1+0x1c3>
jp     12d3 <main1+0x1c3>
xor    %eax,%eax
add    $0x3208,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
define i32 @main1(float %0, float %1) {
%3 = alloca [1600 x float]
%4 = alloca [1600 x float]
%5 = bitcast [1600 x float]* %3 to i8*
%6 = bitcast [1600 x float]* %4 to i8*
br label %7
7: ; preds = %7, %2
%8 = phi i64 [ 0, %2 ], [ %27, %7 ]
%9 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %2 ], [ %28, %7 ]
%10 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %2 ], [ %29, %7 ]
%11 = add <4 x i32> %10, <i32 4, i32 4, i32 4, i32 4>
%12 = mul <4 x i32> %9, <i32 3, i32 3, i32 3, i32 3>
%13 = mul <4 x i32> %9, <i32 3, i32 3, i32 3, i32 3>
%14 = add <4 x i32> %13, <i32 12, i32 12, i32 12, i32 12>
%15 = sitofp <4 x i32> %12 to <4 x float>
%16 = sitofp <4 x i32> %14 to <4 x float>
%17 = getelementptr inbounds [1600 x float], [1600 x float]* %3, i64 0, i64 %8
%18 = bitcast float* %17 to <4 x float>*
store <4 x float> %15, <4 x float>* %18
%19 = getelementptr inbounds float, float* %17, i64 4
%20 = bitcast float* %19 to <4 x float>*
store <4 x float> %16, <4 x float>* %20
%21 = sitofp <4 x i32> %10 to <4 x float>
%22 = sitofp <4 x i32> %11 to <4 x float>
%23 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %8
%24 = bitcast float* %23 to <4 x float>*
store <4 x float> %21, <4 x float>* %24
%25 = getelementptr inbounds float, float* %23, i64 4
%26 = bitcast float* %25 to <4 x float>*
store <4 x float> %22, <4 x float>* %26
%27 = add nuw i64 %8, 8
%28 = add <4 x i32> %9, <i32 8, i32 8, i32 8, i32 8>
%29 = add <4 x i32> %10, <i32 8, i32 8, i32 8, i32 8>
%30 = icmp eq i64 %27, 1600
br i1 %30, label %31, label %7
31: ; preds = %7, %31
%32 = phi i64 [ %68, %31 ], [ 0, %7 ]
%33 = phi float [ %67, %31 ], [ 2.000000e+00, %7 ]
%34 = getelementptr inbounds [1600 x float], [1600 x float]* %3, i64 0, i64 %32
%35 = load float, float* %34
%36 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %32
%37 = load float, float* %36
%38 = fsub float %35, %37
%39 = fadd float %33, %38
%40 = add nuw nsw i64 %32, 1
%41 = getelementptr inbounds [1600 x float], [1600 x float]* %3, i64 0, i64 %40
%42 = load float, float* %41
%43 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %40
%44 = load float, float* %43
%45 = fsub float %42, %44
%46 = fadd float %39, %45
%47 = add nuw nsw i64 %32, 2
%48 = getelementptr inbounds [1600 x float], [1600 x float]* %3, i64 0, i64 %47
%49 = load float, float* %48
%50 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %47
%51 = load float, float* %50
%52 = fsub float %49, %51
%53 = fadd float %46, %52
%54 = add nuw nsw i64 %32, 3
%55 = getelementptr inbounds [1600 x float], [1600 x float]* %3, i64 0, i64 %54
%56 = load float, float* %55
%57 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %54
%58 = load float, float* %57
%59 = fsub float %56, %58
%60 = fadd float %53, %59
%61 = add nuw nsw i64 %32, 4
%62 = getelementptr inbounds [1600 x float], [1600 x float]* %3, i64 0, i64 %61
%63 = load float, float* %62
%64 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %61
%65 = load float, float* %64
%66 = fsub float %63, %65
%67 = fadd float %60, %66
%68 = add nuw nsw i64 %32, 5
%69 = icmp eq i64 %68, 1600
br i1 %69, label %70, label %31
70: ; preds = %31, %70
%71 = phi i64 [ %97, %70 ], [ 0, %31 ]
%72 = phi float [ %96, %70 ], [ %0, %31 ]
%73 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %71
%74 = load float, float* %73
%75 = fcmp olt float %72, %74
%76 = select i1 %75, float %74, float %72
%77 = add nuw nsw i64 %71, 1
%78 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %77
%79 = load float, float* %78
%80 = fcmp olt float %76, %79
%81 = select i1 %80, float %79, float %76
%82 = add nuw nsw i64 %71, 2
%83 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %82
%84 = load float, float* %83
%85 = fcmp olt float %81, %84
%86 = select i1 %85, float %84, float %81
%87 = add nuw nsw i64 %71, 3
%88 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %87
%89 = load float, float* %88
%90 = fcmp olt float %86, %89
%91 = select i1 %90, float %89, float %86
%92 = add nuw nsw i64 %71, 4
%93 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %92
%94 = load float, float* %93
%95 = fcmp olt float %91, %94
%96 = select i1 %95, float %94, float %91
%97 = add nuw nsw i64 %71, 5
%98 = icmp eq i64 %97, 1600
br i1 %98, label %99, label %70
99: ; preds = %70, %99
%100 = phi i64 [ %126, %99 ], [ 0, %70 ]
%101 = phi float [ %125, %99 ], [ 1.000000e+01, %70 ]
%102 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %100
%103 = load float, float* %102
%104 = fcmp ogt float %101, %103
%105 = select i1 %104, float %103, float %101
%106 = add nuw nsw i64 %100, 1
%107 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %106
%108 = load float, float* %107
%109 = fcmp ogt float %105, %108
%110 = select i1 %109, float %108, float %105
%111 = add nuw nsw i64 %100, 2
%112 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %111
%113 = load float, float* %112
%114 = fcmp ogt float %110, %113
%115 = select i1 %114, float %113, float %110
%116 = add nuw nsw i64 %100, 3
%117 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %116
%118 = load float, float* %117
%119 = fcmp ogt float %115, %118
%120 = select i1 %119, float %118, float %115
%121 = add nuw nsw i64 %100, 4
%122 = getelementptr inbounds [1600 x float], [1600 x float]* %4, i64 0, i64 %121
%123 = load float, float* %122
%124 = fcmp ogt float %120, %123
%125 = select i1 %124, float %123, float %120
%126 = add nuw nsw i64 %100, 5
%127 = icmp eq i64 %126, 1600
br i1 %127, label %128, label %99
128: ; preds = %99
%129 = fcmp une float %67, 0x414384E100000000
br i1 %129, label %130, label %132
130: ; preds = %128
%131 = tail call i32 (...) @abort()
unreachable
132: ; preds = %128
%133 = fcmp une float %96, %1
br i1 %133, label %134, label %136
134: ; preds = %132
%135 = tail call i32 (...) @abort()
unreachable
136: ; preds = %132
%137 = fcmp une float %125, 0.000000e+00
br i1 %137, label %138, label %140
138: ; preds = %136
%139 = tail call i32 (...) @abort()
unreachable
140: ; preds = %136
ret i32 0
}