#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 */
long maximize(int *prices, size_t days) {
  int max_price = 0;
  int max_price_index;
  for (int i = 0; i < days; i++) {
    if (prices[i] >= max_price) {
      max_price = prices[i];
      max_price_index = i;
    }
  }
  long profit = 0;
  for (int i = 0; i < max_price_index; i++) {
    profit += (max_price - prices[i]);
  }
  if (max_price_index != days - 1) {
    profit +=
        maximize(&prices[max_price_index + 1], days - max_price_index - 1);
  }
  return profit;
}


x86 assembly (clang, -O0):
<maximize>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
movslq -0x1c(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1177 <maximize+0x67>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jl     1164 <maximize+0x54>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1169 <maximize+0x59>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112e <maximize+0x1e>
movq   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11b8 <maximize+0xa8>
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cltq
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1186 <maximize+0x76>
movslq -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
je     11fc <maximize+0xec>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
movslq -0x18(%rbp),%rax
sub    %rax,%rsi
sub    $0x1,%rsi
call   1030 <maximize@plt>
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<maximize>:
push   %rbp
push   %rbx
xor    %r8d,%r8d
test   %rsi,%rsi
je     1160 <maximize+0x60>
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rsi),%rcx
mov    %esi,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1170 <maximize+0x70>
xor    %edx,%edx
xor    %ebx,%ebx
test   %rax,%rax
je     1146 <maximize+0x46>
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rdx,4),%ecx
cmp    %ebx,%ecx
cmovge %ecx,%ebx
cmovge %edx,%r10d
add    $0x1,%rdx
add    $0xffffffffffffffff,%rax
jne    1130 <maximize+0x30>
test   %r10d,%r10d
jle    1160 <maximize+0x60>
mov    %r10d,%r9d
cmp    $0x4,%r10d
jae    11d0 <maximize+0xd0>
xor    %edx,%edx
xor    %eax,%eax
jmp    12f0 <maximize+0x1f0>
nopl   (%rax)
xor    %eax,%eax
jmp    1306 <maximize+0x206>
nopw   0x0(%rax,%rax,1)
mov    %rsi,%r9
and    $0xfffffffffffffffc,%r9
xor    %edx,%edx
xor    %ebx,%ebx
jmp    1189 <maximize+0x89>
nopl   (%rax)
add    $0x4,%rdx
cmp    %r9,%rdx
je     1123 <maximize+0x23>
mov    (%rdi,%rdx,4),%ecx
cmp    %ebx,%ecx
cmovl  %ebx,%ecx
mov    0x4(%rdi,%rdx,4),%ebp
cmovge %edx,%r10d
cmp    %ecx,%ebp
jl     11a3 <maximize+0xa3>
lea    0x1(%rdx),%r10d
mov    %ebp,%ecx
mov    0x8(%rdi,%rdx,4),%ebp
cmp    %ecx,%ebp
jl     11b1 <maximize+0xb1>
lea    0x2(%rdx),%r10d
mov    %ebp,%ecx
mov    0xc(%rdi,%rdx,4),%ebp
mov    %ecx,%ebx
cmp    %ecx,%ebp
jl     1180 <maximize+0x80>
lea    0x3(%rdx),%r10d
mov    %ebp,%ebx
jmp    1180 <maximize+0x80>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r9d,%edx
and    $0xfffffffc,%edx
movd   %ebx,%xmm0
pshufd $0x50,%xmm0,%xmm0
lea    -0x4(%rdx),%rax
mov    %rax,%r11
shr    $0x2,%r11
add    $0x1,%r11
test   %rax,%rax
je     1331 <maximize+0x231>
mov    %r11,%rcx
and    $0xfffffffffffffffe,%rcx
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
nopl   0x0(%rax,%rax,1)
movq   (%rdi,%rax,4),%xmm3
movq   0x8(%rdi,%rax,4),%xmm4
movdqa %xmm0,%xmm5
psubd  %xmm3,%xmm5
movdqa %xmm0,%xmm3
psubd  %xmm4,%xmm3
pxor   %xmm4,%xmm4
pcmpgtd %xmm5,%xmm4
punpckldq %xmm4,%xmm5
paddq  %xmm1,%xmm5
pxor   %xmm1,%xmm1
pcmpgtd %xmm3,%xmm1
punpckldq %xmm1,%xmm3
paddq  %xmm2,%xmm3
movq   0x10(%rdi,%rax,4),%xmm2
movq   0x18(%rdi,%rax,4),%xmm4
movdqa %xmm0,%xmm1
psubd  %xmm2,%xmm1
movdqa %xmm0,%xmm2
psubd  %xmm4,%xmm2
pxor   %xmm4,%xmm4
pcmpgtd %xmm1,%xmm4
punpckldq %xmm4,%xmm1
paddq  %xmm5,%xmm1
pxor   %xmm4,%xmm4
pcmpgtd %xmm2,%xmm4
punpckldq %xmm4,%xmm2
paddq  %xmm3,%xmm2
add    $0x8,%rax
add    $0xfffffffffffffffe,%rcx
jne    1210 <maximize+0x110>
test   $0x1,%r11b
je     12d2 <maximize+0x1d2>
movq   (%rdi,%rax,4),%xmm3
movq   0x8(%rdi,%rax,4),%xmm4
movdqa %xmm0,%xmm5
psubd  %xmm3,%xmm5
psubd  %xmm4,%xmm0
pxor   %xmm3,%xmm3
pcmpgtd %xmm5,%xmm3
punpckldq %xmm3,%xmm5
paddq  %xmm5,%xmm1
pxor   %xmm3,%xmm3
pcmpgtd %xmm0,%xmm3
punpckldq %xmm3,%xmm0
paddq  %xmm0,%xmm2
paddq  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddq  %xmm1,%xmm0
movq   %xmm0,%rax
cmp    %r9,%rdx
je     1306 <maximize+0x206>
nopl   0x0(%rax)
movslq (%rdi,%rdx,4),%rcx
movslq %ebx,%rbp
sub    %rcx,%rbp
add    %rbp,%rax
add    $0x1,%rdx
cmp    %rdx,%r9
jne    12f0 <maximize+0x1f0>
movslq %r10d,%rcx
lea    -0x1(%rsi),%rdx
cmp    %rcx,%rdx
je     1347 <maximize+0x247>
lea    (%rdi,%rcx,4),%rdi
add    $0x4,%rdi
not    %rcx
add    %rcx,%rsi
add    %rax,%r8
test   %rsi,%rsi
jne    1110 <maximize+0x10>
jmp    1160 <maximize+0x60>
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
test   $0x1,%r11b
jne    129b <maximize+0x19b>
jmp    12d2 <maximize+0x1d2>
add    %r8,%rax
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i64 @maximize(i32* %0, i64 %1) {
%3 = alloca i32*
%4 = alloca i64
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i64
%9 = alloca i32
store i32* %0, i32** %3
store i64 %1, i64* %4
store i32 0, i32* %5
store i32 0, i32* %7
br label %10
10: ; preds = %31, %2
%11 = load i32, i32* %7
%12 = sext i32 %11 to i64
%13 = load i64, i64* %4
%14 = icmp ult i64 %12, %13
br i1 %14, label %15, label %34
15: ; preds = %10
%16 = load i32*, i32** %3
%17 = load i32, i32* %7
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %16, i64 %18
%20 = load i32, i32* %19
%21 = load i32, i32* %5
%22 = icmp sge i32 %20, %21
br i1 %22, label %23, label %30
23: ; preds = %15
%24 = load i32*, i32** %3
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
store i32 %28, i32* %5
%29 = load i32, i32* %7
store i32 %29, i32* %6
br label %30
30: ; preds = %23, %15
br label %31
31: ; preds = %30
%32 = load i32, i32* %7
%33 = add nsw i32 %32, 1
store i32 %33, i32* %7
br label %10
34: ; preds = %10
store i64 0, i64* %8
store i32 0, i32* %9
br label %35
35: ; preds = %50, %34
%36 = load i32, i32* %9
%37 = load i32, i32* %6
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %53
39: ; preds = %35
%40 = load i32, i32* %5
%41 = load i32*, i32** %3
%42 = load i32, i32* %9
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
%46 = sub nsw i32 %40, %45
%47 = sext i32 %46 to i64
%48 = load i64, i64* %8
%49 = add nsw i64 %48, %47
store i64 %49, i64* %8
br label %50
50: ; preds = %39
%51 = load i32, i32* %9
%52 = add nsw i32 %51, 1
store i32 %52, i32* %9
br label %35
53: ; preds = %35
%54 = load i32, i32* %6
%55 = sext i32 %54 to i64
%56 = load i64, i64* %4
%57 = sub i64 %56, 1
%58 = icmp ne i64 %55, %57
br i1 %58, label %59, label %73
59: ; preds = %53
%60 = load i32*, i32** %3
%61 = load i32, i32* %6
%62 = add nsw i32 %61, 1
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %60, i64 %63
%65 = load i64, i64* %4
%66 = load i32, i32* %6
%67 = sext i32 %66 to i64
%68 = sub i64 %65, %67
%69 = sub i64 %68, 1
%70 = call i64 @maximize(i32* %64, i64 %69)
%71 = load i64, i64* %8
%72 = add nsw i64 %71, %70
store i64 %72, i64* %8
br label %73
73: ; preds = %59, %53
%74 = load i64, i64* %8
ret i64 %74
}

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