#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 __VERIFIER_nondet_int();
int *alloca(int);
int main() {
  int i, j;
  int length = __VERIFIER_nondet_int();
  if (length < 1 || length >= 2147483647 / sizeof(int))
    length = 1;
  int fac = __VERIFIER_nondet_int();
  if (fac < 1 || fac >= 2147483647 / (sizeof(int) * length))
    fac = 1;
  int *arr = alloca(length);
  int *arr2 = alloca(fac * length);
  if (!arr || !arr2)
    return 0;
  for (i = 0; i < length; i++) {
    arr[i] = __VERIFIER_nondet_int();
  }
  for (j = 0; j < length * fac; j++) {
    arr2[j] = arr[i % length];
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jl     1153 <main+0x33>
movslq -0x10(%rbp),%rax
cmp    $0x1fffffff,%rax
jb     115a <main+0x3a>
movl   $0x1,-0x10(%rbp)
mov    $0x0,%al
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,-0x14(%rbp)
cmpl   $0x1,-0x14(%rbp)
jl     1198 <main+0x78>
movslq -0x14(%rbp),%rax
mov    %rax,-0x30(%rbp)
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
mov    $0x7fffffff,%eax
xor    %edx,%edx
div    %rcx
mov    %rax,%rcx
mov    -0x30(%rbp),%rax
cmp    %rcx,%rax
jb     119f <main+0x7f>
movl   $0x1,-0x14(%rbp)
mov    -0x10(%rbp),%edi
call   1030 <alloca@plt>
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%edi
imul   -0x10(%rbp),%edi
call   1030 <alloca@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     11d1 <main+0xb1>
cmpq   $0x0,-0x28(%rbp)
jne    11dd <main+0xbd>
movl   $0x0,-0x4(%rbp)
jmp    1264 <main+0x144>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1212 <main+0xf2>
mov    $0x0,%al
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,%edx
mov    -0x20(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11e4 <main+0xc4>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
imul   -0x14(%rbp),%ecx
cmp    %ecx,%eax
jge    125d <main+0x13d>
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%eax
cltd
idivl  -0x10(%rbp)
mov    -0x38(%rbp),%rax
movslq %edx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1219 <main+0xf9>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
xor    %eax,%eax
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,%ebp
lea    -0x1fffffff(%rbp),%eax
cmp    $0xe0000002,%eax
mov    $0x1,%eax
cmovb  %eax,%ebp
xor    %eax,%eax
call   1040 <__VERIFIER_nondet_int@plt>
test   %eax,%eax
jle    1167 <main+0x47>
mov    %eax,%r15d
lea    0x0(,%rbp,4),%ecx
mov    $0x7fffffff,%eax
xor    %edx,%edx
div    %ecx
cmp    %r15d,%eax
ja     116d <main+0x4d>
mov    $0x1,%r15d
mov    %ebp,%edi
call   1030 <alloca@plt>
mov    %rax,%r12
imul   %ebp,%r15d
mov    %r15d,%edi
call   1030 <alloca@plt>
test   %r12,%r12
je     12cb <main+0x1ab>
mov    %rax,%r14
test   %rax,%rax
je     12cb <main+0x1ab>
mov    %ebp,%ebp
xor    %ebx,%ebx
nopl   0x0(%rax)
xor    %eax,%eax
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,(%r12,%rbx,4)
add    $0x1,%rbx
cmp    %rbx,%rbp
jne    11a0 <main+0x80>
test   %r15d,%r15d
jle    12cb <main+0x1ab>
mov    %r15d,%eax
cmp    $0x8,%r15d
jb     11d9 <main+0xb9>
lea    0x4(%r12),%rcx
cmp    %rcx,%r14
jae    124e <main+0x12e>
lea    (%r14,%rax,4),%rcx
cmp    %rcx,%r12
jae    124e <main+0x12e>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rsi
and    $0x3,%rsi
je     1212 <main+0xf2>
shl    $0x2,%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%r12),%edi
mov    %edi,(%r14,%rcx,4)
add    $0x1,%rcx
add    $0xfffffffffffffffc,%rsi
jne    1200 <main+0xe0>
cmp    $0x3,%rdx
jb     12cb <main+0x1ab>
nopl   0x0(%rax)
mov    (%r12),%edx
mov    %edx,(%r14,%rcx,4)
mov    (%r12),%edx
mov    %edx,0x4(%r14,%rcx,4)
mov    (%r12),%edx
mov    %edx,0x8(%r14,%rcx,4)
mov    (%r12),%edx
mov    %edx,0xc(%r14,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1220 <main+0x100>
jmp    12cb <main+0x1ab>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     12d6 <main+0x1b6>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
movd   (%r12),%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movdqu %xmm0,(%r14,%rsi,4)
movdqu %xmm0,0x10(%r14,%rsi,4)
movdqu %xmm0,0x20(%r14,%rsi,4)
movdqu %xmm0,0x30(%r14,%rsi,4)
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1280 <main+0x160>
test   $0x1,%dl
je     12c2 <main+0x1a2>
movd   (%r12),%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqu %xmm0,(%r14,%rsi,4)
movdqu %xmm0,0x10(%r14,%rsi,4)
cmp    %rax,%rcx
jne    11db <main+0xbb>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %esi,%esi
test   $0x1,%dl
jne    12aa <main+0x18a>
jmp    12c2 <main+0x1a2>

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

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