int Skinny(double conlist[4][3]) {
  if (conlist[0][0] == conlist[1][0] && conlist[0][1] == conlist[1][1] &&
      conlist[0][2] == conlist[1][2])
    return (1);
  else if (conlist[0][0] == conlist[2][0] && conlist[0][1] == conlist[2][1] &&
           conlist[0][2] == conlist[2][2])
    return (1);
  else if (conlist[2][0] == conlist[1][0] && conlist[2][1] == conlist[1][1] &&
           conlist[2][2] == conlist[1][2])
    return (1);
  else
    return (0);
}


x86 assembly (clang, -O0):
<Skinny>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x18(%rax),%xmm0
jne    116d <Skinny+0x6d>
jp     116d <Skinny+0x6d>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x20(%rax),%xmm0
jne    116d <Skinny+0x6d>
jp     116d <Skinny+0x6d>
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x28(%rax),%xmm0
jne    116d <Skinny+0x6d>
jp     116d <Skinny+0x6d>
movl   $0x1,-0x4(%rbp)
jmp    123f <Skinny+0x13f>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x30(%rax),%xmm0
jne    11d2 <Skinny+0xd2>
jp     11d2 <Skinny+0xd2>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x38(%rax),%xmm0
jne    11d2 <Skinny+0xd2>
jp     11d2 <Skinny+0xd2>
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x40(%rax),%xmm0
jne    11d2 <Skinny+0xd2>
jp     11d2 <Skinny+0xd2>
movl   $0x1,-0x4(%rbp)
jmp    123f <Skinny+0x13f>
mov    -0x10(%rbp),%rax
movsd  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x18(%rax),%xmm0
jne    1238 <Skinny+0x138>
jp     1238 <Skinny+0x138>
mov    -0x10(%rbp),%rax
movsd  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x20(%rax),%xmm0
jne    1238 <Skinny+0x138>
jp     1238 <Skinny+0x138>
mov    -0x10(%rbp),%rax
movsd  0x40(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x28(%rax),%xmm0
jne    1238 <Skinny+0x138>
jp     1238 <Skinny+0x138>
movl   $0x1,-0x4(%rbp)
jmp    123f <Skinny+0x13f>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Skinny>:
movsd  (%rdi),%xmm1
movsd  0x18(%rdi),%xmm0
ucomisd %xmm0,%xmm1
jne    1133 <Skinny+0x33>
jp     1133 <Skinny+0x33>
movsd  0x8(%rdi),%xmm2
ucomisd 0x20(%rdi),%xmm2
jne    1133 <Skinny+0x33>
jp     1133 <Skinny+0x33>
movsd  0x10(%rdi),%xmm2
mov    $0x1,%eax
ucomisd 0x28(%rdi),%xmm2
jne    1133 <Skinny+0x33>
jp     1133 <Skinny+0x33>
ret
movsd  0x30(%rdi),%xmm2
ucomisd %xmm2,%xmm1
jne    1161 <Skinny+0x61>
jp     1161 <Skinny+0x61>
movsd  0x8(%rdi),%xmm1
ucomisd 0x38(%rdi),%xmm1
jne    1161 <Skinny+0x61>
jp     1161 <Skinny+0x61>
movsd  0x10(%rdi),%xmm1
mov    $0x1,%eax
ucomisd 0x40(%rdi),%xmm1
jne    1161 <Skinny+0x61>
jnp    1132 <Skinny+0x32>
ucomisd %xmm0,%xmm2
jne    118a <Skinny+0x8a>
jp     118a <Skinny+0x8a>
movsd  0x38(%rdi),%xmm0
ucomisd 0x20(%rdi),%xmm0
jne    118a <Skinny+0x8a>
jp     118a <Skinny+0x8a>
movsd  0x40(%rdi),%xmm0
mov    $0x1,%eax
ucomisd 0x28(%rdi),%xmm0
jne    118a <Skinny+0x8a>
jnp    1132 <Skinny+0x32>
xor    %eax,%eax
ret

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

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