#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 cycle_next(int, int *, int);
int /*<<< orphan*/ printf(char *, char *);
char *select_task(char *tasks[], int size, int steps) {
  int i, curr = 0, tasks_left = size;
  bool used[size];
  for (i = 0; i < size; i++)
    used[i] = true;
  while (tasks_left > 1) {
    for (i = 1; i < steps; i++) {
      curr = cycle_next(size, used, curr);
    }
    used[curr] = false;
    printf("drop %s\n", tasks[curr]);
    tasks_left--;
    curr = cycle_next(size, used, curr);
  }
  for (i = 0; i < size; i++)
    if (used[i])
      return tasks[i];
  return NULL;
}


x86 assembly (clang, -O0):
<select_task>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1196 <select_task+0x76>
mov    -0x48(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116d <select_task+0x4d>
jmp    119b <select_task+0x7b>
cmpl   $0x1,-0x24(%rbp)
jle    121f <select_task+0xff>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11d8 <select_task+0xb8>
mov    -0x48(%rbp),%rsi
mov    -0x14(%rbp),%edi
mov    -0x20(%rbp),%edx
call   1040 <cycle_next@plt>
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11ac <select_task+0x8c>
mov    -0x48(%rbp),%rax
movslq -0x20(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
lea    0xe06(%rip),%rdi
call   1030 <printf@plt>
mov    -0x48(%rbp),%rsi
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x20(%rbp),%edx
call   1040 <cycle_next@plt>
mov    %eax,-0x20(%rbp)
jmp    119b <select_task+0x7b>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1273 <select_task+0x153>
mov    -0x48(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1260 <select_task+0x140>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x3c(%rbp)
jmp    1282 <select_task+0x162>
jmp    1265 <select_task+0x145>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1226 <select_task+0x106>
movq   $0x0,-0x8(%rbp)
movl   $0x1,-0x3c(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    -0x8(%rbp),%rax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<select_task>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdx,-0x40(%rbp)
mov    %rdi,-0x38(%rbp)
mov    %esi,%edi
mov    %rsp,%r13
lea    0xf(,%rdi,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
test   %esi,%esi
jle    1163 <select_task+0x43>
mov    %esi,%r15d
cmp    $0x8,%esi
jae    116a <select_task+0x4a>
xor    %eax,%eax
jmp    1270 <select_task+0x150>
xor    %eax,%eax
jmp    133b <select_task+0x21b>
mov    %edi,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x38,%rsi
jae    1190 <select_task+0x70>
xor    %esi,%esi
jmp    1226 <select_task+0x106>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
movaps 0xe63(%rip),%xmm0
nopl   (%rax)
movaps %xmm0,0x0(%r13,%rsi,4)
movaps %xmm0,0x10(%r13,%rsi,4)
movaps %xmm0,0x20(%r13,%rsi,4)
movaps %xmm0,0x30(%r13,%rsi,4)
movaps %xmm0,0x40(%r13,%rsi,4)
movaps %xmm0,0x50(%r13,%rsi,4)
movaps %xmm0,0x60(%r13,%rsi,4)
movaps %xmm0,0x70(%r13,%rsi,4)
movaps %xmm0,0x80(%r13,%rsi,4)
movaps %xmm0,0x90(%r13,%rsi,4)
movaps %xmm0,0xa0(%r13,%rsi,4)
movaps %xmm0,0xb0(%r13,%rsi,4)
movaps %xmm0,0xc0(%r13,%rsi,4)
movaps %xmm0,0xd0(%r13,%rsi,4)
movaps %xmm0,0xe0(%r13,%rsi,4)
movaps %xmm0,0xf0(%r13,%rsi,4)
add    $0x40,%rsi
add    $0xfffffffffffffff8,%rdx
jne    11a0 <select_task+0x80>
test   %rcx,%rcx
je     1262 <select_task+0x142>
lea    0x10(,%rsi,4),%rdx
add    %r13,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
movaps 0xdbd(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movaps %xmm0,-0x10(%rdx,%rsi,1)
movaps %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1250 <select_task+0x130>
cmp    %rdi,%rax
je     1282 <select_task+0x162>
nopw   0x0(%rax,%rax,1)
movl   $0x1,0x0(%r13,%rax,4)
add    $0x1,%rax
cmp    %rax,%rdi
jne    1270 <select_task+0x150>
mov    %rdi,-0x48(%rbp)
cmp    $0x2,%r15d
jl     1304 <select_task+0x1e4>
mov    -0x40(%rbp),%rax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
xor    %eax,%eax
mov    %r15d,%r12d
jmp    12dc <select_task+0x1bc>
nopl   (%rax)
movslq %eax,%r14
movl   $0x0,0x0(%r13,%r14,4)
mov    -0x38(%rbp),%rax
mov    (%rax,%r14,8),%rsi
lea    0xd55(%rip),%rdi
call   1030 <printf@plt>
lea    -0x1(%r12),%ebx
mov    %r15d,%edi
mov    %r13,%rsi
mov    %r14d,%edx
call   1040 <cycle_next@plt>
cmp    $0x2,%r12d
mov    %ebx,%r12d
jle    1304 <select_task+0x1e4>
mov    -0x2c(%rbp),%ebx
cmpl   $0x2,-0x40(%rbp)
jl     12a0 <select_task+0x180>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r15d,%edi
mov    %r13,%rsi
mov    %eax,%edx
call   1040 <cycle_next@plt>
add    $0xffffffff,%ebx
jne    12f0 <select_task+0x1d0>
jmp    12a0 <select_task+0x180>
xor    %eax,%eax
test   %r15d,%r15d
jle    133b <select_task+0x21b>
xor    %ecx,%ecx
mov    -0x48(%rbp),%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpl   $0x0,0x0(%r13,%rcx,4)
jne    1333 <select_task+0x213>
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    1320 <select_task+0x200>
jmp    133b <select_task+0x21b>
mov    -0x38(%rbp),%rax
mov    (%rax,%rcx,8),%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [9 x i8] c"drop %s\0A\00"
define i8* @select_task(i8** %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i64
%13 = alloca i32
store i8** %0, i8*** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 0, i32* %9
%14 = load i32, i32* %6
store i32 %14, i32* %10
%15 = load i32, i32* %6
%16 = zext i32 %15 to i64
%17 = call i8* @llvm.stacksave()
store i8* %17, i8** %11
%18 = alloca i32, i64 %16
store i64 %16, i64* %12
store i32 0, i32* %8
br label %19
19: ; preds = %27, %3
%20 = load i32, i32* %8
%21 = load i32, i32* %6
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %30
23: ; preds = %19
%24 = load i32, i32* %8
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %18, i64 %25
store i32 1, i32* %26
br label %27
27: ; preds = %23
%28 = load i32, i32* %8
%29 = add nsw i32 %28, 1
store i32 %29, i32* %8
br label %19
30: ; preds = %19
br label %31
31: ; preds = %46, %30
%32 = load i32, i32* %10
%33 = icmp sgt i32 %32, 1
br i1 %33, label %34, label %61
34: ; preds = %31
store i32 1, i32* %8
br label %35
35: ; preds = %43, %34
%36 = load i32, i32* %8
%37 = load i32, i32* %7
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %46
39: ; preds = %35
%40 = load i32, i32* %6
%41 = load i32, i32* %9
%42 = call i32 @cycle_next(i32 %40, i32* %18, i32 %41)
store i32 %42, i32* %9
br label %43
43: ; preds = %39
%44 = load i32, i32* %8
%45 = add nsw i32 %44, 1
store i32 %45, i32* %8
br label %35
46: ; preds = %35
%47 = load i32, i32* %9
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %18, i64 %48
store i32 0, i32* %49
%50 = load i8**, i8*** %5
%51 = load i32, i32* %9
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8*, i8** %50, i64 %52
%54 = load i8*, i8** %53
%55 = call i32 @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i8* %54)
%56 = load i32, i32* %10
%57 = add nsw i32 %56, -1
store i32 %57, i32* %10
%58 = load i32, i32* %6
%59 = load i32, i32* %9
%60 = call i32 @cycle_next(i32 %58, i32* %18, i32 %59)
store i32 %60, i32* %9
br label %31
61: ; preds = %31
store i32 0, i32* %8
br label %62
62: ; preds = %79, %61
%63 = load i32, i32* %8
%64 = load i32, i32* %6
%65 = icmp slt i32 %63, %64
br i1 %65, label %66, label %82
66: ; preds = %62
%67 = load i32, i32* %8
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %18, i64 %68
%70 = load i32, i32* %69
%71 = icmp ne i32 %70, 0
br i1 %71, label %72, label %78
72: ; preds = %66
%73 = load i8**, i8*** %5
%74 = load i32, i32* %8
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i8*, i8** %73, i64 %75
%77 = load i8*, i8** %76
store i8* %77, i8** %4
store i32 1, i32* %13
br label %83
78: ; preds = %66
br label %79
79: ; preds = %78
%80 = load i32, i32* %8
%81 = add nsw i32 %80, 1
store i32 %81, i32* %8
br label %62
82: ; preds = %62
store i8* null, i8** %4
store i32 1, i32* %13
br label %83
83: ; preds = %82, %72
%84 = load i8*, i8** %11
%85 = load i8*, i8** %4
ret i8* %85
}

LLVM IR (-O2):
@.str = [9 x i8] c"drop %s\0A\00"
define i8* @select_task(i8** nocapture %0, i32 %1, i32 %2) {
%4 = zext i32 %1 to i64
%5 = alloca i32, i64 %4
%6 = icmp sgt i32 %1, 0
br i1 %6, label %7, label %121
7: ; preds = %3
%8 = icmp ult i32 %1, 8
br i1 %8, label %78, label %9
9: ; preds = %7
%10 = and i64 %4, 4294967288
%11 = add nsw i64 %10, -8
%12 = lshr exact i64 %11, 3
%13 = add nuw nsw i64 %12, 1
%14 = and i64 %13, 7
%15 = icmp ult i64 %11, 56
br i1 %15, label %63, label %16
16: ; preds = %9
%17 = and i64 %13, 4611686018427387896
br label %18
18: ; preds = %18, %16
%19 = phi i64 [ 0, %16 ], [ %60, %18 ]
%20 = phi i64 [ 0, %16 ], [ %61, %18 ]
%21 = getelementptr inbounds i32, i32* %5, i64 %19
%22 = bitcast i32* %21 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %22
%23 = getelementptr inbounds i32, i32* %21, i64 4
%24 = bitcast i32* %23 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %24
%25 = or i64 %19, 8
%26 = getelementptr inbounds i32, i32* %5, i64 %25
%27 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %27
%28 = getelementptr inbounds i32, i32* %26, i64 4
%29 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %29
%30 = or i64 %19, 16
%31 = getelementptr inbounds i32, i32* %5, i64 %30
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %32
%33 = getelementptr inbounds i32, i32* %31, i64 4
%34 = bitcast i32* %33 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %34
%35 = or i64 %19, 24
%36 = getelementptr inbounds i32, i32* %5, i64 %35
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %37
%38 = getelementptr inbounds i32, i32* %36, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %39
%40 = or i64 %19, 32
%41 = getelementptr inbounds i32, i32* %5, i64 %40
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %41, i64 4
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %44
%45 = or i64 %19, 40
%46 = getelementptr inbounds i32, i32* %5, i64 %45
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %49
%50 = or i64 %19, 48
%51 = getelementptr inbounds i32, i32* %5, i64 %50
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %51, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %54
%55 = or i64 %19, 56
%56 = getelementptr inbounds i32, i32* %5, i64 %55
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %57
%58 = getelementptr inbounds i32, i32* %56, i64 4
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %59
%60 = add nuw i64 %19, 64
%61 = add nuw i64 %20, 8
%62 = icmp eq i64 %61, %17
br i1 %62, label %63, label %18
63: ; preds = %18, %9
%64 = phi i64 [ 0, %9 ], [ %60, %18 ]
%65 = icmp eq i64 %14, 0
br i1 %65, label %76, label %66
66: ; preds = %63, %66
%67 = phi i64 [ %73, %66 ], [ %64, %63 ]
%68 = phi i64 [ %74, %66 ], [ 0, %63 ]
%69 = getelementptr inbounds i32, i32* %5, i64 %67
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %70
%71 = getelementptr inbounds i32, i32* %69, i64 4
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %72
%73 = add nuw i64 %67, 8
%74 = add i64 %68, 1
%75 = icmp eq i64 %74, %14
br i1 %75, label %76, label %66
76: ; preds = %66, %63
%77 = icmp eq i64 %10, %4
br i1 %77, label %80, label %78
78: ; preds = %7, %76
%79 = phi i64 [ 0, %7 ], [ %10, %76 ]
br label %84
80: ; preds = %84, %76
%81 = icmp sgt i32 %1, 1
br i1 %81, label %82, label %92
82: ; preds = %80
%83 = icmp sgt i32 %2, 1
br label %89
84: ; preds = %78, %84
%85 = phi i64 [ %87, %84 ], [ %79, %78 ]
%86 = getelementptr inbounds i32, i32* %5, i64 %85
store i32 1, i32* %86
%87 = add nuw nsw i64 %85, 1
%88 = icmp eq i64 %87, %4
br i1 %88, label %80, label %84
89: ; preds = %82, %99
%90 = phi i32 [ %1, %82 ], [ %106, %99 ]
%91 = phi i32 [ 0, %82 ], [ %107, %99 ]
br i1 %83, label %93, label %99
92: ; preds = %99, %80
br i1 %6, label %109, label %121
93: ; preds = %89, %93
%94 = phi i32 [ %97, %93 ], [ 1, %89 ]
%95 = phi i32 [ %96, %93 ], [ %91, %89 ]
%96 = call i32 @cycle_next(i32 %1, i32* %5, i32 %95)
%97 = add nuw nsw i32 %94, 1
%98 = icmp eq i32 %97, %2
br i1 %98, label %99, label %93
99: ; preds = %93, %89
%100 = phi i32 [ %91, %89 ], [ %96, %93 ]
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %5, i64 %101
store i32 0, i32* %102
%103 = getelementptr inbounds i8*, i8** %0, i64 %101
%104 = load i8*, i8** %103
%105 = call i32 @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i8* %104)
%106 = add nsw i32 %90, -1
%107 = call i32 @cycle_next(i32 %1, i32* %5, i32 %100)
%108 = icmp sgt i32 %90, 2
br i1 %108, label %89, label %92
109: ; preds = %92, %118
%110 = phi i64 [ %119, %118 ], [ 0, %92 ]
%111 = getelementptr inbounds i32, i32* %5, i64 %110
%112 = load i32, i32* %111
%113 = icmp eq i32 %112, 0
br i1 %113, label %118, label %114
114: ; preds = %109
%115 = and i64 %110, 4294967295
%116 = getelementptr inbounds i8*, i8** %0, i64 %115
%117 = load i8*, i8** %116
br label %121
118: ; preds = %109
%119 = add nuw nsw i64 %110, 1
%120 = icmp eq i64 %119, %4
br i1 %120, label %121, label %109
121: ; preds = %118, %3, %92, %114
%122 = phi i8* [ %117, %114 ], [ null, %92 ], [ null, %3 ], [ null, %118 ]
ret i8* %122
}