#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 in_int_array(int, int *, int);
int /*<<< orphan*/ printf(char *);
int rand();
int /*<<< orphan*/ srand(unsigned int);
scalar_t__ time(int /*<<< orphan*/ *);
int random_sample_index(int k, int arr_len, int *buf) {
  if (k > arr_len || k < 1) {
    printf("ERROR: k > arr_len || k < 1, ABORTING\n");
    return -1;
  }
  if (k == arr_len) {
    printf("INFO: k == arr_len, COPYING ORIGINAL ARRAY\n");
    for (int i = 0; i < arr_len; i++) {
      *(buf + i) = i;
    }
    return 0;
  }
  int used_indexes[k];
  int random_index;
  for (int i = 0; i < k; i++) {
    used_indexes[i] = arr_len;
  }
  srand((unsigned)time(NULL));
  int i = 0;
  while (i < k) {
    random_index = rand() % arr_len;
    if (in_int_array(random_index, used_indexes, k) == 1) {
      continue;
    }
    *(used_indexes + i) = random_index;
    *(buf + i) = random_index;
    i++;
  }
  return 0;
}


x86 assembly (clang, -O0):
<random_sample_index>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1178 <random_sample_index+0x28>
cmpl   $0x1,-0x8(%rbp)
jge    1190 <random_sample_index+0x40>
lea    0xe81(%rip),%rdi
call   1040 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    12bf <random_sample_index+0x16f>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11e3 <random_sample_index+0x93>
lea    0xe84(%rip),%rdi
call   1040 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11d7 <random_sample_index+0x87>
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11af <random_sample_index+0x5f>
movl   $0x0,-0x4(%rbp)
jmp    12bf <random_sample_index+0x16f>
mov    -0x8(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x28(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1239 <random_sample_index+0xe9>
mov    -0x48(%rbp),%rax
mov    -0xc(%rbp),%edx
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1211 <random_sample_index+0xc1>
xor    %eax,%eax
mov    %eax,%edi
call   1060 <time@plt>
mov    %eax,%edi
call   1050 <srand@plt>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12b1 <random_sample_index+0x161>
mov    $0x0,%al
call   1070 <rand@plt>
mov    -0x48(%rbp),%rsi
cltd
idivl  -0xc(%rbp)
mov    %edx,-0x34(%rbp)
mov    -0x34(%rbp),%edi
mov    -0x8(%rbp),%edx
call   1030 <in_int_array@plt>
cmp    $0x1,%eax
jne    1287 <random_sample_index+0x137>
jmp    1250 <random_sample_index+0x100>
mov    -0x48(%rbp),%rax
mov    -0x34(%rbp),%edx
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1250 <random_sample_index+0x100>
movl   $0x0,-0x4(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<random_sample_index>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %edi,%edi
jle    1190 <random_sample_index+0x40>
mov    %esi,%r12d
mov    %edi,%r15d
cmp    %esi,%edi
jg     1190 <random_sample_index+0x40>
mov    %rdx,%rbx
jne    11a6 <random_sample_index+0x56>
lea    0xf15(%rip),%rdi
call   1030 <puts@plt>
mov    %r15d,%ecx
cmp    $0x8,%r15d
jae    11cf <random_sample_index+0x7f>
xor    %edx,%edx
jmp    1360 <random_sample_index+0x210>
lea    0xf24(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%eax
jmp    14bc <random_sample_index+0x36c>
mov    %rsp,-0x30(%rbp)
mov    %r15d,%edi
mov    %rsp,%r13
lea    0xf(,%rdi,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
cmp    $0x8,%r15d
jae    11fd <random_sample_index+0xad>
xor    %eax,%eax
jmp    1450 <random_sample_index+0x300>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%eax
and    $0x3,%eax
cmp    $0x18,%rdi
jae    1231 <random_sample_index+0xe1>
movdqa 0xe0a(%rip),%xmm0
xor    %edi,%edi
jmp    1308 <random_sample_index+0x1b8>
mov    %edi,%eax
and    $0xfffffff8,%eax
movd   %r12d,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x38,%rsi
jae    1371 <random_sample_index+0x221>
xor    %esi,%esi
jmp    1416 <random_sample_index+0x2c6>
movabs $0x3ffffffffffffff8,%rdi
ff ff 3f
or     $0x4,%rdi
and    %rdi,%rsi
movdqa 0xdb6(%rip),%xmm0
xor    %edi,%edi
movdqa 0xdbb(%rip),%xmm8
movdqa 0xdc2(%rip),%xmm9
movdqa 0xdc9(%rip),%xmm10
movdqa 0xdd1(%rip),%xmm4
movdqa 0xdd9(%rip),%xmm5
movdqa 0xde1(%rip),%xmm6
movdqa 0xde9(%rip),%xmm7
movdqa 0xdf1(%rip),%xmm1
nop
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,(%rbx,%rdi,4)
movdqu %xmm2,0x10(%rbx,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%rbx,%rdi,4)
movdqu %xmm3,0x30(%rbx,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%rbx,%rdi,4)
movdqu %xmm3,0x50(%rbx,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%rbx,%rdi,4)
movdqu %xmm3,0x70(%rbx,%rdi,4)
add    $0x20,%rdi
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rsi
jne    1290 <random_sample_index+0x140>
test   %rax,%rax
je     1350 <random_sample_index+0x200>
lea    (%rbx,%rdi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%rax
xor    %edi,%edi
movdqa 0xced(%rip),%xmm1
movdqa 0xcf5(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rsi,%rdi,1)
movdqu %xmm3,(%rsi,%rdi,1)
paddd  %xmm2,%xmm0
add    $0x20,%rdi
cmp    %rdi,%rax
jne    1330 <random_sample_index+0x1e0>
xor    %eax,%eax
cmp    %rcx,%rdx
je     14bc <random_sample_index+0x36c>
nopl   0x0(%rax,%rax,1)
mov    %edx,(%rbx,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1360 <random_sample_index+0x210>
jmp    14ba <random_sample_index+0x36a>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movdqa %xmm0,0x0(%r13,%rsi,4)
movdqa %xmm0,0x10(%r13,%rsi,4)
movdqa %xmm0,0x20(%r13,%rsi,4)
movdqa %xmm0,0x30(%r13,%rsi,4)
movdqa %xmm0,0x40(%r13,%rsi,4)
movdqa %xmm0,0x50(%r13,%rsi,4)
movdqa %xmm0,0x60(%r13,%rsi,4)
movdqa %xmm0,0x70(%r13,%rsi,4)
movdqa %xmm0,0x80(%r13,%rsi,4)
movdqa %xmm0,0x90(%r13,%rsi,4)
movdqa %xmm0,0xa0(%r13,%rsi,4)
movdqa %xmm0,0xb0(%r13,%rsi,4)
movdqa %xmm0,0xc0(%r13,%rsi,4)
movdqa %xmm0,0xd0(%r13,%rsi,4)
movdqa %xmm0,0xe0(%r13,%rsi,4)
movdqa %xmm0,0xf0(%r13,%rsi,4)
add    $0x40,%rsi
add    $0xfffffffffffffff8,%rdx
jne    1380 <random_sample_index+0x230>
test   %rcx,%rcx
je     1444 <random_sample_index+0x2f4>
lea    0x10(,%rsi,4),%rdx
add    %r13,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
nopl   0x0(%rax)
movdqa %xmm0,-0x10(%rdx,%rsi,1)
movdqa %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1430 <random_sample_index+0x2e0>
cmp    %rdi,%rax
je     145e <random_sample_index+0x30e>
nopl   0x0(%rax)
mov    %r12d,0x0(%r13,%rax,4)
add    $0x1,%rax
cmp    %rax,%rdi
jne    1450 <random_sample_index+0x300>
mov    %rdi,-0x38(%rbp)
xor    %edi,%edi
call   1060 <time@plt>
mov    %eax,%edi
call   1050 <srand@plt>
xor    %r14d,%r14d
mov    %rbx,-0x40(%rbp)
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1070 <rand@plt>
cltd
idiv   %r12d
mov    %edx,%ebx
mov    %edx,%edi
mov    %r13,%rsi
mov    %r15d,%edx
call   1040 <in_int_array@plt>
cmp    $0x1,%eax
je     1480 <random_sample_index+0x330>
mov    %ebx,0x0(%r13,%r14,4)
mov    -0x40(%rbp),%rax
mov    %ebx,(%rax,%r14,4)
add    $0x1,%r14
cmp    -0x38(%rbp),%r14
jne    1480 <random_sample_index+0x330>
mov    -0x30(%rbp),%rsp
xor    %eax,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@str = [43 x i8] c"INFO: k == arr_len, COPYING ORIGINAL ARRAY\00"
@str.2 = [38 x i8] c"ERROR: k > arr_len || k < 1, ABORTING\00"
define i32 @random_sample_index(i32 %0, i32 %1, i32* nocapture writeonly %2) {
%4 = icmp sgt i32 %0, %1
%5 = icmp slt i32 %0, 1
%6 = or i1 %5, %4
br i1 %6, label %7, label %9
7: ; preds = %3
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @str.2, i64 0, i64 0))
br label %187
9: ; preds = %3
%10 = icmp eq i32 %0, %1
br i1 %10, label %11, label %85
11: ; preds = %9
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str, i64 0, i64 0))
%13 = zext i32 %0 to i64
%14 = icmp ult i32 %0, 8
br i1 %14, label %77, label %15
15: ; preds = %11
%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 %58, label %22
22: ; preds = %15
%23 = and i64 %19, 4611686018427387900
br label %24
24: ; preds = %24, %22
%25 = phi i64 [ 0, %22 ], [ %54, %24 ]
%26 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %22 ], [ %55, %24 ]
%27 = phi i64 [ 0, %22 ], [ %56, %24 ]
%28 = add <4 x i32> %26, <i32 4, i32 4, i32 4, i32 4>
%29 = getelementptr inbounds i32, i32* %2, i64 %25
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %30
%31 = getelementptr inbounds i32, i32* %29, i64 4
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %28, <4 x i32>* %32
%33 = or i64 %25, 8
%34 = add <4 x i32> %26, <i32 8, i32 8, i32 8, i32 8>
%35 = add <4 x i32> %26, <i32 12, i32 12, i32 12, i32 12>
%36 = getelementptr inbounds i32, i32* %2, i64 %33
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %37
%38 = getelementptr inbounds i32, i32* %36, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> %35, <4 x i32>* %39
%40 = or i64 %25, 16
%41 = add <4 x i32> %26, <i32 16, i32 16, i32 16, i32 16>
%42 = add <4 x i32> %26, <i32 20, i32 20, i32 20, i32 20>
%43 = getelementptr inbounds i32, i32* %2, i64 %40
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %41, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %43, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %42, <4 x i32>* %46
%47 = or i64 %25, 24
%48 = add <4 x i32> %26, <i32 24, i32 24, i32 24, i32 24>
%49 = add <4 x i32> %26, <i32 28, i32 28, i32 28, i32 28>
%50 = getelementptr inbounds i32, i32* %2, i64 %47
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %51
%52 = getelementptr inbounds i32, i32* %50, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %49, <4 x i32>* %53
%54 = add nuw i64 %25, 32
%55 = add <4 x i32> %26, <i32 32, i32 32, i32 32, i32 32>
%56 = add i64 %27, 4
%57 = icmp eq i64 %56, %23
br i1 %57, label %58, label %24
58: ; preds = %24, %15
%59 = phi i64 [ 0, %15 ], [ %54, %24 ]
%60 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %15 ], [ %55, %24 ]
%61 = icmp eq i64 %20, 0
br i1 %61, label %75, label %62
62: ; preds = %58, %62
%63 = phi i64 [ %71, %62 ], [ %59, %58 ]
%64 = phi <4 x i32> [ %72, %62 ], [ %60, %58 ]
%65 = phi i64 [ %73, %62 ], [ 0, %58 ]
%66 = add <4 x i32> %64, <i32 4, i32 4, i32 4, i32 4>
%67 = getelementptr inbounds i32, i32* %2, i64 %63
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %68
%69 = getelementptr inbounds i32, i32* %67, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> %66, <4 x i32>* %70
%71 = add nuw i64 %63, 8
%72 = add <4 x i32> %64, <i32 8, i32 8, i32 8, i32 8>
%73 = add i64 %65, 1
%74 = icmp eq i64 %73, %20
br i1 %74, label %75, label %62
75: ; preds = %62, %58
%76 = icmp eq i64 %16, %13
br i1 %76, label %187, label %77
77: ; preds = %11, %75
%78 = phi i64 [ 0, %11 ], [ %16, %75 ]
br label %79
79: ; preds = %77, %79
%80 = phi i64 [ %83, %79 ], [ %78, %77 ]
%81 = getelementptr inbounds i32, i32* %2, i64 %80
%82 = trunc i64 %80 to i32
store i32 %82, i32* %81
%83 = add nuw nsw i64 %80, 1
%84 = icmp eq i64 %83, %13
br i1 %84, label %187, label %79
85: ; preds = %9
%86 = zext i32 %0 to i64
%87 = tail call i8* @llvm.stacksave()
%88 = alloca i32, i64 %86
%89 = icmp ult i32 %0, 8
br i1 %89, label %163, label %90
90: ; preds = %85
%91 = and i64 %86, 4294967288
%92 = insertelement <4 x i32> poison, i32 %1, i64 0
%93 = shufflevector <4 x i32> %92, <4 x i32> poison, <4 x i32> zeroinitializer
%94 = insertelement <4 x i32> poison, i32 %1, i64 0
%95 = shufflevector <4 x i32> %94, <4 x i32> poison, <4 x i32> zeroinitializer
%96 = add nsw i64 %91, -8
%97 = lshr exact i64 %96, 3
%98 = add nuw nsw i64 %97, 1
%99 = and i64 %98, 7
%100 = icmp ult i64 %96, 56
br i1 %100, label %148, label %101
101: ; preds = %90
%102 = and i64 %98, 4611686018427387896
br label %103
103: ; preds = %103, %101
%104 = phi i64 [ 0, %101 ], [ %145, %103 ]
%105 = phi i64 [ 0, %101 ], [ %146, %103 ]
%106 = getelementptr inbounds i32, i32* %88, i64 %104
%107 = bitcast i32* %106 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %107
%108 = getelementptr inbounds i32, i32* %106, i64 4
%109 = bitcast i32* %108 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %109
%110 = or i64 %104, 8
%111 = getelementptr inbounds i32, i32* %88, i64 %110
%112 = bitcast i32* %111 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %112
%113 = getelementptr inbounds i32, i32* %111, i64 4
%114 = bitcast i32* %113 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %114
%115 = or i64 %104, 16
%116 = getelementptr inbounds i32, i32* %88, i64 %115
%117 = bitcast i32* %116 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %117
%118 = getelementptr inbounds i32, i32* %116, i64 4
%119 = bitcast i32* %118 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %119
%120 = or i64 %104, 24
%121 = getelementptr inbounds i32, i32* %88, i64 %120
%122 = bitcast i32* %121 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %122
%123 = getelementptr inbounds i32, i32* %121, i64 4
%124 = bitcast i32* %123 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %124
%125 = or i64 %104, 32
%126 = getelementptr inbounds i32, i32* %88, i64 %125
%127 = bitcast i32* %126 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %127
%128 = getelementptr inbounds i32, i32* %126, i64 4
%129 = bitcast i32* %128 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %129
%130 = or i64 %104, 40
%131 = getelementptr inbounds i32, i32* %88, i64 %130
%132 = bitcast i32* %131 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %132
%133 = getelementptr inbounds i32, i32* %131, i64 4
%134 = bitcast i32* %133 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %134
%135 = or i64 %104, 48
%136 = getelementptr inbounds i32, i32* %88, i64 %135
%137 = bitcast i32* %136 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %137
%138 = getelementptr inbounds i32, i32* %136, i64 4
%139 = bitcast i32* %138 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %139
%140 = or i64 %104, 56
%141 = getelementptr inbounds i32, i32* %88, i64 %140
%142 = bitcast i32* %141 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %142
%143 = getelementptr inbounds i32, i32* %141, i64 4
%144 = bitcast i32* %143 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %144
%145 = add nuw i64 %104, 64
%146 = add nuw i64 %105, 8
%147 = icmp eq i64 %146, %102
br i1 %147, label %148, label %103
148: ; preds = %103, %90
%149 = phi i64 [ 0, %90 ], [ %145, %103 ]
%150 = icmp eq i64 %99, 0
br i1 %150, label %161, label %151
151: ; preds = %148, %151
%152 = phi i64 [ %158, %151 ], [ %149, %148 ]
%153 = phi i64 [ %159, %151 ], [ 0, %148 ]
%154 = getelementptr inbounds i32, i32* %88, i64 %152
%155 = bitcast i32* %154 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %155
%156 = getelementptr inbounds i32, i32* %154, i64 4
%157 = bitcast i32* %156 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %157
%158 = add nuw i64 %152, 8
%159 = add i64 %153, 1
%160 = icmp eq i64 %159, %99
br i1 %160, label %161, label %151
161: ; preds = %151, %148
%162 = icmp eq i64 %91, %86
br i1 %162, label %165, label %163
163: ; preds = %85, %161
%164 = phi i64 [ 0, %85 ], [ %91, %161 ]
br label %171
165: ; preds = %171, %161
%166 = tail call i64 @time(i32* null)
%167 = trunc i64 %166 to i32
%168 = tail call i32 @srand(i32 %167)
br label %169
169: ; preds = %165, %181
%170 = phi i64 [ 0, %165 ], [ %184, %181 ]
br label %176
171: ; preds = %163, %171
%172 = phi i64 [ %174, %171 ], [ %164, %163 ]
%173 = getelementptr inbounds i32, i32* %88, i64 %172
store i32 %1, i32* %173
%174 = add nuw nsw i64 %172, 1
%175 = icmp eq i64 %174, %86
br i1 %175, label %165, label %171
176: ; preds = %169, %176
%177 = call i32 (...) @rand()
%178 = srem i32 %177, %1
%179 = call i32 @in_int_array(i32 %178, i32* %88, i32 %0)
%180 = icmp eq i32 %179, 1
br i1 %180, label %176, label %181
181: ; preds = %176
%182 = getelementptr inbounds i32, i32* %88, i64 %170
store i32 %178, i32* %182
%183 = getelementptr inbounds i32, i32* %2, i64 %170
store i32 %178, i32* %183
%184 = add nuw nsw i64 %170, 1
%185 = icmp eq i64 %184, %86
br i1 %185, label %186, label %169
186: ; preds = %181
br label %187
187: ; preds = %79, %75, %186, %7
%188 = phi i32 [ -1, %7 ], [ 0, %186 ], [ 0, %75 ], [ 0, %79 ]
ret i32 %188
}