#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 */
struct in6_addr {
  int *s6_addr;
};

/* Variables and functions */
int match_ip6(const struct in6_addr *restrict addr1,
              const struct in6_addr *restrict addr2,
              const struct in6_addr *restrict mask) {
  int i;
  for (i = 0; i < sizeof(addr1->s6_addr) && mask->s6_addr[i] != 0; i++) {
    if ((addr1->s6_addr[i] & mask->s6_addr[i]) !=
        (addr2->s6_addr[i] & mask->s6_addr[i]))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<match_ip6>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movslq -0x24(%rbp),%rcx
xor    %eax,%eax
cmp    $0x8,%rcx
mov    %al,-0x25(%rbp)
jae    113f <match_ip6+0x3f>
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
movslq -0x24(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    114f <match_ip6+0x4f>
jmp    11ae <match_ip6+0xae>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%rcx
movslq -0x24(%rbp),%rdx
and    (%rcx,%rdx,4),%eax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x20(%rbp),%rdx
mov    (%rdx),%rdx
movslq -0x24(%rbp),%rsi
and    (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
je     119b <match_ip6+0x9b>
movl   $0x0,-0x4(%rbp)
jmp    11b5 <match_ip6+0xb5>
jmp    11a0 <match_ip6+0xa0>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1117 <match_ip6+0x17>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<match_ip6>:
mov    (%rdx),%rdx
mov    (%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    (%rdi),%r8
mov    (%rsi),%rsi
mov    (%rsi),%edi
xor    (%r8),%edi
xor    %eax,%eax
test   %ecx,%edi
je     111f <match_ip6+0x1f>
ret
mov    0x4(%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    0x4(%rsi),%edi
xor    0x4(%r8),%edi
test   %ecx,%edi
jne    111e <match_ip6+0x1e>
mov    0x8(%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    0x8(%rsi),%edi
xor    0x8(%r8),%edi
test   %ecx,%edi
jne    111e <match_ip6+0x1e>
mov    0xc(%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    0xc(%rsi),%edi
xor    0xc(%r8),%edi
test   %ecx,%edi
jne    111e <match_ip6+0x1e>
mov    0x10(%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    0x10(%rsi),%edi
xor    0x10(%r8),%edi
test   %ecx,%edi
jne    111e <match_ip6+0x1e>
mov    0x14(%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    0x14(%rsi),%edi
xor    0x14(%r8),%edi
test   %ecx,%edi
jne    111e <match_ip6+0x1e>
mov    0x18(%rdx),%ecx
test   %ecx,%ecx
je     11aa <match_ip6+0xaa>
mov    0x18(%rsi),%edi
xor    0x18(%r8),%edi
test   %ecx,%edi
jne    111e <match_ip6+0x1e>
mov    0x1c(%rdx),%ecx
mov    $0x1,%eax
test   %ecx,%ecx
je     111e <match_ip6+0x1e>
mov    0x1c(%rsi),%edx
xor    0x1c(%r8),%edx
xor    %eax,%eax
test   %ecx,%edx
sete   %al
ret
mov    $0x1,%eax
ret

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

LLVM IR (-O2):
%struct.in6_addr = type { i32* }
define i32 @match_ip6(%struct.in6_addr* noalias nocapture %0, %struct.in6_addr* noalias nocapture %1, %struct.in6_addr* noalias nocapture %2) {
%4 = getelementptr inbounds %struct.in6_addr, %struct.in6_addr* %2, i64 0, i32 0
%5 = load i32*, i32** %4
%6 = load i32, i32* %5
%7 = icmp eq i32 %6, 0
br i1 %7, label %103, label %93
8: ; preds = %93
%9 = getelementptr inbounds i32, i32* %5, i64 1
%10 = load i32, i32* %9
%11 = icmp eq i32 %10, 0
br i1 %11, label %103, label %12
12: ; preds = %8
%13 = getelementptr inbounds i32, i32* %96, i64 1
%14 = load i32, i32* %13
%15 = getelementptr inbounds i32, i32* %98, i64 1
%16 = load i32, i32* %15
%17 = xor i32 %16, %14
%18 = and i32 %17, %10
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %103
20: ; preds = %12
%21 = getelementptr inbounds i32, i32* %5, i64 2
%22 = load i32, i32* %21
%23 = icmp eq i32 %22, 0
br i1 %23, label %103, label %24
24: ; preds = %20
%25 = getelementptr inbounds i32, i32* %96, i64 2
%26 = load i32, i32* %25
%27 = getelementptr inbounds i32, i32* %98, i64 2
%28 = load i32, i32* %27
%29 = xor i32 %28, %26
%30 = and i32 %29, %22
%31 = icmp eq i32 %30, 0
br i1 %31, label %32, label %103
32: ; preds = %24
%33 = getelementptr inbounds i32, i32* %5, i64 3
%34 = load i32, i32* %33
%35 = icmp eq i32 %34, 0
br i1 %35, label %103, label %36
36: ; preds = %32
%37 = getelementptr inbounds i32, i32* %96, i64 3
%38 = load i32, i32* %37
%39 = getelementptr inbounds i32, i32* %98, i64 3
%40 = load i32, i32* %39
%41 = xor i32 %40, %38
%42 = and i32 %41, %34
%43 = icmp eq i32 %42, 0
br i1 %43, label %44, label %103
44: ; preds = %36
%45 = getelementptr inbounds i32, i32* %5, i64 4
%46 = load i32, i32* %45
%47 = icmp eq i32 %46, 0
br i1 %47, label %103, label %48
48: ; preds = %44
%49 = getelementptr inbounds i32, i32* %96, i64 4
%50 = load i32, i32* %49
%51 = getelementptr inbounds i32, i32* %98, i64 4
%52 = load i32, i32* %51
%53 = xor i32 %52, %50
%54 = and i32 %53, %46
%55 = icmp eq i32 %54, 0
br i1 %55, label %56, label %103
56: ; preds = %48
%57 = getelementptr inbounds i32, i32* %5, i64 5
%58 = load i32, i32* %57
%59 = icmp eq i32 %58, 0
br i1 %59, label %103, label %60
60: ; preds = %56
%61 = getelementptr inbounds i32, i32* %96, i64 5
%62 = load i32, i32* %61
%63 = getelementptr inbounds i32, i32* %98, i64 5
%64 = load i32, i32* %63
%65 = xor i32 %64, %62
%66 = and i32 %65, %58
%67 = icmp eq i32 %66, 0
br i1 %67, label %68, label %103
68: ; preds = %60
%69 = getelementptr inbounds i32, i32* %5, i64 6
%70 = load i32, i32* %69
%71 = icmp eq i32 %70, 0
br i1 %71, label %103, label %72
72: ; preds = %68
%73 = getelementptr inbounds i32, i32* %96, i64 6
%74 = load i32, i32* %73
%75 = getelementptr inbounds i32, i32* %98, i64 6
%76 = load i32, i32* %75
%77 = xor i32 %76, %74
%78 = and i32 %77, %70
%79 = icmp eq i32 %78, 0
br i1 %79, label %80, label %103
80: ; preds = %72
%81 = getelementptr inbounds i32, i32* %5, i64 7
%82 = load i32, i32* %81
%83 = icmp eq i32 %82, 0
br i1 %83, label %103, label %84
84: ; preds = %80
%85 = getelementptr inbounds i32, i32* %96, i64 7
%86 = load i32, i32* %85
%87 = getelementptr inbounds i32, i32* %98, i64 7
%88 = load i32, i32* %87
%89 = xor i32 %88, %86
%90 = and i32 %89, %82
%91 = icmp eq i32 %90, 0
%92 = zext i1 %91 to i32
br label %103
93: ; preds = %3
%94 = getelementptr inbounds %struct.in6_addr, %struct.in6_addr* %1, i64 0, i32 0
%95 = getelementptr inbounds %struct.in6_addr, %struct.in6_addr* %0, i64 0, i32 0
%96 = load i32*, i32** %95
%97 = load i32, i32* %96
%98 = load i32*, i32** %94
%99 = load i32, i32* %98
%100 = xor i32 %99, %97
%101 = and i32 %100, %6
%102 = icmp eq i32 %101, 0
br i1 %102, label %8, label %103
103: ; preds = %84, %80, %72, %68, %60, %56, %48, %44, %36, %32, %24, %20, %12, %8, %3, %93
%104 = phi i32 [ 0, %93 ], [ 1, %3 ], [ 1, %8 ], [ 0, %12 ], [ 1, %20 ], [ 0, %24 ], [ 1, %32 ], [ 0, %36 ], [ 1, %44 ], [ 0, %48 ], [ 1, %56 ], [ 0, %60 ], [ 1, %68 ], [ 0, %72 ], [ 1, %80 ], [ %92, %84 ]
ret i32 %104
}