#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 */
double MAXDOUBLE;
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
double kaijo1(int n) {
  int i;
  double k;
  if (n < 0) {
    fprintf(stderr, "Error : n < 0  in kaijo1()\n");
    return 0.;
  }
  if (n > 170) {
    fprintf(stderr, "Error : Too large n (n > 170)  in kaijo1()\n");
    return MAXDOUBLE;
  }
  k = 1.;
  if (n <= 1)
    return k;
  for (i = 2; i <= n; i++)
    k *= (double)i;
  return k;
}


x86 assembly (clang, -O0):
<kaijo1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jge    1147 <kaijo1+0x37>
mov    0x2eb4(%rip),%rax
mov    (%rax),%edi
lea    0xed3(%rip),%rsi
call   1030 <fprintf@plt>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11de <kaijo1+0xce>
cmpl   $0xaa,-0xc(%rbp)
jle    117e <kaijo1+0x6e>
mov    0x2e85(%rip),%rax
mov    (%rax),%edi
lea    0xec0(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e68(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11de <kaijo1+0xce>
movsd  0xe7a(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     11a4 <kaijo1+0x94>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11de <kaijo1+0xce>
movl   $0x2,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     11d4 <kaijo1+0xc4>
cvtsi2sdl -0x10(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11ab <kaijo1+0x9b>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<kaijo1>:
push   %rax
test   %edi,%edi
js     113f <kaijo1+0x2f>
cmp    $0xab,%edi
jb     1159 <kaijo1+0x49>
mov    0x2ebc(%rip),%rax
mov    (%rax),%edi
lea    0xef7(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e9f(%rip),%rax
movsd  (%rax),%xmm0
pop    %rax
ret
mov    0x2e9a(%rip),%rax
mov    (%rax),%edi
lea    0xeb9(%rip),%rsi
call   1030 <fprintf@plt>
xorps  %xmm0,%xmm0
pop    %rax
ret
cmp    $0x2,%edi
jae    1168 <kaijo1+0x58>
movsd  0xe9a(%rip),%xmm0
pop    %rax
ret
lea    -0x1(%rdi),%edx
add    $0xfffffffe,%edi
mov    %edx,%eax
and    $0x7,%eax
cmp    $0x7,%edi
jae    118a <kaijo1+0x7a>
mov    $0x2,%ecx
movsd  0xe7b(%rip),%xmm0
jmp    1214 <kaijo1+0x104>
and    $0xfffffff8,%edx
mov    $0x2,%ecx
movsd  0xe66(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
xorps  %xmm1,%xmm1
cvtsi2sd %ecx,%xmm1
lea    0x1(%rcx),%esi
xorps  %xmm2,%xmm2
cvtsi2sd %esi,%xmm2
mulsd  %xmm0,%xmm1
lea    0x2(%rcx),%esi
xorps  %xmm0,%xmm0
cvtsi2sd %esi,%xmm0
mulsd  %xmm1,%xmm2
lea    0x3(%rcx),%esi
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
mulsd  %xmm2,%xmm0
lea    0x4(%rcx),%esi
xorps  %xmm2,%xmm2
cvtsi2sd %esi,%xmm2
mulsd  %xmm0,%xmm1
lea    0x5(%rcx),%esi
xorps  %xmm3,%xmm3
cvtsi2sd %esi,%xmm3
mulsd  %xmm1,%xmm2
lea    0x6(%rcx),%esi
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
mulsd  %xmm2,%xmm3
lea    0x7(%rcx),%edi
xorps  %xmm0,%xmm0
cvtsi2sd %edi,%xmm0
mulsd  %xmm3,%xmm1
mulsd  %xmm1,%xmm0
add    $0x8,%ecx
cmp    %edx,%esi
jne    11a0 <kaijo1+0x90>
test   %eax,%eax
je     1233 <kaijo1+0x123>
nopl   0x0(%rax,%rax,1)
xorps  %xmm1,%xmm1
cvtsi2sd %ecx,%xmm1
mulsd  %xmm1,%xmm0
add    $0x1,%ecx
add    $0xffffffff,%eax
jne    1220 <kaijo1+0x110>
pop    %rax
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [28 x i8] c"Error : n < 0 in kaijo1()\0A\00"
@.str.1 = [44 x i8] c"Error : Too large n (n > 170) in kaijo1()\0A\00"
@MAXDOUBLE = global double 0.000000e+00
define double @kaijo1(i32 %0) {
%2 = alloca double
%3 = alloca i32
%4 = alloca i32
%5 = alloca double
store i32 %0, i32* %3
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 0
br i1 %7, label %8, label %11
8: ; preds = %1
%9 = load i32, i32* @stderr
%10 = call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0))
store double 0.000000e+00, double* %2
br label %38
11: ; preds = %1
%12 = load i32, i32* %3
%13 = icmp sgt i32 %12, 170
br i1 %13, label %14, label %18
14: ; preds = %11
%15 = load i32, i32* @stderr
%16 = call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%17 = load double, double* @MAXDOUBLE
store double %17, double* %2
br label %38
18: ; preds = %11
store double 1.000000e+00, double* %5
%19 = load i32, i32* %3
%20 = icmp sle i32 %19, 1
br i1 %20, label %21, label %23
21: ; preds = %18
%22 = load double, double* %5
store double %22, double* %2
br label %38
23: ; preds = %18
store i32 2, i32* %4
br label %24
24: ; preds = %33, %23
%25 = load i32, i32* %4
%26 = load i32, i32* %3
%27 = icmp sle i32 %25, %26
br i1 %27, label %28, label %36
28: ; preds = %24
%29 = load i32, i32* %4
%30 = sitofp i32 %29 to double
%31 = load double, double* %5
%32 = fmul double %31, %30
store double %32, double* %5
br label %33
33: ; preds = %28
%34 = load i32, i32* %4
%35 = add nsw i32 %34, 1
store i32 %35, i32* %4
br label %24
36: ; preds = %24
%37 = load double, double* %5
store double %37, double* %2
br label %38
38: ; preds = %36, %21, %14, %8
%39 = load double, double* %2
ret double %39
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [28 x i8] c"Error : n < 0 in kaijo1()\0A\00"
@.str.1 = [44 x i8] c"Error : Too large n (n > 170) in kaijo1()\0A\00"
@MAXDOUBLE = global double 0.000000e+00
define double @kaijo1(i32 %0) {
%2 = icmp slt i32 %0, 0
br i1 %2, label %3, label %6
3: ; preds = %1
%4 = load i32, i32* @stderr
%5 = tail call i32 @fprintf(i32 %4, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0))
br label %65
6: ; preds = %1
%7 = icmp ugt i32 %0, 170
br i1 %7, label %8, label %12
8: ; preds = %6
%9 = load i32, i32* @stderr
%10 = tail call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%11 = load double, double* @MAXDOUBLE
br label %65
12: ; preds = %6
%13 = icmp ult i32 %0, 2
br i1 %13, label %65, label %14
14: ; preds = %12
%15 = add i32 %0, -1
%16 = add i32 %0, -2
%17 = and i32 %15, 7
%18 = icmp ult i32 %16, 7
br i1 %18, label %51, label %19
19: ; preds = %14
%20 = and i32 %15, -8
br label %21
21: ; preds = %21, %19
%22 = phi double [ 1.000000e+00, %19 ], [ %47, %21 ]
%23 = phi i32 [ 2, %19 ], [ %48, %21 ]
%24 = phi i32 [ 0, %19 ], [ %49, %21 ]
%25 = sitofp i32 %23 to double
%26 = fmul double %22, %25
%27 = or i32 %23, 1
%28 = sitofp i32 %27 to double
%29 = fmul double %26, %28
%30 = add nuw nsw i32 %23, 2
%31 = sitofp i32 %30 to double
%32 = fmul double %29, %31
%33 = add nuw nsw i32 %23, 3
%34 = sitofp i32 %33 to double
%35 = fmul double %32, %34
%36 = add nuw nsw i32 %23, 4
%37 = sitofp i32 %36 to double
%38 = fmul double %35, %37
%39 = add nuw nsw i32 %23, 5
%40 = sitofp i32 %39 to double
%41 = fmul double %38, %40
%42 = add nuw i32 %23, 6
%43 = sitofp i32 %42 to double
%44 = fmul double %41, %43
%45 = add nuw i32 %23, 7
%46 = sitofp i32 %45 to double
%47 = fmul double %44, %46
%48 = add nuw i32 %23, 8
%49 = add i32 %24, 8
%50 = icmp eq i32 %49, %20
br i1 %50, label %51, label %21
51: ; preds = %21, %14
%52 = phi double [ undef, %14 ], [ %47, %21 ]
%53 = phi double [ 1.000000e+00, %14 ], [ %47, %21 ]
%54 = phi i32 [ 2, %14 ], [ %48, %21 ]
%55 = icmp eq i32 %17, 0
br i1 %55, label %65, label %56
56: ; preds = %51, %56
%57 = phi double [ %61, %56 ], [ %53, %51 ]
%58 = phi i32 [ %62, %56 ], [ %54, %51 ]
%59 = phi i32 [ %63, %56 ], [ 0, %51 ]
%60 = sitofp i32 %58 to double
%61 = fmul double %57, %60
%62 = add nuw i32 %58, 1
%63 = add i32 %59, 1
%64 = icmp eq i32 %63, %17
br i1 %64, label %65, label %56
65: ; preds = %51, %56, %12, %8, %3
%66 = phi double [ 0.000000e+00, %3 ], [ %11, %8 ], [ 1.000000e+00, %12 ], [ %52, %51 ], [ %61, %56 ]
ret double %66
}