// File: melop[P]admixem/./newran02/extreal.cpp
// Function: ExtReal::operator*(ExtReal const&) const
ExtReal ExtReal::operator*(const ExtReal& er) const
{
   if (c==Finite && er.c==Finite) return ExtReal(value*er.value);
   if (c==Missing || er.c==Missing) return ExtReal(Missing);
   if (c==Indefinite || er.c==Indefinite) return ExtReal(Indefinite);
   if (c==Finite)
   {
      if (value==0.0) return ExtReal(Indefinite);
      if (value>0.0) return er;
      return (-er);
   }
   if (er.c==Finite)
   {
      if (er.value==0.0) return ExtReal(Indefinite);
      if (er.value>0.0) return *this;
      return -(*this);
   }
   if (c==PlusInfinity) return er;
   return (-er);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x18(%rbp)
movq %rsi, -0x20(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x70(%rbp)
cmpl $0x0, 0x8(%rax)
jne 0x11e56
movq -0x20(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jne 0x11e56
movq -0x70(%rbp), %rax
movsd (%rax), %xmm0
movq -0x20(%rbp), %rax
mulsd (%rax), %xmm0
leaq -0x10(%rbp), %rdi
callq 0x12180
jmp 0x11fee
movq -0x70(%rbp), %rax
cmpl $0x4, 0x8(%rax)
je 0x11e6a
movq -0x20(%rbp), %rax
cmpl $0x4, 0x8(%rax)
jne 0x11e83
movl $0x4, -0x24(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x24(%rbp), %rsi
callq 0x121b0
jmp 0x11fee
movq -0x70(%rbp), %rax
cmpl $0x3, 0x8(%rax)
je 0x11e97
movq -0x20(%rbp), %rax
cmpl $0x3, 0x8(%rax)
jne 0x11eb0
movl $0x3, -0x28(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x121b0
jmp 0x11fee
movq -0x70(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jne 0x11f33
movq -0x70(%rbp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x11ee6
jp 0x11ee6
movl $0x3, -0x2c(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x2c(%rbp), %rsi
callq 0x121b0
jmp 0x11fee
movq -0x70(%rbp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x11f0f
movq -0x20(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x10(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x11fee
movq -0x20(%rbp), %rdi
callq 0x12000
movl %eax, -0x38(%rbp)
movsd %xmm0, -0x40(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x10(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x8(%rbp)
jmp 0x11fee
movq -0x20(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jne 0x11fb0
movq -0x20(%rbp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x11f69
jp 0x11f69
movl $0x3, -0x44(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x44(%rbp), %rsi
callq 0x121b0
jmp 0x11fee
movq -0x20(%rbp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x11f8f
movq -0x70(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x10(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x11fee
movq -0x70(%rbp), %rdi
callq 0x12000
movl %eax, -0x50(%rbp)
movsd %xmm0, -0x58(%rbp)
movq -0x58(%rbp), %rax
movq %rax, -0x10(%rbp)
movl -0x50(%rbp), %eax
movl %eax, -0x8(%rbp)
jmp 0x11fee
movq -0x70(%rbp), %rax
cmpl $0x1, 0x8(%rax)
jne 0x11fcf
movq -0x20(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x10(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x11fee
movq -0x20(%rbp), %rdi
callq 0x12000
movl %eax, -0x60(%rbp)
movsd %xmm0, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x10(%rbp)
movl -0x60(%rbp), %eax
movl %eax, -0x8(%rbp)
movsd -0x10(%rbp), %xmm0
movl -0x8(%rbp), %eax
addq $0x70, %rsp
popq %rbp
retq
nopl (%rax)