user: Demonstrate the C code that generates the assembly output below:

```asm
<mpfr_atrig>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %edi,%r13d
  mov    %esi,0x8(%rsp)
  mov    %rdx,%rbx
  mov    %ecx,0xc(%rsp)
  mov    %r8d,0x4(%rsp)
  mov    %r9,%r14
  mov    $0x1,%edi
  mov    D44(%rip),%rax
  cmp    %r9,(%rax)
  je     L18
  mov    D110(%rip),%rax
  cmp    %r9,(%rax)
  sete   %dil
  movzbl %dil,%edi
L18:
  call   <assert@plt>
  mov    0x4(%rsp),%edi
  call   <mpz_sgn@plt>
  test   %rax,%rax
  jne    L48
  cmpl   $0x0,0xc(%rsp)
  je     L67
  mov    D44(%rip),%rax
  cmp    %r14,(%rax)
  jne    L97
  mov    D110(%rip),%rax
  mov    (%rax),%rdx
L100:
  mov    0x8(%rsp),%esi
  mov    %r13d,%edi
  call   *%rbx
  neg    %eax
  mov    %eax,%ebx
  mov    %r14,%rdx
  mov    %r13d,%esi
  mov    %r13d,%edi
  call   <mpfr_neg@plt>
L90:
  mov    %ebx,%eax
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L97:
  mov    D110(%rip),%rax
  cmp    %r14,(%rax)
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    D44(%rip),%rax
  mov    (%rax),%rdx
  jmp    L100
L67:
  mov    %r14,%rdx
  mov    0x8(%rsp),%esi
  mov    %r13d,%edi
  call   *%rbx
  mov    %eax,%ebx
  jmp    L90
L48:
  mov    $0x0,%eax
  call   <mpfr_get_emin@plt>
  mov    %eax,0x18(%rsp)
  mov    $0x0,%eax
  call   <mpfr_get_emax@plt>
  mov    %eax,0x1c(%rsp)
  mov    $0x0,%eax
  call   <mpfr_get_emin_min@plt>
  mov    %eax,%edi
  call   <mpfr_set_emin@plt>
  mov    $0x0,%eax
  call   <mpfr_get_emax_max@plt>
  mov    %eax,%edi
  call   <mpfr_set_emax@plt>
  mov    %r13d,%edi
  call   <mpfr_get_prec@plt>
  lea    (%rax,%rax,1),%r15d
  mov    %r14,0x10(%rsp)
  mov    %rbx,%r14
  jmp    L20
L93:
  mov    D44(%rip),%rax
  mov    (%rax),%rdx
  mov    0x8(%rsp),%esi
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   *%r14
  mov    D110(%rip),%r12
  mov    (%r12),%rcx
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <mpfr_sub@plt>
  mov    D44(%rip),%rax
  mov    (%rax),%rsi
  mov    %ebx,%edi
  call   <mpfr_const_pi@plt>
  mov    D44(%rip),%rax
  mov    (%rax),%rcx
  mov    0x4(%rsp),%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpfr_mul_z@plt>
  mov    (%r12),%rdx
  mov    0x8(%rsp),%esi
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   *%r14
  mov    D44(%rip),%rax
  mov    (%rax),%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r12d,%edi
  call   <mpfr_sub@plt>
L42:
  mov    $0x0,%ebx
  mov    %ebx,%edi
  call   <mpfr_clear@plt>
  mov    %r13d,%edi
  call   <mpfr_get_prec@plt>
  mov    %eax,%esi
  mov    0x10(%rsp),%rbx
  mov    %rbx,%rdx
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   <mpfr_prec_round@plt>
  mov    %r13d,%edi
  call   <mpfr_get_prec@plt>
  mov    %eax,%esi
  mov    %rbx,%rdx
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpfr_prec_round@plt>
  mov    %ebp,%esi
  mov    %r12d,%edi
  call   <mpfr_cmp@plt>
  test   %rax,%rax
  je     L35
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   <mpfr_clear@plt>
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpfr_clear@plt>
  mov    %r13d,%edi
  call   <mpfr_get_prec@plt>
  add    %eax,%r15d
L20:
  mov    %r15d,%esi
  mov    $0x0,%ebx
  mov    %ebx,%edi
  call   <mpfr_init2@plt>
  mov    %r15d,%esi
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   <mpfr_init2@plt>
  mov    %r15d,%esi
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpfr_init2@plt>
  mov    D110(%rip),%rbp
  mov    0x0(%rbp),%rsi
  mov    %ebx,%edi
  call   <mpfr_const_pi@plt>
  mov    0x0(%rbp),%rcx
  mov    0x4(%rsp),%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpfr_mul_z@plt>
  cmpl   $0x0,0xc(%rsp)
  jne    L93
  mov    D110(%rip),%rbx
  mov    (%rbx),%rdx
  mov    0x8(%rsp),%ebp
  mov    %ebp,%esi
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   *%r14
  mov    (%rbx),%rcx
  mov    %r12d,%edx
  mov    $0x0,%ebx
  mov    %ebx,%esi
  mov    %r12d,%edi
  call   <mpfr_add@plt>
  mov    D44(%rip),%r12
  mov    (%r12),%rsi
  mov    %ebx,%edi
  call   <mpfr_const_pi@plt>
  mov    (%r12),%rcx
  mov    0x4(%rsp),%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpfr_mul_z@plt>
  mov    (%r12),%rdx
  mov    %ebp,%esi
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   *%r14
  mov    (%r12),%rcx
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <mpfr_add@plt>
  jmp    L42
L35:
  mov    0x10(%rsp),%r14
  mov    %r14,%rdx
  mov    $0x0,%ebx
  mov    %ebx,%esi
  mov    %r13d,%edi
  call   <mpfr_set@plt>
  mov    %ebx,%edi
  call   <mpfr_clear@plt>
  mov    $0x0,%edi
  call   <mpfr_clear@plt>
  mov    0x18(%rsp),%edi
  call   <mpfr_set_emin@plt>
  mov    0x1c(%rsp),%edi
  call   <mpfr_set_emax@plt>
  mov    D44(%rip),%rax
  cmp    %r14,(%rax)
  sete   %sil
  movzbl %sil,%esi
  lea    -0x1(%rsi,%rsi,1),%esi
  mov    %r14,%rdx
  mov    %r13d,%edi
  call   <mpfr_check_range@plt>
  mov    %eax,%ebx
  jmp    L90
```

assistant: ```c
int mpfr_atrig(mpfr_ptr rop, mpfr_srcptr op, int (*fun)(mpfr_ptr rop, mpfr_srcptr op, mpfr_rnd_t rnd), int sub, mpz_t npi, mpfr_rnd_t rnd) {
  assert(rnd == MPFR_RNDU || rnd == MPFR_RNDD);
  int t;
  if (mpz_sgn(npi) == 0) {
    if (sub) {
      mpfr_rnd_t rnd1 = rnd == MPFR_RNDU ? MPFR_RNDD : (assert(rnd == MPFR_RNDD), MPFR_RNDU);
      t = -(*fun)(rop, op, rnd1);
      mpfr_neg(rop, rop, rnd);
    } else {
      t = (*fun)(rop, op, rnd);
    }
    return t;
  }
  mpfr_exp_t emin_rop = mpfr_get_emin();
  mpfr_exp_t emax_rop = mpfr_get_emax();
  mpfr_set_emin(mpfr_get_emin_min());
  mpfr_set_emax(mpfr_get_emax_max());
  mpfr_prec_t prec = mpfr_get_prec(rop) * 2;
  for (;;) {
    mpfr_t pi, inf, sup;
    mpfr_init2(pi, prec);
    mpfr_init2(inf, prec);
    mpfr_init2(sup, prec);
    mpfr_const_pi(pi, MPFR_RNDD);
    mpfr_mul_z(pi, pi, npi, MPFR_RNDD);
    if (sub) {
      (*fun)(sup, op, MPFR_RNDU);
      mpfr_sub(sup, pi, sup, MPFR_RNDD);
    } else {
      (*fun)(inf, op, MPFR_RNDD);
      mpfr_add(inf, pi, inf, MPFR_RNDD);
    }
    mpfr_const_pi(pi, MPFR_RNDU);
    mpfr_mul_z(pi, pi, npi, MPFR_RNDU);
    if (sub) {
      (*fun)(inf, op, MPFR_RNDD);
      mpfr_sub(inf, pi, inf, MPFR_RNDU);
    } else {
      (*fun)(sup, op, MPFR_RNDU);
      mpfr_add(sup, pi, sup, MPFR_RNDU);
    }
    mpfr_clear(pi);
    mpfr_prec_round(inf, mpfr_get_prec(rop), rnd);
    mpfr_prec_round(sup, mpfr_get_prec(rop), rnd);
    if (mpfr_cmp(inf, sup) == 0) {
      mpfr_set(rop, inf, rnd);
      mpfr_clear(inf);
      mpfr_clear(sup);
      mpfr_set_emin(emin_rop);
      mpfr_set_emax(emax_rop);
      return mpfr_check_range(rop, rnd == MPFR_RNDU ? 1 : -1, rnd);
    }
    mpfr_clear(inf);
    mpfr_clear(sup);
    prec += mpfr_get_prec(rop);
  }
}
```