#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*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, long, short);
short get_first_losing_move_4(short, short, short, short, short, short, short,
                              short);
long i4_handle_position_lost_in_4(short a, short b, short c, short d, short e,
                                  short f, short g, short h, FILE *fp,
                                  short undoneMove) {
  long position;
  {
    if ((a != 0 && a % 4 != 1 && a % 4 != 2) ||
        (a == 0 && b != 0 && b % 4 != 1 && b % 4 != 2) ||
        (a == 0 && b == 0 && c != 0 && c % 4 != 1 && c % 4 != 2) ||
        (a == 0 && b == 0 && c == 0 && d != 0 && d % 4 != 1 && d % 4 != 2)) {
      return 0;
    }
  }
  if (get_first_losing_move_4(a, b, c, d, e, f, g, h) != undoneMove)
    return 0;
  {
    position = 0;
    position |= a;
    position <<= 5;
    position |= b;
    position <<= 5;
    position |= c;
    position <<= 5;
    position |= d;
    position <<= 5;
    position |= e;
    position <<= 5;
    position |= f;
    position <<= 5;
    position |= g;
    position <<= 5;
    position |= h;
  }
  fprintf(fp, "%ld %hi 4\n", position, undoneMove);
  return 1;
}


x86 assembly (clang, -O0):
<i4_handle_position_lost_in_4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %r8d,-0x30(%rbp)
mov    %ecx,%eax
mov    -0x30(%rbp),%ecx
mov    %eax,-0x2c(%rbp)
mov    %edx,%eax
mov    -0x2c(%rbp),%edx
mov    %eax,-0x28(%rbp)
mov    %esi,%eax
mov    -0x28(%rbp),%esi
mov    %eax,-0x24(%rbp)
mov    %edi,%r8d
mov    -0x24(%rbp),%edi
mov    %r9w,%ax
mov    0x28(%rbp),%r9w
mov    0x20(%rbp),%r9
mov    0x18(%rbp),%r9w
mov    0x10(%rbp),%r9w
mov    %r8w,-0xa(%rbp)
mov    %di,-0xc(%rbp)
mov    %si,-0xe(%rbp)
mov    %dx,-0x10(%rbp)
mov    %cx,-0x12(%rbp)
mov    %ax,-0x14(%rbp)
movswl -0xa(%rbp),%eax
cmp    $0x0,%eax
je     11b1 <i4_handle_position_lost_in_4+0x91>
movswl -0xa(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
je     11b1 <i4_handle_position_lost_in_4+0x91>
movswl -0xa(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x2,%edx
jne    12a4 <i4_handle_position_lost_in_4+0x184>
movswl -0xa(%rbp),%eax
cmp    $0x0,%eax
jne    11f5 <i4_handle_position_lost_in_4+0xd5>
movswl -0xc(%rbp),%eax
cmp    $0x0,%eax
je     11f5 <i4_handle_position_lost_in_4+0xd5>
movswl -0xc(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
je     11f5 <i4_handle_position_lost_in_4+0xd5>
movswl -0xc(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x2,%edx
jne    12a4 <i4_handle_position_lost_in_4+0x184>
movswl -0xa(%rbp),%eax
cmp    $0x0,%eax
jne    1246 <i4_handle_position_lost_in_4+0x126>
movswl -0xc(%rbp),%eax
cmp    $0x0,%eax
jne    1246 <i4_handle_position_lost_in_4+0x126>
movswl -0xe(%rbp),%eax
cmp    $0x0,%eax
je     1246 <i4_handle_position_lost_in_4+0x126>
movswl -0xe(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
je     1246 <i4_handle_position_lost_in_4+0x126>
movswl -0xe(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x2,%edx
jne    12a4 <i4_handle_position_lost_in_4+0x184>
movswl -0xa(%rbp),%eax
cmp    $0x0,%eax
jne    12b1 <i4_handle_position_lost_in_4+0x191>
movswl -0xc(%rbp),%eax
cmp    $0x0,%eax
jne    12b1 <i4_handle_position_lost_in_4+0x191>
movswl -0xe(%rbp),%eax
cmp    $0x0,%eax
jne    12b1 <i4_handle_position_lost_in_4+0x191>
movswl -0x10(%rbp),%eax
cmp    $0x0,%eax
je     12b1 <i4_handle_position_lost_in_4+0x191>
movswl -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
je     12b1 <i4_handle_position_lost_in_4+0x191>
movswl -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x2,%edx
je     12b1 <i4_handle_position_lost_in_4+0x191>
movq   $0x0,-0x8(%rbp)
jmp    13f2 <i4_handle_position_lost_in_4+0x2d2>
mov    -0xa(%rbp),%di
mov    -0xc(%rbp),%si
mov    -0xe(%rbp),%dx
mov    -0x10(%rbp),%cx
mov    -0x12(%rbp),%r8w
mov    -0x14(%rbp),%r9w
mov    0x10(%rbp),%ax
movswl %di,%edi
movswl %si,%esi
movswl %dx,%edx
movswl %cx,%ecx
movswl %r8w,%r8d
movswl %r9w,%r9d
cwtl
mov    %eax,(%rsp)
movswl 0x18(%rbp),%eax
mov    %eax,0x8(%rsp)
call   1040 <get_first_losing_move_4@plt>
cwtl
movswl 0x28(%rbp),%ecx
cmp    %ecx,%eax
je     130e <i4_handle_position_lost_in_4+0x1ee>
movq   $0x0,-0x8(%rbp)
jmp    13f2 <i4_handle_position_lost_in_4+0x2d2>
movq   $0x0,-0x20(%rbp)
movswq -0xa(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq -0xc(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq -0xe(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq -0x10(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq -0x12(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq -0x14(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq 0x10(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x5,%rax
mov    %rax,-0x20(%rbp)
movswq 0x18(%rbp),%rax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    0x20(%rbp),%rdi
mov    -0x20(%rbp),%rdx
lea    0xc1f(%rip),%rsi
movswl 0x28(%rbp),%ecx
call   1030 <fprintf@plt>
movq   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<i4_handle_position_lost_in_4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9d,%r14d
mov    %r8d,%r15d
mov    %ecx,%r12d
mov    %edx,%r13d
mov    %esi,%ebx
mov    %edi,%ebp
test   %bp,%bp
je     115b <i4_handle_position_lost_in_4+0x3b>
lea    0x3(%rbp),%eax
test   %bp,%bp
cmovns %ebp,%eax
not    %eax
or     $0x3,%eax
add    %ebp,%eax
cmp    $0x2,%ax
jb     117a <i4_handle_position_lost_in_4+0x5a>
jmp    127a <i4_handle_position_lost_in_4+0x15a>
test   %bx,%bx
je     117a <i4_handle_position_lost_in_4+0x5a>
lea    0x3(%rbx),%eax
test   %bx,%bx
cmovns %ebx,%eax
not    %eax
or     $0x3,%eax
add    %ebx,%eax
cmp    $0x1,%ax
ja     127a <i4_handle_position_lost_in_4+0x15a>
mov    %ebx,%eax
or     %bp,%ax
jne    11a5 <i4_handle_position_lost_in_4+0x85>
test   %r13w,%r13w
je     11a5 <i4_handle_position_lost_in_4+0x85>
lea    0x3(%r13),%ecx
test   %r13w,%r13w
cmovns %r13d,%ecx
not    %ecx
or     $0x3,%ecx
add    %r13d,%ecx
cmp    $0x1,%cx
ja     127a <i4_handle_position_lost_in_4+0x15a>
or     %r13w,%ax
jne    11d0 <i4_handle_position_lost_in_4+0xb0>
test   %r12w,%r12w
je     11d0 <i4_handle_position_lost_in_4+0xb0>
lea    0x3(%r12),%eax
test   %r12w,%r12w
cmovns %r12d,%eax
not    %eax
or     $0x3,%eax
add    %r12d,%eax
cmp    $0x1,%ax
ja     127a <i4_handle_position_lost_in_4+0x15a>
movswl 0x48(%rsp),%eax
movswl 0x40(%rsp),%r10d
movswl %bp,%edi
movswl %bx,%esi
movswl %r13w,%edx
movswl %r12w,%ecx
movswl %r15w,%r8d
movswl %r14w,%r9d
push   %rax
push   %r10
call   1040 <get_first_losing_move_4@plt>
movzwl 0x68(%rsp),%r8d
add    $0x10,%rsp
cmp    %r8w,%ax
jne    127a <i4_handle_position_lost_in_4+0x15a>
mov    0x50(%rsp),%rdi
movswq %bp,%rax
movswq %bx,%rcx
shl    $0xa,%rax
shl    $0x5,%rcx
or     %rax,%rcx
movswq %r13w,%rax
or     %rcx,%rax
movswq %r12w,%rcx
movswq %r15w,%rdx
movswq %r14w,%rsi
shl    $0x14,%rax
shl    $0xf,%rcx
shl    $0xa,%rdx
or     %rcx,%rdx
or     %rax,%rdx
shl    $0x5,%rsi
movswq 0x40(%rsp),%rax
or     %rsi,%rax
or     %rdx,%rax
shl    $0x5,%rax
movswq 0x48(%rsp),%rdx
or     %rax,%rdx
movswl %r8w,%ecx
lea    0xd92(%rip),%rsi
call   1030 <fprintf@plt>
mov    $0x1,%eax
jmp    127c <i4_handle_position_lost_in_4+0x15c>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [11 x i8] c"%ld %hi 4\0A\00"
define i64 @i4_handle_position_lost_in_4(i16 signext %0, i16 signext %1, i16 signext %2, i16 signext %3, i16 signext %4, i16 signext %5, i16 signext %6, i16 signext %7, i32* nocapture %8, i16 signext %9) {
%11 = icmp eq i16 %0, 0
br i1 %11, label %16, label %12
12: ; preds = %10
%13 = srem i16 %0, 4
%14 = add nsw i16 %13, -1
%15 = icmp ult i16 %14, 2
br i1 %15, label %22, label %67
16: ; preds = %10
%17 = icmp eq i16 %1, 0
br i1 %17, label %22, label %18
18: ; preds = %16
%19 = srem i16 %1, 4
%20 = add nsw i16 %19, -1
%21 = icmp ult i16 %20, 2
br i1 %21, label %22, label %67
22: ; preds = %12, %18, %16
%23 = or i16 %1, %0
%24 = icmp eq i16 %23, 0
%25 = icmp ne i16 %2, 0
%26 = and i1 %24, %25
br i1 %26, label %27, label %31
27: ; preds = %22
%28 = srem i16 %2, 4
%29 = add nsw i16 %28, -1
%30 = icmp ult i16 %29, 2
br i1 %30, label %31, label %67
31: ; preds = %27, %22
%32 = or i16 %23, %2
%33 = icmp eq i16 %32, 0
%34 = icmp ne i16 %3, 0
%35 = and i1 %33, %34
br i1 %35, label %36, label %40
36: ; preds = %31
%37 = srem i16 %3, 4
%38 = add nsw i16 %37, -1
%39 = icmp ult i16 %38, 2
br i1 %39, label %40, label %67
40: ; preds = %36, %31
%41 = tail call signext i16 @get_first_losing_move_4(i16 signext %0, i16 signext %1, i16 signext %2, i16 signext %3, i16 signext %4, i16 signext %5, i16 signext %6, i16 signext %7)
%42 = icmp eq i16 %41, %9
br i1 %42, label %43, label %67
43: ; preds = %40
%44 = sext i16 %0 to i64
%45 = sext i16 %1 to i64
%46 = shl nsw i64 %44, 10
%47 = shl nsw i64 %45, 5
%48 = or i64 %47, %46
%49 = sext i16 %2 to i64
%50 = or i64 %48, %49
%51 = sext i16 %3 to i64
%52 = sext i16 %4 to i64
%53 = sext i16 %5 to i64
%54 = shl nsw i64 %50, 20
%55 = shl nsw i64 %51, 15
%56 = shl nsw i64 %52, 10
%57 = or i64 %55, %56
%58 = or i64 %54, %57
%59 = shl nsw i64 %53, 5
%60 = sext i16 %6 to i64
%61 = or i64 %59, %60
%62 = or i64 %61, %58
%63 = shl i64 %62, 5
%64 = sext i16 %7 to i64
%65 = or i64 %63, %64
%66 = tail call i32 @fprintf(i32* %8, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i64 %65, i16 signext %9)
br label %67
67: ; preds = %36, %27, %18, %12, %40, %43
%68 = phi i64 [ 1, %43 ], [ 0, %36 ], [ 0, %27 ], [ 0, %18 ], [ 0, %12 ], [ 0, %40 ]
ret i64 %68
}