// File: /workspace/github_c_makefile_star2_O0/markpeerdeman[P]mbemm/src/emath/contactc.c
// Function: norm_intc
void norm_intc(element te, hypermatrix c, hypermatrix e)
{ int i;

  fillhypermatrix(c,ZEROFILL);
  fillhypermatrix(e,ZEROFILL);

  for (i=1; i<=7; i++) 
  { /* node 1: */
    matcopy3x3(ctf[i],ctemp);
    scalemat3x3(ctemp,cxi1[i]*cw[i]);
    matsum3x3(e->data[1],ctemp); 
    matcopy3x3(cuf[i],ctemp);
    scalemat3x3(ctemp,cxi1[i]*cw[i]);
    matsum3x3(c->data[1],ctemp); 

    /* node 2: */
    matcopy3x3(ctf[i],ctemp);
    scalemat3x3(ctemp,cxi2[i]*cw[i]);
    matsum3x3(e->data[2],ctemp); 
    matcopy3x3(cuf[i],ctemp);
    scalemat3x3(ctemp,cxi2[i]*cw[i]); 
    matsum3x3(c->data[2],ctemp); 

    /* node 3: */
    matcopy3x3(ctf[i],ctemp);
    scalemat3x3(ctemp,cxi3[i]*cw[i]);
    matsum3x3(e->data[3],ctemp); 
    matcopy3x3(cuf[i],ctemp);
    scalemat3x3(ctemp,cxi3[i]*cw[i]);
    matsum3x3(c->data[3],ctemp); 

  } 
  /* scale the results with the jacobian: */
  for (i=1; i<=3; i++)
  { scalemat3x3(e->data[i],te->area);
    scalemat3x3(c->data[i],te->area);
  }

}

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq %rdx, 0x10(%rsp)
movq 0x18(%rsp), %rdi
xorl %esi, %esi
callq 0x159a0
movq 0x10(%rsp), %rdi
xorl %esi, %esi
callq 0x159a0
movl $0x1, 0xc(%rsp)
cmpl $0x7, 0xc(%rsp)
jg 0xa8d0
movq 0x140fb(%rip), %rax     # 0x1e770
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x140e3(%rip), %rsi     # 0x1e768
callq 0x166a0
movq 0x140d7(%rip), %rdi     # 0x1e768
movslq 0xc(%rsp), %rcx
leaq 0x13a33(%rip), %rax     # 0x1e0d0
movsd (%rax,%rcx,8), %xmm0
movslq 0xc(%rsp), %rcx
leaq 0x13ae2(%rip), %rax     # 0x1e190
mulsd (%rax,%rcx,8), %xmm0
callq 0x15ea0
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq 0x1409c(%rip), %rsi     # 0x1e768
callq 0x16090
movq 0x140a0(%rip), %rax     # 0x1e778
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x14080(%rip), %rsi     # 0x1e768
callq 0x166a0
movq 0x14074(%rip), %rdi     # 0x1e768
movslq 0xc(%rsp), %rcx
leaq 0x139d0(%rip), %rax     # 0x1e0d0
movsd (%rax,%rcx,8), %xmm0
movslq 0xc(%rsp), %rcx
leaq 0x13a7f(%rip), %rax     # 0x1e190
mulsd (%rax,%rcx,8), %xmm0
callq 0x15ea0
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq 0x14039(%rip), %rsi     # 0x1e768
callq 0x16090
movq 0x14035(%rip), %rax     # 0x1e770
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x1401d(%rip), %rsi     # 0x1e768
callq 0x166a0
movq 0x14011(%rip), %rdi     # 0x1e768
movslq 0xc(%rsp), %rcx
leaq 0x139ad(%rip), %rax     # 0x1e110
movsd (%rax,%rcx,8), %xmm0
movslq 0xc(%rsp), %rcx
leaq 0x13a1c(%rip), %rax     # 0x1e190
mulsd (%rax,%rcx,8), %xmm0
callq 0x15ea0
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdi
movq 0x13fd6(%rip), %rsi     # 0x1e768
callq 0x16090
movq 0x13fda(%rip), %rax     # 0x1e778
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x13fba(%rip), %rsi     # 0x1e768
callq 0x166a0
movq 0x13fae(%rip), %rdi     # 0x1e768
movslq 0xc(%rsp), %rcx
leaq 0x1394a(%rip), %rax     # 0x1e110
movsd (%rax,%rcx,8), %xmm0
movslq 0xc(%rsp), %rcx
leaq 0x139b9(%rip), %rax     # 0x1e190
mulsd (%rax,%rcx,8), %xmm0
callq 0x15ea0
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdi
movq 0x13f73(%rip), %rsi     # 0x1e768
callq 0x16090
movq 0x13f6f(%rip), %rax     # 0x1e770
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x13f57(%rip), %rsi     # 0x1e768
callq 0x166a0
movq 0x13f4b(%rip), %rdi     # 0x1e768
movslq 0xc(%rsp), %rcx
leaq 0x13927(%rip), %rax     # 0x1e150
movsd (%rax,%rcx,8), %xmm0
movslq 0xc(%rsp), %rcx
leaq 0x13956(%rip), %rax     # 0x1e190
mulsd (%rax,%rcx,8), %xmm0
callq 0x15ea0
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rdi
movq 0x13f10(%rip), %rsi     # 0x1e768
callq 0x16090
movq 0x13f14(%rip), %rax     # 0x1e778
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x13ef4(%rip), %rsi     # 0x1e768
callq 0x166a0
movq 0x13ee8(%rip), %rdi     # 0x1e768
movslq 0xc(%rsp), %rcx
leaq 0x138c4(%rip), %rax     # 0x1e150
movsd (%rax,%rcx,8), %xmm0
movslq 0xc(%rsp), %rcx
leaq 0x138f3(%rip), %rax     # 0x1e190
mulsd (%rax,%rcx,8), %xmm0
callq 0x15ea0
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rdi
movq 0x13ead(%rip), %rsi     # 0x1e768
callq 0x16090
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0xa663
movl $0x1, 0xc(%rsp)
cmpl $0x3, 0xc(%rsp)
jg 0xa934
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x20(%rsp), %rax
movsd 0xb8(%rax), %xmm0
callq 0x15ea0
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0x20(%rsp), %rax
movsd 0xb8(%rax), %xmm0
callq 0x15ea0
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0xa8d8
addq $0x28, %rsp
retq
nopl (%rax)