#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
int compare(unsigned char *p1, unsigned char *p2, int n, int silently) {
  int i;
  int ok = 1;
  for (i = 0; i < n; i++) {
    if (i == 3)
      continue;
    if (p1[i] != p2[i]) {
      ok = 0;
    }
  }
  if (!silently) {
    if (ok) {
      fprintf(stderr, "CORRECT!\n");
    } else {
      fprintf(stderr, "FAILED!\n");
    }
  }
  return ok;
}


x86 assembly (clang, -O0):
<compare>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1189 <compare+0x79>
cmpl   $0x3,-0x1c(%rbp)
jne    114f <compare+0x3f>
jmp    117b <compare+0x6b>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1176 <compare+0x66>
movl   $0x0,-0x20(%rbp)
jmp    117b <compare+0x6b>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1134 <compare+0x24>
cmpl   $0x0,-0x18(%rbp)
jne    11d1 <compare+0xc1>
cmpl   $0x0,-0x20(%rbp)
je     11b7 <compare+0xa7>
mov    0x2e3c(%rip),%rax
mov    (%rax),%edi
lea    0xe53(%rip),%rsi
call   1030 <fprintf@plt>
jmp    11cc <compare+0xbc>
mov    0x2e22(%rip),%rax
mov    (%rax),%edi
lea    0xe43(%rip),%rsi
call   1030 <fprintf@plt>
jmp    11d1 <compare+0xc1>
mov    -0x20(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<compare>:
push   %rbx
test   %edx,%edx
jle    1224 <compare+0x114>
mov    (%rdi),%al
xor    %ebx,%ebx
cmp    (%rsi),%al
sete   %bl
cmp    $0x1,%edx
je     12e4 <compare+0x1d4>
mov    0x1(%rdi),%al
xor    %r8d,%r8d
cmp    0x1(%rsi),%al
cmovne %r8d,%ebx
cmp    $0x2,%edx
je     12e4 <compare+0x1d4>
mov    0x2(%rdi),%al
cmp    0x2(%rsi),%al
cmovne %r8d,%ebx
lea    -0x3(%rdx),%eax
cmp    $0x2,%eax
jb     12e4 <compare+0x1d4>
mov    %edx,%r9d
lea    -0x4(%r9),%r8
mov    $0x4,%edx
cmp    $0x8,%r8
jb     12bf <compare+0x1af>
mov    %r8,%rdx
and    $0xfffffffffffffff8,%rdx
movd   %ebx,%xmm1
pshufd $0x0,%xmm1,%xmm0
lea    -0x8(%rdx),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     123d <compare+0x12d>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
mov    $0x4,%eax
movdqa %xmm0,%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
movd   (%rdi,%rax,1),%xmm3
movd   0x4(%rdi,%rax,1),%xmm4
movd   (%rsi,%rax,1),%xmm5
pcmpeqb %xmm3,%xmm5
movd   0x4(%rsi,%rax,1),%xmm3
pcmpeqb %xmm4,%xmm3
movd   0x8(%rdi,%rax,1),%xmm4
movd   0xc(%rdi,%rax,1),%xmm6
movd   0x8(%rsi,%rax,1),%xmm7
pcmpeqb %xmm4,%xmm7
pand   %xmm5,%xmm7
punpcklbw %xmm7,%xmm4
punpcklwd %xmm4,%xmm4
movd   0xc(%rsi,%rax,1),%xmm5
pcmpeqb %xmm6,%xmm5
pand   %xmm3,%xmm5
punpcklbw %xmm5,%xmm3
punpcklwd %xmm3,%xmm3
psrad  $0x18,%xmm4
pand   %xmm4,%xmm0
psrad  $0x18,%xmm3
pand   %xmm3,%xmm2
add    $0x10,%rax
add    $0xfffffffffffffffe,%r11
jne    11b0 <compare+0xa0>
jmp    1246 <compare+0x136>
mov    $0x1,%ebx
test   %ecx,%ecx
jne    130a <compare+0x1fa>
lea    0xdc8(%rip),%rsi
jmp    12fc <compare+0x1ec>
mov    $0x4,%eax
movdqa %xmm0,%xmm2
test   $0x1,%r10b
je     128c <compare+0x17c>
movd   (%rdi,%rax,1),%xmm3
movd   0x4(%rdi,%rax,1),%xmm4
movd   (%rsi,%rax,1),%xmm5
pcmpeqb %xmm3,%xmm5
movd   0x4(%rsi,%rax,1),%xmm3
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm5,%xmm4
punpcklwd %xmm4,%xmm4
psrad  $0x18,%xmm4
pand   %xmm4,%xmm0
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
psrad  $0x18,%xmm3
pand   %xmm3,%xmm2
pshufd $0x0,%xmm1,%xmm1
movdqa %xmm0,%xmm3
pcmpeqd %xmm1,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm0,%xmm3
por    %xmm2,%xmm3
pcmpeqd %xmm1,%xmm3
movmskps %xmm3,%eax
xor    %r10d,%r10d
cmp    $0xf,%eax
cmovne %r10d,%ebx
cmp    %rdx,%r8
je     12e4 <compare+0x1d4>
or     $0x4,%rdx
xor    %r8d,%r8d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdi,%rdx,1),%eax
cmp    (%rsi,%rdx,1),%al
cmovne %r8d,%ebx
add    $0x1,%rdx
cmp    %rdx,%r9
jne    12d0 <compare+0x1c0>
test   %ecx,%ecx
jne    130a <compare+0x1fa>
test   %ebx,%ebx
lea    0xd19(%rip),%rax
lea    0xd08(%rip),%rsi
cmove  %rax,%rsi
mov    0x2cdd(%rip),%rax
mov    (%rax),%edi
call   1030 <fprintf@plt>
mov    %ebx,%eax
pop    %rbx
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [10 x i8] c"CORRECT!\0A\00"
@.str.1 = [9 x i8] c"FAILED!\0A\00"
define i32 @compare(i8* %0, i8* %1, i32 %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
store i32 %3, i32* %8
store i32 1, i32* %10
store i32 0, i32* %9
br label %11
11: ; preds = %35, %4
%12 = load i32, i32* %9
%13 = load i32, i32* %7
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %38
15: ; preds = %11
%16 = load i32, i32* %9
%17 = icmp eq i32 %16, 3
br i1 %17, label %18, label %19
18: ; preds = %15
br label %35
19: ; preds = %15
%20 = load i8*, i8** %5
%21 = load i32, i32* %9
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %20, i64 %22
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = load i8*, i8** %6
%27 = load i32, i32* %9
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %26, i64 %28
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = icmp ne i32 %25, %31
br i1 %32, label %33, label %34
33: ; preds = %19
store i32 0, i32* %10
br label %34
34: ; preds = %33, %19
br label %35
35: ; preds = %34, %18
%36 = load i32, i32* %9
%37 = add nsw i32 %36, 1
store i32 %37, i32* %9
br label %11
38: ; preds = %11
%39 = load i32, i32* %8
%40 = icmp ne i32 %39, 0
br i1 %40, label %51, label %41
41: ; preds = %38
%42 = load i32, i32* %10
%43 = icmp ne i32 %42, 0
br i1 %43, label %44, label %47
44: ; preds = %41
%45 = load i32, i32* @stderr
%46 = call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0))
br label %50
47: ; preds = %41
%48 = load i32, i32* @stderr
%49 = call i32 @fprintf(i32 %48, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
br label %50
50: ; preds = %47, %44
br label %51
51: ; preds = %50, %38
%52 = load i32, i32* %10
ret i32 %52
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [10 x i8] c"CORRECT!\0A\00"
@.str.1 = [9 x i8] c"FAILED!\0A\00"
define i32 @compare(i8* nocapture %0, i8* nocapture %1, i32 %2, i32 %3) {
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %144
6: ; preds = %4
%7 = zext i32 %2 to i64
%8 = load i8, i8* %0
%9 = load i8, i8* %1
%10 = icmp eq i8 %8, %9
%11 = zext i1 %10 to i32
%12 = icmp eq i32 %2, 1
br i1 %12, label %141, label %13
13: ; preds = %6
%14 = getelementptr inbounds i8, i8* %0, i64 1
%15 = load i8, i8* %14
%16 = getelementptr inbounds i8, i8* %1, i64 1
%17 = load i8, i8* %16
%18 = icmp eq i8 %15, %17
%19 = select i1 %18, i32 %11, i32 0
%20 = icmp eq i32 %2, 2
br i1 %20, label %141, label %21
21: ; preds = %13
%22 = getelementptr inbounds i8, i8* %0, i64 2
%23 = load i8, i8* %22
%24 = getelementptr inbounds i8, i8* %1, i64 2
%25 = load i8, i8* %24
%26 = icmp eq i8 %23, %25
%27 = select i1 %26, i32 %19, i32 0
%28 = add i32 %2, -3
%29 = icmp ult i32 %28, 2
br i1 %29, label %141, label %30
30: ; preds = %21
%31 = add nsw i64 %7, -4
%32 = icmp ult i64 %31, 8
br i1 %32, label %127, label %33
33: ; preds = %30
%34 = and i64 %31, -8
%35 = or i64 %34, 4
%36 = insertelement <4 x i32> poison, i32 %27, i64 0
%37 = shufflevector <4 x i32> %36, <4 x i32> poison, <4 x i32> zeroinitializer
%38 = add nsw i64 %34, -8
%39 = lshr exact i64 %38, 3
%40 = add nuw nsw i64 %39, 1
%41 = and i64 %40, 1
%42 = icmp eq i64 %38, 0
br i1 %42, label %89, label %43
43: ; preds = %33
%44 = and i64 %40, 4611686018427387902
br label %45
45: ; preds = %45, %43
%46 = phi i64 [ 0, %43 ], [ %84, %45 ]
%47 = phi <4 x i32> [ %37, %43 ], [ %81, %45 ]
%48 = phi <4 x i32> [ %37, %43 ], [ %83, %45 ]
%49 = phi i64 [ 0, %43 ], [ %85, %45 ]
%50 = or i64 %46, 4
%51 = getelementptr inbounds i8, i8* %0, i64 %50
%52 = bitcast i8* %51 to <4 x i8>*
%53 = load <4 x i8>, <4 x i8>* %52
%54 = getelementptr inbounds i8, i8* %51, i64 4
%55 = bitcast i8* %54 to <4 x i8>*
%56 = load <4 x i8>, <4 x i8>* %55
%57 = getelementptr inbounds i8, i8* %1, i64 %50
%58 = bitcast i8* %57 to <4 x i8>*
%59 = load <4 x i8>, <4 x i8>* %58
%60 = getelementptr inbounds i8, i8* %57, i64 4
%61 = bitcast i8* %60 to <4 x i8>*
%62 = load <4 x i8>, <4 x i8>* %61
%63 = icmp eq <4 x i8> %53, %59
%64 = icmp eq <4 x i8> %56, %62
%65 = or i64 %46, 12
%66 = getelementptr inbounds i8, i8* %0, i64 %65
%67 = bitcast i8* %66 to <4 x i8>*
%68 = load <4 x i8>, <4 x i8>* %67
%69 = getelementptr inbounds i8, i8* %66, i64 4
%70 = bitcast i8* %69 to <4 x i8>*
%71 = load <4 x i8>, <4 x i8>* %70
%72 = getelementptr inbounds i8, i8* %1, i64 %65
%73 = bitcast i8* %72 to <4 x i8>*
%74 = load <4 x i8>, <4 x i8>* %73
%75 = getelementptr inbounds i8, i8* %72, i64 4
%76 = bitcast i8* %75 to <4 x i8>*
%77 = load <4 x i8>, <4 x i8>* %76
%78 = icmp eq <4 x i8> %68, %74
%79 = icmp eq <4 x i8> %71, %77
%80 = select <4 x i1> %78, <4 x i1> %63, <4 x i1> zeroinitializer
%81 = select <4 x i1> %80, <4 x i32> %47, <4 x i32> zeroinitializer
%82 = select <4 x i1> %79, <4 x i1> %64, <4 x i1> zeroinitializer
%83 = select <4 x i1> %82, <4 x i32> %48, <4 x i32> zeroinitializer
%84 = add nuw i64 %46, 16
%85 = add i64 %49, 2
%86 = icmp eq i64 %85, %44
br i1 %86, label %87, label %45
87: ; preds = %45
%88 = or i64 %84, 4
br label %89
89: ; preds = %87, %33
%90 = phi <4 x i32> [ undef, %33 ], [ %81, %87 ]
%91 = phi <4 x i32> [ undef, %33 ], [ %83, %87 ]
%92 = phi i64 [ 4, %33 ], [ %88, %87 ]
%93 = phi <4 x i32> [ %37, %33 ], [ %81, %87 ]
%94 = phi <4 x i32> [ %37, %33 ], [ %83, %87 ]
%95 = icmp eq i64 %41, 0
br i1 %95, label %113, label %96
96: ; preds = %89
%97 = getelementptr inbounds i8, i8* %0, i64 %92
%98 = bitcast i8* %97 to <4 x i8>*
%99 = load <4 x i8>, <4 x i8>* %98
%100 = getelementptr inbounds i8, i8* %97, i64 4
%101 = bitcast i8* %100 to <4 x i8>*
%102 = load <4 x i8>, <4 x i8>* %101
%103 = getelementptr inbounds i8, i8* %1, i64 %92
%104 = bitcast i8* %103 to <4 x i8>*
%105 = load <4 x i8>, <4 x i8>* %104
%106 = getelementptr inbounds i8, i8* %103, i64 4
%107 = bitcast i8* %106 to <4 x i8>*
%108 = load <4 x i8>, <4 x i8>* %107
%109 = icmp eq <4 x i8> %99, %105
%110 = icmp eq <4 x i8> %102, %108
%111 = select <4 x i1> %109, <4 x i32> %93, <4 x i32> zeroinitializer
%112 = select <4 x i1> %110, <4 x i32> %94, <4 x i32> zeroinitializer
br label %113
113: ; preds = %89, %96
%114 = phi <4 x i32> [ %90, %89 ], [ %111, %96 ]
%115 = phi <4 x i32> [ %91, %89 ], [ %112, %96 ]
%116 = insertelement <4 x i32> poison, i32 %27, i64 0
%117 = shufflevector <4 x i32> %116, <4 x i32> poison, <4 x i32> zeroinitializer
%118 = icmp eq <4 x i32> %114, %117
%119 = select <4 x i1> %118, <4 x i32> %115, <4 x i32> %114
%120 = insertelement <4 x i32> poison, i32 %27, i64 0
%121 = shufflevector <4 x i32> %120, <4 x i32> poison, <4 x i32> zeroinitializer
%122 = icmp ne <4 x i32> %119, %121
%123 = bitcast <4 x i1> %122 to i4
%124 = icmp eq i4 %123, 0
%125 = select i1 %124, i32 %27, i32 0
%126 = icmp eq i64 %31, %34
br i1 %126, label %141, label %127
127: ; preds = %30, %113
%128 = phi i64 [ 4, %30 ], [ %35, %113 ]
%129 = phi i32 [ %27, %30 ], [ %125, %113 ]
br label %130
130: ; preds = %127, %130
%131 = phi i64 [ %139, %130 ], [ %128, %127 ]
%132 = phi i32 [ %138, %130 ], [ %129, %127 ]
%133 = getelementptr inbounds i8, i8* %0, i64 %131
%134 = load i8, i8* %133
%135 = getelementptr inbounds i8, i8* %1, i64 %131
%136 = load i8, i8* %135
%137 = icmp eq i8 %134, %136
%138 = select i1 %137, i32 %132, i32 0
%139 = add nuw nsw i64 %131, 1
%140 = icmp eq i64 %139, %7
br i1 %140, label %141, label %130
141: ; preds = %130, %113, %21, %6, %13
%142 = phi i32 [ %11, %6 ], [ %19, %13 ], [ %27, %21 ], [ %125, %113 ], [ %138, %130 ]
%143 = icmp eq i32 %3, 0
br i1 %143, label %146, label %154
144: ; preds = %4
%145 = icmp eq i32 %3, 0
br i1 %145, label %149, label %154
146: ; preds = %141
%147 = icmp eq i32 %142, 0
%148 = select i1 %147, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0)
br label %149
149: ; preds = %146, %144
%150 = phi i8* [ getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), %144 ], [ %148, %146 ]
%151 = phi i32 [ 1, %144 ], [ %142, %146 ]
%152 = load i32, i32* @stderr
%153 = tail call i32 @fprintf(i32 %152, i8* %150)
br label %154
154: ; preds = %149, %144, %141
%155 = phi i32 [ 1, %144 ], [ %142, %141 ], [ %151, %149 ]
ret i32 %155
}