#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 max(int, int);
int maximumProduct(int *nums, int numsSize) {
  int i, mi, m = -4000, ret, max1 = -2000, max2 = -3000, min1 = 2000,
             min2 = 3000;
  if (numsSize == 3) {
    ret = 1;
    for (i = 0; i < 3; ++i)
      ret *= nums[i];
    return ret;
  }
  for (i = 0; i < numsSize; ++i) {
    if (nums[i] > m) {
      m = nums[i];
      mi = i;
    }
  }
  for (i = 0; i < numsSize; ++i) {
    if (i == mi)
      continue;
    if (nums[i] < min1) {
      min2 = min1;
      min1 = nums[i];
    } else if (nums[i] < min2)
      min2 = nums[i];
    if (nums[i] > max1) {
      max2 = max1;
      max1 = nums[i];
    } else if (nums[i] > max2)
      max2 = nums[i];
  }
  return max(m * max1 * max2, m * min1 * min2);
}


x86 assembly (clang, -O0):
<maximumProduct>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0xfffff060,-0x20(%rbp)
movl   $0xfffff830,-0x28(%rbp)
movl   $0xfffff448,-0x2c(%rbp)
movl   $0x7d0,-0x30(%rbp)
movl   $0xbb8,-0x34(%rbp)
cmpl   $0x3,-0x14(%rbp)
jne    118f <maximumProduct+0x7f>
movl   $0x1,-0x24(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jge    1184 <maximumProduct+0x74>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    115a <maximumProduct+0x4a>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12da <maximumProduct+0x1ca>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11dd <maximumProduct+0xcd>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jle    11ca <maximumProduct+0xba>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    11cf <maximumProduct+0xbf>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1196 <maximumProduct+0x86>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12bc <maximumProduct+0x1ac>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    1201 <maximumProduct+0xf1>
jmp    12ae <maximumProduct+0x19e>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x30(%rbp),%eax
jge    122e <maximumProduct+0x11e>
mov    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
jmp    1255 <maximumProduct+0x145>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x34(%rbp),%eax
jge    1250 <maximumProduct+0x140>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
jmp    1255 <maximumProduct+0x145>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x28(%rbp),%eax
jle    1282 <maximumProduct+0x172>
mov    -0x28(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x28(%rbp)
jmp    12a9 <maximumProduct+0x199>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x2c(%rbp),%eax
jle    12a4 <maximumProduct+0x194>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
jmp    12a9 <maximumProduct+0x199>
jmp    12ae <maximumProduct+0x19e>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11e4 <maximumProduct+0xd4>
mov    -0x20(%rbp),%edi
imul   -0x28(%rbp),%edi
imul   -0x2c(%rbp),%edi
mov    -0x20(%rbp),%esi
imul   -0x30(%rbp),%esi
imul   -0x34(%rbp),%esi
call   1030 <max@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<maximumProduct>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%r11
cmp    $0x3,%esi
jne    1136 <maximumProduct+0x26>
mov    0x4(%r11),%eax
imul   (%r11),%eax
imul   0x8(%r11),%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %esi,%r8d
mov    $0xbb8,%esi
mov    $0x7d0,%r10d
mov    $0xfffff448,%edi
mov    $0xfffff830,%r15d
test   %r8d,%r8d
jle    120f <maximumProduct+0xff>
mov    %r8d,%r9d
lea    -0x1(%r9),%rax
mov    %r9d,%r12d
and    $0x3,%r12d
cmp    $0x3,%rax
jae    122f <maximumProduct+0x11f>
mov    $0xfffff060,%edx
xor    %ebx,%ebx
test   %r12,%r12
je     1196 <maximumProduct+0x86>
nopl   0x0(%rax)
mov    (%r11,%rbx,4),%eax
cmp    %edx,%eax
cmovg  %ebx,%ebp
cmovg  %eax,%edx
add    $0x1,%rbx
add    $0xffffffffffffffff,%r12
jne    1180 <maximumProduct+0x70>
test   %r8d,%r8d
jle    1214 <maximumProduct+0x104>
mov    %ebp,%eax
mov    $0xfffff830,%r15d
mov    $0xfffff448,%edi
mov    $0x7d0,%r10d
mov    $0xbb8,%esi
xor    %ebp,%ebp
jmp    11cc <maximumProduct+0xbc>
nopw   0x0(%rax,%rax,1)
mov    %ecx,%r15d
add    $0x1,%rbp
cmp    %rbp,%r9
je     1214 <maximumProduct+0x104>
mov    %r15d,%ecx
cmp    %rbp,%rax
je     11c0 <maximumProduct+0xb0>
mov    (%r11,%rbp,4),%r15d
cmp    %esi,%r15d
cmovl  %r15d,%esi
cmp    %r10d,%r15d
mov    %r10d,%ebx
cmovl  %r15d,%ebx
cmovl  %r10d,%esi
cmp    %ecx,%r15d
jle    1200 <maximumProduct+0xf0>
mov    %ecx,%edi
jmp    120a <maximumProduct+0xfa>
cs nopw 0x0(%rax,%rax,1)
cmp    %edi,%r15d
cmovg  %r15d,%edi
mov    %ecx,%r15d
mov    %ebx,%r10d
jmp    11c3 <maximumProduct+0xb3>
mov    $0xfffff060,%edx
imul   %edx,%edi
imul   %r15d,%edi
imul   %edx,%esi
imul   %r10d,%esi
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <max@plt>
mov    %r9d,%r14d
and    $0xfffffffc,%r14d
mov    $0xfffff060,%edx
xor    %ebx,%ebx
jmp    124f <maximumProduct+0x13f>
nop
mov    %eax,%edx
add    $0x4,%rbx
cmp    %r14,%rbx
je     1177 <maximumProduct+0x67>
mov    (%r11,%rbx,4),%eax
cmp    %edx,%eax
cmovg  %ebx,%ebp
mov    0x4(%r11,%rbx,4),%ecx
cmovg  %eax,%edx
cmp    %edx,%ecx
jg     1270 <maximumProduct+0x160>
mov    %edx,%ecx
jmp    1273 <maximumProduct+0x163>
nopl   0x0(%rax,%rax,1)
lea    0x1(%rbx),%ebp
mov    0x8(%r11,%rbx,4),%eax
cmp    %ecx,%eax
jg     1280 <maximumProduct+0x170>
mov    %ecx,%eax
jmp    1283 <maximumProduct+0x173>
lea    0x2(%rbx),%ebp
mov    0xc(%r11,%rbx,4),%edx
cmp    %eax,%edx
jle    1240 <maximumProduct+0x130>
lea    0x3(%rbx),%ebp
jmp    1242 <maximumProduct+0x132>

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

LLVM IR (-O2):
define i32 @maximumProduct(i32* nocapture %0, i32 %1) {
%3 = icmp eq i32 %1, 3
br i1 %3, label %4, label %12
4: ; preds = %2
%5 = load i32, i32* %0
%6 = getelementptr inbounds i32, i32* %0, i64 1
%7 = load i32, i32* %6
%8 = mul nsw i32 %7, %5
%9 = getelementptr inbounds i32, i32* %0, i64 2
%10 = load i32, i32* %9
%11 = mul nsw i32 %10, %8
br label %119
12: ; preds = %2
%13 = icmp sgt i32 %1, 0
br i1 %13, label %14, label %108
14: ; preds = %12
%15 = zext i32 %1 to i64
%16 = add nsw i64 %15, -1
%17 = and i64 %15, 3
%18 = icmp ult i64 %16, 3
br i1 %18, label %21, label %19
19: ; preds = %14
%20 = and i64 %15, 4294967292
br label %47
21: ; preds = %47, %14
%22 = phi i32 [ undef, %14 ], [ %78, %47 ]
%23 = phi i64 [ 0, %14 ], [ %79, %47 ]
%24 = phi i32 [ -4000, %14 ], [ %78, %47 ]
%25 = phi i32 [ undef, %14 ], [ %77, %47 ]
%26 = icmp eq i64 %17, 0
br i1 %26, label %41, label %27
27: ; preds = %21, %27
%28 = phi i64 [ %38, %27 ], [ %23, %21 ]
%29 = phi i32 [ %37, %27 ], [ %24, %21 ]
%30 = phi i32 [ %36, %27 ], [ %25, %21 ]
%31 = phi i64 [ %39, %27 ], [ 0, %21 ]
%32 = getelementptr inbounds i32, i32* %0, i64 %28
%33 = load i32, i32* %32
%34 = icmp sgt i32 %33, %29
%35 = trunc i64 %28 to i32
%36 = select i1 %34, i32 %35, i32 %30
%37 = select i1 %34, i32 %33, i32 %29
%38 = add nuw nsw i64 %28, 1
%39 = add i64 %31, 1
%40 = icmp eq i64 %39, %17
br i1 %40, label %41, label %27
41: ; preds = %27, %21
%42 = phi i32 [ %25, %21 ], [ %36, %27 ]
%43 = phi i32 [ %22, %21 ], [ %37, %27 ]
%44 = zext i32 %42 to i64
br i1 %13, label %45, label %108
45: ; preds = %41
%46 = zext i32 %1 to i64
br label %82
47: ; preds = %47, %19
%48 = phi i64 [ 0, %19 ], [ %79, %47 ]
%49 = phi i32 [ -4000, %19 ], [ %78, %47 ]
%50 = phi i32 [ undef, %19 ], [ %77, %47 ]
%51 = phi i64 [ 0, %19 ], [ %80, %47 ]
%52 = getelementptr inbounds i32, i32* %0, i64 %48
%53 = load i32, i32* %52
%54 = icmp sgt i32 %53, %49
%55 = trunc i64 %48 to i32
%56 = select i1 %54, i32 %55, i32 %50
%57 = select i1 %54, i32 %53, i32 %49
%58 = or i64 %48, 1
%59 = getelementptr inbounds i32, i32* %0, i64 %58
%60 = load i32, i32* %59
%61 = icmp sgt i32 %60, %57
%62 = trunc i64 %58 to i32
%63 = select i1 %61, i32 %62, i32 %56
%64 = select i1 %61, i32 %60, i32 %57
%65 = or i64 %48, 2
%66 = getelementptr inbounds i32, i32* %0, i64 %65
%67 = load i32, i32* %66
%68 = icmp sgt i32 %67, %64
%69 = trunc i64 %65 to i32
%70 = select i1 %68, i32 %69, i32 %63
%71 = select i1 %68, i32 %67, i32 %64
%72 = or i64 %48, 3
%73 = getelementptr inbounds i32, i32* %0, i64 %72
%74 = load i32, i32* %73
%75 = icmp sgt i32 %74, %71
%76 = trunc i64 %72 to i32
%77 = select i1 %75, i32 %76, i32 %70
%78 = select i1 %75, i32 %74, i32 %71
%79 = add nuw nsw i64 %48, 4
%80 = add i64 %51, 4
%81 = icmp eq i64 %80, %20
br i1 %81, label %21, label %47
82: ; preds = %45, %101
%83 = phi i64 [ 0, %45 ], [ %106, %101 ]
%84 = phi i32 [ 3000, %45 ], [ %105, %101 ]
%85 = phi i32 [ 2000, %45 ], [ %104, %101 ]
%86 = phi i32 [ -3000, %45 ], [ %103, %101 ]
%87 = phi i32 [ -2000, %45 ], [ %102, %101 ]
%88 = icmp eq i64 %83, %44
br i1 %88, label %101, label %89
89: ; preds = %82
%90 = getelementptr inbounds i32, i32* %0, i64 %83
%91 = load i32, i32* %90
%92 = icmp slt i32 %91, %85
%93 = icmp slt i32 %91, %84
%94 = select i1 %93, i32 %91, i32 %84
%95 = select i1 %92, i32 %91, i32 %85
%96 = select i1 %92, i32 %85, i32 %94
%97 = icmp sgt i32 %91, %87
br i1 %97, label %101, label %98
98: ; preds = %89
%99 = icmp sgt i32 %91, %86
%100 = select i1 %99, i32 %91, i32 %86
br label %101
101: ; preds = %98, %89, %82
%102 = phi i32 [ %87, %82 ], [ %91, %89 ], [ %87, %98 ]
%103 = phi i32 [ %86, %82 ], [ %87, %89 ], [ %100, %98 ]
%104 = phi i32 [ %85, %82 ], [ %95, %89 ], [ %95, %98 ]
%105 = phi i32 [ %84, %82 ], [ %96, %89 ], [ %96, %98 ]
%106 = add nuw nsw i64 %83, 1
%107 = icmp eq i64 %106, %46
br i1 %107, label %108, label %82
108: ; preds = %101, %12, %41
%109 = phi i32 [ %43, %41 ], [ -4000, %12 ], [ %43, %101 ]
%110 = phi i32 [ -2000, %41 ], [ -2000, %12 ], [ %102, %101 ]
%111 = phi i32 [ -3000, %41 ], [ -3000, %12 ], [ %103, %101 ]
%112 = phi i32 [ 2000, %41 ], [ 2000, %12 ], [ %104, %101 ]
%113 = phi i32 [ 3000, %41 ], [ 3000, %12 ], [ %105, %101 ]
%114 = mul nsw i32 %110, %109
%115 = mul nsw i32 %114, %111
%116 = mul nsw i32 %112, %109
%117 = mul nsw i32 %116, %113
%118 = tail call i32 @max(i32 %115, i32 %117)
br label %119
119: ; preds = %4, %108
%120 = phi i32 [ %118, %108 ], [ %11, %4 ]
ret i32 %120
}