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

/* Variables and functions */
int /*<<< orphan*/ single_bit_set(unsigned char const);
bool finished(const unsigned char options[16][16]) {
  for (size_t x = 1; x < 16 - 1; ++x)
    for (size_t y = 1; y < 16 - 1; ++y)
      if (!single_bit_set(options[x][y]))
        return false;
  return true;
}


x86 assembly (clang, -O0):
<finished>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movq   $0x1,-0x18(%rbp)
cmpq   $0xf,-0x18(%rbp)
jae    119f <finished+0x8f>
movq   $0x1,-0x20(%rbp)
cmpq   $0xf,-0x20(%rbp)
jae    1189 <finished+0x79>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1030 <single_bit_set@plt>
cmp    $0x0,%eax
jne    1173 <finished+0x63>
movl   $0x0,-0x4(%rbp)
jmp    11a6 <finished+0x96>
jmp    1178 <finished+0x68>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1137 <finished+0x27>
jmp    118e <finished+0x7e>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1124 <finished+0x14>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<finished>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rbx
movzbl 0x11(%rdi),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     1219 <finished+0x109>
add    $0x12,%rbx
mov    $0x1,%r14b
mov    $0x1,%ebp
movzbl (%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x1(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x2(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x3(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x4(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x5(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x6(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x7(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x8(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0x9(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0xa(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0xb(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
movzbl 0xc(%rbx),%edi
call   1030 <single_bit_set@plt>
test   %eax,%eax
je     121c <finished+0x10c>
cmp    $0xe,%rbp
setb   %r14b
je     121c <finished+0x10c>
movzbl 0xf(%rbx),%edi
call   1030 <single_bit_set@plt>
add    $0x10,%rbx
add    $0x1,%rbp
test   %eax,%eax
jne    1134 <finished+0x24>
jmp    121c <finished+0x10c>
mov    $0x1,%r14b
not    %r14b
movzbl %r14b,%eax
and    $0x1,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @finished([16 x i8]* %0) {
%2 = alloca i32
%3 = alloca [16 x i8]*
%4 = alloca i64
%5 = alloca i64
store [16 x i8]* %0, [16 x i8]** %3
store i64 1, i64* %4
br label %6
6: ; preds = %28, %1
%7 = load i64, i64* %4
%8 = icmp ult i64 %7, 15
br i1 %8, label %9, label %31
9: ; preds = %6
store i64 1, i64* %5
br label %10
10: ; preds = %24, %9
%11 = load i64, i64* %5
%12 = icmp ult i64 %11, 15
br i1 %12, label %13, label %27
13: ; preds = %10
%14 = load [16 x i8]*, [16 x i8]** %3
%15 = load i64, i64* %4
%16 = getelementptr inbounds [16 x i8], [16 x i8]* %14, i64 %15
%17 = load i64, i64* %5
%18 = getelementptr inbounds [16 x i8], [16 x i8]* %16, i64 0, i64 %17
%19 = load i8, i8* %18
%20 = call i32 @single_bit_set(i8 zeroext %19)
%21 = icmp ne i32 %20, 0
br i1 %21, label %23, label %22
22: ; preds = %13
store i32 0, i32* %2
br label %32
23: ; preds = %13
br label %24
24: ; preds = %23
%25 = load i64, i64* %5
%26 = add i64 %25, 1
store i64 %26, i64* %5
br label %10
27: ; preds = %10
br label %28
28: ; preds = %27
%29 = load i64, i64* %4
%30 = add i64 %29, 1
store i64 %30, i64* %4
br label %6
31: ; preds = %6
store i32 1, i32* %2
br label %32
32: ; preds = %31, %22
%33 = load i32, i32* %2
ret i32 %33
}

LLVM IR (-O2):
define i32 @finished([16 x i8]* nocapture %0) {
%2 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 1, i64 1
%3 = load i8, i8* %2
%4 = tail call i32 @single_bit_set(i8 zeroext %3)
%5 = icmp eq i32 %4, 0
br i1 %5, label %82, label %11
6: ; preds = %78
%7 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %79, i64 1
%8 = load i8, i8* %7
%9 = tail call i32 @single_bit_set(i8 zeroext %8)
%10 = icmp eq i32 %9, 0
br i1 %10, label %82, label %11
11: ; preds = %1, %6
%12 = phi i64 [ %79, %6 ], [ 1, %1 ]
%13 = phi i1 [ %80, %6 ], [ true, %1 ]
%14 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 2
%15 = load i8, i8* %14
%16 = tail call i32 @single_bit_set(i8 zeroext %15)
%17 = icmp eq i32 %16, 0
br i1 %17, label %82, label %18
18: ; preds = %11
%19 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 3
%20 = load i8, i8* %19
%21 = tail call i32 @single_bit_set(i8 zeroext %20)
%22 = icmp eq i32 %21, 0
br i1 %22, label %82, label %23
23: ; preds = %18
%24 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 4
%25 = load i8, i8* %24
%26 = tail call i32 @single_bit_set(i8 zeroext %25)
%27 = icmp eq i32 %26, 0
br i1 %27, label %82, label %28
28: ; preds = %23
%29 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 5
%30 = load i8, i8* %29
%31 = tail call i32 @single_bit_set(i8 zeroext %30)
%32 = icmp eq i32 %31, 0
br i1 %32, label %82, label %33
33: ; preds = %28
%34 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 6
%35 = load i8, i8* %34
%36 = tail call i32 @single_bit_set(i8 zeroext %35)
%37 = icmp eq i32 %36, 0
br i1 %37, label %82, label %38
38: ; preds = %33
%39 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 7
%40 = load i8, i8* %39
%41 = tail call i32 @single_bit_set(i8 zeroext %40)
%42 = icmp eq i32 %41, 0
br i1 %42, label %82, label %43
43: ; preds = %38
%44 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 8
%45 = load i8, i8* %44
%46 = tail call i32 @single_bit_set(i8 zeroext %45)
%47 = icmp eq i32 %46, 0
br i1 %47, label %82, label %48
48: ; preds = %43
%49 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 9
%50 = load i8, i8* %49
%51 = tail call i32 @single_bit_set(i8 zeroext %50)
%52 = icmp eq i32 %51, 0
br i1 %52, label %82, label %53
53: ; preds = %48
%54 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 10
%55 = load i8, i8* %54
%56 = tail call i32 @single_bit_set(i8 zeroext %55)
%57 = icmp eq i32 %56, 0
br i1 %57, label %82, label %58
58: ; preds = %53
%59 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 11
%60 = load i8, i8* %59
%61 = tail call i32 @single_bit_set(i8 zeroext %60)
%62 = icmp eq i32 %61, 0
br i1 %62, label %82, label %63
63: ; preds = %58
%64 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 12
%65 = load i8, i8* %64
%66 = tail call i32 @single_bit_set(i8 zeroext %65)
%67 = icmp eq i32 %66, 0
br i1 %67, label %82, label %68
68: ; preds = %63
%69 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 13
%70 = load i8, i8* %69
%71 = tail call i32 @single_bit_set(i8 zeroext %70)
%72 = icmp eq i32 %71, 0
br i1 %72, label %82, label %73
73: ; preds = %68
%74 = getelementptr inbounds [16 x i8], [16 x i8]* %0, i64 %12, i64 14
%75 = load i8, i8* %74
%76 = tail call i32 @single_bit_set(i8 zeroext %75)
%77 = icmp eq i32 %76, 0
br i1 %77, label %82, label %78
78: ; preds = %73
%79 = add nuw nsw i64 %12, 1
%80 = icmp ult i64 %12, 14
%81 = icmp eq i64 %79, 15
br i1 %81, label %82, label %6
82: ; preds = %73, %68, %63, %58, %53, %48, %43, %38, %33, %28, %23, %18, %11, %6, %78, %1
%83 = phi i1 [ true, %1 ], [ %13, %73 ], [ %13, %68 ], [ %13, %63 ], [ %13, %58 ], [ %13, %53 ], [ %13, %48 ], [ %13, %43 ], [ %13, %38 ], [ %13, %33 ], [ %13, %28 ], [ %13, %23 ], [ %13, %18 ], [ %13, %11 ], [ %80, %6 ], [ %80, %78 ]
%84 = xor i1 %83, true
%85 = zext i1 %84 to i32
ret i32 %85
}