int can_make_n(int n1, int n2, int d1[], int d2[]) {
  int i = 0;
  int n1_in_d1 = 0;
  int n2_in_d1 = 0;
  int n1_in_d2 = 0;
  int n2_in_d2 = 0;
  int d_1, d_2;
  for (i = 0; i < 6; i++) {
    d_1 = d1[i];
    d_2 = d2[i];
    if (d_1 == n1)
      n1_in_d1 = 1;
    if (d_1 == n2)
      n2_in_d1 = 1;
    if (d_2 == n1)
      n1_in_d2 = 1;
    if (d_2 == n2)
      n2_in_d2 = 1;
    if (d_1 == 6)
      if (n1 == 9)
        n1_in_d1 = 1;
    if (d_1 == 9)
      if (n1 == 6)
        n1_in_d1 = 1;
    if (d_2 == 6)
      if (n1 == 9)
        n1_in_d2 = 1;
    if (d_2 == 9)
      if (n1 == 6)
        n1_in_d2 = 1;
  }
  return (n1_in_d1 && n2_in_d2) || (n2_in_d1 && n1_in_d2);
}


x86 assembly (clang, -O0):
<can_make_n>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    1241 <can_make_n+0x141>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jne    1175 <can_make_n+0x75>
movl   $0x1,-0x20(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    1188 <can_make_n+0x88>
movl   $0x1,-0x24(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x4(%rbp),%eax
jne    119b <can_make_n+0x9b>
movl   $0x1,-0x28(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    11ae <can_make_n+0xae>
movl   $0x1,-0x2c(%rbp)
cmpl   $0x6,-0x30(%rbp)
jne    11ce <can_make_n+0xce>
cmpl   $0x9,-0x4(%rbp)
jne    11c9 <can_make_n+0xc9>
movl   $0x1,-0x20(%rbp)
jmp    11ce <can_make_n+0xce>
cmpl   $0x9,-0x30(%rbp)
jne    11ee <can_make_n+0xee>
cmpl   $0x6,-0x4(%rbp)
jne    11e9 <can_make_n+0xe9>
movl   $0x1,-0x20(%rbp)
jmp    11ee <can_make_n+0xee>
cmpl   $0x6,-0x34(%rbp)
jne    120e <can_make_n+0x10e>
cmpl   $0x9,-0x4(%rbp)
jne    1209 <can_make_n+0x109>
movl   $0x1,-0x28(%rbp)
jmp    120e <can_make_n+0x10e>
cmpl   $0x9,-0x34(%rbp)
jne    122e <can_make_n+0x12e>
cmpl   $0x6,-0x4(%rbp)
jne    1229 <can_make_n+0x129>
movl   $0x1,-0x28(%rbp)
jmp    122e <can_make_n+0x12e>
jmp    1233 <can_make_n+0x133>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113c <can_make_n+0x3c>
cmpl   $0x0,-0x20(%rbp)
je     125a <can_make_n+0x15a>
mov    $0x1,%al
cmpl   $0x0,-0x2c(%rbp)
mov    %al,-0x35(%rbp)
jne    1279 <can_make_n+0x179>
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x36(%rbp)
je     1273 <can_make_n+0x173>
cmpl   $0x0,-0x28(%rbp)
setne  %al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<can_make_n>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %esi,%r9d
cmp    $0x9,%edi
sete   %r15b
cmp    $0x6,%edi
sete   %r10b
mov    %rdx,%rax
mov    (%rdx),%edx
mov    0x4(%rax),%ebp
mov    %rax,%r12
cmp    %edi,%edx
sete   %r11b
cmp    %esi,%edx
sete   -0x18(%rsp)
mov    (%rcx),%esi
mov    0x4(%rcx),%eax
mov    %rcx,%r14
cmp    %edi,%esi
sete   %r8b
cmp    %r9d,%esi
sete   -0x16(%rsp)
cmp    $0x6,%edx
sete   %bl
and    %r15b,%bl
or     %r11b,%bl
mov    %bl,-0x13(%rsp)
cmp    $0x9,%edx
sete   %dl
and    %r10b,%dl
mov    %dl,-0x14(%rsp)
cmp    $0x6,%esi
sete   %dl
and    %r15b,%dl
or     %r8b,%dl
mov    %dl,-0x11(%rsp)
cmp    $0x9,%esi
sete   %dl
and    %r10b,%dl
mov    %dl,-0x12(%rsp)
cmp    %edi,%ebp
sete   %dl
cmp    %r9d,%ebp
sete   -0x25(%rsp)
cmp    %edi,%eax
sete   %sil
cmp    %r9d,%eax
sete   -0x1b(%rsp)
cmp    $0x6,%ebp
sete   %cl
and    %r15b,%cl
or     %dl,%cl
mov    %cl,-0x17(%rsp)
cmp    $0x9,%ebp
sete   %bl
and    %r10b,%bl
cmp    $0x6,%eax
sete   %cl
and    %r15b,%cl
or     %sil,%cl
mov    %cl,-0x15(%rsp)
cmp    $0x9,%eax
sete   %r11b
and    %r10b,%r11b
mov    %r10d,%r8d
mov    0x8(%r12),%eax
mov    0x8(%r14),%ecx
cmp    %edi,%eax
sete   %r10b
cmp    %r9d,%eax
sete   -0x20(%rsp)
cmp    %edi,%ecx
sete   %sil
cmp    %r9d,%ecx
sete   -0x1f(%rsp)
cmp    $0x6,%eax
sete   %dl
and    %r15b,%dl
or     %r10b,%dl
mov    %dl,-0x1c(%rsp)
cmp    $0x9,%eax
sete   %al
and    %r8b,%al
mov    %al,-0x1d(%rsp)
cmp    $0x6,%ecx
sete   %al
and    %r15b,%al
or     %sil,%al
mov    %al,-0x19(%rsp)
cmp    $0x9,%ecx
sete   %al
and    %r8b,%al
mov    %al,-0x1a(%rsp)
mov    0xc(%r12),%eax
mov    %r12,-0x10(%rsp)
cmp    %edi,%eax
sete   %cl
cmp    %r9d,%eax
mov    0xc(%r14),%edx
mov    %r14,%r13
mov    %r14,-0x8(%rsp)
sete   %r10b
cmp    %edi,%edx
sete   %r14b
cmp    %r9d,%edx
sete   %bpl
cmp    $0x6,%eax
sete   %sil
and    %r15b,%sil
or     %cl,%sil
cmp    $0x9,%eax
sete   %cl
mov    %r8d,%eax
and    %r8b,%cl
mov    %cl,-0x21(%rsp)
cmp    $0x6,%edx
sete   %r8b
and    %r15b,%r8b
or     %r14b,%r8b
cmp    $0x9,%edx
sete   %cl
and    %al,%cl
mov    %cl,-0x1e(%rsp)
mov    %al,-0x23(%rsp)
mov    0x10(%r12),%edx
cmp    %edi,%edx
sete   %r14b
cmp    %r9d,%edx
mov    0x10(%r13),%r12d
sete   -0x24(%rsp)
cmp    %edi,%r12d
sete   %r13b
cmp    %r9d,%r12d
sete   -0x22(%rsp)
cmp    $0x6,%edx
sete   %cl
and    %r15b,%cl
or     %r14b,%cl
cmp    $0x9,%edx
sete   %r14b
and    %al,%r14b
cmp    $0x6,%r12d
sete   %dl
and    %r15b,%dl
or     %r13b,%dl
cmp    $0x9,%r12d
sete   %r12b
and    %al,%r12b
mov    -0x10(%rsp),%rax
mov    0x14(%rax),%r13d
cmp    %edi,%r13d
sete   -0x10(%rsp)
cmp    %r9d,%r13d
sete   %al
or     -0x24(%rsp),%al
or     -0x20(%rsp),%r10b
or     %al,%r10b
mov    -0x25(%rsp),%al
or     -0x18(%rsp),%al
or     %r10b,%al
mov    %al,-0x25(%rsp)
mov    -0x8(%rsp),%rax
mov    0x14(%rax),%r10d
cmp    %edi,%r10d
sete   %dil
cmp    %r9d,%r10d
sete   %al
or     -0x22(%rsp),%al
or     -0x1f(%rsp),%bpl
or     %al,%bpl
mov    -0x1b(%rsp),%al
or     -0x16(%rsp),%al
or     %bpl,%al
mov    %eax,%ebp
cmp    $0x6,%r13d
sete   %r9b
and    %r15b,%r9b
or     -0x10(%rsp),%r9b
cmp    $0x9,%r13d
sete   %al
mov    -0x23(%rsp),%r13b
and    %r13b,%al
or     %r14b,%al
or     %r9b,%al
or     -0x21(%rsp),%cl
or     %al,%cl
or     -0x1d(%rsp),%sil
or     -0x1c(%rsp),%sil
or     %cl,%sil
or     -0x17(%rsp),%bl
or     -0x14(%rsp),%bl
or     -0x13(%rsp),%bl
or     %sil,%bl
cmp    $0x6,%r10d
sete   %al
and    %r15b,%al
or     %dil,%al
cmp    $0x9,%r10d
sete   %cl
and    %r13b,%cl
or     %r12b,%cl
or     %al,%cl
or     -0x1e(%rsp),%dl
or     %cl,%dl
or     -0x1a(%rsp),%r8b
or     -0x19(%rsp),%r8b
or     %dl,%r8b
or     -0x15(%rsp),%r11b
or     -0x12(%rsp),%r11b
or     -0x11(%rsp),%r11b
or     %r8b,%r11b
and    -0x25(%rsp),%r11b
and    %bpl,%bl
or     %r11b,%bl
movzbl %bl,%eax
and    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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