#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 uint8_t;

/* Variables and functions */
int check_lpm6_rule(uint8_t *ip, const uint8_t *ip_rule, uint8_t depth) {
  int k;
  uint8_t mask;
  for (k = 0; k < 16; k++) {
    if (depth >= 8) {
      if (ip[k] != ip_rule[k])
        return -1;
    } else if (depth > 0) {
      mask = (uint8_t)((unsigned int)(-1) << (8 - depth));
      if ((ip[k] & mask) == (ip_rule[k] & mask))
        return 0;
      else
        return -1;
    } else
      return 0;
    depth -= 8;
  }
  return 0;
}


x86 assembly (clang, -O0):
<check_lpm6_rule>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    11d2 <check_lpm6_rule+0xd2>
cmpl   $0x8,-0x1c(%rbp)
jl     1157 <check_lpm6_rule+0x57>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
je     1152 <check_lpm6_rule+0x52>
movl   $0xffffffff,-0x4(%rbp)
jmp    11d9 <check_lpm6_rule+0xd9>
jmp    11bb <check_lpm6_rule+0xbb>
cmpl   $0x0,-0x1c(%rbp)
jle    11af <check_lpm6_rule+0xaf>
mov    $0x8,%ecx
sub    -0x1c(%rbp),%ecx
mov    $0xffffffff,%eax
shl    %cl,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
and    -0x24(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
and    -0x24(%rbp),%ecx
cmp    %ecx,%eax
jne    11a3 <check_lpm6_rule+0xa3>
movl   $0x0,-0x4(%rbp)
jmp    11d9 <check_lpm6_rule+0xd9>
movl   $0xffffffff,-0x4(%rbp)
jmp    11d9 <check_lpm6_rule+0xd9>
movl   $0x0,-0x4(%rbp)
jmp    11d9 <check_lpm6_rule+0xd9>
mov    -0x1c(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1116 <check_lpm6_rule+0x16>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_lpm6_rule>:
xor    %r8d,%r8d
cmp    $0x8,%edx
jl     1255 <check_lpm6_rule+0x155>
mov    (%rdi),%ecx
mov    $0xffffffff,%eax
cmp    (%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x10,%edx
jb     124c <check_lpm6_rule+0x14c>
mov    0x4(%rdi),%ecx
cmp    0x4(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x18,%edx
jb     1271 <check_lpm6_rule+0x171>
mov    0x8(%rdi),%ecx
cmp    0x8(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x20,%edx
jb     127c <check_lpm6_rule+0x17c>
mov    0xc(%rdi),%ecx
cmp    0xc(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x28,%edx
jb     1287 <check_lpm6_rule+0x187>
mov    0x10(%rdi),%ecx
cmp    0x10(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x30,%edx
jb     1292 <check_lpm6_rule+0x192>
mov    0x14(%rdi),%ecx
cmp    0x14(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x38,%edx
jb     129d <check_lpm6_rule+0x19d>
mov    0x18(%rdi),%ecx
cmp    0x18(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x40,%edx
jb     12a8 <check_lpm6_rule+0x1a8>
mov    0x1c(%rdi),%ecx
cmp    0x1c(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x48,%edx
jb     12b3 <check_lpm6_rule+0x1b3>
mov    0x20(%rdi),%ecx
cmp    0x20(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x50,%edx
jb     12be <check_lpm6_rule+0x1be>
mov    0x24(%rdi),%ecx
cmp    0x24(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x58,%edx
jb     12c9 <check_lpm6_rule+0x1c9>
mov    0x28(%rdi),%ecx
cmp    0x28(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x60,%edx
jb     12d4 <check_lpm6_rule+0x1d4>
mov    0x2c(%rdi),%ecx
cmp    0x2c(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x68,%edx
jb     12e2 <check_lpm6_rule+0x1e2>
mov    0x30(%rdi),%ecx
cmp    0x30(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x70,%edx
jb     12f0 <check_lpm6_rule+0x1f0>
mov    0x34(%rdi),%ecx
cmp    0x34(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x78,%edx
jb     12fe <check_lpm6_rule+0x1fe>
mov    0x38(%rdi),%ecx
cmp    0x38(%rsi),%ecx
jne    1270 <check_lpm6_rule+0x170>
cmp    $0x80,%edx
jb     130c <check_lpm6_rule+0x20c>
mov    0x3c(%rdi),%ecx
xor    %eax,%eax
cmp    0x3c(%rsi),%ecx
setne  %al
neg    %eax
jmp    1270 <check_lpm6_rule+0x170>
add    $0xfffffff8,%edx
mov    $0x1,%r8d
mov    $0x0,%eax
test   %edx,%edx
jle    1270 <check_lpm6_rule+0x170>
mov    $0x8,%cl
mov    (%rsi,%r8,4),%eax
xor    (%rdi,%r8,4),%eax
sub    %dl,%cl
shr    %cl,%eax
neg    %eax
sbb    %eax,%eax
ret
add    $0xfffffff0,%edx
mov    $0x2,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffe8,%edx
mov    $0x3,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffe0,%edx
mov    $0x4,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffd8,%edx
mov    $0x5,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffd0,%edx
mov    $0x6,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffc8,%edx
mov    $0x7,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffc0,%edx
mov    $0x8,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffb8,%edx
mov    $0x9,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffb0,%edx
mov    $0xa,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffa8,%edx
mov    $0xb,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffffa0,%edx
mov    $0xc,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffff98,%edx
mov    $0xd,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffff90,%edx
mov    $0xe,%r8d
jmp    1255 <check_lpm6_rule+0x155>
add    $0xffffff88,%edx
mov    $0xf,%r8d
jmp    1255 <check_lpm6_rule+0x155>

LLVM IR (-O0):
define i32 @check_lpm6_rule(i32* %0, i32* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store i32 0, i32* %8
br label %10
10: ; preds = %58, %3
%11 = load i32, i32* %8
%12 = icmp slt i32 %11, 16
br i1 %12, label %13, label %61
13: ; preds = %10
%14 = load i32, i32* %7
%15 = icmp sge i32 %14, 8
br i1 %15, label %16, label %30
16: ; preds = %13
%17 = load i32*, i32** %5
%18 = load i32, i32* %8
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
%21 = load i32, i32* %20
%22 = load i32*, i32** %6
%23 = load i32, i32* %8
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = icmp ne i32 %21, %26
br i1 %27, label %28, label %29
28: ; preds = %16
store i32 -1, i32* %4
br label %62
29: ; preds = %16
br label %55
30: ; preds = %13
%31 = load i32, i32* %7
%32 = icmp sgt i32 %31, 0
br i1 %32, label %33, label %54
33: ; preds = %30
%34 = load i32, i32* %7
%35 = sub nsw i32 8, %34
%36 = shl i32 -1, %35
store i32 %36, i32* %9
%37 = load i32*, i32** %5
%38 = load i32, i32* %8
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
%42 = load i32, i32* %9
%43 = and i32 %41, %42
%44 = load i32*, i32** %6
%45 = load i32, i32* %8
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = load i32, i32* %9
%50 = and i32 %48, %49
%51 = icmp eq i32 %43, %50
br i1 %51, label %52, label %53
52: ; preds = %33
store i32 0, i32* %4
br label %62
53: ; preds = %33
store i32 -1, i32* %4
br label %62
54: ; preds = %30
store i32 0, i32* %4
br label %62
55: ; preds = %29
%56 = load i32, i32* %7
%57 = sub nsw i32 %56, 8
store i32 %57, i32* %7
br label %58
58: ; preds = %55
%59 = load i32, i32* %8
%60 = add nsw i32 %59, 1
store i32 %60, i32* %8
br label %10
61: ; preds = %10
store i32 0, i32* %4
br label %62
62: ; preds = %61, %54, %53, %52, %28
%63 = load i32, i32* %4
ret i32 %63
}

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