#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 pickweight(int *, int);
int pickzero(int *, int);
int pickreciprocal(int *numbreak, int clausesize, int tofix) {
  int i;
  int weight[1000];
  int tochange;
  int totalproduct = 1;
  if (clausesize == 1)
    return (0);
  if ((tochange = pickzero(numbreak, clausesize)) != -1)
    return (tochange);
  for (i = 0; i < clausesize; i++)
    totalproduct *= numbreak[i];
  for (i = 0; i < clausesize; i++)
    weight[i] = (totalproduct / numbreak[i]);
  return (pickweight(weight, clausesize));
}


x86 assembly (clang, -O0):
<pickreciprocal>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfd0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x1,-0xfc8(%rbp)
cmpl   $0x1,-0x14(%rbp)
jne    1155 <pickreciprocal+0x35>
movl   $0x0,-0x4(%rbp)
jmp    1209 <pickreciprocal+0xe9>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1030 <pickzero@plt>
mov    %eax,-0xfc4(%rbp)
cmp    $0xffffffff,%eax
je     117e <pickreciprocal+0x5e>
mov    -0xfc4(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1209 <pickreciprocal+0xe9>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11b7 <pickreciprocal+0x97>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
imul   -0xfc8(%rbp),%eax
mov    %eax,-0xfc8(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1185 <pickreciprocal+0x65>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11f7 <pickreciprocal+0xd7>
mov    -0xfc8(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rsi
cltd
idivl  (%rcx,%rsi,4)
mov    %eax,%ecx
movslq -0x1c(%rbp),%rax
mov    %ecx,-0xfc0(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11be <pickreciprocal+0x9e>
lea    -0xfc0(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1040 <pickweight@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xfd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pickreciprocal>:
push   %rbp
push   %r14
push   %rbx
sub    $0xfa0,%rsp
xor    %eax,%eax
cmp    $0x1,%esi
je     1397 <pickreciprocal+0x277>
mov    %esi,%r14d
mov    %rdi,%rbx
call   1030 <pickzero@plt>
cmp    $0xffffffff,%eax
jne    1397 <pickreciprocal+0x277>
test   %r14d,%r14d
jle    138c <pickreciprocal+0x26c>
mov    %r14d,%ebp
cmp    $0x8,%r14d
jae    1168 <pickreciprocal+0x48>
mov    $0x1,%ecx
xor    %eax,%eax
jmp    1330 <pickreciprocal+0x210>
mov    %ebp,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rdx
mov    %rdx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%ecx
and    $0x3,%ecx
cmp    $0x18,%rdx
jae    119a <pickreciprocal+0x7a>
movdqa 0xe71(%rip),%xmm0
xor    %edx,%edx
movdqa %xmm0,%xmm1
jmp    127b <pickreciprocal+0x15b>
and    $0xfffffffffffffffc,%rdi
movdqa 0xe5a(%rip),%xmm0
xor    %edx,%edx
movdqa %xmm0,%xmm1
nopl   0x0(%rax)
movdqu (%rbx,%rdx,4),%xmm3
movdqu 0x10(%rbx,%rdx,4),%xmm2
movdqu 0x20(%rbx,%rdx,4),%xmm4
movdqu 0x30(%rbx,%rdx,4),%xmm5
pshufd $0xf5,%xmm3,%xmm6
pshufd $0xf5,%xmm0,%xmm7
pmuludq %xmm6,%xmm7
pmuludq %xmm0,%xmm3
pshufd $0xf5,%xmm2,%xmm0
pshufd $0xf5,%xmm1,%xmm6
pmuludq %xmm0,%xmm6
pmuludq %xmm1,%xmm2
pmuludq %xmm4,%xmm3
pshufd $0xf5,%xmm4,%xmm0
pmuludq %xmm7,%xmm0
pmuludq %xmm5,%xmm2
pshufd $0xf5,%xmm5,%xmm1
pmuludq %xmm6,%xmm1
movdqu 0x40(%rbx,%rdx,4),%xmm4
movdqu 0x50(%rbx,%rdx,4),%xmm5
pshufd $0xf5,%xmm4,%xmm6
pmuludq %xmm0,%xmm6
pmuludq %xmm4,%xmm3
pshufd $0xf5,%xmm5,%xmm4
pmuludq %xmm1,%xmm4
pmuludq %xmm5,%xmm2
movdqu 0x60(%rbx,%rdx,4),%xmm1
movdqu 0x70(%rbx,%rdx,4),%xmm5
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm0
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm6,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
pmuludq %xmm5,%xmm2
pshufd $0xe8,%xmm2,%xmm1
pshufd $0xf5,%xmm5,%xmm2
pmuludq %xmm4,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm1
add    $0x20,%rdx
add    $0xfffffffffffffffc,%rdi
jne    11b0 <pickreciprocal+0x90>
movdqa %xmm0,%xmm2
movdqa %xmm1,%xmm3
test   %rcx,%rcx
je     12fc <pickreciprocal+0x1dc>
lea    (%rbx,%rdx,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movdqu -0x10(%rdx,%rdi,1),%xmm2
movdqu (%rdx,%rdi,1),%xmm3
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm0,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm4,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm2
pshufd $0xf5,%xmm3,%xmm0
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm0,%xmm1
pshufd $0xe8,%xmm1,%xmm0
punpckldq %xmm0,%xmm3
add    $0x20,%rdi
movdqa %xmm2,%xmm0
movdqa %xmm3,%xmm1
cmp    %rdi,%rcx
jne    12a0 <pickreciprocal+0x180>
pshufd $0xf5,%xmm2,%xmm0
pshufd $0xf5,%xmm3,%xmm1
pmuludq %xmm0,%xmm1
pmuludq %xmm2,%xmm3
pshufd $0xee,%xmm3,%xmm0
pmuludq %xmm3,%xmm0
pshufd $0xaa,%xmm1,%xmm2
pmuludq %xmm1,%xmm2
pmuludq %xmm0,%xmm2
movd   %xmm2,%ecx
cmp    %rbp,%rax
je     133d <pickreciprocal+0x21d>
nopl   (%rax)
imul   (%rbx,%rax,4),%ecx
add    $0x1,%rax
cmp    %rax,%rbp
jne    1330 <pickreciprocal+0x210>
test   %r14d,%r14d
jle    138c <pickreciprocal+0x26c>
cmp    $0x1,%r14d
jne    134c <pickreciprocal+0x22c>
xor    %edi,%edi
jmp    137d <pickreciprocal+0x25d>
mov    %ebp,%esi
and    $0xfffffffe,%esi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ecx,%eax
cltd
idivl  (%rbx,%rdi,4)
mov    %eax,(%rsp,%rdi,4)
mov    %ecx,%eax
cltd
idivl  0x4(%rbx,%rdi,4)
mov    %eax,0x4(%rsp,%rdi,4)
add    $0x2,%rdi
cmp    %rdi,%rsi
jne    1360 <pickreciprocal+0x240>
test   $0x1,%bpl
je     138c <pickreciprocal+0x26c>
mov    %ecx,%eax
cltd
idivl  (%rbx,%rdi,4)
mov    %eax,(%rsp,%rdi,4)
mov    %rsp,%rdi
mov    %r14d,%esi
call   1040 <pickweight@plt>
add    $0xfa0,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @pickreciprocal(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca [1000 x i32]
%10 = alloca i32
%11 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 1, i32* %11
%12 = load i32, i32* %6
%13 = icmp eq i32 %12, 1
br i1 %13, label %14, label %15
14: ; preds = %3
store i32 0, i32* %4
br label %61
15: ; preds = %3
%16 = load i32*, i32** %5
%17 = load i32, i32* %6
%18 = call i32 @pickzero(i32* %16, i32 %17)
store i32 %18, i32* %10
%19 = icmp ne i32 %18, -1
br i1 %19, label %20, label %22
20: ; preds = %15
%21 = load i32, i32* %10
store i32 %21, i32* %4
br label %61
22: ; preds = %15
store i32 0, i32* %8
br label %23
23: ; preds = %35, %22
%24 = load i32, i32* %8
%25 = load i32, i32* %6
%26 = icmp slt i32 %24, %25
br i1 %26, label %27, label %38
27: ; preds = %23
%28 = load i32*, i32** %5
%29 = load i32, i32* %8
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %31
%33 = load i32, i32* %11
%34 = mul nsw i32 %33, %32
store i32 %34, i32* %11
br label %35
35: ; preds = %27
%36 = load i32, i32* %8
%37 = add nsw i32 %36, 1
store i32 %37, i32* %8
br label %23
38: ; preds = %23
store i32 0, i32* %8
br label %39
39: ; preds = %54, %38
%40 = load i32, i32* %8
%41 = load i32, i32* %6
%42 = icmp slt i32 %40, %41
br i1 %42, label %43, label %57
43: ; preds = %39
%44 = load i32, i32* %11
%45 = load i32*, i32** %5
%46 = load i32, i32* %8
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = load i32, i32* %48
%50 = sdiv i32 %44, %49
%51 = load i32, i32* %8
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds [1000 x i32], [1000 x i32]* %9, i64 0, i64 %52
store i32 %50, i32* %53
br label %54
54: ; preds = %43
%55 = load i32, i32* %8
%56 = add nsw i32 %55, 1
store i32 %56, i32* %8
br label %39
57: ; preds = %39
%58 = getelementptr inbounds [1000 x i32], [1000 x i32]* %9, i64 0, i64 0
%59 = load i32, i32* %6
%60 = call i32 @pickweight(i32* %58, i32 %59)
store i32 %60, i32* %4
br label %61
61: ; preds = %57, %20, %14
%62 = load i32, i32* %4
ret i32 %62
}

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