#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*/ printf(char *);
double sinTyl(double x, int precision) {
  double sine;
  double xsquared;
  double aux;
  xsquared = x * x;
  if (precision < 0) {
    printf("Warning: Function sinTyl from bmc/core/filter_functions.h: "
           "Precision must be a positive integer. Assuming 0 precision\n");
    precision = 0;
  }
  if (precision >= 0) {
    aux = 0;
    sine = aux;
    if (precision >= 1) {
      aux = x;
      sine += aux;
      if (precision >= 2) {
        aux = aux * xsquared;
        sine -= aux / 6;
        if (precision >= 3) {
          aux = aux * xsquared;
          sine += aux / 120;
          if (precision >= 4) {
            aux = aux * xsquared;
            sine -= aux / 5040;
            if (precision >= 5) {
              aux = aux * xsquared;
              sine += aux / 362880;
              if (precision >= 6) {
                aux = aux * xsquared;
                sine -= aux / 39916800;
                if (precision >= 7) {
                  aux = aux * xsquared;
                  sine += aux / 6227020800;
                  if (precision >= 8) {
                    printf("Warning: Function sinTyl "
                           "from bmc/core/filter_functions.h: Precision "
                           "representation exceeded. Assuming maximum "
                           "precision of 7\n");
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  return sine;
}


x86 assembly (clang, -O0):
<sinTyl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movsd  %xmm0,-0x8(%rbp)
mov    %edi,-0xc(%rbp)
movsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0xc(%rbp)
jge    114c <sinTyl+0x3c>
lea    0xef0(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jl     130d <sinTyl+0x1fd>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x1,-0xc(%rbp)
jl     1308 <sinTyl+0x1f8>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x2,-0xc(%rbp)
jl     1303 <sinTyl+0x1f3>
movsd  -0x28(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
movsd  0xe4f(%rip),%xmm0
divsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x3,-0xc(%rbp)
jl     12fe <sinTyl+0x1ee>
movsd  -0x28(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  0xe1f(%rip),%xmm1
divsd  %xmm1,%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x4,-0xc(%rbp)
jl     12f9 <sinTyl+0x1e9>
movsd  -0x28(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
movsd  0xdf3(%rip),%xmm0
divsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x5,-0xc(%rbp)
jl     12f4 <sinTyl+0x1e4>
movsd  -0x28(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  0xdc3(%rip),%xmm1
divsd  %xmm1,%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x6,-0xc(%rbp)
jl     12ef <sinTyl+0x1df>
movsd  -0x28(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm1
movsd  0xd97(%rip),%xmm0
divsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x7,-0xc(%rbp)
jl     12ea <sinTyl+0x1da>
movsd  -0x28(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  0xd67(%rip),%xmm1
divsd  %xmm1,%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x8,-0xc(%rbp)
jl     12e5 <sinTyl+0x1d5>
lea    0xdc7(%rip),%rdi
call   1030 <printf@plt>
jmp    12ea <sinTyl+0x1da>
jmp    12ef <sinTyl+0x1df>
jmp    12f4 <sinTyl+0x1e4>
jmp    12f9 <sinTyl+0x1e9>
jmp    12fe <sinTyl+0x1ee>
jmp    1303 <sinTyl+0x1f3>
jmp    1308 <sinTyl+0x1f8>
jmp    130d <sinTyl+0x1fd>
movsd  -0x18(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sinTyl>:
push   %rax
test   %edi,%edi
js     11d7 <sinTyl+0xc7>
xorpd  %xmm3,%xmm3
je     11f1 <sinTyl+0xe1>
addsd  %xmm0,%xmm3
cmp    $0x1,%edi
je     11f1 <sinTyl+0xe1>
movapd %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
divsd  0xeb8(%rip),%xmm2
addsd  %xmm2,%xmm3
cmp    $0x3,%edi
jb     11f1 <sinTyl+0xe1>
mulsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
divsd  0xea3(%rip),%xmm2
addsd  %xmm2,%xmm3
je     11f1 <sinTyl+0xe1>
mulsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
divsd  0xe91(%rip),%xmm2
addsd  %xmm2,%xmm3
cmp    $0x5,%edi
jb     11f1 <sinTyl+0xe1>
mulsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
divsd  0xe80(%rip),%xmm2
addsd  %xmm2,%xmm3
je     11f1 <sinTyl+0xe1>
mulsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
divsd  0xe72(%rip),%xmm2
addsd  %xmm2,%xmm3
cmp    $0x7,%edi
jb     11f1 <sinTyl+0xe1>
mulsd  %xmm0,%xmm1
divsd  0xe65(%rip),%xmm1
addsd  %xmm1,%xmm3
je     11f1 <sinTyl+0xe1>
movsd  %xmm3,(%rsp)
lea    0xe5b(%rip),%rdi
jmp    11e7 <sinTyl+0xd7>
xorpd  %xmm0,%xmm0
movsd  %xmm0,(%rsp)
lea    0xec7(%rip),%rdi
call   1030 <puts@plt>
movsd  (%rsp),%xmm3
movapd %xmm3,%xmm0
pop    %rax
ret

LLVM IR (-O0):
@.str = [119 x i8] c"Warning: Function sinTyl from bmc/core/filter_functions.h: Precision must be a positive integer. Assuming 0 precision\0A\00"
@.str.1 = [127 x i8] c"Warning: Function sinTyl from bmc/core/filter_functions.h: Precision representation exceeded. Assuming maximum precision of 7\0A\00"
define double @sinTyl(double %0, i32 %1) {
%3 = alloca double
%4 = alloca i32
%5 = alloca double
%6 = alloca double
%7 = alloca double
store double %0, double* %3
store i32 %1, i32* %4
%8 = load double, double* %3
%9 = load double, double* %3
%10 = fmul double %8, %9
store double %10, double* %6
%11 = load i32, i32* %4
%12 = icmp slt i32 %11, 0
br i1 %12, label %13, label %15
13: ; preds = %2
%14 = call i32 @printf(i8* getelementptr inbounds ([119 x i8], [119 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %4
br label %15
15: ; preds = %13, %2
%16 = load i32, i32* %4
%17 = icmp sge i32 %16, 0
br i1 %17, label %18, label %99
18: ; preds = %15
store double 0.000000e+00, double* %7
%19 = load double, double* %7
store double %19, double* %5
%20 = load i32, i32* %4
%21 = icmp sge i32 %20, 1
br i1 %21, label %22, label %98
22: ; preds = %18
%23 = load double, double* %3
store double %23, double* %7
%24 = load double, double* %7
%25 = load double, double* %5
%26 = fadd double %25, %24
store double %26, double* %5
%27 = load i32, i32* %4
%28 = icmp sge i32 %27, 2
br i1 %28, label %29, label %97
29: ; preds = %22
%30 = load double, double* %7
%31 = load double, double* %6
%32 = fmul double %30, %31
store double %32, double* %7
%33 = load double, double* %7
%34 = fdiv double %33, 6.000000e+00
%35 = load double, double* %5
%36 = fsub double %35, %34
store double %36, double* %5
%37 = load i32, i32* %4
%38 = icmp sge i32 %37, 3
br i1 %38, label %39, label %96
39: ; preds = %29
%40 = load double, double* %7
%41 = load double, double* %6
%42 = fmul double %40, %41
store double %42, double* %7
%43 = load double, double* %7
%44 = fdiv double %43, 1.200000e+02
%45 = load double, double* %5
%46 = fadd double %45, %44
store double %46, double* %5
%47 = load i32, i32* %4
%48 = icmp sge i32 %47, 4
br i1 %48, label %49, label %95
49: ; preds = %39
%50 = load double, double* %7
%51 = load double, double* %6
%52 = fmul double %50, %51
store double %52, double* %7
%53 = load double, double* %7
%54 = fdiv double %53, 5.040000e+03
%55 = load double, double* %5
%56 = fsub double %55, %54
store double %56, double* %5
%57 = load i32, i32* %4
%58 = icmp sge i32 %57, 5
br i1 %58, label %59, label %94
59: ; preds = %49
%60 = load double, double* %7
%61 = load double, double* %6
%62 = fmul double %60, %61
store double %62, double* %7
%63 = load double, double* %7
%64 = fdiv double %63, 3.628800e+05
%65 = load double, double* %5
%66 = fadd double %65, %64
store double %66, double* %5
%67 = load i32, i32* %4
%68 = icmp sge i32 %67, 6
br i1 %68, label %69, label %93
69: ; preds = %59
%70 = load double, double* %7
%71 = load double, double* %6
%72 = fmul double %70, %71
store double %72, double* %7
%73 = load double, double* %7
%74 = fdiv double %73, 3.991680e+07
%75 = load double, double* %5
%76 = fsub double %75, %74
store double %76, double* %5
%77 = load i32, i32* %4
%78 = icmp sge i32 %77, 7
br i1 %78, label %79, label %92
79: ; preds = %69
%80 = load double, double* %7
%81 = load double, double* %6
%82 = fmul double %80, %81
store double %82, double* %7
%83 = load double, double* %7
%84 = fdiv double %83, 0x41F7328CC0000000
%85 = load double, double* %5
%86 = fadd double %85, %84
store double %86, double* %5
%87 = load i32, i32* %4
%88 = icmp sge i32 %87, 8
br i1 %88, label %89, label %91
89: ; preds = %79
%90 = call i32 @printf(i8* getelementptr inbounds ([127 x i8], [127 x i8]* @.str.1, i64 0, i64 0))
br label %91
91: ; preds = %89, %79
br label %92
92: ; preds = %91, %69
br label %93
93: ; preds = %92, %59
br label %94
94: ; preds = %93, %49
br label %95
95: ; preds = %94, %39
br label %96
96: ; preds = %95, %29
br label %97
97: ; preds = %96, %22
br label %98
98: ; preds = %97, %18
br label %99
99: ; preds = %98, %15
%100 = load double, double* %5
ret double %100
}

LLVM IR (-O2):
@str = [126 x i8] c"Warning: Function sinTyl from bmc/core/filter_functions.h: Precision representation exceeded. Assuming maximum precision of 7\00"
@str.2 = [118 x i8] c"Warning: Function sinTyl from bmc/core/filter_functions.h: Precision must be a positive integer. Assuming 0 precision\00"
define double @sinTyl(double %0, i32 %1) {
%3 = fmul double %0, %0
%4 = icmp slt i32 %1, 0
br i1 %4, label %40, label %5
5: ; preds = %2
%6 = icmp eq i32 %1, 0
br i1 %6, label %44, label %7
7: ; preds = %5
%8 = fadd double %0, 0.000000e+00
%9 = icmp eq i32 %1, 1
br i1 %9, label %44, label %10
10: ; preds = %7
%11 = fmul double %3, %0
%12 = fdiv double %11, 6.000000e+00
%13 = fsub double %8, %12
%14 = icmp ugt i32 %1, 2
br i1 %14, label %15, label %44
15: ; preds = %10
%16 = fmul double %3, %11
%17 = fdiv double %16, 1.200000e+02
%18 = fadd double %13, %17
%19 = icmp eq i32 %1, 3
br i1 %19, label %44, label %20
20: ; preds = %15
%21 = fmul double %3, %16
%22 = fdiv double %21, 5.040000e+03
%23 = fsub double %18, %22
%24 = icmp ugt i32 %1, 4
br i1 %24, label %25, label %44
25: ; preds = %20
%26 = fmul double %3, %21
%27 = fdiv double %26, 3.628800e+05
%28 = fadd double %23, %27
%29 = icmp eq i32 %1, 5
br i1 %29, label %44, label %30
30: ; preds = %25
%31 = fmul double %3, %26
%32 = fdiv double %31, 3.991680e+07
%33 = fsub double %28, %32
%34 = icmp ugt i32 %1, 6
br i1 %34, label %35, label %44
35: ; preds = %30
%36 = fmul double %3, %31
%37 = fdiv double %36, 0x41F7328CC0000000
%38 = fadd double %33, %37
%39 = icmp eq i32 %1, 7
br i1 %39, label %44, label %40
40: ; preds = %35, %2
%41 = phi i8* [ getelementptr inbounds ([118 x i8], [118 x i8]* @str.2, i64 0, i64 0), %2 ], [ getelementptr inbounds ([126 x i8], [126 x i8]* @str, i64 0, i64 0), %35 ]
%42 = phi double [ 0.000000e+00, %2 ], [ %38, %35 ]
%43 = tail call i32 @puts(i8* dereferenceable(1) %41)
br label %44
44: ; preds = %40, %5, %10, %20, %30, %35, %25, %15, %7
%45 = phi double [ %38, %35 ], [ %33, %30 ], [ %28, %25 ], [ %23, %20 ], [ %18, %15 ], [ %13, %10 ], [ %8, %7 ], [ 0.000000e+00, %5 ], [ %42, %40 ]
ret double %45
}