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

/* Variables and functions */
int8_t coord_to_corn_idx(int8_t i, int8_t j) {
  if (i == 0 && j == 2)
    return 0;
  if (i == 0 && j == 4)
    return 1;
  if (i == 0 && j == 6)
    return 2;
  if (i == 2 && j == 3)
    return 3;
  if (i == 2 && j == 5)
    return 4;
  if (i == 2 && j == 7)
    return 5;
  if (i == 4 && j == 4)
    return 6;
  if (i == 4 && j == 6)
    return 7;
  if (i == 6 && j == 5)
    return 8;
  if (i == 6 && j == 7)
    return 9;
  if (i == 8 && j == 4)
    return 10;
  if (i == 8 && j == 6)
    return 11;
  if (i == 10 && j == 3)
    return 12;
  if (i == 10 && j == 5)
    return 13;
  if (i == 10 && j == 7)
    return 14;
  if (i == 12 && j == 2)
    return 15;
  if (i == 12 && j == 4)
    return 16;
  if (i == 12 && j == 6)
    return 17;
  return -1;
}


x86 assembly (clang, -O0):
<coord_to_corn_idx>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    112a <coord_to_corn_idx+0x2a>
cmpl   $0x2,-0xc(%rbp)
jne    112a <coord_to_corn_idx+0x2a>
movl   $0x0,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x0,-0x8(%rbp)
jne    114a <coord_to_corn_idx+0x4a>
cmpl   $0x4,-0xc(%rbp)
jne    114a <coord_to_corn_idx+0x4a>
movl   $0x1,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x0,-0x8(%rbp)
jne    116a <coord_to_corn_idx+0x6a>
cmpl   $0x6,-0xc(%rbp)
jne    116a <coord_to_corn_idx+0x6a>
movl   $0x2,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x2,-0x8(%rbp)
jne    118a <coord_to_corn_idx+0x8a>
cmpl   $0x3,-0xc(%rbp)
jne    118a <coord_to_corn_idx+0x8a>
movl   $0x3,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x2,-0x8(%rbp)
jne    11aa <coord_to_corn_idx+0xaa>
cmpl   $0x5,-0xc(%rbp)
jne    11aa <coord_to_corn_idx+0xaa>
movl   $0x4,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x2,-0x8(%rbp)
jne    11ca <coord_to_corn_idx+0xca>
cmpl   $0x7,-0xc(%rbp)
jne    11ca <coord_to_corn_idx+0xca>
movl   $0x5,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x4,-0x8(%rbp)
jne    11ea <coord_to_corn_idx+0xea>
cmpl   $0x4,-0xc(%rbp)
jne    11ea <coord_to_corn_idx+0xea>
movl   $0x6,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x4,-0x8(%rbp)
jne    120a <coord_to_corn_idx+0x10a>
cmpl   $0x6,-0xc(%rbp)
jne    120a <coord_to_corn_idx+0x10a>
movl   $0x7,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x6,-0x8(%rbp)
jne    122a <coord_to_corn_idx+0x12a>
cmpl   $0x5,-0xc(%rbp)
jne    122a <coord_to_corn_idx+0x12a>
movl   $0x8,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x6,-0x8(%rbp)
jne    124a <coord_to_corn_idx+0x14a>
cmpl   $0x7,-0xc(%rbp)
jne    124a <coord_to_corn_idx+0x14a>
movl   $0x9,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x8,-0x8(%rbp)
jne    126a <coord_to_corn_idx+0x16a>
cmpl   $0x4,-0xc(%rbp)
jne    126a <coord_to_corn_idx+0x16a>
movl   $0xa,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0x8,-0x8(%rbp)
jne    128a <coord_to_corn_idx+0x18a>
cmpl   $0x6,-0xc(%rbp)
jne    128a <coord_to_corn_idx+0x18a>
movl   $0xb,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0xa,-0x8(%rbp)
jne    12aa <coord_to_corn_idx+0x1aa>
cmpl   $0x3,-0xc(%rbp)
jne    12aa <coord_to_corn_idx+0x1aa>
movl   $0xc,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0xa,-0x8(%rbp)
jne    12ca <coord_to_corn_idx+0x1ca>
cmpl   $0x5,-0xc(%rbp)
jne    12ca <coord_to_corn_idx+0x1ca>
movl   $0xd,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0xa,-0x8(%rbp)
jne    12ea <coord_to_corn_idx+0x1ea>
cmpl   $0x7,-0xc(%rbp)
jne    12ea <coord_to_corn_idx+0x1ea>
movl   $0xe,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0xc,-0x8(%rbp)
jne    130a <coord_to_corn_idx+0x20a>
cmpl   $0x2,-0xc(%rbp)
jne    130a <coord_to_corn_idx+0x20a>
movl   $0xf,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0xc,-0x8(%rbp)
jne    132a <coord_to_corn_idx+0x22a>
cmpl   $0x4,-0xc(%rbp)
jne    132a <coord_to_corn_idx+0x22a>
movl   $0x10,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
cmpl   $0xc,-0x8(%rbp)
jne    134a <coord_to_corn_idx+0x24a>
cmpl   $0x6,-0xc(%rbp)
jne    134a <coord_to_corn_idx+0x24a>
movl   $0x11,-0x4(%rbp)
jmp    1351 <coord_to_corn_idx+0x251>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<coord_to_corn_idx>:
test   %edi,%edi
jne    110c <coord_to_corn_idx+0xc>
xor    %eax,%eax
cmp    $0x2,%esi
jne    110c <coord_to_corn_idx+0xc>
ret
test   %edi,%edi
jne    111a <coord_to_corn_idx+0x1a>
mov    $0x1,%eax
cmp    $0x4,%esi
je     110b <coord_to_corn_idx+0xb>
test   %edi,%edi
jne    1128 <coord_to_corn_idx+0x28>
mov    $0x2,%eax
cmp    $0x6,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x2,%edi
jne    1137 <coord_to_corn_idx+0x37>
mov    $0x3,%eax
cmp    $0x3,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x2,%edi
jne    1146 <coord_to_corn_idx+0x46>
mov    $0x4,%eax
cmp    $0x5,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x2,%edi
jne    1155 <coord_to_corn_idx+0x55>
mov    $0x5,%eax
cmp    $0x7,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x4,%edi
jne    1164 <coord_to_corn_idx+0x64>
mov    $0x6,%eax
cmp    $0x4,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x4,%edi
jne    1173 <coord_to_corn_idx+0x73>
mov    $0x7,%eax
cmp    $0x6,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x6,%edi
jne    1182 <coord_to_corn_idx+0x82>
mov    $0x8,%eax
cmp    $0x5,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x6,%edi
jne    1195 <coord_to_corn_idx+0x95>
mov    $0x9,%eax
cmp    $0x7,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x8,%edi
jne    11a8 <coord_to_corn_idx+0xa8>
mov    $0xa,%eax
cmp    $0x4,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0x8,%edi
jne    11bb <coord_to_corn_idx+0xbb>
mov    $0xb,%eax
cmp    $0x6,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0xa,%edi
jne    11ce <coord_to_corn_idx+0xce>
mov    $0xc,%eax
cmp    $0x3,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0xa,%edi
jne    11e1 <coord_to_corn_idx+0xe1>
mov    $0xd,%eax
cmp    $0x5,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0xa,%edi
jne    11f4 <coord_to_corn_idx+0xf4>
mov    $0xe,%eax
cmp    $0x7,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0xc,%edi
jne    1207 <coord_to_corn_idx+0x107>
mov    $0xf,%eax
cmp    $0x2,%esi
je     110b <coord_to_corn_idx+0xb>
cmp    $0xc,%edi
jne    121a <coord_to_corn_idx+0x11a>
mov    $0x10,%eax
cmp    $0x4,%esi
je     110b <coord_to_corn_idx+0xb>
xor    $0xc,%edi
xor    $0x6,%esi
or     %edi,%esi
mov    $0x11,%ecx
mov    $0xffffffff,%eax
cmove  %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @coord_to_corn_idx(i32 %0, i32 %1) {
%3 = icmp eq i32 %0, 0
%4 = icmp eq i32 %1, 2
%5 = and i1 %3, %4
br i1 %5, label %52, label %6
6: ; preds = %2
%7 = icmp eq i32 %1, 4
%8 = and i1 %3, %7
br i1 %8, label %52, label %9
9: ; preds = %6
%10 = icmp eq i32 %1, 6
%11 = and i1 %3, %10
br i1 %11, label %52, label %12
12: ; preds = %9
%13 = icmp eq i32 %0, 2
%14 = icmp eq i32 %1, 3
%15 = and i1 %13, %14
br i1 %15, label %52, label %16
16: ; preds = %12
%17 = icmp eq i32 %1, 5
%18 = and i1 %13, %17
br i1 %18, label %52, label %19
19: ; preds = %16
%20 = icmp eq i32 %1, 7
%21 = and i1 %13, %20
br i1 %21, label %52, label %22
22: ; preds = %19
%23 = icmp eq i32 %0, 4
%24 = and i1 %23, %7
br i1 %24, label %52, label %25
25: ; preds = %22
%26 = and i1 %23, %10
br i1 %26, label %52, label %27
27: ; preds = %25
%28 = icmp eq i32 %0, 6
%29 = and i1 %28, %17
br i1 %29, label %52, label %30
30: ; preds = %27
%31 = and i1 %28, %20
br i1 %31, label %52, label %32
32: ; preds = %30
%33 = icmp eq i32 %0, 8
%34 = and i1 %33, %7
br i1 %34, label %52, label %35
35: ; preds = %32
%36 = and i1 %33, %10
br i1 %36, label %52, label %37
37: ; preds = %35
%38 = icmp eq i32 %0, 10
%39 = and i1 %38, %14
br i1 %39, label %52, label %40
40: ; preds = %37
%41 = and i1 %38, %17
br i1 %41, label %52, label %42
42: ; preds = %40
%43 = and i1 %38, %20
br i1 %43, label %52, label %44
44: ; preds = %42
%45 = icmp eq i32 %0, 12
%46 = and i1 %45, %4
br i1 %46, label %52, label %47
47: ; preds = %44
%48 = and i1 %45, %7
br i1 %48, label %52, label %49
49: ; preds = %47
%50 = and i1 %45, %10
%51 = select i1 %50, i32 17, i32 -1
br label %52
52: ; preds = %49, %47, %44, %42, %40, %37, %35, %32, %30, %27, %25, %22, %19, %16, %12, %9, %6, %2
%53 = phi i32 [ 0, %2 ], [ 1, %6 ], [ 2, %9 ], [ 3, %12 ], [ 4, %16 ], [ 5, %19 ], [ 6, %22 ], [ 7, %25 ], [ 8, %27 ], [ 9, %30 ], [ 10, %32 ], [ 11, %35 ], [ 12, %37 ], [ 13, %40 ], [ 14, %42 ], [ 15, %44 ], [ 16, %47 ], [ %51, %49 ]
ret i32 %53
}