#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 det(int, int, int, int, int, int, int, int, int);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ scanf(char *, int *, int *, int *, int *, int *, int *,
                         int *, int *, int *, int *, int *, int *, int *, int *,
                         int *);
int main(void) {
  int xo, yo, zo, xe, ye, ze, x1, y1, z1, x2, y2, z2, x3, y3, z3, detA, dets,
      dett, detk;
  double s, t, k;
  scanf("%d %d %d\n%d %d %d\n%d %d %d\n%d %d %d\n%d %d %d\n", &xo, &yo, &zo,
        &xe, &ye, &ze, &x1, &y1, &z1, &x2, &y2, &z2, &x3, &y3, &z3);
  detA = det(-x1 + x2, -x1 + x3, -xe + xo, -y1 + y2, -y1 + y3, -ye + yo,
             -z1 + z2, -z1 + z3, -ze + zo);
  dets = det(-x1 + xo, -x1 + x3, -xe + xo, -y1 + yo, -y1 + y3, -ye + yo,
             -z1 + zo, -z1 + z3, -ze + zo);
  dett = det(-x1 + x2, -x1 + xo, -xe + xo, -y1 + y2, -y1 + yo, -ye + yo,
             -z1 + z2, -z1 + zo, -ze + zo);
  detk = det(-x1 + x2, -x1 + x3, -x1 + xo, -y1 + y2, -y1 + y3, -y1 + yo,
             -z1 + z2, -z1 + z3, -z1 + zo);
  s = 1.0 * dets / detA;
  t = 1.0 * dett / detA;
  k = 1.0 * detk / detA;
  if (k > 0.0 && k <= 1.0 && s >= 0.0 && t >= 0.0 && s + t <= 1.0) {
    printf("MISS\n");
  } else {
    printf("HIT\n");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xd8,%rsp
movl   $0x0,-0x2c(%rbp)
lea    0xeb6(%rip),%rdi
lea    -0x30(%rbp),%rsi
lea    -0x34(%rbp),%rdx
lea    -0x38(%rbp),%rcx
lea    -0x3c(%rbp),%r8
lea    -0x40(%rbp),%r9
lea    -0x44(%rbp),%rax
mov    %rax,-0xa8(%rbp)
lea    -0x48(%rbp),%rax
mov    %rax,-0xa0(%rbp)
lea    -0x4c(%rbp),%r13
lea    -0x50(%rbp),%r12
lea    -0x54(%rbp),%r15
lea    -0x58(%rbp),%r14
lea    -0x5c(%rbp),%rbx
lea    -0x60(%rbp),%r11
lea    -0x64(%rbp),%r10
lea    -0x68(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,(%rsp)
mov    -0xa0(%rbp),%rax
mov    %rax,0x8(%rsp)
mov    -0x98(%rbp),%rax
mov    %r13,0x10(%rsp)
mov    %r12,0x18(%rsp)
mov    %r15,0x20(%rsp)
mov    %r14,0x28(%rsp)
mov    %rbx,0x30(%rsp)
mov    %r11,0x38(%rsp)
mov    %r10,0x40(%rsp)
mov    %rax,0x48(%rsp)
call   1040 <scanf@plt>
xor    %edi,%edi
sub    -0x48(%rbp),%edi
add    -0x54(%rbp),%edi
xor    %esi,%esi
sub    -0x48(%rbp),%esi
add    -0x60(%rbp),%esi
xor    %edx,%edx
sub    -0x3c(%rbp),%edx
add    -0x30(%rbp),%edx
xor    %ecx,%ecx
sub    -0x4c(%rbp),%ecx
add    -0x58(%rbp),%ecx
xor    %r8d,%r8d
sub    -0x4c(%rbp),%r8d
add    -0x64(%rbp),%r8d
xor    %r9d,%r9d
sub    -0x40(%rbp),%r9d
add    -0x34(%rbp),%r9d
xor    %r11d,%r11d
sub    -0x50(%rbp),%r11d
add    -0x5c(%rbp),%r11d
xor    %r10d,%r10d
sub    -0x50(%rbp),%r10d
add    -0x68(%rbp),%r10d
xor    %eax,%eax
sub    -0x44(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1050 <det@plt>
mov    %eax,-0x6c(%rbp)
xor    %edi,%edi
sub    -0x48(%rbp),%edi
add    -0x30(%rbp),%edi
xor    %esi,%esi
sub    -0x48(%rbp),%esi
add    -0x60(%rbp),%esi
xor    %edx,%edx
sub    -0x3c(%rbp),%edx
add    -0x30(%rbp),%edx
xor    %ecx,%ecx
sub    -0x4c(%rbp),%ecx
add    -0x34(%rbp),%ecx
xor    %r8d,%r8d
sub    -0x4c(%rbp),%r8d
add    -0x64(%rbp),%r8d
xor    %r9d,%r9d
sub    -0x40(%rbp),%r9d
add    -0x34(%rbp),%r9d
xor    %r11d,%r11d
sub    -0x50(%rbp),%r11d
add    -0x38(%rbp),%r11d
xor    %r10d,%r10d
sub    -0x50(%rbp),%r10d
add    -0x68(%rbp),%r10d
xor    %eax,%eax
sub    -0x44(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1050 <det@plt>
mov    %eax,-0x70(%rbp)
xor    %edi,%edi
sub    -0x48(%rbp),%edi
add    -0x54(%rbp),%edi
xor    %esi,%esi
sub    -0x48(%rbp),%esi
add    -0x30(%rbp),%esi
xor    %edx,%edx
sub    -0x3c(%rbp),%edx
add    -0x30(%rbp),%edx
xor    %ecx,%ecx
sub    -0x4c(%rbp),%ecx
add    -0x58(%rbp),%ecx
xor    %r8d,%r8d
sub    -0x4c(%rbp),%r8d
add    -0x34(%rbp),%r8d
xor    %r9d,%r9d
sub    -0x40(%rbp),%r9d
add    -0x34(%rbp),%r9d
xor    %r11d,%r11d
sub    -0x50(%rbp),%r11d
add    -0x5c(%rbp),%r11d
xor    %r10d,%r10d
sub    -0x50(%rbp),%r10d
add    -0x38(%rbp),%r10d
xor    %eax,%eax
sub    -0x44(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1050 <det@plt>
mov    %eax,-0x74(%rbp)
xor    %edi,%edi
sub    -0x48(%rbp),%edi
add    -0x54(%rbp),%edi
xor    %esi,%esi
sub    -0x48(%rbp),%esi
add    -0x60(%rbp),%esi
xor    %edx,%edx
sub    -0x48(%rbp),%edx
add    -0x30(%rbp),%edx
xor    %ecx,%ecx
sub    -0x4c(%rbp),%ecx
add    -0x58(%rbp),%ecx
xor    %r8d,%r8d
sub    -0x4c(%rbp),%r8d
add    -0x64(%rbp),%r8d
xor    %r9d,%r9d
sub    -0x4c(%rbp),%r9d
add    -0x34(%rbp),%r9d
xor    %r11d,%r11d
sub    -0x50(%rbp),%r11d
add    -0x5c(%rbp),%r11d
xor    %r10d,%r10d
sub    -0x50(%rbp),%r10d
add    -0x68(%rbp),%r10d
xor    %eax,%eax
sub    -0x50(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1050 <det@plt>
mov    %eax,-0x78(%rbp)
cvtsi2sdl -0x70(%rbp),%xmm1
movsd  0xc61(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x6c(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
cvtsi2sdl -0x74(%rbp),%xmm1
movsd  0xc42(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x6c(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
cvtsi2sdl -0x78(%rbp),%xmm1
movsd  0xc20(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x6c(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1477 <main+0x347>
movsd  0xbee(%rip),%xmm0
ucomisd -0x90(%rbp),%xmm0
ff
jb     1477 <main+0x347>
movsd  -0x80(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1477 <main+0x347>
movsd  -0x88(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1477 <main+0x347>
movsd  -0x80(%rbp),%xmm1
addsd  -0x88(%rbp),%xmm1
ff
movsd  0xba4(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1477 <main+0x347>
lea    0xbc9(%rip),%rdi
call   1030 <printf@plt>
jmp    1483 <main+0x353>
lea    0xbbe(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0xd8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
lea    0x24(%rsp),%rbp
lea    0x28(%rsp),%rbx
lea    0x2c(%rsp),%rax
lea    0x30(%rsp),%r11
lea    0x34(%rsp),%r14
lea    0x38(%rsp),%r15
lea    0xc(%rsp),%r12
lea    0x10(%rsp),%r13
lea    0x14(%rsp),%r10
lea    0xe96(%rip),%rdi
lea    0x20(%rsp),%rsi
lea    0x1c(%rsp),%rdx
lea    0x18(%rsp),%rcx
lea    0x44(%rsp),%r8
lea    0x40(%rsp),%r9
push   %rbp
push   %rbx
push   %rax
push   %r11
push   %r14
push   %r15
push   %r12
push   %r13
push   %r10
lea    0x84(%rsp),%rax
push   %rax
call   1040 <scanf@plt>
add    $0x50,%rsp
mov    0x14(%rsp),%eax
mov    0x38(%rsp),%edi
sub    %eax,%edi
mov    0x2c(%rsp),%esi
sub    %eax,%esi
mov    0x20(%rsp),%edx
sub    0x44(%rsp),%edx
mov    0x10(%rsp),%eax
mov    0x34(%rsp),%ecx
sub    %eax,%ecx
mov    0x28(%rsp),%r8d
sub    %eax,%r8d
mov    0x1c(%rsp),%r9d
sub    0x40(%rsp),%r9d
mov    0xc(%rsp),%eax
mov    0x30(%rsp),%ebp
sub    %eax,%ebp
mov    0x24(%rsp),%ebx
sub    %eax,%ebx
mov    0x18(%rsp),%eax
sub    0x3c(%rsp),%eax
sub    $0x8,%rsp
push   %rax
push   %rbx
push   %rbp
call   1050 <det@plt>
add    $0x20,%rsp
mov    %eax,%r14d
mov    0x14(%rsp),%eax
mov    0x20(%rsp),%edx
mov    %edx,%edi
sub    %eax,%edi
mov    0x2c(%rsp),%esi
sub    %eax,%esi
sub    0x44(%rsp),%edx
mov    0x10(%rsp),%eax
mov    0x1c(%rsp),%r9d
mov    %r9d,%ecx
sub    %eax,%ecx
mov    0x28(%rsp),%r8d
sub    0x40(%rsp),%r9d
sub    %eax,%r8d
mov    0xc(%rsp),%eax
mov    0x18(%rsp),%ebp
mov    %ebp,%r10d
sub    %eax,%r10d
mov    0x24(%rsp),%ebx
sub    %eax,%ebx
sub    0x3c(%rsp),%ebp
sub    $0x8,%rsp
push   %rbp
push   %rbx
push   %r10
call   1050 <det@plt>
add    $0x20,%rsp
mov    %eax,%r15d
mov    0x14(%rsp),%eax
mov    0x38(%rsp),%edi
sub    %eax,%edi
mov    0x20(%rsp),%edx
mov    %edx,%esi
sub    %eax,%esi
sub    0x44(%rsp),%edx
mov    0x10(%rsp),%eax
mov    0x34(%rsp),%ecx
sub    %eax,%ecx
mov    0x1c(%rsp),%r9d
mov    %r9d,%r8d
sub    0x40(%rsp),%r9d
sub    %eax,%r8d
mov    0xc(%rsp),%eax
mov    0x30(%rsp),%r10d
sub    %eax,%r10d
mov    0x18(%rsp),%ebp
mov    %ebp,%ebx
sub    %eax,%ebx
sub    0x3c(%rsp),%ebp
sub    $0x8,%rsp
push   %rbp
push   %rbx
push   %r10
call   1050 <det@plt>
add    $0x20,%rsp
mov    %eax,%r12d
mov    0x14(%rsp),%eax
mov    0x38(%rsp),%edi
sub    %eax,%edi
mov    0x2c(%rsp),%esi
sub    %eax,%esi
mov    0x20(%rsp),%edx
sub    %eax,%edx
mov    0x10(%rsp),%eax
mov    0x34(%rsp),%ecx
sub    %eax,%ecx
mov    0x28(%rsp),%r8d
sub    %eax,%r8d
mov    0x1c(%rsp),%r9d
sub    %eax,%r9d
mov    0xc(%rsp),%eax
mov    0x30(%rsp),%r10d
sub    %eax,%r10d
mov    0x24(%rsp),%ebx
sub    %eax,%ebx
mov    0x18(%rsp),%ebp
sub    %eax,%ebp
sub    $0x8,%rsp
push   %rbp
push   %rbx
push   %r10
call   1050 <det@plt>
add    $0x20,%rsp
cvtsi2sd %r14d,%xmm0
movd   %r15d,%xmm1
movd   %r12d,%xmm2
punpckldq %xmm2,%xmm1
cvtdq2pd %xmm1,%xmm1
movapd %xmm0,%xmm2
unpcklpd %xmm0,%xmm2
divpd  %xmm2,%xmm1
movapd %xmm1,%xmm2
unpckhpd %xmm1,%xmm2
movapd %xmm1,%xmm3
addsd  %xmm2,%xmm3
movsd  0xca8(%rip),%xmm4
ucomisd %xmm3,%xmm4
xorps  %xmm3,%xmm3
cvtsi2sd %eax,%xmm3
lea    0xccc(%rip),%rax
lea    0xcc9(%rip),%rdi
cmovb  %rax,%rdi
divsd  %xmm0,%xmm3
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
cmovb  %rax,%rdi
ucomisd %xmm0,%xmm1
cmovb  %rax,%rdi
ucomisd %xmm3,%xmm4
cmovb  %rax,%rdi
ucomisd %xmm0,%xmm3
cmovbe %rax,%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [46 x i8] c"%d %d %d\0A%d %d %d\0A%d %d %d\0A%d %d %d\0A%d %d %d\0A\00"
@.str.1 = [6 x i8] c"MISS\0A\00"
@.str.2 = [5 x i8] c"HIT\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca double
%22 = alloca double
%23 = alloca double
store i32 0, i32* %1
%24 = call i32 @scanf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str, i64 0, i64 0), i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8, i32* %9, i32* %10, i32* %11, i32* %12, i32* %13, i32* %14, i32* %15, i32* %16)
%25 = load i32, i32* %8
%26 = sub nsw i32 0, %25
%27 = load i32, i32* %11
%28 = add nsw i32 %26, %27
%29 = load i32, i32* %8
%30 = sub nsw i32 0, %29
%31 = load i32, i32* %14
%32 = add nsw i32 %30, %31
%33 = load i32, i32* %5
%34 = sub nsw i32 0, %33
%35 = load i32, i32* %2
%36 = add nsw i32 %34, %35
%37 = load i32, i32* %9
%38 = sub nsw i32 0, %37
%39 = load i32, i32* %12
%40 = add nsw i32 %38, %39
%41 = load i32, i32* %9
%42 = sub nsw i32 0, %41
%43 = load i32, i32* %15
%44 = add nsw i32 %42, %43
%45 = load i32, i32* %6
%46 = sub nsw i32 0, %45
%47 = load i32, i32* %3
%48 = add nsw i32 %46, %47
%49 = load i32, i32* %10
%50 = sub nsw i32 0, %49
%51 = load i32, i32* %13
%52 = add nsw i32 %50, %51
%53 = load i32, i32* %10
%54 = sub nsw i32 0, %53
%55 = load i32, i32* %16
%56 = add nsw i32 %54, %55
%57 = load i32, i32* %7
%58 = sub nsw i32 0, %57
%59 = load i32, i32* %4
%60 = add nsw i32 %58, %59
%61 = call i32 @det(i32 %28, i32 %32, i32 %36, i32 %40, i32 %44, i32 %48, i32 %52, i32 %56, i32 %60)
store i32 %61, i32* %17
%62 = load i32, i32* %8
%63 = sub nsw i32 0, %62
%64 = load i32, i32* %2
%65 = add nsw i32 %63, %64
%66 = load i32, i32* %8
%67 = sub nsw i32 0, %66
%68 = load i32, i32* %14
%69 = add nsw i32 %67, %68
%70 = load i32, i32* %5
%71 = sub nsw i32 0, %70
%72 = load i32, i32* %2
%73 = add nsw i32 %71, %72
%74 = load i32, i32* %9
%75 = sub nsw i32 0, %74
%76 = load i32, i32* %3
%77 = add nsw i32 %75, %76
%78 = load i32, i32* %9
%79 = sub nsw i32 0, %78
%80 = load i32, i32* %15
%81 = add nsw i32 %79, %80
%82 = load i32, i32* %6
%83 = sub nsw i32 0, %82
%84 = load i32, i32* %3
%85 = add nsw i32 %83, %84
%86 = load i32, i32* %10
%87 = sub nsw i32 0, %86
%88 = load i32, i32* %4
%89 = add nsw i32 %87, %88
%90 = load i32, i32* %10
%91 = sub nsw i32 0, %90
%92 = load i32, i32* %16
%93 = add nsw i32 %91, %92
%94 = load i32, i32* %7
%95 = sub nsw i32 0, %94
%96 = load i32, i32* %4
%97 = add nsw i32 %95, %96
%98 = call i32 @det(i32 %65, i32 %69, i32 %73, i32 %77, i32 %81, i32 %85, i32 %89, i32 %93, i32 %97)
store i32 %98, i32* %18
%99 = load i32, i32* %8
%100 = sub nsw i32 0, %99
%101 = load i32, i32* %11
%102 = add nsw i32 %100, %101
%103 = load i32, i32* %8
%104 = sub nsw i32 0, %103
%105 = load i32, i32* %2
%106 = add nsw i32 %104, %105
%107 = load i32, i32* %5
%108 = sub nsw i32 0, %107
%109 = load i32, i32* %2
%110 = add nsw i32 %108, %109
%111 = load i32, i32* %9
%112 = sub nsw i32 0, %111
%113 = load i32, i32* %12
%114 = add nsw i32 %112, %113
%115 = load i32, i32* %9
%116 = sub nsw i32 0, %115
%117 = load i32, i32* %3
%118 = add nsw i32 %116, %117
%119 = load i32, i32* %6
%120 = sub nsw i32 0, %119
%121 = load i32, i32* %3
%122 = add nsw i32 %120, %121
%123 = load i32, i32* %10
%124 = sub nsw i32 0, %123
%125 = load i32, i32* %13
%126 = add nsw i32 %124, %125
%127 = load i32, i32* %10
%128 = sub nsw i32 0, %127
%129 = load i32, i32* %4
%130 = add nsw i32 %128, %129
%131 = load i32, i32* %7
%132 = sub nsw i32 0, %131
%133 = load i32, i32* %4
%134 = add nsw i32 %132, %133
%135 = call i32 @det(i32 %102, i32 %106, i32 %110, i32 %114, i32 %118, i32 %122, i32 %126, i32 %130, i32 %134)
store i32 %135, i32* %19
%136 = load i32, i32* %8
%137 = sub nsw i32 0, %136
%138 = load i32, i32* %11
%139 = add nsw i32 %137, %138
%140 = load i32, i32* %8
%141 = sub nsw i32 0, %140
%142 = load i32, i32* %14
%143 = add nsw i32 %141, %142
%144 = load i32, i32* %8
%145 = sub nsw i32 0, %144
%146 = load i32, i32* %2
%147 = add nsw i32 %145, %146
%148 = load i32, i32* %9
%149 = sub nsw i32 0, %148
%150 = load i32, i32* %12
%151 = add nsw i32 %149, %150
%152 = load i32, i32* %9
%153 = sub nsw i32 0, %152
%154 = load i32, i32* %15
%155 = add nsw i32 %153, %154
%156 = load i32, i32* %9
%157 = sub nsw i32 0, %156
%158 = load i32, i32* %3
%159 = add nsw i32 %157, %158
%160 = load i32, i32* %10
%161 = sub nsw i32 0, %160
%162 = load i32, i32* %13
%163 = add nsw i32 %161, %162
%164 = load i32, i32* %10
%165 = sub nsw i32 0, %164
%166 = load i32, i32* %16
%167 = add nsw i32 %165, %166
%168 = load i32, i32* %10
%169 = sub nsw i32 0, %168
%170 = load i32, i32* %4
%171 = add nsw i32 %169, %170
%172 = call i32 @det(i32 %139, i32 %143, i32 %147, i32 %151, i32 %155, i32 %159, i32 %163, i32 %167, i32 %171)
store i32 %172, i32* %20
%173 = load i32, i32* %18
%174 = sitofp i32 %173 to double
%175 = fmul double 1.000000e+00, %174
%176 = load i32, i32* %17
%177 = sitofp i32 %176 to double
%178 = fdiv double %175, %177
store double %178, double* %21
%179 = load i32, i32* %19
%180 = sitofp i32 %179 to double
%181 = fmul double 1.000000e+00, %180
%182 = load i32, i32* %17
%183 = sitofp i32 %182 to double
%184 = fdiv double %181, %183
store double %184, double* %22
%185 = load i32, i32* %20
%186 = sitofp i32 %185 to double
%187 = fmul double 1.000000e+00, %186
%188 = load i32, i32* %17
%189 = sitofp i32 %188 to double
%190 = fdiv double %187, %189
store double %190, double* %23
%191 = load double, double* %23
%192 = fcmp ogt double %191, 0.000000e+00
br i1 %192, label %193, label %209
193: ; preds = %0
%194 = load double, double* %23
%195 = fcmp ole double %194, 1.000000e+00
br i1 %195, label %196, label %209
196: ; preds = %193
%197 = load double, double* %21
%198 = fcmp oge double %197, 0.000000e+00
br i1 %198, label %199, label %209
199: ; preds = %196
%200 = load double, double* %22
%201 = fcmp oge double %200, 0.000000e+00
br i1 %201, label %202, label %209
202: ; preds = %199
%203 = load double, double* %21
%204 = load double, double* %22
%205 = fadd double %203, %204
%206 = fcmp ole double %205, 1.000000e+00
br i1 %206, label %207, label %209
207: ; preds = %202
%208 = call i32 @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0))
br label %211
209: ; preds = %202, %199, %196, %193, %0
%210 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0))
br label %211
211: ; preds = %209, %207
ret i32 0
}

LLVM IR (-O2):
@.str = [46 x i8] c"%d %d %d\0A%d %d %d\0A%d %d %d\0A%d %d %d\0A%d %d %d\0A\00"
@str = [4 x i8] c"HIT\00"
@str.3 = [5 x i8] c"MISS\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = bitcast i32* %1 to i8*
%17 = bitcast i32* %2 to i8*
%18 = bitcast i32* %3 to i8*
%19 = bitcast i32* %4 to i8*
%20 = bitcast i32* %5 to i8*
%21 = bitcast i32* %6 to i8*
%22 = bitcast i32* %7 to i8*
%23 = bitcast i32* %8 to i8*
%24 = bitcast i32* %9 to i8*
%25 = bitcast i32* %10 to i8*
%26 = bitcast i32* %11 to i8*
%27 = bitcast i32* %12 to i8*
%28 = bitcast i32* %13 to i8*
%29 = bitcast i32* %14 to i8*
%30 = bitcast i32* %15 to i8*
%31 = call i32 @scanf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str, i64 0, i64 0), i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8, i32* %9, i32* %10, i32* %11, i32* %12, i32* %13, i32* %14, i32* %15)
%32 = load i32, i32* %7
%33 = load i32, i32* %10
%34 = sub i32 %33, %32
%35 = load i32, i32* %13
%36 = sub i32 %35, %32
%37 = load i32, i32* %4
%38 = load i32, i32* %1
%39 = sub i32 %38, %37
%40 = load i32, i32* %8
%41 = load i32, i32* %11
%42 = sub i32 %41, %40
%43 = load i32, i32* %14
%44 = sub i32 %43, %40
%45 = load i32, i32* %5
%46 = load i32, i32* %2
%47 = sub i32 %46, %45
%48 = load i32, i32* %9
%49 = load i32, i32* %12
%50 = sub i32 %49, %48
%51 = load i32, i32* %15
%52 = sub i32 %51, %48
%53 = load i32, i32* %6
%54 = load i32, i32* %3
%55 = sub i32 %54, %53
%56 = call i32 @det(i32 %34, i32 %36, i32 %39, i32 %42, i32 %44, i32 %47, i32 %50, i32 %52, i32 %55)
%57 = load i32, i32* %7
%58 = load i32, i32* %1
%59 = sub i32 %58, %57
%60 = load i32, i32* %13
%61 = sub i32 %60, %57
%62 = load i32, i32* %4
%63 = sub i32 %58, %62
%64 = load i32, i32* %8
%65 = load i32, i32* %2
%66 = sub i32 %65, %64
%67 = load i32, i32* %14
%68 = sub i32 %67, %64
%69 = load i32, i32* %5
%70 = sub i32 %65, %69
%71 = load i32, i32* %9
%72 = load i32, i32* %3
%73 = sub i32 %72, %71
%74 = load i32, i32* %15
%75 = sub i32 %74, %71
%76 = load i32, i32* %6
%77 = sub i32 %72, %76
%78 = call i32 @det(i32 %59, i32 %61, i32 %63, i32 %66, i32 %68, i32 %70, i32 %73, i32 %75, i32 %77)
%79 = load i32, i32* %7
%80 = load i32, i32* %10
%81 = sub i32 %80, %79
%82 = load i32, i32* %1
%83 = sub i32 %82, %79
%84 = load i32, i32* %4
%85 = sub i32 %82, %84
%86 = load i32, i32* %8
%87 = load i32, i32* %11
%88 = sub i32 %87, %86
%89 = load i32, i32* %2
%90 = sub i32 %89, %86
%91 = load i32, i32* %5
%92 = sub i32 %89, %91
%93 = load i32, i32* %9
%94 = load i32, i32* %12
%95 = sub i32 %94, %93
%96 = load i32, i32* %3
%97 = sub i32 %96, %93
%98 = load i32, i32* %6
%99 = sub i32 %96, %98
%100 = call i32 @det(i32 %81, i32 %83, i32 %85, i32 %88, i32 %90, i32 %92, i32 %95, i32 %97, i32 %99)
%101 = load i32, i32* %7
%102 = load i32, i32* %10
%103 = sub i32 %102, %101
%104 = load i32, i32* %13
%105 = sub i32 %104, %101
%106 = load i32, i32* %1
%107 = sub i32 %106, %101
%108 = load i32, i32* %8
%109 = load i32, i32* %11
%110 = sub i32 %109, %108
%111 = load i32, i32* %14
%112 = sub i32 %111, %108
%113 = load i32, i32* %2
%114 = sub i32 %113, %108
%115 = load i32, i32* %9
%116 = load i32, i32* %12
%117 = sub i32 %116, %115
%118 = load i32, i32* %15
%119 = sub i32 %118, %115
%120 = load i32, i32* %3
%121 = sub i32 %120, %115
%122 = call i32 @det(i32 %103, i32 %105, i32 %107, i32 %110, i32 %112, i32 %114, i32 %117, i32 %119, i32 %121)
%123 = sitofp i32 %56 to double
%124 = insertelement <2 x i32> poison, i32 %78, i64 0
%125 = insertelement <2 x i32> %124, i32 %100, i64 1
%126 = sitofp <2 x i32> %125 to <2 x double>
%127 = insertelement <2 x double> poison, double %123, i64 0
%128 = shufflevector <2 x double> %127, <2 x double> poison, <2 x i32> zeroinitializer
%129 = fdiv <2 x double> %126, %128
%130 = sitofp i32 %122 to double
%131 = fdiv double %130, %123
%132 = fcmp ule double %131, 0.000000e+00
%133 = fcmp ugt double %131, 1.000000e+00
%134 = extractelement <2 x double> %129, i64 0
%135 = fcmp ult double %134, 0.000000e+00
%136 = or i1 %132, %133
%137 = select i1 %136, i1 true, i1 %135
%138 = extractelement <2 x double> %129, i64 1
%139 = fcmp ult double %138, 0.000000e+00
%140 = select i1 %137, i1 true, i1 %139
%141 = fadd double %134, %138
%142 = fcmp ugt double %141, 1.000000e+00
%143 = select i1 %140, i1 true, i1 %142
%144 = select i1 %143, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @str.3, i64 0, i64 0)
%145 = call i32 @puts(i8* dereferenceable(1) %144)
ret i32 0
}