#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 /*<<< orphan*/ __VERIFIER_assert(int);
int main() {
  int a[100000];
  int b[100000];
  int i = 0;
  int rv = 1;
  while (i < 100000) {
    if (a[i] != b[i]) {
      rv = 0;
    }
    i = i + 1;
  }
  if (rv) {
    int x;
    for (x = 0; x < 100000; x++) {
      __VERIFIER_assert(a[x] == b[x]);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc3520,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc3514(%rbp)
movl   $0x1,-0xc3518(%rbp)
cmpl   $0x186a0,-0xc3514(%rbp)
jge    1186 <main+0x76>
movslq -0xc3514(%rbp),%rax
mov    -0x61a90(%rbp,%rax,4),%eax
movslq -0xc3514(%rbp),%rcx
cmp    -0xc3510(%rbp,%rcx,4),%eax
je     1172 <main+0x62>
movl   $0x0,-0xc3518(%rbp)
mov    -0xc3514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc3514(%rbp)
jmp    1136 <main+0x26>
cmpl   $0x0,-0xc3518(%rbp)
je     11ef <main+0xdf>
movl   $0x0,-0xc351c(%rbp)
cmpl   $0x186a0,-0xc351c(%rbp)
jge    11ea <main+0xda>
movslq -0xc351c(%rbp),%rax
mov    -0x61a90(%rbp,%rax,4),%eax
movslq -0xc351c(%rbp),%rcx
cmp    -0xc3510(%rbp,%rcx,4),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__VERIFIER_assert@plt>
mov    -0xc351c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc351c(%rbp)
jmp    119d <main+0x8d>
jmp    11ef <main+0xdf>
xor    %eax,%eax
add    $0xc3520,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0xc3500,%rsp
movdqa 0xee0(%rip),%xmm0
mov    $0xc,%eax
movdqa %xmm0,%xmm1
nopl   0x0(%rax)
movdqa 0x61a50(%rsp,%rax,4),%xmm2
movdqa 0x61a60(%rsp,%rax,4),%xmm3
movdqa 0x61a70(%rsp,%rax,4),%xmm4
movdqa 0x61a80(%rsp,%rax,4),%xmm5
pcmpeqd -0x30(%rsp,%rax,4),%xmm2
pcmpeqd -0x20(%rsp,%rax,4),%xmm3
pcmpeqd -0x10(%rsp,%rax,4),%xmm4
pand   %xmm2,%xmm4
pand   %xmm4,%xmm0
pcmpeqd (%rsp,%rax,4),%xmm5
pand   %xmm3,%xmm5
pand   %xmm5,%xmm1
add    $0x10,%rax
cmp    $0x186ac,%rax
jne    1130 <main+0x20>
movdqa 0xe71(%rip),%xmm2
movdqa %xmm0,%xmm3
pcmpeqd %xmm2,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm0,%xmm3
por    %xmm1,%xmm3
pcmpeqd %xmm2,%xmm3
movmskps %xmm3,%eax
cmp    $0xf,%eax
jne    11e2 <main+0xd2>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x61a80(%rsp,%rbx,4),%eax
xor    %edi,%edi
cmp    (%rsp,%rbx,4),%eax
sete   %dil
call   1030 <__VERIFIER_assert@plt>
add    $0x1,%rbx
cmp    $0x186a0,%rbx
jne    11c0 <main+0xb0>
xor    %eax,%eax
add    $0xc3500,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca [100000 x i32]
%3 = alloca [100000 x i32]
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %4
store i32 1, i32* %5
br label %7
7: ; preds = %21, %0
%8 = load i32, i32* %4
%9 = icmp slt i32 %8, 100000
br i1 %9, label %10, label %24
10: ; preds = %7
%11 = load i32, i32* %4
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds [100000 x i32], [100000 x i32]* %2, i64 0, i64 %12
%14 = load i32, i32* %13
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [100000 x i32], [100000 x i32]* %3, i64 0, i64 %16
%18 = load i32, i32* %17
%19 = icmp ne i32 %14, %18
br i1 %19, label %20, label %21
20: ; preds = %10
store i32 0, i32* %5
br label %21
21: ; preds = %20, %10
%22 = load i32, i32* %4
%23 = add nsw i32 %22, 1
store i32 %23, i32* %4
br label %7
24: ; preds = %7
%25 = load i32, i32* %5
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %47
27: ; preds = %24
store i32 0, i32* %6
br label %28
28: ; preds = %43, %27
%29 = load i32, i32* %6
%30 = icmp slt i32 %29, 100000
br i1 %30, label %31, label %46
31: ; preds = %28
%32 = load i32, i32* %6
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [100000 x i32], [100000 x i32]* %2, i64 0, i64 %33
%35 = load i32, i32* %34
%36 = load i32, i32* %6
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [100000 x i32], [100000 x i32]* %3, i64 0, i64 %37
%39 = load i32, i32* %38
%40 = icmp eq i32 %35, %39
%41 = zext i1 %40 to i32
%42 = call i32 @__VERIFIER_assert(i32 %41)
br label %43
43: ; preds = %31
%44 = load i32, i32* %6
%45 = add nsw i32 %44, 1
store i32 %45, i32* %6
br label %28
46: ; preds = %28
br label %47
47: ; preds = %46, %24
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = alloca [100000 x i32]
%2 = alloca [100000 x i32]
%3 = bitcast [100000 x i32]* %1 to i8*
%4 = bitcast [100000 x i32]* %2 to i8*
br label %5
5: ; preds = %5, %0
%6 = phi i64 [ 0, %0 ], [ %42, %5 ]
%7 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %0 ], [ %39, %5 ]
%8 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %0 ], [ %41, %5 ]
%9 = getelementptr inbounds [100000 x i32], [100000 x i32]* %1, i64 0, i64 %6
%10 = bitcast i32* %9 to <4 x i32>*
%11 = load <4 x i32>, <4 x i32>* %10
%12 = getelementptr inbounds i32, i32* %9, i64 4
%13 = bitcast i32* %12 to <4 x i32>*
%14 = load <4 x i32>, <4 x i32>* %13
%15 = getelementptr inbounds [100000 x i32], [100000 x i32]* %2, i64 0, i64 %6
%16 = bitcast i32* %15 to <4 x i32>*
%17 = load <4 x i32>, <4 x i32>* %16
%18 = getelementptr inbounds i32, i32* %15, i64 4
%19 = bitcast i32* %18 to <4 x i32>*
%20 = load <4 x i32>, <4 x i32>* %19
%21 = icmp eq <4 x i32> %11, %17
%22 = icmp eq <4 x i32> %14, %20
%23 = or i64 %6, 8
%24 = getelementptr inbounds [100000 x i32], [100000 x i32]* %1, i64 0, i64 %23
%25 = bitcast i32* %24 to <4 x i32>*
%26 = load <4 x i32>, <4 x i32>* %25
%27 = getelementptr inbounds i32, i32* %24, i64 4
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = getelementptr inbounds [100000 x i32], [100000 x i32]* %2, i64 0, i64 %23
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = getelementptr inbounds i32, i32* %30, i64 4
%34 = bitcast i32* %33 to <4 x i32>*
%35 = load <4 x i32>, <4 x i32>* %34
%36 = icmp eq <4 x i32> %26, %32
%37 = icmp eq <4 x i32> %29, %35
%38 = select <4 x i1> %36, <4 x i1> %21, <4 x i1> zeroinitializer
%39 = select <4 x i1> %38, <4 x i32> %7, <4 x i32> zeroinitializer
%40 = select <4 x i1> %37, <4 x i1> %22, <4 x i1> zeroinitializer
%41 = select <4 x i1> %40, <4 x i32> %8, <4 x i32> zeroinitializer
%42 = add nuw nsw i64 %6, 16
%43 = icmp eq i64 %42, 100000
br i1 %43, label %44, label %5
44: ; preds = %5
%45 = icmp eq <4 x i32> %39, <i32 1, i32 1, i32 1, i32 1>
%46 = select <4 x i1> %45, <4 x i32> %41, <4 x i32> %39
%47 = icmp ne <4 x i32> %46, <i32 1, i32 1, i32 1, i32 1>
%48 = bitcast <4 x i1> %47 to i4
%49 = icmp eq i4 %48, 0
br i1 %49, label %50, label %61
50: ; preds = %44, %50
%51 = phi i64 [ %59, %50 ], [ 0, %44 ]
%52 = getelementptr inbounds [100000 x i32], [100000 x i32]* %1, i64 0, i64 %51
%53 = load i32, i32* %52
%54 = getelementptr inbounds [100000 x i32], [100000 x i32]* %2, i64 0, i64 %51
%55 = load i32, i32* %54
%56 = icmp eq i32 %53, %55
%57 = zext i1 %56 to i32
%58 = tail call i32 @__VERIFIER_assert(i32 %57)
%59 = add nuw nsw i64 %51, 1
%60 = icmp eq i64 %59, 100000
br i1 %60, label %61, label %50
61: ; preds = %50, %44
ret i32 0
}