#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 password[100000];
  int guess[100000];
  int i;
  int result = 1;
  for (i = 0; i < 100000; i++) {
    if (password[i] != guess[i]) {
      result = 0;
    }
  }
  if (result) {
    int x;
    for (x = 0; x < 100000; x++) {
      __VERIFIER_assert(password[x] == guess[x]);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc3520,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0xc3518(%rbp)
movl   $0x0,-0xc3514(%rbp)
cmpl   $0x186a0,-0xc3514(%rbp)
jge    118b <main+0x7b>
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)
jmp    1177 <main+0x67>
mov    -0xc3514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc3514(%rbp)
jmp    1136 <main+0x26>
cmpl   $0x0,-0xc3518(%rbp)
je     11f4 <main+0xe4>
movl   $0x0,-0xc351c(%rbp)
cmpl   $0x186a0,-0xc351c(%rbp)
jge    11ef <main+0xdf>
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    11a2 <main+0x92>
jmp    11f4 <main+0xe4>
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 1, i32* %5
store i32 0, i32* %4
br label %7
7: ; preds = %22, %0
%8 = load i32, i32* %4
%9 = icmp slt i32 %8, 100000
br i1 %9, label %10, label %25
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
br label %22
22: ; preds = %21
%23 = load i32, i32* %4
%24 = add nsw i32 %23, 1
store i32 %24, i32* %4
br label %7
25: ; preds = %7
%26 = load i32, i32* %5
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %48
28: ; preds = %25
store i32 0, i32* %6
br label %29
29: ; preds = %44, %28
%30 = load i32, i32* %6
%31 = icmp slt i32 %30, 100000
br i1 %31, label %32, label %47
32: ; preds = %29
%33 = load i32, i32* %6
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds [100000 x i32], [100000 x i32]* %2, i64 0, i64 %34
%36 = load i32, i32* %35
%37 = load i32, i32* %6
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [100000 x i32], [100000 x i32]* %3, i64 0, i64 %38
%40 = load i32, i32* %39
%41 = icmp eq i32 %36, %40
%42 = zext i1 %41 to i32
%43 = call i32 @__VERIFIER_assert(i32 %42)
br label %44
44: ; preds = %32
%45 = load i32, i32* %6
%46 = add nsw i32 %45, 1
store i32 %46, i32* %6
br label %29
47: ; preds = %29
br label %48
48: ; preds = %47, %25
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
}