int tpd3(int inverse, const int i[], const double p[], int Nhat,
         const double rawcrd[], double *discrd) {
  double r, s, u, v;
  if (i[4 + inverse] != 12 || 2 < Nhat) {
    return 1;
  }
  u = rawcrd[0];
  v = rawcrd[1];
  if (i[6]) {
    r = p[0] + p[1] * u + p[2] * v;
    v = p[3] + p[4] * u + p[5] * v;
    u = r;
    p += 6;
  }
  if (inverse)
    p += i[4];
  *discrd = p[0] + u * (p[1] + u * (p[4] + u * (p[7])));
  if (Nhat == 1)
    return 0;
  *discrd += v * (p[2] + v * (p[6] + v * (p[10]))) +
             u * (p[5] + v * (p[9]) + u * (p[8])) * v;
  if (i[7]) {
    s = u * u + v * v;
    r = sqrt(s);
    *discrd += r * (p[3] + s * (p[11]));
  }
  return 0;
}


x86 assembly (clang, -O0):
<tpd3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
cmpl   $0xc,(%rax,%rcx,4)
jne    1153 <tpd3+0x43>
mov    $0x2,%eax
cmp    -0x1c(%rbp),%eax
jge    115f <tpd3+0x4f>
movl   $0x1,-0x4(%rbp)
jmp    13aa <tpd3+0x29a>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x18(%rax)
je     1211 <tpd3+0x101>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm1
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x18(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  -0x50(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x18(%rbp),%rax
movsd  0x18(%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  0x20(%rax),%xmm1
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x18(%rbp),%rax
movsd  0x28(%rax),%xmm0
movsd  -0x50(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
add    $0x30,%rax
mov    %rax,-0x18(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     1234 <tpd3+0x124>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm3
movsd  -0x48(%rbp),%xmm2
mov    -0x18(%rbp),%rax
movsd  0x20(%rax),%xmm5
movsd  -0x48(%rbp),%xmm4
mov    -0x18(%rbp),%rax
movsd  0x38(%rax),%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,(%rax)
cmpl   $0x1,-0x1c(%rbp)
jne    129c <tpd3+0x18c>
movl   $0x0,-0x4(%rbp)
jmp    13aa <tpd3+0x29a>
movsd  -0x50(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movsd  0x10(%rax),%xmm1
movsd  -0x50(%rbp),%xmm2
mov    -0x18(%rbp),%rax
movsd  0x30(%rax),%xmm4
movsd  -0x50(%rbp),%xmm3
mov    -0x18(%rbp),%rax
movsd  0x50(%rax),%xmm5
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
movsd  -0x48(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movsd  0x28(%rax),%xmm3
movsd  -0x50(%rbp),%xmm4
mov    -0x18(%rbp),%rax
movsd  0x48(%rax),%xmm5
mulsd  %xmm5,%xmm4
addsd  %xmm3,%xmm4
movsd  -0x48(%rbp),%xmm3
mov    -0x18(%rbp),%rax
movsd  0x40(%rax),%xmm5
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm1
mulsd  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
addsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x1c(%rax)
je     13a3 <tpd3+0x293>
movsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
call   1030 <sqrt@plt>
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movsd  0x18(%rax),%xmm1
movsd  -0x40(%rbp),%xmm2
mov    -0x18(%rbp),%rax
movsd  0x58(%rax),%xmm3
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
mov    -0x30(%rbp),%rax
movsd  (%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tpd3>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    $0x1,%ebp
cmp    $0x2,%ecx
jg     1260 <tpd3+0x150>
movslq %edi,%rax
cmpl   $0xc,0x10(%rsi,%rax,4)
jne    1260 <tpd3+0x150>
mov    %r9,%r14
mov    %rdx,%rbx
movupd (%r8),%xmm5
cmpl   $0x0,0x18(%rsi)
je     1182 <tpd3+0x72>
movsd  (%rbx),%xmm0
movsd  0x8(%rbx),%xmm1
movhpd 0x20(%rbx),%xmm1
movsd  0x10(%rbx),%xmm2
movapd %xmm5,%xmm3
unpcklpd %xmm5,%xmm3
movhpd 0x18(%rbx),%xmm0
mulpd  %xmm1,%xmm3
addpd  %xmm3,%xmm0
movhpd 0x28(%rbx),%xmm2
unpckhpd %xmm5,%xmm5
mulpd  %xmm2,%xmm5
addpd  %xmm0,%xmm5
add    $0x30,%rbx
test   %edi,%edi
je     118e <tpd3+0x7e>
movslq 0x10(%rsi),%rax
lea    (%rbx,%rax,8),%rbx
movsd  0x38(%rbx),%xmm0
mulsd  %xmm5,%xmm0
addsd  0x20(%rbx),%xmm0
mulsd  %xmm5,%xmm0
addsd  0x8(%rbx),%xmm0
mulsd  %xmm5,%xmm0
addsd  (%rbx),%xmm0
movsd  %xmm0,(%r14)
xor    %ebp,%ebp
cmp    $0x1,%ecx
je     1260 <tpd3+0x150>
movapd %xmm5,%xmm1
unpckhpd %xmm5,%xmm1
movsd  0x50(%rbx),%xmm2
mulsd  %xmm1,%xmm2
addsd  0x30(%rbx),%xmm2
mulsd  %xmm1,%xmm2
addsd  0x10(%rbx),%xmm2
movsd  0x48(%rbx),%xmm3
mulsd  %xmm1,%xmm3
addsd  0x28(%rbx),%xmm3
movsd  0x40(%rbx),%xmm4
mulsd  %xmm5,%xmm4
addsd  %xmm3,%xmm4
mulsd  %xmm5,%xmm4
mulsd  %xmm1,%xmm4
mulsd  %xmm1,%xmm2
addsd  %xmm4,%xmm2
addsd  %xmm2,%xmm0
movsd  %xmm0,(%r14)
cmpl   $0x0,0x1c(%rsi)
je     1260 <tpd3+0x150>
mulsd  %xmm1,%xmm1
mulsd  %xmm5,%xmm5
addsd  %xmm1,%xmm5
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm5
jb     1235 <tpd3+0x125>
xorps  %xmm0,%xmm0
sqrtsd %xmm5,%xmm0
jmp    1248 <tpd3+0x138>
movapd %xmm5,%xmm0
movapd %xmm5,(%rsp)
call   1030 <sqrt@plt>
movapd (%rsp),%xmm5
mulsd  0x58(%rbx),%xmm5
addsd  0x18(%rbx),%xmm5
mulsd  %xmm0,%xmm5
addsd  (%r14),%xmm5
movsd  %xmm5,(%r14)
mov    %ebp,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @tpd3(i32 %0, i32* nocapture %1, double* nocapture %2, i32 %3, double* nocapture %4, double* nocapture %5) {
%7 = add nsw i32 %0, 4
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i32, i32* %1, i64 %8
%10 = load i32, i32* %9
%11 = icmp ne i32 %10, 12
%12 = icmp sgt i32 %3, 2
%13 = or i1 %12, %11
br i1 %13, label %102, label %14
14: ; preds = %6
%15 = bitcast double* %4 to <2 x double>*
%16 = load <2 x double>, <2 x double>* %15
%17 = getelementptr inbounds i32, i32* %1, i64 6
%18 = load i32, i32* %17
%19 = icmp eq i32 %18, 0
br i1 %19, label %43, label %20
20: ; preds = %14
%21 = load double, double* %2
%22 = getelementptr inbounds double, double* %2, i64 1
%23 = load double, double* %22
%24 = getelementptr inbounds double, double* %2, i64 2
%25 = load double, double* %24
%26 = getelementptr inbounds double, double* %2, i64 3
%27 = load double, double* %26
%28 = getelementptr inbounds double, double* %2, i64 4
%29 = load double, double* %28
%30 = insertelement <2 x double> poison, double %23, i64 0
%31 = insertelement <2 x double> %30, double %29, i64 1
%32 = shufflevector <2 x double> %16, <2 x double> undef, <2 x i32> zeroinitializer
%33 = insertelement <2 x double> poison, double %21, i64 0
%34 = insertelement <2 x double> %33, double %27, i64 1
%35 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %31, <2 x double> %32, <2 x double> %34)
%36 = getelementptr inbounds double, double* %2, i64 5
%37 = load double, double* %36
%38 = insertelement <2 x double> poison, double %25, i64 0
%39 = insertelement <2 x double> %38, double %37, i64 1
%40 = shufflevector <2 x double> %16, <2 x double> undef, <2 x i32> <i32 1, i32 1>
%41 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %39, <2 x double> %40, <2 x double> %35)
%42 = getelementptr inbounds double, double* %2, i64 6
br label %43
43: ; preds = %20, %14
%44 = phi double* [ %42, %20 ], [ %2, %14 ]
%45 = phi <2 x double> [ %41, %20 ], [ %16, %14 ]
%46 = icmp eq i32 %0, 0
br i1 %46, label %52, label %47
47: ; preds = %43
%48 = getelementptr inbounds i32, i32* %1, i64 4
%49 = load i32, i32* %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds double, double* %44, i64 %50
br label %52
52: ; preds = %47, %43
%53 = phi double* [ %51, %47 ], [ %44, %43 ]
%54 = load double, double* %53
%55 = getelementptr inbounds double, double* %53, i64 1
%56 = load double, double* %55
%57 = getelementptr inbounds double, double* %53, i64 4
%58 = load double, double* %57
%59 = getelementptr inbounds double, double* %53, i64 7
%60 = load double, double* %59
%61 = extractelement <2 x double> %45, i64 0
%62 = tail call double @llvm.fmuladd.f64(double %61, double %60, double %58)
%63 = tail call double @llvm.fmuladd.f64(double %61, double %62, double %56)
%64 = tail call double @llvm.fmuladd.f64(double %61, double %63, double %54)
store double %64, double* %5
%65 = icmp eq i32 %3, 1
br i1 %65, label %102, label %66
66: ; preds = %52
%67 = getelementptr inbounds double, double* %53, i64 2
%68 = load double, double* %67
%69 = getelementptr inbounds double, double* %53, i64 6
%70 = load double, double* %69
%71 = getelementptr inbounds double, double* %53, i64 10
%72 = load double, double* %71
%73 = extractelement <2 x double> %45, i64 1
%74 = tail call double @llvm.fmuladd.f64(double %73, double %72, double %70)
%75 = tail call double @llvm.fmuladd.f64(double %73, double %74, double %68)
%76 = getelementptr inbounds double, double* %53, i64 5
%77 = load double, double* %76
%78 = getelementptr inbounds double, double* %53, i64 9
%79 = load double, double* %78
%80 = tail call double @llvm.fmuladd.f64(double %73, double %79, double %77)
%81 = getelementptr inbounds double, double* %53, i64 8
%82 = load double, double* %81
%83 = tail call double @llvm.fmuladd.f64(double %61, double %82, double %80)
%84 = fmul double %61, %83
%85 = fmul double %73, %84
%86 = tail call double @llvm.fmuladd.f64(double %73, double %75, double %85)
%87 = fadd double %64, %86
store double %87, double* %5
%88 = getelementptr inbounds i32, i32* %1, i64 7
%89 = load i32, i32* %88
%90 = icmp eq i32 %89, 0
br i1 %90, label %102, label %91
91: ; preds = %66
%92 = fmul double %73, %73
%93 = tail call double @llvm.fmuladd.f64(double %61, double %61, double %92)
%94 = tail call double @sqrt(double %93)
%95 = getelementptr inbounds double, double* %53, i64 3
%96 = load double, double* %95
%97 = getelementptr inbounds double, double* %53, i64 11
%98 = load double, double* %97
%99 = tail call double @llvm.fmuladd.f64(double %93, double %98, double %96)
%100 = load double, double* %5
%101 = tail call double @llvm.fmuladd.f64(double %94, double %99, double %100)
store double %101, double* %5
br label %102
102: ; preds = %66, %91, %52, %6
%103 = phi i32 [ 1, %6 ], [ 0, %52 ], [ 0, %91 ], [ 0, %66 ]
ret i32 %103
}