#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 fabs(double);
double sqrt(double);
double asin(double x) {
  double t, w, p, q, c, r, s;
  int hx, ix;
  hx = *(1 + (int *)&x);
  ix = hx & 0x7fffffff;
  if (ix >= 0x3ff00000) {
    if (((ix - 0x3ff00000) | *(int *)&x) == 0) {
      return x * 1.57079632679489655800e+00 + x * 6.12323399573676603587e-17;
    }
    return (x - x) / (x - x);
  } else if (ix < 0x3fe00000) {
    if (ix < 0x3e400000) {
      if (1.000e+300 + x > 1.00000000000000000000e+00) {
        return x;
      }
    }
    t = x * x;
    p = t * (1.66666666666666657415e-01 +
             t * (-3.25565818622400915405e-01 +
                  t * (2.01212532134862925881e-01 +
                       t * (-4.00555345006794114027e-02 +
                            t * (7.91534994289814532176e-04 +
                                 t * 3.47933107596021167570e-05)))));
    q = 1.00000000000000000000e+00 +
        t * (-2.40339491173441421878e+00 +
             t * (2.02094576023350569471e+00 +
                  t * (-6.88283971605453293030e-01 +
                       t * 7.70381505559019352791e-02)));
    w = p / q;
    return x + x * w;
  }
  w = 1.00000000000000000000e+00 - fabs(x);
  t = w * 0.5;
  p = t * (1.66666666666666657415e-01 +
           t * (-3.25565818622400915405e-01 +
                t * (2.01212532134862925881e-01 +
                     t * (-4.00555345006794114027e-02 +
                          t * (7.91534994289814532176e-04 +
                               t * 3.47933107596021167570e-05)))));
  q = 1.00000000000000000000e+00 +
      t * (-2.40339491173441421878e+00 +
           t * (2.02094576023350569471e+00 +
                t * (-6.88283971605453293030e-01 +
                     t * 7.70381505559019352791e-02)));
  s = sqrt(t);
  if (ix >= 0x3FEF3333) {
    w = p / q;
    t = 1.57079632679489655800e+00 -
        (2.0 * (s + s * w) - 6.12323399573676603587e-17);
  } else {
    w = s;
    *(int *)&w = 0;
    c = (t - w * w) / (s + w);
    r = p / q;
    p = 2.0 * s * r - (6.12323399573676603587e-17 - 2.0 * c);
    q = 7.85398163397448278999e-01 - 2.0 * w;
    t = 7.85398163397448278999e-01 - (p - q);
  }
  if (hx > 0) {
    return t;
  } else {
    return -t;
  }
}


x86 assembly (clang, -O0):
<asin>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movsd  %xmm0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
and    $0x7fffffff,%eax
mov    %eax,-0x50(%rbp)
cmpl   $0x3ff00000,-0x50(%rbp)
jl     119d <asin+0x8d>
mov    -0x50(%rbp),%eax
sub    $0x3ff00000,%eax
or     -0x10(%rbp),%eax
cmp    $0x0,%eax
jne    117b <asin+0x6b>
movsd  -0x10(%rbp),%xmm0
movsd  0xf0c(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  0xf0f(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a4 <asin+0x494>
movsd  -0x10(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
subsd  -0x10(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a4 <asin+0x494>
cmpl   $0x3fe00000,-0x50(%rbp)
jge    1309 <asin+0x1f9>
cmpl   $0x3e400000,-0x50(%rbp)
jge    11ea <asin+0xda>
movsd  0xec9(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  0xe34(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11e5 <asin+0xd5>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a4 <asin+0x494>
jmp    11ea <asin+0xda>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  -0x18(%rbp),%xmm4
movsd  -0x18(%rbp),%xmm5
movsd  0xe29(%rip),%xmm6
mulsd  %xmm6,%xmm5
movsd  0xe25(%rip),%xmm6
addsd  %xmm6,%xmm5
mulsd  %xmm5,%xmm4
movsd  0xe05(%rip),%xmm5
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm3
movsd  0xded(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xdd5(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xdbd(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  0xd84(%rip),%xmm4
mulsd  %xmm4,%xmm3
movsd  0xd80(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd60(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xd48(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd30(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a4 <asin+0x494>
jmp    130e <asin+0x1fe>
movsd  -0x10(%rbp),%xmm1
movaps 0xd76(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xcda(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xd21(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  -0x18(%rbp),%xmm4
movsd  -0x18(%rbp),%xmm5
movsd  0xce1(%rip),%xmm6
mulsd  %xmm6,%xmm5
movsd  0xcdd(%rip),%xmm6
addsd  %xmm6,%xmm5
mulsd  %xmm5,%xmm4
movsd  0xcbd(%rip),%xmm5
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm3
movsd  0xca5(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xc8d(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xc75(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  0xc3c(%rip),%xmm4
mulsd  %xmm4,%xmm3
movsd  0xc38(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xc18(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xc00(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  0xbe8(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x18(%rbp),%xmm0
call   1030 <sqrt@plt>
movsd  %xmm0,-0x48(%rbp)
cmpl   $0x3fef3333,-0x50(%rbp)
jl     1489 <asin+0x379>
movsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm1
movsd  0xc11(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  0xbfd(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    156a <asin+0x45a>
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movl   $0x0,-0x20(%rbp)
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x48(%rbp),%xmm1
addsd  -0x20(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xb7e(%rip),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm3
addsd  %xmm3,%xmm3
movsd  0xb5b(%rip),%xmm1
subsd  %xmm3,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x20(%rbp),%xmm1
addsd  %xmm1,%xmm1
movsd  0xb1a(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm1
subsd  -0x30(%rbp),%xmm1
movsd  0xaff(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jle    1583 <asin+0x473>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a4 <asin+0x494>
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<asin>:
push   %rbp
push   %rbx
sub    $0x18,%rsp
movq   %xmm0,%rax
mov    %rax,%rbx
shr    $0x20,%rbx
mov    %ebx,%ebp
and    $0x7fffffff,%ebp
cmp    $0x3ff00000,%ebp
jb     114d <asin+0x3d>
add    $0xc0100000,%ebp
or     %ebp,%eax
je     12bc <asin+0x1ac>
subsd  %xmm0,%xmm0
divsd  %xmm0,%xmm0
jmp    13c1 <asin+0x2b1>
cmp    $0x3fdfffff,%ebp
ja     1218 <asin+0x108>
movsd  0xf3f(%rip),%xmm1
addsd  %xmm0,%xmm1
ucomisd 0xeb3(%rip),%xmm1
jbe    117b <asin+0x6b>
cmp    $0x3e400000,%ebp
jb     13c1 <asin+0x2b1>
movapd %xmm0,%xmm2
mulsd  %xmm0,%xmm2
movsd  0xea5(%rip),%xmm1
mulsd  %xmm2,%xmm1
addsd  0xea1(%rip),%xmm1
mulsd  %xmm2,%xmm1
addsd  0xe9d(%rip),%xmm1
mulsd  %xmm2,%xmm1
addsd  0xe99(%rip),%xmm1
mulsd  %xmm2,%xmm1
addsd  0xe95(%rip),%xmm1
mulsd  %xmm2,%xmm1
addsd  0xe91(%rip),%xmm1
movsd  0xe91(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  0xe8d(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  0xe89(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  0xe85(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  0xe21(%rip),%xmm3
mulsd  %xmm2,%xmm1
divsd  %xmm3,%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
jmp    13c1 <asin+0x2b1>
pand   0xde0(%rip),%xmm0
movsd  0xdf8(%rip),%xmm2
movapd %xmm2,%xmm4
subsd  %xmm0,%xmm4
mulsd  0xdf0(%rip),%xmm4
movsd  0xdf0(%rip),%xmm3
mulsd  %xmm4,%xmm3
addsd  0xdec(%rip),%xmm3
mulsd  %xmm4,%xmm3
addsd  0xde8(%rip),%xmm3
mulsd  %xmm4,%xmm3
addsd  0xde4(%rip),%xmm3
mulsd  %xmm4,%xmm3
addsd  0xde0(%rip),%xmm3
mulsd  %xmm4,%xmm3
addsd  0xddc(%rip),%xmm3
movsd  0xddc(%rip),%xmm5
mulsd  %xmm4,%xmm5
addsd  0xdd8(%rip),%xmm5
mulsd  %xmm4,%xmm5
addsd  0xdd4(%rip),%xmm5
mulsd  %xmm4,%xmm5
addsd  0xdd0(%rip),%xmm5
mulsd  %xmm4,%xmm5
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm4
jb     12d9 <asin+0x1c9>
sqrtsd %xmm4,%xmm1
jmp    1310 <asin+0x200>
movsd  0xdbc(%rip),%xmm1
mulsd  %xmm0,%xmm1
mulsd  0xdc8(%rip),%xmm0
addsd  %xmm1,%xmm0
jmp    13c1 <asin+0x2b1>
movapd %xmm4,%xmm0
movsd  %xmm3,0x10(%rsp)
movsd  %xmm4,0x8(%rsp)
movsd  %xmm5,(%rsp)
call   1030 <sqrt@plt>
movsd  (%rsp),%xmm5
movsd  0xd20(%rip),%xmm2
movsd  0x8(%rsp),%xmm4
movsd  0x10(%rsp),%xmm3
movapd %xmm0,%xmm1
mulsd  %xmm4,%xmm3
addsd  %xmm2,%xmm5
cmp    $0x3fef3333,%ebp
jb     134a <asin+0x23a>
divsd  %xmm5,%xmm3
mulsd  %xmm1,%xmm3
addsd  %xmm1,%xmm3
addsd  %xmm3,%xmm3
addsd  0xd58(%rip),%xmm3
movsd  0xd58(%rip),%xmm0
subsd  %xmm3,%xmm0
test   %ebx,%ebx
jle    13b9 <asin+0x2a9>
jmp    13c1 <asin+0x2b1>
movq   %xmm1,%rax
movabs $0xffffffff00000000,%rcx
ff ff ff
and    %rax,%rcx
movq   %rcx,%xmm2
movdqa %xmm2,%xmm0
mulsd  %xmm2,%xmm0
subsd  %xmm0,%xmm4
movapd %xmm1,%xmm0
addsd  %xmm2,%xmm0
divsd  %xmm0,%xmm4
divsd  %xmm5,%xmm3
addsd  %xmm1,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm4,%xmm4
movsd  0xcef(%rip),%xmm0
subsd  %xmm4,%xmm0
subsd  %xmm0,%xmm1
addsd  %xmm2,%xmm2
movsd  0xce3(%rip),%xmm3
movapd %xmm3,%xmm0
subsd  %xmm2,%xmm0
subsd  %xmm1,%xmm0
addsd  %xmm3,%xmm0
test   %ebx,%ebx
jg     13c1 <asin+0x2b1>
xorpd  0xc4f(%rip),%xmm0
add    $0x18,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define double @asin(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca i32
%12 = alloca i32
store double %0, double* %3
%13 = bitcast double* %3 to i32*
%14 = getelementptr inbounds i32, i32* %13, i64 1
%15 = load i32, i32* %14
store i32 %15, i32* %11
%16 = load i32, i32* %11
%17 = and i32 %16, 2147483647
store i32 %17, i32* %12
%18 = load i32, i32* %12
%19 = icmp sge i32 %18, 1072693248
br i1 %19, label %20, label %40
20: ; preds = %1
%21 = load i32, i32* %12
%22 = sub nsw i32 %21, 1072693248
%23 = bitcast double* %3 to i32*
%24 = load i32, i32* %23
%25 = or i32 %22, %24
%26 = icmp eq i32 %25, 0
br i1 %26, label %27, label %32
27: ; preds = %20
%28 = load double, double* %3
%29 = load double, double* %3
%30 = fmul double %29, 0x3C91A62633145C07
%31 = call double @llvm.fmuladd.f64(double %28, double 0x3FF921FB54442D18, double %30)
store double %31, double* %2
br label %161
32: ; preds = %20
%33 = load double, double* %3
%34 = load double, double* %3
%35 = fsub double %33, %34
%36 = load double, double* %3
%37 = load double, double* %3
%38 = fsub double %36, %37
%39 = fdiv double %35, %38
store double %39, double* %2
br label %161
40: ; preds = %1
%41 = load i32, i32* %12
%42 = icmp slt i32 %41, 1071644672
br i1 %42, label %43, label %84
43: ; preds = %40
%44 = load i32, i32* %12
%45 = icmp slt i32 %44, 1044381696
br i1 %45, label %46, label %53
46: ; preds = %43
%47 = load double, double* %3
%48 = fadd double 1.000000e+300, %47
%49 = fcmp ogt double %48, 1.000000e+00
br i1 %49, label %50, label %52
50: ; preds = %46
%51 = load double, double* %3
store double %51, double* %2
br label %161
52: ; preds = %46
br label %53
53: ; preds = %52, %43
%54 = load double, double* %3
%55 = load double, double* %3
%56 = fmul double %54, %55
store double %56, double* %4
%57 = load double, double* %4
%58 = load double, double* %4
%59 = load double, double* %4
%60 = load double, double* %4
%61 = load double, double* %4
%62 = load double, double* %4
%63 = call double @llvm.fmuladd.f64(double %62, double 0x3F023DE10DFDF709, double 0x3F49EFE07501B288)
%64 = call double @llvm.fmuladd.f64(double %61, double %63, double 0xBFA48228B5688F3B)
%65 = call double @llvm.fmuladd.f64(double %60, double %64, double 0x3FC9C1550E884455)
%66 = call double @llvm.fmuladd.f64(double %59, double %65, double 0xBFD4D61203EB6F7D)
%67 = call double @llvm.fmuladd.f64(double %58, double %66, double 0x3FC5555555555555)
%68 = fmul double %57, %67
store double %68, double* %6
%69 = load double, double* %4
%70 = load double, double* %4
%71 = load double, double* %4
%72 = load double, double* %4
%73 = call double @llvm.fmuladd.f64(double %72, double 0x3FB3B8C5B12E9282, double 0xBFE6066C1B8D0159)
%74 = call double @llvm.fmuladd.f64(double %71, double %73, double 0x40002AE59C598AC8)
%75 = call double @llvm.fmuladd.f64(double %70, double %74, double 0xC0033A271C8A2D4B)
%76 = call double @llvm.fmuladd.f64(double %69, double %75, double 1.000000e+00)
store double %76, double* %7
%77 = load double, double* %6
%78 = load double, double* %7
%79 = fdiv double %77, %78
store double %79, double* %5
%80 = load double, double* %3
%81 = load double, double* %3
%82 = load double, double* %5
%83 = call double @llvm.fmuladd.f64(double %81, double %82, double %80)
store double %83, double* %2
br label %161
84: ; preds = %40
br label %85
85: ; preds = %84
%86 = load double, double* %3
%87 = call double @llvm.fabs.f64(double %86)
%88 = fsub double 1.000000e+00, %87
store double %88, double* %5
%89 = load double, double* %5
%90 = fmul double %89, 5.000000e-01
store double %90, double* %4
%91 = load double, double* %4
%92 = load double, double* %4
%93 = load double, double* %4
%94 = load double, double* %4
%95 = load double, double* %4
%96 = load double, double* %4
%97 = call double @llvm.fmuladd.f64(double %96, double 0x3F023DE10DFDF709, double 0x3F49EFE07501B288)
%98 = call double @llvm.fmuladd.f64(double %95, double %97, double 0xBFA48228B5688F3B)
%99 = call double @llvm.fmuladd.f64(double %94, double %98, double 0x3FC9C1550E884455)
%100 = call double @llvm.fmuladd.f64(double %93, double %99, double 0xBFD4D61203EB6F7D)
%101 = call double @llvm.fmuladd.f64(double %92, double %100, double 0x3FC5555555555555)
%102 = fmul double %91, %101
store double %102, double* %6
%103 = load double, double* %4
%104 = load double, double* %4
%105 = load double, double* %4
%106 = load double, double* %4
%107 = call double @llvm.fmuladd.f64(double %106, double 0x3FB3B8C5B12E9282, double 0xBFE6066C1B8D0159)
%108 = call double @llvm.fmuladd.f64(double %105, double %107, double 0x40002AE59C598AC8)
%109 = call double @llvm.fmuladd.f64(double %104, double %108, double 0xC0033A271C8A2D4B)
%110 = call double @llvm.fmuladd.f64(double %103, double %109, double 1.000000e+00)
store double %110, double* %7
%111 = load double, double* %4
%112 = call double @sqrt(double %111)
store double %112, double* %10
%113 = load i32, i32* %12
%114 = icmp sge i32 %113, 1072640819
br i1 %114, label %115, label %125
115: ; preds = %85
%116 = load double, double* %6
%117 = load double, double* %7
%118 = fdiv double %116, %117
store double %118, double* %5
%119 = load double, double* %10
%120 = load double, double* %10
%121 = load double, double* %5
%122 = call double @llvm.fmuladd.f64(double %120, double %121, double %119)
%123 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %122, double 0xBC91A62633145C07)
%124 = fsub double 0x3FF921FB54442D18, %123
store double %124, double* %4
br label %153
125: ; preds = %85
%126 = load double, double* %10
store double %126, double* %5
%127 = bitcast double* %5 to i32*
store i32 0, i32* %127
%128 = load double, double* %4
%129 = load double, double* %5
%130 = load double, double* %5
%131 = fneg double %129
%132 = call double @llvm.fmuladd.f64(double %131, double %130, double %128)
%133 = load double, double* %10
%134 = load double, double* %5
%135 = fadd double %133, %134
%136 = fdiv double %132, %135
store double %136, double* %8
%137 = load double, double* %6
%138 = load double, double* %7
%139 = fdiv double %137, %138
store double %139, double* %9
%140 = load double, double* %10
%141 = fmul double 2.000000e+00, %140
%142 = load double, double* %9
%143 = load double, double* %8
%144 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %143, double 0x3C91A62633145C07)
%145 = fneg double %144
%146 = call double @llvm.fmuladd.f64(double %141, double %142, double %145)
store double %146, double* %6
%147 = load double, double* %5
%148 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %147, double 0x3FE921FB54442D18)
store double %148, double* %7
%149 = load double, double* %6
%150 = load double, double* %7
%151 = fsub double %149, %150
%152 = fsub double 0x3FE921FB54442D18, %151
store double %152, double* %4
br label %153
153: ; preds = %125, %115
%154 = load i32, i32* %11
%155 = icmp sgt i32 %154, 0
br i1 %155, label %156, label %158
156: ; preds = %153
%157 = load double, double* %4
store double %157, double* %2
br label %161
158: ; preds = %153
%159 = load double, double* %4
%160 = fneg double %159
store double %160, double* %2
br label %161
161: ; preds = %158, %156, %53, %50, %32, %27
%162 = load double, double* %2
ret double %162
}

LLVM IR (-O2):
define double @asin(double %0) {
%2 = bitcast double %0 to i64
%3 = lshr i64 %2, 32
%4 = trunc i64 %3 to i32
%5 = and i32 %4, 2147483647
%6 = icmp ugt i32 %5, 1072693247
br i1 %6, label %7, label %18
7: ; preds = %1
%8 = add nsw i32 %5, -1072693248
%9 = trunc i64 %2 to i32
%10 = or i32 %8, %9
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %15
12: ; preds = %7
%13 = fmul double %0, 0x3C91A62633145C07
%14 = tail call double @llvm.fmuladd.f64(double %0, double 0x3FF921FB54442D18, double %13)
br label %81
15: ; preds = %7
%16 = fsub double %0, %0
%17 = fdiv double %16, %16
br label %81
18: ; preds = %1
%19 = icmp ult i32 %5, 1071644672
br i1 %19, label %20, label %39
20: ; preds = %18
%21 = icmp ult i32 %5, 1044381696
%22 = fadd double %0, 1.000000e+300
%23 = fcmp ogt double %22, 1.000000e+00
%24 = and i1 %23, %21
br i1 %24, label %81, label %25
25: ; preds = %20
%26 = fmul double %0, %0
%27 = tail call double @llvm.fmuladd.f64(double %26, double 0x3F023DE10DFDF709, double 0x3F49EFE07501B288)
%28 = tail call double @llvm.fmuladd.f64(double %26, double %27, double 0xBFA48228B5688F3B)
%29 = tail call double @llvm.fmuladd.f64(double %26, double %28, double 0x3FC9C1550E884455)
%30 = tail call double @llvm.fmuladd.f64(double %26, double %29, double 0xBFD4D61203EB6F7D)
%31 = tail call double @llvm.fmuladd.f64(double %26, double %30, double 0x3FC5555555555555)
%32 = fmul double %26, %31
%33 = tail call double @llvm.fmuladd.f64(double %26, double 0x3FB3B8C5B12E9282, double 0xBFE6066C1B8D0159)
%34 = tail call double @llvm.fmuladd.f64(double %26, double %33, double 0x40002AE59C598AC8)
%35 = tail call double @llvm.fmuladd.f64(double %26, double %34, double 0xC0033A271C8A2D4B)
%36 = tail call double @llvm.fmuladd.f64(double %26, double %35, double 1.000000e+00)
%37 = fdiv double %32, %36
%38 = tail call double @llvm.fmuladd.f64(double %0, double %37, double %0)
br label %81
39: ; preds = %18
%40 = tail call double @llvm.fabs.f64(double %0)
%41 = fsub double 1.000000e+00, %40
%42 = fmul double %41, 5.000000e-01
%43 = tail call double @llvm.fmuladd.f64(double %42, double 0x3F023DE10DFDF709, double 0x3F49EFE07501B288)
%44 = tail call double @llvm.fmuladd.f64(double %42, double %43, double 0xBFA48228B5688F3B)
%45 = tail call double @llvm.fmuladd.f64(double %42, double %44, double 0x3FC9C1550E884455)
%46 = tail call double @llvm.fmuladd.f64(double %42, double %45, double 0xBFD4D61203EB6F7D)
%47 = tail call double @llvm.fmuladd.f64(double %42, double %46, double 0x3FC5555555555555)
%48 = fmul double %42, %47
%49 = tail call double @llvm.fmuladd.f64(double %42, double 0x3FB3B8C5B12E9282, double 0xBFE6066C1B8D0159)
%50 = tail call double @llvm.fmuladd.f64(double %42, double %49, double 0x40002AE59C598AC8)
%51 = tail call double @llvm.fmuladd.f64(double %42, double %50, double 0xC0033A271C8A2D4B)
%52 = tail call double @llvm.fmuladd.f64(double %42, double %51, double 1.000000e+00)
%53 = tail call double @sqrt(double %42)
%54 = icmp ugt i32 %5, 1072640818
br i1 %54, label %55, label %60
55: ; preds = %39
%56 = fdiv double %48, %52
%57 = tail call double @llvm.fmuladd.f64(double %53, double %56, double %53)
%58 = tail call double @llvm.fmuladd.f64(double %57, double 2.000000e+00, double 0xBC91A62633145C07)
%59 = fsub double 0x3FF921FB54442D18, %58
br label %76
60: ; preds = %39
%61 = bitcast double %53 to i64
%62 = and i64 %61, -4294967296
%63 = bitcast i64 %62 to double
%64 = fneg double %63
%65 = tail call double @llvm.fmuladd.f64(double %64, double %63, double %42)
%66 = fadd double %53, %63
%67 = fdiv double %65, %66
%68 = fdiv double %48, %52
%69 = fmul double %53, 2.000000e+00
%70 = tail call double @llvm.fmuladd.f64(double %67, double -2.000000e+00, double 0x3C91A62633145C07)
%71 = fneg double %70
%72 = tail call double @llvm.fmuladd.f64(double %69, double %68, double %71)
%73 = tail call double @llvm.fmuladd.f64(double %63, double -2.000000e+00, double 0x3FE921FB54442D18)
%74 = fsub double %73, %72
%75 = fadd double %74, 0x3FE921FB54442D18
br label %76
76: ; preds = %60, %55
%77 = phi double [ %59, %55 ], [ %75, %60 ]
%78 = icmp sgt i32 %4, 0
%79 = fneg double %77
%80 = select i1 %78, double %77, double %79
br label %81
81: ; preds = %76, %20, %25, %15, %12
%82 = phi double [ %14, %12 ], [ %17, %15 ], [ %38, %25 ], [ %0, %20 ], [ %80, %76 ]
ret double %82
}