// File: /workspace/github_c_makefile_star2_O3/PoulinV[P]AxiCLASS/build/../source/background.c
// Function: background_z_of_tau
int background_z_of_tau(
                        struct background *pba,
                        double tau,
                        double * z
                        ) {

  /** Summary: */

  /** - define local variables */

  /* necessary for calling array_interpolate(), but never used */
  int last_index;

  /** - check that \f$ tau \f$ is in the pre-computed range */
  class_test(tau < pba->tau_table[0],
             pba->error_message,
             "out of range: tau=%e < tau_min=%e\n",tau,pba->tau_table[0]);

  class_test(tau > pba->tau_table[pba->bt_size-1],
             pba->error_message,
             "out of range: tau=%e > tau_max=%e\n",tau,pba->tau_table[pba->bt_size-1]);

  /** - interpolate from pre-computed table with array_interpolate() */
  class_call(array_interpolate_spline(
                                      pba->tau_table,
                                      pba->bt_size,
                                      pba->z_table,
                                      pba->d2z_dtau2_table,
                                      1,
                                      tau,
                                      &last_index,
                                      z,
                                      1,
                                      pba->error_message),
             pba->error_message,
             pba->error_message);

  return _SUCCESS_;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x1000, %rsp           # imm = 0x1000
movq %rdi, %r14
movq 0x450(%rdi), %rdi
movsd (%rdi), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x5c79c
leaq 0xae8dc(%rip), %rsi     # 0x10b029
leaq 0x800(%rsp), %rbx
movq %rbx, %rdi
movb $0x2, %al
callq 0x30af0
leaq 0x9191c(%rip), %rsi     # 0xee082
leaq 0xae8df(%rip), %rdx     # 0x10b04c
movq %rsp, %r15
movq %r15, %rdi
movq %rbx, %rcx
xorl %eax, %eax
callq 0x30af0
addq $0xd1c, %r14            # imm = 0xD1C
leaq 0x918a9(%rip), %rsi     # 0xee034
leaq 0xae8d2(%rip), %rdx     # 0x10b064
movq %r14, %rdi
movl $0x150, %ecx            # imm = 0x150
jmp 0x5c806
movq %rsi, %rax
movslq 0x440(%r14), %rsi
movsd -0x8(%rdi,%rsi,8), %xmm1
leaq 0xd1c(%r14), %rbx
ucomisd %xmm1, %xmm0
jbe 0x5c822
leaq 0xae8b8(%rip), %rsi     # 0x10b078
leaq 0x800(%rsp), %r14
movq %r14, %rdi
movb $0x2, %al
callq 0x30af0
leaq 0x918a9(%rip), %rsi     # 0xee082
leaq 0xae8bb(%rip), %rdx     # 0x10b09b
movq %rsp, %r15
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x30af0
leaq 0x9183d(%rip), %rsi     # 0xee034
leaq 0xae866(%rip), %rdx     # 0x10b064
movq %rbx, %rdi
movl $0x154, %ecx            # imm = 0x154
movq %r15, %r8
xorl %eax, %eax
callq 0x30af0
movl $0x1, %eax
addq $0x1000, %rsp           # imm = 0x1000
popq %rbx
popq %r14
popq %r15
retq
movq 0x458(%r14), %rdx
movq 0x470(%r14), %rcx
subq $0x8, %rsp
leaq 0x8(%rsp), %r9
movl $0x1, %r8d
pushq %rbx
pushq $0x1
pushq %rax
callq 0x18071
addq $0x20, %rsp
movl %eax, %ecx
xorl %eax, %eax
cmpl $0x1, %ecx
jne 0x5c815
leaq 0x91b94(%rip), %rsi     # 0xee3f0
leaq 0xae85d(%rip), %rdx     # 0x10b0c0
leaq 0x800(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rcx
xorl %eax, %eax
callq 0x30af0
leaq 0x917b5(%rip), %rsi     # 0xee034
leaq 0xae7de(%rip), %rdx     # 0x10b064
movq %rbx, %rdi
movl $0x163, %ecx            # imm = 0x163
movq %r14, %r8
jmp 0x5c809