// File: /workspace/github_c_makefile_star2_O0/markpeerdeman[P]mbemm/src/emath/post.c
// Function: init_post
void init_post(vector f,mesh theMesh,int nr_of_nodes_body_1)
{ point p;
  point q;
  restraint r;
  matrix tramat;
  float c1, c2, c3;

  tramat=(matrix)newmatrix(3,3);

  /* STEP ONE: copy the solution vector into the point dll: */
  p=(point)point_dll(theMesh->mesh_p,START,0);
  while (p!=(point)NULL)
  { p->dx=V(f,p->label*3-2); p->fx=p->dx;
    p->dy=V(f,p->label*3-1); p->fy=p->dy;
    p->dz=V(f,p->label*3);   p->fz=p->dz;
    p->calculated = NONE;
    p=p->NEXT;
  }

  /* STEP TWO: copy the prescribed BC's into the point dll: */
  p=(point)point_dll(theMesh->mesh_p,START,0);
  while (p!=(point)NULL)
  { /* Look if there is a displacement connected to the node: */
	r=(restraint)restraint_dll(theMesh->mesh_d,START,0);
	while (r!=(restraint)NULL)
	{ if (p->label==r->label)
	  { p->calculated=TRACTION;
	    p->dx=r->u1;
	    p->dy=r->u2;
	    p->dz=r->u3;
	  }
	r=r->NEXT;
	}
	/* Look if there is a traction connected to the node: */
	r=(restraint)restraint_dll(theMesh->mesh_t,START,0);
	while (r!=(restraint)NULL)
	{ if (p->label==r->label)
	  { p->calculated=DISPLACEMENT;
	    p->fx=r->f1;
	    p->fy=r->f2;
	    p->fz=r->f3;
	  }
	r=r->NEXT;
	}
  p=p->NEXT;
  }

  /* STEP FOUR: transform the contact nodes back from their local systems to
                their global system of coordinates: */
  p=(point)point_dll(theMesh->mesh_p,START,0);
  while (p!=(point)NULL)
  { if ((p->type==CNODE)&&(p->label<=nr_of_nodes_body_1))
    { /* find the connected node on body 2: */ 
      q=(point)point_dll(theMesh->mesh_p,SEARCH,p->conn); 
      q->fx = -(p->fx);
      p->dx=q->dx;

      p->fy=0.0; p->fz=0.0; q->fy=0.0; q->fz=0.0;

      p->calculated=CNODE;
      q->calculated=CNODE;

      /* make the backtransformation matrix: */
      makelocalsystem(tramat,p);
      /* transform back: */
      c1=M(tramat,1,1)*p->fx+M(tramat,1,2)*p->fy+M(tramat,1,3)*p->fz;
      c2=M(tramat,2,1)*p->fx+M(tramat,2,2)*p->fy+M(tramat,2,3)*p->fz;
      c3=M(tramat,3,1)*p->fx+M(tramat,3,2)*p->fy+M(tramat,3,3)*p->fz;
      p->fx=c1; p->fy=c2; p->fz=c3;  
      c1=M(tramat,1,1)*p->dx+M(tramat,1,2)*p->dy+M(tramat,1,3)*p->dz;
      c2=M(tramat,2,1)*p->dx+M(tramat,2,2)*p->dy+M(tramat,2,3)*p->dz;
      c3=M(tramat,3,1)*p->dx+M(tramat,3,2)*p->dy+M(tramat,3,3)*p->dz;
      p->dx=c1; p->dy=c2; p->dz=c3;  
      c1=M(tramat,1,1)*q->fx+M(tramat,1,2)*q->fy+M(tramat,1,3)*q->fz;
      c2=M(tramat,2,1)*q->fx+M(tramat,2,2)*q->fy+M(tramat,2,3)*q->fz;
      c3=M(tramat,3,1)*q->fx+M(tramat,3,2)*q->fy+M(tramat,3,3)*q->fz;
      q->fx=c1; q->fy=c2; q->fz=c3; 
      c1=M(tramat,1,1)*q->dx+M(tramat,1,2)*q->dy+M(tramat,1,3)*q->dz;
      c2=M(tramat,2,1)*q->dx+M(tramat,2,2)*q->dy+M(tramat,2,3)*q->dz;
      c3=M(tramat,3,1)*q->dx+M(tramat,3,2)*q->dy+M(tramat,3,3)*q->dz;
      q->dx=c1; q->dy=c2; q->dz=c3; 
    }
    p=p->NEXT;
  }

  /* STEP FIVE: Look if there are any free nodes left: */
  p=(point)point_dll(theMesh->mesh_p,START,0);
  while (p!=(point)NULL)
  { if (p->calculated==NONE)
    { p->fx=0.0;
      p->fy=0.0;
      p->fz=0.0;
      p->calculated=DISPLACEMENT;
    }
  p=p->NEXT;
  } 


  /* All nodal results data is now copied into the point_dll */
  /* scaling_back: */
  scalesystemback(theMesh);

  /* NOTE: Not the element parameters are scaled back, only the results in the 
   * point_dll. All element parameters have to be scaled manually! */


  delmatrix(tramat);
}

// Assembly:
subq $0x48, %rsp
movq %rdi, 0x40(%rsp)
movq %rsi, 0x38(%rsp)
movl %edx, 0x34(%rsp)
movl $0x3, %esi
movl %esi, %edi
callq 0x15420
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq (%rax), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x175c0
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x28(%rsp)
je 0x383e
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x28(%rsp), %rcx
imull $0x3, 0x10(%rcx), %ecx
subl $0x2, %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x50(%rax)
movq 0x28(%rsp), %rax
movsd 0x50(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x38(%rax)
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x28(%rsp), %rcx
imull $0x3, 0x10(%rcx), %ecx
subl $0x1, %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x58(%rax)
movq 0x28(%rsp), %rax
movsd 0x58(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x40(%rax)
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x28(%rsp), %rcx
imull $0x3, 0x10(%rcx), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x60(%rax)
movq 0x28(%rsp), %rax
movsd 0x60(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x48(%rax)
movq 0x28(%rsp), %rax
movl $0x13, 0x80(%rax)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0x3759
movq 0x38(%rsp), %rax
movq (%rax), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x175c0
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x28(%rsp)
je 0x398b
movq 0x38(%rsp), %rax
movq 0x10(%rax), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x17a40
movq %rax, 0x18(%rsp)
cmpq $0x0, 0x18(%rsp)
je 0x38ec
movq 0x28(%rsp), %rax
movl 0x10(%rax), %eax
movq 0x18(%rsp), %rcx
cmpl 0x14(%rcx), %eax
jne 0x38dc
movq 0x28(%rsp), %rax
movl $0x0, 0x80(%rax)
movq 0x18(%rsp), %rax
movsd 0x30(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x50(%rax)
movq 0x18(%rsp), %rax
movsd 0x38(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x58(%rax)
movq 0x18(%rsp), %rax
movsd 0x40(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x60(%rax)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0x3877
movq 0x38(%rsp), %rax
movq 0x18(%rax), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x17a40
movq %rax, 0x18(%rsp)
cmpq $0x0, 0x18(%rsp)
je 0x3978
movq 0x28(%rsp), %rax
movl 0x10(%rax), %eax
movq 0x18(%rsp), %rcx
cmpl 0x14(%rcx), %eax
jne 0x3968
movq 0x28(%rsp), %rax
movl $0x1, 0x80(%rax)
movq 0x18(%rsp), %rax
movsd 0x18(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x38(%rax)
movq 0x18(%rsp), %rax
movsd 0x20(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x40(%rax)
movq 0x18(%rsp), %rax
movsd 0x28(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x48(%rax)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0x3903
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0x3854
movq 0x38(%rsp), %rax
movq (%rax), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x175c0
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x28(%rsp)
je 0x40a0
movq 0x28(%rsp), %rax
cmpl $0xf, 0x14(%rax)
jne 0x408d
movq 0x28(%rsp), %rax
movl 0x10(%rax), %eax
cmpl 0x34(%rsp), %eax
jg 0x408d
movq 0x38(%rsp), %rax
movq (%rax), %rdi
movq 0x28(%rsp), %rax
movl 0x18(%rax), %edx
movl $0x2, %esi
callq 0x175c0
movq %rax, 0x20(%rsp)
movq 0x28(%rsp), %rax
movsd 0x38(%rax), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x38(%rax)
movq 0x20(%rsp), %rax
movsd 0x50(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x50(%rax)
movq 0x28(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x40(%rax)
movq 0x28(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x48(%rax)
movq 0x20(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x40(%rax)
movq 0x20(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x48(%rax)
movq 0x28(%rsp), %rax
movl $0xf, 0x80(%rax)
movq 0x20(%rsp), %rax
movl $0xf, 0x80(%rax)
movq 0x10(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0xac90
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd (%rax), %xmm1
movq 0x28(%rsp), %rax
movsd 0x38(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x28(%rsp), %rax
mulsd 0x40(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd 0x48(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd (%rax), %xmm1
movq 0x28(%rsp), %rax
movsd 0x38(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x28(%rsp), %rax
mulsd 0x40(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd 0x48(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd (%rax), %xmm1
movq 0x28(%rsp), %rax
movsd 0x38(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x28(%rsp), %rax
mulsd 0x40(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd 0x48(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x4(%rsp)
movss 0xc(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x38(%rax)
movss 0x8(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x40(%rax)
movss 0x4(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x48(%rax)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd (%rax), %xmm1
movq 0x28(%rsp), %rax
movsd 0x50(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x28(%rsp), %rax
mulsd 0x58(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd 0x60(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd (%rax), %xmm1
movq 0x28(%rsp), %rax
movsd 0x50(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x28(%rsp), %rax
mulsd 0x58(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd 0x60(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd (%rax), %xmm1
movq 0x28(%rsp), %rax
movsd 0x50(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x28(%rsp), %rax
mulsd 0x58(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x28(%rsp), %rax
movsd 0x60(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x4(%rsp)
movss 0xc(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x50(%rax)
movss 0x8(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x58(%rax)
movss 0x4(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x28(%rsp), %rax
movsd %xmm0, 0x60(%rax)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd (%rax), %xmm1
movq 0x20(%rsp), %rax
movsd 0x38(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x20(%rsp), %rax
mulsd 0x40(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x20(%rsp), %rax
movsd 0x48(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd (%rax), %xmm1
movq 0x20(%rsp), %rax
movsd 0x38(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x20(%rsp), %rax
mulsd 0x40(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x20(%rsp), %rax
movsd 0x48(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd (%rax), %xmm1
movq 0x20(%rsp), %rax
movsd 0x38(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x20(%rsp), %rax
mulsd 0x40(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x20(%rsp), %rax
movsd 0x48(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x4(%rsp)
movss 0xc(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x38(%rax)
movss 0x8(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x40(%rax)
movss 0x4(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x48(%rax)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd (%rax), %xmm1
movq 0x20(%rsp), %rax
movsd 0x50(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x20(%rsp), %rax
mulsd 0x58(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x20(%rsp), %rax
movsd 0x60(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd (%rax), %xmm1
movq 0x20(%rsp), %rax
movsd 0x50(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x20(%rsp), %rax
mulsd 0x58(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x20(%rsp), %rax
movsd 0x60(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd (%rax), %xmm1
movq 0x20(%rsp), %rax
movsd 0x50(%rax), %xmm2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x8(%rax), %xmm0
movq 0x20(%rsp), %rax
mulsd 0x58(%rax), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movsd 0x10(%rax), %xmm0
movq 0x20(%rsp), %rax
movsd 0x60(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x4(%rsp)
movss 0xc(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x50(%rax)
movss 0x8(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x58(%rax)
movss 0x4(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq 0x20(%rsp), %rax
movsd %xmm0, 0x60(%rax)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0x39a1
movq 0x38(%rsp), %rax
movq (%rax), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x175c0
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x28(%rsp)
je 0x4112
movq 0x28(%rsp), %rax
cmpl $0x13, 0x80(%rax)
jne 0x4102
movq 0x28(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x38(%rax)
movq 0x28(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x40(%rax)
movq 0x28(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x48(%rax)
movq 0x28(%rsp), %rax
movl $0x1, 0x80(%rax)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0x40b6
movq 0x38(%rsp), %rdi
callq 0x10c30
movq 0x10(%rsp), %rdi
callq 0x15690
addq $0x48, %rsp
retq
nopl (%rax,%rax)