#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 pow(int, int);
int maxSumDivThree(int *nums, int numsSize) {
  int sum = 0;
  for (int i = 0; i < numsSize; i++)
    sum += nums[i];
  if (sum % 3 == 0)
    return sum;
  int mask = 1;
  int max = 0;
  for (int mask = pow(2, numsSize) - 1; mask > 0; mask--) {
    int sum = 0;
    for (int i = 0; i < numsSize; i++) {
      if (mask & (1 << i)) {
        sum += nums[i];
      }
    }
    if ((sum % 3 == 0) && (sum > max))
      max = sum;
  }
  return max;
}


x86 assembly (clang, -O0):
<maxSumDivThree>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1158 <maxSumDivThree+0x48>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112d <maxSumDivThree+0x1d>
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1177 <maxSumDivThree+0x67>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1239 <maxSumDivThree+0x129>
movl   $0x1,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x14(%rbp),%esi
mov    $0x2,%edi
call   1030 <pow@plt>
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jle    1233 <maxSumDivThree+0x123>
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11fa <maxSumDivThree+0xea>
mov    -0x28(%rbp),%eax
mov    -0x30(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     11e7 <maxSumDivThree+0xd7>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    11ec <maxSumDivThree+0xdc>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11b0 <maxSumDivThree+0xa0>
mov    -0x2c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1220 <maxSumDivThree+0x110>
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1220 <maxSumDivThree+0x110>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1225 <maxSumDivThree+0x115>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1198 <maxSumDivThree+0x88>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<maxSumDivThree>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %esi,%esi
jle    1132 <maxSumDivThree+0x22>
mov    %esi,%r14d
mov    %rdi,%rbx
mov    %esi,%r15d
cmp    $0x8,%esi
jae    1139 <maxSumDivThree+0x29>
xor    %ecx,%ecx
xor    %eax,%eax
jmp    1230 <maxSumDivThree+0x120>
xor    %eax,%eax
jmp    132f <maxSumDivThree+0x21f>
mov    %r15d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%eax
and    $0x3,%eax
cmp    $0x18,%rdx
jae    1165 <maxSumDivThree+0x55>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
jmp    11d9 <maxSumDivThree+0xc9>
and    $0xfffffffffffffffc,%rsi
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqu (%rbx,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%rbx,%rdx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu 0x20(%rbx,%rdx,4),%xmm1
movdqu 0x30(%rbx,%rdx,4),%xmm3
movdqu 0x40(%rbx,%rdx,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x50(%rbx,%rdx,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x60(%rbx,%rdx,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x70(%rbx,%rdx,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rdx
add    $0xfffffffffffffffc,%rsi
jne    1180 <maxSumDivThree+0x70>
test   %rax,%rax
je     120c <maxSumDivThree+0xfc>
lea    (%rbx,%rdx,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rax
xor    %esi,%esi
nopl   0x0(%rax)
movdqu -0x10(%rdx,%rsi,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%rdx,%rsi,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rsi
cmp    %rsi,%rax
jne    11f0 <maxSumDivThree+0xe0>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r15,%rcx
je     123c <maxSumDivThree+0x12c>
nopl   0x0(%rax,%rax,1)
add    (%rbx,%rcx,4),%eax
add    $0x1,%rcx
cmp    %rcx,%r15
jne    1230 <maxSumDivThree+0x120>
imul   $0xaaaaaaab,%eax,%ecx
add    $0x2aaaaaaa,%ecx
cmp    $0x55555555,%ecx
jb     132f <maxSumDivThree+0x21f>
mov    $0x2,%edi
mov    %r14d,%esi
call   1030 <pow@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
jl     132f <maxSumDivThree+0x21f>
mov    %r15d,%edx
and    $0xfffffffe,%edx
xor    %eax,%eax
jmp    12a4 <maxSumDivThree+0x194>
nopl   0x0(%rax,%rax,1)
imul   $0xaaaaaaab,%edi,%esi
add    $0x2aaaaaaa,%esi
cmp    %eax,%edi
cmovle %eax,%edi
cmp    $0x55555555,%esi
cmovb  %edi,%eax
cmp    $0x2,%r8d
jle    132f <maxSumDivThree+0x21f>
mov    %ecx,%r8d
lea    -0x1(%r8),%ecx
mov    $0x0,%edi
test   %r14d,%r14d
jle    1280 <maxSumDivThree+0x170>
cmp    $0x1,%r14d
jne    12d0 <maxSumDivThree+0x1c0>
xor    %esi,%esi
xor    %edi,%edi
test   $0x1,%r15b
je     1280 <maxSumDivThree+0x170>
jmp    131e <maxSumDivThree+0x20e>
nopw   0x0(%rax,%rax,1)
xor    %ebp,%ebp
xor    %edi,%edi
jmp    12e9 <maxSumDivThree+0x1d9>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rbp
cmp    %rdx,%rbp
je     1310 <maxSumDivThree+0x200>
mov    %rbp,%rsi
bt     %esi,%ecx
jae    12f4 <maxSumDivThree+0x1e4>
add    (%rbx,%rsi,4),%edi
lea    0x1(%rsi),%rbp
bt     %ebp,%ecx
jae    12e0 <maxSumDivThree+0x1d0>
add    0x4(%rbx,%rsi,4),%edi
jmp    12e0 <maxSumDivThree+0x1d0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x2,%rsi
test   $0x1,%r15b
je     1280 <maxSumDivThree+0x170>
bt     %esi,%ecx
jae    1280 <maxSumDivThree+0x170>
add    (%rbx,%rsi,4),%edi
jmp    1280 <maxSumDivThree+0x170>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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