#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 random();
int pickweight(int *weight, int clausesize) {
  int i;
  int total = 0;
  int select;
  int subtotal = 0;
  for (i = 0; i < clausesize; i++)
    total += weight[i];
  if (total == 0)
    return (random() % clausesize);
  select = random() % total;
  for (i = 0; subtotal <= select; i++)
    subtotal += weight[i];
  return (i - 1);
}


x86 assembly (clang, -O0):
<pickweight>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    115f <pickweight+0x4f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1134 <pickweight+0x24>
cmpl   $0x0,-0x1c(%rbp)
jne    117c <pickweight+0x6c>
mov    $0x0,%al
call   1030 <random@plt>
cltd
idivl  -0x14(%rbp)
mov    %edx,-0x4(%rbp)
jmp    11c5 <pickweight+0xb5>
mov    $0x0,%al
call   1030 <random@plt>
cltd
idivl  -0x1c(%rbp)
mov    %edx,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     11bc <pickweight+0xac>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1191 <pickweight+0x81>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pickweight>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%r14d
test   %esi,%esi
jle    1270 <pickweight+0x160>
mov    %rdi,%r15
mov    %r14d,%eax
cmp    $0x8,%r14d
jae    1137 <pickweight+0x27>
xor    %ecx,%ecx
xor    %ebp,%ebp
jmp    1230 <pickweight+0x120>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0x18,%rsi
jae    1162 <pickweight+0x52>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
jmp    11d1 <pickweight+0xc1>
and    $0xfffffffffffffffc,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
movdqu (%r15,%rsi,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r15,%rsi,4),%xmm0
paddd  %xmm1,%xmm0
movdqu 0x20(%r15,%rsi,4),%xmm1
movdqu 0x30(%r15,%rsi,4),%xmm3
movdqu 0x40(%r15,%rsi,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x50(%r15,%rsi,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x60(%r15,%rsi,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x70(%r15,%rsi,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1170 <pickweight+0x60>
test   %rdx,%rdx
je     120c <pickweight+0xfc>
lea    (%r15,%rsi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x10(%rsi,%rdi,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%rsi,%rdi,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    11f0 <pickweight+0xe0>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ebp
cmp    %rax,%rcx
je     123d <pickweight+0x12d>
nopl   0x0(%rax,%rax,1)
add    (%r15,%rcx,4),%ebp
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1230 <pickweight+0x120>
test   %ebp,%ebp
je     1270 <pickweight+0x160>
xor    %ebx,%ebx
xor    %eax,%eax
call   1030 <random@plt>
cltd
idiv   %ebp
mov    $0xffffffff,%eax
test   %edx,%edx
js     127d <pickweight+0x16d>
cs nopw 0x0(%rax,%rax,1)
add    (%r15),%ebx
add    $0x4,%r15
add    $0x1,%eax
cmp    %edx,%ebx
jle    1260 <pickweight+0x150>
jmp    127d <pickweight+0x16d>
xor    %eax,%eax
call   1030 <random@plt>
cltd
idiv   %r14d
mov    %edx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @pickweight(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
store i32 0, i32* %7
store i32 0, i32* %9
store i32 0, i32* %6
br label %10
10: ; preds = %22, %2
%11 = load i32, i32* %6
%12 = load i32, i32* %5
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %25
14: ; preds = %10
%15 = load i32*, i32** %4
%16 = load i32, i32* %6
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32, i32* %7
%21 = add nsw i32 %20, %19
store i32 %21, i32* %7
br label %22
22: ; preds = %14
%23 = load i32, i32* %6
%24 = add nsw i32 %23, 1
store i32 %24, i32* %6
br label %10
25: ; preds = %10
%26 = load i32, i32* %7
%27 = icmp eq i32 %26, 0
br i1 %27, label %28, label %32
28: ; preds = %25
%29 = call i32 (...) @random()
%30 = load i32, i32* %5
%31 = srem i32 %29, %30
store i32 %31, i32* %3
br label %54
32: ; preds = %25
%33 = call i32 (...) @random()
%34 = load i32, i32* %7
%35 = srem i32 %33, %34
store i32 %35, i32* %8
store i32 0, i32* %6
br label %36
36: ; preds = %48, %32
%37 = load i32, i32* %9
%38 = load i32, i32* %8
%39 = icmp sle i32 %37, %38
br i1 %39, label %40, label %51
40: ; preds = %36
%41 = load i32*, i32** %4
%42 = load i32, i32* %6
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
%46 = load i32, i32* %9
%47 = add nsw i32 %46, %45
store i32 %47, i32* %9
br label %48
48: ; preds = %40
%49 = load i32, i32* %6
%50 = add nsw i32 %49, 1
store i32 %50, i32* %6
br label %36
51: ; preds = %36
%52 = load i32, i32* %6
%53 = sub nsw i32 %52, 1
store i32 %53, i32* %3
br label %54
54: ; preds = %51, %28
%55 = load i32, i32* %3
ret i32 %55
}

LLVM IR (-O2):
define i32 @pickweight(i32* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %102
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 %99, label %88
88: ; preds = %4, %82
%89 = phi i64 [ 0, %4 ], [ %8, %82 ]
%90 = phi i32 [ 0, %4 ], [ %86, %82 ]
br label %91
91: ; preds = %88, %91
%92 = phi i64 [ %97, %91 ], [ %89, %88 ]
%93 = phi i32 [ %96, %91 ], [ %90, %88 ]
%94 = getelementptr inbounds i32, i32* %0, i64 %92
%95 = load i32, i32* %94
%96 = add nsw i32 %95, %93
%97 = add nuw nsw i64 %92, 1
%98 = icmp eq i64 %97, %5
br i1 %98, label %99, label %91
99: ; preds = %91, %82
%100 = phi i32 [ %86, %82 ], [ %96, %91 ]
%101 = icmp eq i32 %100, 0
br i1 %101, label %102, label %105
102: ; preds = %2, %99
%103 = tail call i32 (...) @random()
%104 = srem i32 %103, %1
br label %120
105: ; preds = %99
%106 = tail call i32 (...) @random()
%107 = srem i32 %106, %100
%108 = icmp slt i32 %107, 0
br i1 %108, label %120, label %109
109: ; preds = %105, %109
%110 = phi i64 [ %115, %109 ], [ 0, %105 ]
%111 = phi i32 [ %114, %109 ], [ 0, %105 ]
%112 = getelementptr inbounds i32, i32* %0, i64 %110
%113 = load i32, i32* %112
%114 = add nsw i32 %113, %111
%115 = add nuw i64 %110, 1
%116 = icmp sgt i32 %114, %107
br i1 %116, label %117, label %109
117: ; preds = %109
%118 = trunc i64 %115 to i32
%119 = add i32 %118, -1
br label %120
120: ; preds = %105, %117, %102
%121 = phi i32 [ %104, %102 ], [ -1, %105 ], [ %119, %117 ]
ret i32 %121
}