int islose(int *f) {
  for (int i = 0; i < 16; i++) {
    if (*(f + i) == 0)
      return 0;
  }
  for (int i = 0; i < 12; i++) {
    if (*(f + i) == *(f + 4 + i))
      return 0;
  }
  for (int i = 0; i < 3; i++) {
    if (*(f + i) == *(f + 1 + i))
      return 0;
  }
  for (int i = 4; i < 7; i++) {
    if (*(f + i) == *(f + 1 + i))
      return 0;
  }
  for (int i = 8; i < 11; i++) {
    if (*(f + i) == *(f + 1 + i))
      return 0;
  }
  for (int i = 12; i < 15; i++) {
    if (*(f + i) == *(f + 1 + i))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<islose>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x10,-0x14(%rbp)
jge    114a <islose+0x4a>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1137 <islose+0x37>
movl   $0x0,-0x4(%rbp)
jmp    12d2 <islose+0x1d2>
jmp    113c <islose+0x3c>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <islose+0xf>
movl   $0x0,-0x18(%rbp)
cmpl   $0xc,-0x18(%rbp)
jge    1197 <islose+0x97>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    0x10(%rcx,%rdx,4),%eax
jne    1184 <islose+0x84>
movl   $0x0,-0x4(%rbp)
jmp    12d2 <islose+0x1d2>
jmp    1189 <islose+0x89>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1151 <islose+0x51>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jge    11e4 <islose+0xe4>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    0x4(%rcx,%rdx,4),%eax
jne    11d1 <islose+0xd1>
movl   $0x0,-0x4(%rbp)
jmp    12d2 <islose+0x1d2>
jmp    11d6 <islose+0xd6>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    119e <islose+0x9e>
movl   $0x4,-0x20(%rbp)
cmpl   $0x7,-0x20(%rbp)
jge    1231 <islose+0x131>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    0x4(%rcx,%rdx,4),%eax
jne    121e <islose+0x11e>
movl   $0x0,-0x4(%rbp)
jmp    12d2 <islose+0x1d2>
jmp    1223 <islose+0x123>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11eb <islose+0xeb>
movl   $0x8,-0x24(%rbp)
cmpl   $0xb,-0x24(%rbp)
jge    127e <islose+0x17e>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    0x4(%rcx,%rdx,4),%eax
jne    126b <islose+0x16b>
movl   $0x0,-0x4(%rbp)
jmp    12d2 <islose+0x1d2>
jmp    1270 <islose+0x170>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1238 <islose+0x138>
movl   $0xc,-0x28(%rbp)
cmpl   $0xf,-0x28(%rbp)
jge    12cb <islose+0x1cb>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    0x4(%rcx,%rdx,4),%eax
jne    12b8 <islose+0x1b8>
movl   $0x0,-0x4(%rbp)
jmp    12d2 <islose+0x1d2>
jmp    12bd <islose+0x1bd>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1285 <islose+0x185>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<islose>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    (%rdi),%ecx
xor    %eax,%eax
test   %ecx,%ecx
je     12cd <islose+0x1cd>
mov    0x4(%rdi),%edx
test   %edx,%edx
je     12cd <islose+0x1cd>
mov    0x8(%rdi),%esi
test   %esi,%esi
je     12cd <islose+0x1cd>
mov    0xc(%rdi),%r9d
test   %r9d,%r9d
je     12cd <islose+0x1cd>
mov    0x10(%rdi),%r8d
test   %r8d,%r8d
je     12cd <islose+0x1cd>
mov    0x14(%rdi),%r10d
test   %r10d,%r10d
je     12cd <islose+0x1cd>
mov    0x18(%rdi),%r11d
test   %r11d,%r11d
je     12cd <islose+0x1cd>
mov    0x1c(%rdi),%ebx
test   %ebx,%ebx
je     12cd <islose+0x1cd>
mov    0x20(%rdi),%r12d
test   %r12d,%r12d
je     12cd <islose+0x1cd>
mov    0x24(%rdi),%r14d
test   %r14d,%r14d
je     12cd <islose+0x1cd>
mov    0x28(%rdi),%r15d
test   %r15d,%r15d
je     12cd <islose+0x1cd>
mov    0x2c(%rdi),%ebp
test   %ebp,%ebp
je     12cd <islose+0x1cd>
mov    0x30(%rdi),%r13d
mov    %r13d,-0x8(%rsp)
test   %r13d,%r13d
je     12cd <islose+0x1cd>
mov    %ebp,-0x4(%rsp)
mov    0x34(%rdi),%r13d
mov    %r13d,-0xc(%rsp)
test   %r13d,%r13d
je     12cd <islose+0x1cd>
mov    0x38(%rdi),%ebp
test   %ebp,%ebp
je     12cd <islose+0x1cd>
mov    0x3c(%rdi),%eax
mov    %eax,-0x10(%rsp)
test   %eax,%eax
setne  %dil
cmp    %r8d,%ecx
mov    %ebp,-0x14(%rsp)
setne  %bpl
and    %dil,%bpl
cmp    %r10d,%edx
setne  %dil
cmp    %r11d,%esi
setne  %al
and    %dil,%al
and    %bpl,%al
cmp    %ebx,%r9d
setne  %dil
cmp    %r12d,%r8d
setne  %bpl
and    %dil,%bpl
cmp    %r14d,%r10d
setne  %dil
and    %bpl,%dil
and    %al,%dil
cmp    %r15d,%r11d
setne  %bpl
mov    -0x4(%rsp),%r13d
cmp    %r13d,%ebx
setne  %al
and    %bpl,%al
cmp    -0x8(%rsp),%r12d
setne  %bpl
and    %al,%bpl
cmp    -0xc(%rsp),%r14d
setne  %al
and    %bpl,%al
and    %dil,%al
cmp    -0x14(%rsp),%r15d
setne  %dil
cmp    -0x10(%rsp),%r13d
setne  %bpl
and    %dil,%bpl
cmp    %edx,%ecx
setne  %cl
and    %bpl,%cl
cmp    %esi,%edx
setne  %dl
and    %cl,%dl
cmp    %r9d,%esi
setne  %cl
and    %dl,%cl
and    %al,%cl
cmp    %r10d,%r8d
setne  %al
cmp    %r11d,%r10d
setne  %dl
and    %al,%dl
cmp    %ebx,%r11d
setne  %al
and    %dl,%al
cmp    %r14d,%r12d
setne  %dl
and    %al,%dl
cmp    %r15d,%r14d
setne  %al
and    %dl,%al
cmp    %r13d,%r15d
setne  %dl
and    %al,%dl
and    %cl,%dl
mov    -0xc(%rsp),%ecx
cmp    %ecx,-0x8(%rsp)
setne  %al
mov    -0x14(%rsp),%esi
cmp    %esi,%ecx
setne  %cl
and    %al,%cl
cmp    -0x10(%rsp),%esi
setne  %al
and    %cl,%al
and    %dl,%al
movzbl %al,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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