#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 * sizeof(int));
  int *arr2 = alloca(fac * length * sizeof(int));
  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)
movslq -0x10(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1030 <alloca@plt>
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
imul   -0x10(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1030 <alloca@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     11e0 <main+0xc0>
cmpq   $0x0,-0x28(%rbp)
jne    11ec <main+0xcc>
movl   $0x0,-0x4(%rbp)
jmp    1273 <main+0x153>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1221 <main+0x101>
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    11f3 <main+0xd3>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
imul   -0x14(%rbp),%ecx
cmp    %ecx,%eax
jge    126c <main+0x14c>
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    1228 <main+0x108>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
xor    %eax,%eax
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,%r12d
lea    -0x1fffffff(%r12),%eax
e0
cmp    $0xe0000002,%eax
mov    $0x1,%eax
cmovb  %eax,%r12d
xor    %eax,%eax
call   1040 <__VERIFIER_nondet_int@plt>
lea    0x0(,%r12,4),%edi
test   %eax,%eax
jle    116d <main+0x4d>
mov    %eax,%r15d
mov    $0x7fffffff,%eax
xor    %edx,%edx
div    %edi
cmp    %r15d,%eax
ja     1173 <main+0x53>
mov    $0x1,%r15d
call   1030 <alloca@plt>
mov    %rax,%r13
imul   %r12d,%r15d
lea    0x0(,%r15,4),%edi
call   1030 <alloca@plt>
test   %r13,%r13
je     12db <main+0x1bb>
mov    %rax,%r14
test   %rax,%rax
je     12db <main+0x1bb>
mov    %r12d,%r12d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xor    %eax,%eax
call   1040 <__VERIFIER_nondet_int@plt>
mov    %eax,0x0(%r13,%rbx,4)
add    $0x1,%rbx
cmp    %rbx,%r12
jne    11b0 <main+0x90>
test   %r15d,%r15d
jle    12db <main+0x1bb>
mov    %r15d,%eax
cmp    $0x8,%r15d
jb     11e9 <main+0xc9>
lea    0x4(%r13),%rcx
cmp    %rcx,%r14
jae    125e <main+0x13e>
lea    (%r14,%rax,4),%rcx
cmp    %rcx,%r13
jae    125e <main+0x13e>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rsi
and    $0x3,%rsi
je     1222 <main+0x102>
shl    $0x2,%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13),%edi
mov    %edi,(%r14,%rcx,4)
add    $0x1,%rcx
add    $0xfffffffffffffffc,%rsi
jne    1210 <main+0xf0>
cmp    $0x3,%rdx
jb     12db <main+0x1bb>
nopl   0x0(%rax)
mov    0x0(%r13),%edx
mov    %edx,(%r14,%rcx,4)
mov    0x0(%r13),%edx
mov    %edx,0x4(%r14,%rcx,4)
mov    0x0(%r13),%edx
mov    %edx,0x8(%r14,%rcx,4)
mov    0x0(%r13),%edx
mov    %edx,0xc(%r14,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1230 <main+0x110>
jmp    12db <main+0x1bb>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     12e7 <main+0x1c7>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
movd   0x0(%r13),%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    1290 <main+0x170>
test   $0x1,%dl
je     12d2 <main+0x1b2>
movd   0x0(%r13),%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqu %xmm0,(%r14,%rsi,4)
movdqu %xmm0,0x10(%r14,%rsi,4)
cmp    %rax,%rcx
jne    11eb <main+0xcb>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
xor    %esi,%esi
test   $0x1,%dl
jne    12ba <main+0x19a>
jmp    12d2 <main+0x1b2>

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 = sext i32 %30 to i64
%32 = mul i64 %31, 4
%33 = trunc i64 %32 to i32
%34 = call i32* @alloca(i32 %33)
store i32* %34, i32** %6
%35 = load i32, i32* %5
%36 = load i32, i32* %4
%37 = mul nsw i32 %35, %36
%38 = sext i32 %37 to i64
%39 = mul i64 %38, 4
%40 = trunc i64 %39 to i32
%41 = call i32* @alloca(i32 %40)
store i32* %41, i32** %7
%42 = load i32*, i32** %6
%43 = icmp ne i32* %42, null
br i1 %43, label %44, label %47
44: ; preds = %29
%45 = load i32*, i32** %7
%46 = icmp ne i32* %45, null
br i1 %46, label %48, label %47
47: ; preds = %44, %29
store i32 0, i32* %1
br label %85
48: ; preds = %44
store i32 0, i32* %2
br label %49
49: ; preds = %59, %48
%50 = load i32, i32* %2
%51 = load i32, i32* %4
%52 = icmp slt i32 %50, %51
br i1 %52, label %53, label %62
53: ; preds = %49
%54 = call i32 (...) @__VERIFIER_nondet_int()
%55 = load i32*, i32** %6
%56 = load i32, i32* %2
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i32, i32* %55, i64 %57
store i32 %54, i32* %58
br label %59
59: ; preds = %53
%60 = load i32, i32* %2
%61 = add nsw i32 %60, 1
store i32 %61, i32* %2
br label %49
62: ; preds = %49
store i32 0, i32* %3
br label %63
63: ; preds = %81, %62
%64 = load i32, i32* %3
%65 = load i32, i32* %4
%66 = load i32, i32* %5
%67 = mul nsw i32 %65, %66
%68 = icmp slt i32 %64, %67
br i1 %68, label %69, label %84
69: ; preds = %63
%70 = load i32*, i32** %6
%71 = load i32, i32* %2
%72 = load i32, i32* %4
%73 = srem i32 %71, %72
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %70, i64 %74
%76 = load i32, i32* %75
%77 = load i32*, i32** %7
%78 = load i32, i32* %3
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
store i32 %76, i32* %80
br label %81
81: ; preds = %69
%82 = load i32, i32* %3
%83 = add nsw i32 %82, 1
store i32 %83, i32* %3
br label %63
84: ; preds = %63
store i32 0, i32* %1
br label %85
85: ; preds = %84, %47
%86 = load i32, i32* %1
ret i32 %86
}

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