#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*/ free(int *);
int *malloc(int);
int largestRectangleArea(int *height, int heightSize) {
  int *tower = malloc((heightSize + 1) * sizeof(int));
  int *index = malloc((heightSize + 1) * sizeof(int));
  int *area = malloc((heightSize + 1) * sizeof(int));
  int length = 1;
  tower[0] = -1;
  index[0] = 0;
  int i;
  for (i = 0; i < heightSize; i++) {
    if (height[i] > tower[length - 1]) {
      tower[length] = height[i];
      index[length] = i;
      length++;
    } else {
      int j = length - 1;
      while (j > 0 && tower[j] >= height[i])
        j--;
      tower[j + 1] = height[i];
      length = j + 2;
    }
    int j = length - 1;
    area[i] = (i - index[j] + 1) * height[i];
  }
  tower[0] = -1;
  index[0] = heightSize - 1;
  length = 1;
  for (i = heightSize - 1; i >= 0; i--) {
    if (height[i] > tower[length - 1]) {
      tower[length] = height[i];
      index[length] = i;
      length++;
    } else {
      int j = length - 1;
      while (j > 0 && tower[j] >= height[i])
        j--;
      tower[j + 1] = height[i];
      length = j + 2;
    }
    int j = length - 1;
    area[i] += (index[j] - i + 1) * height[i] - height[i];
  }
  int area_max = 0;
  for (i = 0; i < heightSize; i++) {
    if (area[i] > area_max)
      area_max = area[i];
  }
  free(area);
  free(tower);
  free(index);
  return area_max;
}


x86 assembly (clang, -O0):
<largestRectangleArea>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x1,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12aa <largestRectangleArea+0x18a>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11f5 <largestRectangleArea+0xd5>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    126b <largestRectangleArea+0x14b>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x45(%rbp)
jle    1229 <largestRectangleArea+0x109>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setge  %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    1239 <largestRectangleArea+0x119>
jmp    1247 <largestRectangleArea+0x127>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    11fe <largestRectangleArea+0xde>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
sub    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1196 <largestRectangleArea+0x76>
mov    -0x18(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x2c(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jl     13f0 <largestRectangleArea+0x2d0>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    132d <largestRectangleArea+0x20d>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13a3 <largestRectangleArea+0x283>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x3c(%rbp)
mov    %al,-0x46(%rbp)
jle    1361 <largestRectangleArea+0x241>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setge  %al
mov    %al,-0x46(%rbp)
mov    -0x46(%rbp),%al
test   $0x1,%al
jne    1371 <largestRectangleArea+0x251>
jmp    137f <largestRectangleArea+0x25f>
mov    -0x3c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x3c(%rbp)
jmp    1336 <largestRectangleArea+0x216>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    -0x30(%rbp),%edx
add    $0x1,%edx
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
sub    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    12d0 <largestRectangleArea+0x1b0>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    143f <largestRectangleArea+0x31f>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x44(%rbp),%eax
jle    142c <largestRectangleArea+0x30c>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
jmp    1431 <largestRectangleArea+0x311>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    13fe <largestRectangleArea+0x2de>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%rdi
call   1030 <free@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x44(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<largestRectangleArea>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%r15d
mov    %rdi,%r12
lea    0x4(,%r15,4),%ebp
mov    %ebp,%edi
call   1040 <malloc@plt>
mov    %rax,%r13
mov    %ebp,%edi
call   1040 <malloc@plt>
mov    %rax,%r14
mov    %ebp,%edi
call   1040 <malloc@plt>
movl   $0xffffffff,0x0(%r13)
ff
movl   $0x0,(%r14)
test   %r15d,%r15d
jle    12ad <largestRectangleArea+0x18d>
mov    %r15d,%r8d
mov    $0x1,%edi
mov    $0xffffffff,%edx
xor    %ebp,%ebp
jmp    11a7 <largestRectangleArea+0x87>
nopl   (%rax)
movslq %edi,%rcx
mov    %edx,0x0(%r13,%rcx,4)
mov    %ebp,(%r14,%rcx,4)
add    $0x1,%edi
mov    %ebp,%ecx
lea    0x1(%rbp),%rsi
mov    %esi,%ebx
sub    %ecx,%ebx
imul   %edx,%ebx
mov    %ebx,(%rax,%rbp,4)
mov    %rsi,%rbp
cmp    %r8,%rsi
je     11f5 <largestRectangleArea+0xd5>
mov    %edx,%ecx
mov    (%r12,%rbp,4),%edx
cmp    %ecx,%edx
jg     1180 <largestRectangleArea+0x60>
cmp    $0x2,%edi
jl     11e0 <largestRectangleArea+0xc0>
cs nopw 0x0(%rax,%rax,1)
lea    -0x1(%rdi),%ecx
cmp    %edx,0x0(%r13,%rcx,4)
jl     11e0 <largestRectangleArea+0xc0>
mov    %ecx,%edi
cmp    $0x1,%ecx
jg     11c0 <largestRectangleArea+0xa0>
xor    %edi,%edi
jmp    11e3 <largestRectangleArea+0xc3>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0xffffffff,%edi
movslq %edi,%rcx
mov    %edx,0x4(%r13,%rcx,4)
lea    0x2(%rcx),%edi
mov    0x4(%r14,%rcx,4),%ecx
jmp    1191 <largestRectangleArea+0x71>
lea    -0x1(%r15),%ecx
xor    %ebp,%ebp
movl   $0xffffffff,0x0(%r13)
ff
mov    %ecx,(%r14)
test   %r15d,%r15d
jle    1411 <largestRectangleArea+0x2f1>
mov    %ecx,%edx
mov    $0x1,%edi
mov    $0xffffffff,%esi
jmp    1245 <largestRectangleArea+0x125>
nopl   (%rax)
movslq %edi,%rcx
mov    %esi,0x0(%r13,%rcx,4)
mov    %edx,(%r14,%rcx,4)
add    $0x1,%edi
mov    %edx,%ecx
sub    %edx,%ecx
imul   %esi,%ecx
add    %ecx,(%rax,%rdx,4)
lea    -0x1(%rdx),%rcx
test   %rdx,%rdx
mov    %rcx,%rdx
jle    1295 <largestRectangleArea+0x175>
mov    %esi,%ecx
mov    (%r12,%rdx,4),%esi
cmp    %ecx,%esi
jg     1220 <largestRectangleArea+0x100>
cmp    $0x2,%edi
jl     1280 <largestRectangleArea+0x160>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x1(%rdi),%ecx
cmp    %esi,0x0(%r13,%rcx,4)
jl     1280 <largestRectangleArea+0x160>
mov    %ecx,%edi
cmp    $0x1,%ecx
jg     1260 <largestRectangleArea+0x140>
xor    %edi,%edi
jmp    1283 <largestRectangleArea+0x163>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0xffffffff,%edi
movslq %edi,%rcx
mov    %esi,0x4(%r13,%rcx,4)
lea    0x2(%rcx),%edi
mov    0x4(%r14,%rcx,4),%ecx
jmp    1231 <largestRectangleArea+0x111>
test   %r15d,%r15d
jle    1411 <largestRectangleArea+0x2f1>
cmp    $0x8,%r15d
jae    12bb <largestRectangleArea+0x19b>
xor    %edx,%edx
xor    %ebp,%ebp
jmp    1400 <largestRectangleArea+0x2e0>
add    $0xffffffff,%r15d
mov    %r15d,(%r14)
xor    %ebp,%ebp
jmp    1411 <largestRectangleArea+0x2f1>
mov    %r8d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rcx
mov    %rcx,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
test   %rcx,%rcx
je     143a <largestRectangleArea+0x31a>
mov    %rbp,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu (%rax,%rdi,4),%xmm2
movdqu 0x10(%rax,%rdi,4),%xmm3
movdqu 0x20(%rax,%rdi,4),%xmm4
movdqu 0x30(%rax,%rdi,4),%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm0,%xmm6
pand   %xmm6,%xmm2
pandn  %xmm0,%xmm6
por    %xmm2,%xmm6
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
pcmpgtd %xmm6,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm6,%xmm0
por    %xmm4,%xmm0
movdqa %xmm5,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm2,%xmm1
por    %xmm5,%xmm1
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rsi
jne    12f0 <largestRectangleArea+0x1d0>
test   $0x1,%bpl
je     13a2 <largestRectangleArea+0x282>
movdqu (%rax,%rdi,4),%xmm2
movdqu 0x10(%rax,%rdi,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,%ebp
cmp    %r8,%rdx
je     1411 <largestRectangleArea+0x2f1>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rax,%rdx,4),%ecx
cmp    %ebp,%ecx
cmovg  %ecx,%ebp
add    $0x1,%rdx
cmp    %rdx,%r8
jne    1400 <largestRectangleArea+0x2e0>
mov    %rax,%rdi
call   1030 <free@plt>
mov    %r13,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
test   $0x1,%bpl
jne    1367 <largestRectangleArea+0x247>
jmp    13a2 <largestRectangleArea+0x282>

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

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