#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 */
scalar_t__ malloc(int);
int maxProduct0(int *nums, int size) {
  if (!size)
    return 0;
  int *maxProducts = (int *)malloc(sizeof(int) * size);
  int *minProducts = (int *)malloc(sizeof(int) * size);
  int max = maxProducts[0] = minProducts[0] = nums[0];
  for (int i = 1; i < size; i++) {
    maxProducts[i] =
        ((maxProducts[i - 1] * nums[i]) > (minProducts[i - 1] * nums[i])
             ? (maxProducts[i - 1] * nums[i])
             : (minProducts[i - 1] * nums[i])) > (nums[i])
            ? ((maxProducts[i - 1] * nums[i]) > (minProducts[i - 1] * nums[i])
                   ? (maxProducts[i - 1] * nums[i])
                   : (minProducts[i - 1] * nums[i]))
            : (nums[i]);
    minProducts[i] =
        ((maxProducts[i - 1] * nums[i]) < (minProducts[i - 1] * nums[i])
             ? (maxProducts[i - 1] * nums[i])
             : (minProducts[i - 1] * nums[i])) < (nums[i])
            ? ((maxProducts[i - 1] * nums[i]) < (minProducts[i - 1] * nums[i])
                   ? (maxProducts[i - 1] * nums[i])
                   : (minProducts[i - 1] * nums[i]))
            : (nums[i]);
    max = (max) > (maxProducts[i]) ? (max) : (maxProducts[i]);
  }
  return max;
}


x86 assembly (clang, -O0):
<maxProduct0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1135 <maxProduct0+0x25>
movl   $0x0,-0x4(%rbp)
jmp    144c <maxProduct0+0x33c>
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,-0x20(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %eax,(%rcx)
mov    -0x20(%rbp),%rcx
mov    %eax,(%rcx)
mov    %eax,-0x2c(%rbp)
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1446 <maxProduct0+0x336>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x30(%rbp),%rsi
imul   (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
jle    11e7 <maxProduct0+0xd7>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x34(%rbp)
jmp    1206 <maxProduct0+0xf6>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    12a8 <maxProduct0+0x198>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x30(%rbp),%rsi
imul   (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
jle    127e <maxProduct0+0x16e>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x38(%rbp)
jmp    129d <maxProduct0+0x18d>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    12b6 <maxProduct0+0x1a6>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x30(%rbp),%rsi
imul   (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
jge    1328 <maxProduct0+0x218>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x40(%rbp)
jmp    1347 <maxProduct0+0x237>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    13e9 <maxProduct0+0x2d9>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x30(%rbp),%rsi
imul   (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
jge    13bf <maxProduct0+0x2af>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x44(%rbp)
jmp    13de <maxProduct0+0x2ce>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    13f7 <maxProduct0+0x2e7>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%edx
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
mov    -0x20(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1424 <maxProduct0+0x314>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    1432 <maxProduct0+0x322>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1177 <maxProduct0+0x67>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<maxProduct0>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   %esi,%esi
je     11cb <maxProduct0+0xbb>
mov    %esi,%r15d
mov    %rdi,%r14
lea    0x0(,%r15,4),%ebp
mov    %ebp,%edi
call   1030 <malloc@plt>
mov    %rax,%r12
mov    %ebp,%edi
call   1030 <malloc@plt>
mov    (%r14),%esi
mov    %esi,(%rax)
mov    %esi,(%r12)
cmp    $0x2,%r15d
jl     11cf <maxProduct0+0xbf>
mov    %r15d,%r8d
mov    (%rax),%edi
lea    0x4(%r12),%rcx
lea    (%rax,%r8,4),%rdx
cmp    %rdx,%rcx
jae    11dc <maxProduct0+0xcc>
lea    (%r12,%r8,4),%rcx
cmp    %rcx,%rax
jae    11dc <maxProduct0+0xcc>
mov    $0x1,%edx
mov    %esi,%ecx
jmp    11b1 <maxProduct0+0xa1>
nopw   0x0(%rax,%rax,1)
mov    %ebp,(%r12,%rdx,4)
mov    (%r14,%rdx,4),%ebp
imul   %ebp,%esi
mov    -0x4(%rax,%rdx,4),%edi
imul   %ebp,%edi
cmp    %edi,%esi
cmovl  %esi,%edi
cmp    %ebp,%edi
cmovge %ebp,%edi
mov    %edi,(%rax,%rdx,4)
mov    (%r12,%rdx,4),%esi
cmp    %esi,%ecx
cmovle %esi,%ecx
add    $0x1,%rdx
cmp    %rdx,%r8
je     11d1 <maxProduct0+0xc1>
mov    (%r14,%rdx,4),%ebx
mov    %ebx,%ebp
imul   %esi,%ebp
imul   %ebx,%edi
cmp    %edi,%ebp
jg     11c3 <maxProduct0+0xb3>
mov    %edi,%ebp
cmp    %ebx,%ebp
jg     1180 <maxProduct0+0x70>
mov    %ebx,%ebp
jmp    1180 <maxProduct0+0x70>
xor    %ecx,%ecx
jmp    11d1 <maxProduct0+0xc1>
mov    %esi,%ecx
mov    %ecx,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    (%rax),%r9d
mov    $0x1,%ebp
mov    %esi,%ecx
jmp    1209 <maxProduct0+0xf9>
nopl   0x0(%rax,%rax,1)
mov    %r9d,(%rax,%rbp,4)
mov    (%r12,%rbp,4),%esi
cmp    %esi,%ecx
cmovle %esi,%ecx
add    $0x1,%rbp
mov    %r9d,%edi
cmp    %rbp,%r8
je     11d1 <maxProduct0+0xc1>
mov    (%r14,%rbp,4),%edx
mov    %edx,%ebx
imul   %esi,%ebx
imul   %edx,%edi
cmp    %edi,%ebx
cmovg  %ebx,%edi
cmp    %edx,%edi
jg     1220 <maxProduct0+0x110>
mov    %edx,%edi
mov    %edi,(%r12,%rbp,4)
mov    (%r14,%rbp,4),%edi
imul   %edi,%esi
imul   %edi,%r9d
cmp    %r9d,%esi
cmovl  %esi,%r9d
cmp    %edi,%r9d
jl     11f0 <maxProduct0+0xe0>
mov    %edi,%r9d
jmp    11f0 <maxProduct0+0xe0>

LLVM IR (-O0):
define i32 @maxProduct0(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
store i32* %0, i32** %4
store i32 %1, i32* %5
%10 = load i32, i32* %5
%11 = icmp ne i32 %10, 0
br i1 %11, label %13, label %12
12: ; preds = %2
store i32 0, i32* %3
br label %310
13: ; preds = %2
%14 = load i32, i32* %5
%15 = sext i32 %14 to i64
%16 = mul i64 4, %15
%17 = trunc i64 %16 to i32
%18 = call i64 @malloc(i32 %17)
%19 = inttoptr i64 %18 to i32*
store i32* %19, i32** %6
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = mul i64 4, %21
%23 = trunc i64 %22 to i32
%24 = call i64 @malloc(i32 %23)
%25 = inttoptr i64 %24 to i32*
store i32* %25, i32** %7
%26 = load i32*, i32** %4
%27 = getelementptr inbounds i32, i32* %26, i64 0
%28 = load i32, i32* %27
%29 = load i32*, i32** %7
%30 = getelementptr inbounds i32, i32* %29, i64 0
store i32 %28, i32* %30
%31 = load i32*, i32** %6
%32 = getelementptr inbounds i32, i32* %31, i64 0
store i32 %28, i32* %32
store i32 %28, i32* %8
store i32 1, i32* %9
br label %33
33: ; preds = %305, %13
%34 = load i32, i32* %9
%35 = load i32, i32* %5
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %308
37: ; preds = %33
%38 = load i32*, i32** %6
%39 = load i32, i32* %9
%40 = sub nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %38, i64 %41
%43 = load i32, i32* %42
%44 = load i32*, i32** %4
%45 = load i32, i32* %9
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = mul nsw i32 %43, %48
%50 = load i32*, i32** %7
%51 = load i32, i32* %9
%52 = sub nsw i32 %51, 1
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %50, i64 %53
%55 = load i32, i32* %54
%56 = load i32*, i32** %4
%57 = load i32, i32* %9
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %56, i64 %58
%60 = load i32, i32* %59
%61 = mul nsw i32 %55, %60
%62 = icmp sgt i32 %49, %61
br i1 %62, label %63, label %76
63: ; preds = %37
%64 = load i32*, i32** %6
%65 = load i32, i32* %9
%66 = sub nsw i32 %65, 1
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i32, i32* %64, i64 %67
%69 = load i32, i32* %68
%70 = load i32*, i32** %4
%71 = load i32, i32* %9
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i32, i32* %70, i64 %72
%74 = load i32, i32* %73
%75 = mul nsw i32 %69, %74
br label %89
76: ; preds = %37
%77 = load i32*, i32** %7
%78 = load i32, i32* %9
%79 = sub nsw i32 %78, 1
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %77, i64 %80
%82 = load i32, i32* %81
%83 = load i32*, i32** %4
%84 = load i32, i32* %9
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i32, i32* %83, i64 %85
%87 = load i32, i32* %86
%88 = mul nsw i32 %82, %87
br label %89
89: ; preds = %76, %63
%90 = phi i32 [ %75, %63 ], [ %88, %76 ]
%91 = load i32*, i32** %4
%92 = load i32, i32* %9
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %91, i64 %93
%95 = load i32, i32* %94
%96 = icmp sgt i32 %90, %95
br i1 %96, label %97, label %151
97: ; preds = %89
%98 = load i32*, i32** %6
%99 = load i32, i32* %9
%100 = sub nsw i32 %99, 1
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %98, i64 %101
%103 = load i32, i32* %102
%104 = load i32*, i32** %4
%105 = load i32, i32* %9
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
%108 = load i32, i32* %107
%109 = mul nsw i32 %103, %108
%110 = load i32*, i32** %7
%111 = load i32, i32* %9
%112 = sub nsw i32 %111, 1
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %110, i64 %113
%115 = load i32, i32* %114
%116 = load i32*, i32** %4
%117 = load i32, i32* %9
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %116, i64 %118
%120 = load i32, i32* %119
%121 = mul nsw i32 %115, %120
%122 = icmp sgt i32 %109, %121
br i1 %122, label %123, label %136
123: ; preds = %97
%124 = load i32*, i32** %6
%125 = load i32, i32* %9
%126 = sub nsw i32 %125, 1
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i32, i32* %124, i64 %127
%129 = load i32, i32* %128
%130 = load i32*, i32** %4
%131 = load i32, i32* %9
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds i32, i32* %130, i64 %132
%134 = load i32, i32* %133
%135 = mul nsw i32 %129, %134
br label %149
136: ; preds = %97
%137 = load i32*, i32** %7
%138 = load i32, i32* %9
%139 = sub nsw i32 %138, 1
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i32, i32* %137, i64 %140
%142 = load i32, i32* %141
%143 = load i32*, i32** %4
%144 = load i32, i32* %9
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i32, i32* %143, i64 %145
%147 = load i32, i32* %146
%148 = mul nsw i32 %142, %147
br label %149
149: ; preds = %136, %123
%150 = phi i32 [ %135, %123 ], [ %148, %136 ]
br label %157
151: ; preds = %89
%152 = load i32*, i32** %4
%153 = load i32, i32* %9
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds i32, i32* %152, i64 %154
%156 = load i32, i32* %155
br label %157
157: ; preds = %151, %149
%158 = phi i32 [ %150, %149 ], [ %156, %151 ]
%159 = load i32*, i32** %6
%160 = load i32, i32* %9
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i32, i32* %159, i64 %161
store i32 %158, i32* %162
%163 = load i32*, i32** %6
%164 = load i32, i32* %9
%165 = sub nsw i32 %164, 1
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i32, i32* %163, i64 %166
%168 = load i32, i32* %167
%169 = load i32*, i32** %4
%170 = load i32, i32* %9
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds i32, i32* %169, i64 %171
%173 = load i32, i32* %172
%174 = mul nsw i32 %168, %173
%175 = load i32*, i32** %7
%176 = load i32, i32* %9
%177 = sub nsw i32 %176, 1
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i32, i32* %175, i64 %178
%180 = load i32, i32* %179
%181 = load i32*, i32** %4
%182 = load i32, i32* %9
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds i32, i32* %181, i64 %183
%185 = load i32, i32* %184
%186 = mul nsw i32 %180, %185
%187 = icmp slt i32 %174, %186
br i1 %187, label %188, label %201
188: ; preds = %157
%189 = load i32*, i32** %6
%190 = load i32, i32* %9
%191 = sub nsw i32 %190, 1
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i32, i32* %189, i64 %192
%194 = load i32, i32* %193
%195 = load i32*, i32** %4
%196 = load i32, i32* %9
%197 = sext i32 %196 to i64
%198 = getelementptr inbounds i32, i32* %195, i64 %197
%199 = load i32, i32* %198
%200 = mul nsw i32 %194, %199
br label %214
201: ; preds = %157
%202 = load i32*, i32** %7
%203 = load i32, i32* %9
%204 = sub nsw i32 %203, 1
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds i32, i32* %202, i64 %205
%207 = load i32, i32* %206
%208 = load i32*, i32** %4
%209 = load i32, i32* %9
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds i32, i32* %208, i64 %210
%212 = load i32, i32* %211
%213 = mul nsw i32 %207, %212
br label %214
214: ; preds = %201, %188
%215 = phi i32 [ %200, %188 ], [ %213, %201 ]
%216 = load i32*, i32** %4
%217 = load i32, i32* %9
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds i32, i32* %216, i64 %218
%220 = load i32, i32* %219
%221 = icmp slt i32 %215, %220
br i1 %221, label %222, label %276
222: ; preds = %214
%223 = load i32*, i32** %6
%224 = load i32, i32* %9
%225 = sub nsw i32 %224, 1
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %223, i64 %226
%228 = load i32, i32* %227
%229 = load i32*, i32** %4
%230 = load i32, i32* %9
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds i32, i32* %229, i64 %231
%233 = load i32, i32* %232
%234 = mul nsw i32 %228, %233
%235 = load i32*, i32** %7
%236 = load i32, i32* %9
%237 = sub nsw i32 %236, 1
%238 = sext i32 %237 to i64
%239 = getelementptr inbounds i32, i32* %235, i64 %238
%240 = load i32, i32* %239
%241 = load i32*, i32** %4
%242 = load i32, i32* %9
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds i32, i32* %241, i64 %243
%245 = load i32, i32* %244
%246 = mul nsw i32 %240, %245
%247 = icmp slt i32 %234, %246
br i1 %247, label %248, label %261
248: ; preds = %222
%249 = load i32*, i32** %6
%250 = load i32, i32* %9
%251 = sub nsw i32 %250, 1
%252 = sext i32 %251 to i64
%253 = getelementptr inbounds i32, i32* %249, i64 %252
%254 = load i32, i32* %253
%255 = load i32*, i32** %4
%256 = load i32, i32* %9
%257 = sext i32 %256 to i64
%258 = getelementptr inbounds i32, i32* %255, i64 %257
%259 = load i32, i32* %258
%260 = mul nsw i32 %254, %259
br label %274
261: ; preds = %222
%262 = load i32*, i32** %7
%263 = load i32, i32* %9
%264 = sub nsw i32 %263, 1
%265 = sext i32 %264 to i64
%266 = getelementptr inbounds i32, i32* %262, i64 %265
%267 = load i32, i32* %266
%268 = load i32*, i32** %4
%269 = load i32, i32* %9
%270 = sext i32 %269 to i64
%271 = getelementptr inbounds i32, i32* %268, i64 %270
%272 = load i32, i32* %271
%273 = mul nsw i32 %267, %272
br label %274
274: ; preds = %261, %248
%275 = phi i32 [ %260, %248 ], [ %273, %261 ]
br label %282
276: ; preds = %214
%277 = load i32*, i32** %4
%278 = load i32, i32* %9
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds i32, i32* %277, i64 %279
%281 = load i32, i32* %280
br label %282
282: ; preds = %276, %274
%283 = phi i32 [ %275, %274 ], [ %281, %276 ]
%284 = load i32*, i32** %7
%285 = load i32, i32* %9
%286 = sext i32 %285 to i64
%287 = getelementptr inbounds i32, i32* %284, i64 %286
store i32 %283, i32* %287
%288 = load i32, i32* %8
%289 = load i32*, i32** %6
%290 = load i32, i32* %9
%291 = sext i32 %290 to i64
%292 = getelementptr inbounds i32, i32* %289, i64 %291
%293 = load i32, i32* %292
%294 = icmp sgt i32 %288, %293
br i1 %294, label %295, label %297
295: ; preds = %282
%296 = load i32, i32* %8
br label %303
297: ; preds = %282
%298 = load i32*, i32** %6
%299 = load i32, i32* %9
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds i32, i32* %298, i64 %300
%302 = load i32, i32* %301
br label %303
303: ; preds = %297, %295
%304 = phi i32 [ %296, %295 ], [ %302, %297 ]
store i32 %304, i32* %8
br label %305
305: ; preds = %303
%306 = load i32, i32* %9
%307 = add nsw i32 %306, 1
store i32 %307, i32* %9
br label %33
308: ; preds = %33
%309 = load i32, i32* %8
store i32 %309, i32* %3
br label %310
310: ; preds = %308, %12
%311 = load i32, i32* %3
ret i32 %311
}

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