#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 */
typedef int /*<<< orphan*/ uint32_t;

/* Variables and functions */
int /*<<< orphan*/ UINT32_MAX;
int /*<<< orphan*/ printf(char *, size_t, int /*<<< orphan*/, size_t,
                          int /*<<< orphan*/, size_t, int /*<<< orphan*/);
size_t verify_indexes(size_t *reference, size_t *test, size_t count,
                      uint32_t *array, uint32_t *targets, size_t length) {
  for (size_t i = 0; i < count; i++) {
    if (reference[i] != test[i]) {
      printf(" MISMATCH %zd (%u): %zd (%u) %zd (%u)", i, targets[i],
             reference[i],
             reference[i] < length ? array[reference[i]] : UINT32_MAX, test[i],
             test[i] < length ? array[test[i]] : UINT32_MAX);
      return 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<verify_indexes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1265 <verify_indexes+0x155>
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%rcx
mov    -0x40(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
je     124f <verify_indexes+0x13f>
mov    -0x40(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x38(%rbp),%rax
jae    11be <verify_indexes+0xae>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x40(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
jmp    11ca <verify_indexes+0xba>
mov    0x2e33(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x38(%rbp),%rax
jae    1211 <verify_indexes+0x101>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x40(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x70(%rbp)
jmp    121d <verify_indexes+0x10d>
mov    0x2de0(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x70(%rbp)
mov    -0x68(%rbp),%r9
mov    -0x6c(%rbp),%r8d
mov    -0x48(%rbp),%rcx
mov    -0x4c(%rbp),%edx
mov    -0x58(%rbp),%rsi
mov    -0x70(%rbp),%eax
lea    0xdc6(%rip),%rdi
mov    %eax,(%rsp)
call   1030 <printf@plt>
movq   $0x1,-0x8(%rbp)
jmp    126d <verify_indexes+0x15d>
jmp    1254 <verify_indexes+0x144>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    113b <verify_indexes+0x2b>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verify_indexes>:
push   %rbx
sub    $0x10,%rsp
test   %rdx,%rdx
je     1152 <verify_indexes+0x42>
mov    %rsi,%r11
mov    (%rdi),%rax
mov    (%rsi),%r10
cmp    %r10,%rax
jne    1156 <verify_indexes+0x46>
mov    $0x1,%esi
nopl   (%rax)
cmp    %rsi,%rdx
je     1197 <verify_indexes+0x87>
mov    (%rdi,%rsi,8),%rax
mov    (%r11,%rsi,8),%r10
add    $0x1,%rsi
cmp    %r10,%rax
je     1130 <verify_indexes+0x20>
add    $0xffffffffffffffff,%rsi
cmp    %rdx,%rsi
setb   %bl
jmp    115a <verify_indexes+0x4a>
xor    %ebx,%ebx
jmp    119a <verify_indexes+0x8a>
mov    $0x1,%bl
xor    %esi,%esi
mov    (%r8,%rsi,4),%edx
cmp    %r9,%rax
lea    (%rcx,%rax,4),%rdi
mov    0x2e8c(%rip),%r11
cmovae %r11,%rdi
mov    (%rdi),%r8d
cmp    %r9,%r10
lea    (%rcx,%r10,4),%rcx
cmovae %r11,%rcx
mov    (%rcx),%ecx
mov    %ecx,(%rsp)
lea    0xe76(%rip),%rdi
mov    %rax,%rcx
mov    %r10,%r9
call   1030 <printf@plt>
jmp    119a <verify_indexes+0x8a>
seta   %bl
movzbl %bl,%eax
add    $0x10,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@.str = [38 x i8] c" MISMATCH %zd (%u): %zd (%u) %zd (%u)\00"
@UINT32_MAX = global i32 0
define i64 @verify_indexes(i64* %0, i64* %1, i64 %2, i32* %3, i32* %4, i64 %5) {
%7 = alloca i64
%8 = alloca i64*
%9 = alloca i64*
%10 = alloca i64
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i64
%14 = alloca i64
store i64* %0, i64** %8
store i64* %1, i64** %9
store i64 %2, i64* %10
store i32* %3, i32** %11
store i32* %4, i32** %12
store i64 %5, i64* %13
store i64 0, i64* %14
br label %15
15: ; preds = %81, %6
%16 = load i64, i64* %14
%17 = load i64, i64* %10
%18 = icmp ult i64 %16, %17
br i1 %18, label %19, label %84
19: ; preds = %15
%20 = load i64*, i64** %8
%21 = load i64, i64* %14
%22 = getelementptr inbounds i64, i64* %20, i64 %21
%23 = load i64, i64* %22
%24 = load i64*, i64** %9
%25 = load i64, i64* %14
%26 = getelementptr inbounds i64, i64* %24, i64 %25
%27 = load i64, i64* %26
%28 = icmp ne i64 %23, %27
br i1 %28, label %29, label %80
29: ; preds = %19
%30 = load i64, i64* %14
%31 = load i32*, i32** %12
%32 = load i64, i64* %14
%33 = getelementptr inbounds i32, i32* %31, i64 %32
%34 = load i32, i32* %33
%35 = load i64*, i64** %8
%36 = load i64, i64* %14
%37 = getelementptr inbounds i64, i64* %35, i64 %36
%38 = load i64, i64* %37
%39 = load i64*, i64** %8
%40 = load i64, i64* %14
%41 = getelementptr inbounds i64, i64* %39, i64 %40
%42 = load i64, i64* %41
%43 = load i64, i64* %13
%44 = icmp ult i64 %42, %43
br i1 %44, label %45, label %53
45: ; preds = %29
%46 = load i32*, i32** %11
%47 = load i64*, i64** %8
%48 = load i64, i64* %14
%49 = getelementptr inbounds i64, i64* %47, i64 %48
%50 = load i64, i64* %49
%51 = getelementptr inbounds i32, i32* %46, i64 %50
%52 = load i32, i32* %51
br label %55
53: ; preds = %29
%54 = load i32, i32* @UINT32_MAX
br label %55
55: ; preds = %53, %45
%56 = phi i32 [ %52, %45 ], [ %54, %53 ]
%57 = load i64*, i64** %9
%58 = load i64, i64* %14
%59 = getelementptr inbounds i64, i64* %57, i64 %58
%60 = load i64, i64* %59
%61 = load i64*, i64** %9
%62 = load i64, i64* %14
%63 = getelementptr inbounds i64, i64* %61, i64 %62
%64 = load i64, i64* %63
%65 = load i64, i64* %13
%66 = icmp ult i64 %64, %65
br i1 %66, label %67, label %75
67: ; preds = %55
%68 = load i32*, i32** %11
%69 = load i64*, i64** %9
%70 = load i64, i64* %14
%71 = getelementptr inbounds i64, i64* %69, i64 %70
%72 = load i64, i64* %71
%73 = getelementptr inbounds i32, i32* %68, i64 %72
%74 = load i32, i32* %73
br label %77
75: ; preds = %55
%76 = load i32, i32* @UINT32_MAX
br label %77
77: ; preds = %75, %67
%78 = phi i32 [ %74, %67 ], [ %76, %75 ]
%79 = call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0), i64 %30, i32 %34, i64 %38, i32 %56, i64 %60, i32 %78)
store i64 1, i64* %7
br label %85
80: ; preds = %19
br label %81
81: ; preds = %80
%82 = load i64, i64* %14
%83 = add i64 %82, 1
store i64 %83, i64* %14
br label %15
84: ; preds = %15
store i64 0, i64* %7
br label %85
85: ; preds = %84, %77
%86 = load i64, i64* %7
ret i64 %86
}

LLVM IR (-O2):
@.str = [38 x i8] c" MISMATCH %zd (%u): %zd (%u) %zd (%u)\00"
@UINT32_MAX = global i32 0
define i64 @verify_indexes(i64* nocapture %0, i64* nocapture %1, i64 %2, i32* nocapture %3, i32* nocapture %4, i64 %5) {
%7 = icmp eq i64 %2, 0
br i1 %7, label %42, label %8
8: ; preds = %6
%9 = load i64, i64* %0
%10 = load i64, i64* %1
%11 = icmp eq i64 %9, %10
br i1 %11, label %36, label %20
12: ; preds = %36
%13 = getelementptr inbounds i64, i64* %0, i64 %38
%14 = load i64, i64* %13
%15 = getelementptr inbounds i64, i64* %1, i64 %38
%16 = load i64, i64* %15
%17 = icmp eq i64 %14, %16
br i1 %17, label %36, label %18
18: ; preds = %12
%19 = icmp ult i64 %38, %2
br label %20
20: ; preds = %18, %8
%21 = phi i1 [ true, %8 ], [ %19, %18 ]
%22 = phi i64 [ 0, %8 ], [ %38, %18 ]
%23 = phi i64 [ %9, %8 ], [ %14, %18 ]
%24 = phi i64 [ %10, %8 ], [ %16, %18 ]
%25 = getelementptr inbounds i32, i32* %4, i64 %22
%26 = load i32, i32* %25
%27 = icmp ult i64 %23, %5
%28 = getelementptr inbounds i32, i32* %3, i64 %23
%29 = select i1 %27, i32* %28, i32* @UINT32_MAX
%30 = load i32, i32* %29
%31 = icmp ult i64 %24, %5
%32 = getelementptr inbounds i32, i32* %3, i64 %24
%33 = select i1 %31, i32* %32, i32* @UINT32_MAX
%34 = load i32, i32* %33
%35 = tail call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0), i64 %22, i32 %26, i64 %23, i32 %30, i64 %24, i32 %34)
br label %42
36: ; preds = %8, %12
%37 = phi i64 [ %38, %12 ], [ 0, %8 ]
%38 = add nuw i64 %37, 1
%39 = icmp eq i64 %38, %2
br i1 %39, label %40, label %12
40: ; preds = %36
%41 = icmp ult i64 %38, %2
br label %42
42: ; preds = %40, %6, %20
%43 = phi i1 [ %21, %20 ], [ false, %6 ], [ %41, %40 ]
%44 = zext i1 %43 to i64
ret i64 %44
}