// File: /workspace/github_c_makefile_star2_O0/archer1357[P]Offline-Raytracer/math.c
// Function: mat4_rotateAxis
void mat4_rotateAxis(float *out,const float *axis,
                     float angle,bool norm,bool mul) {
  float axis2[3];
  float mat[16];
  float u,v,w,L,u2,v2,w2;

  mat4_identity(mat);

  if(norm) {
    vec3_normal(axis2,axis);
  } else {
    axis2[0]=axis[0];
    axis2[1]=axis[1];
    axis2[2]=axis[2];
  }

  u=axis2[0];
  v=axis2[1];
  w=axis2[2];

  L=(u*u+v*v+w*w);

  u2=axis2[0]*axis2[0];
  v2=axis2[1]*axis2[1];
  w2=axis2[2]*axis2[2];

  mat[0]=(u2+(v2+w2)*cosf(angle))/L;
  mat[1]=(u*v*(1.0f-cosf(angle))-w*sqrtf(L)*sinf(angle))/L;
  mat[2]=(u*w*(1.0f-cosf(angle))+v*sqrtf(L)*sinf(angle))/L;

  mat[4]=(u*v*(1.0f-cosf(angle))+w*sqrtf(L)*sinf(angle))/L;
  mat[5]=(v2+(u2+w2)*cosf(angle))/L;
  mat[6]=(v*w*(1.0f-cosf(angle))-u*sqrtf(L)*sinf(angle))/L;

  mat[8]=(u*w*(1.0f-cosf(angle))-v*sqrtf(L)*sinf(angle))/L;
  mat[9]=(v*w*(1.0f-cosf(angle))+u*sqrtf(L)*sinf(angle))/L;
  mat[10]=(w2+(u2+v2)*cosf(angle))/L;

  //
  if(mul) {
    mat4_mul(out,out,mat);
  } else {
    memcpy(out,mat,sizeof(mat));
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
movb %cl, %al
movb %dl, %cl
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movss %xmm0, -0x14(%rbp)
andb $0x1, %cl
movb %cl, -0x15(%rbp)
andb $0x1, %al
movb %al, -0x16(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x40cba0
testb $0x1, -0x15(%rbp)
je 0x40d475
leaq -0x24(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x40ca00
jmp 0x40d49e
movq -0x10(%rbp), %rax
movss (%rax), %xmm0
movss %xmm0, -0x24(%rbp)
movq -0x10(%rbp), %rax
movss 0x4(%rax), %xmm0
movss %xmm0, -0x20(%rbp)
movq -0x10(%rbp), %rax
movss 0x8(%rax), %xmm0
movss %xmm0, -0x1c(%rbp)
movss -0x24(%rbp), %xmm0
movss %xmm0, -0x74(%rbp)
movss -0x20(%rbp), %xmm0
movss %xmm0, -0x78(%rbp)
movss -0x1c(%rbp), %xmm0
movss %xmm0, -0x7c(%rbp)
movss -0x74(%rbp), %xmm1
movss -0x74(%rbp), %xmm2
movss -0x78(%rbp), %xmm0
mulss -0x78(%rbp), %xmm0
mulss %xmm2, %xmm1
addss %xmm0, %xmm1
movss -0x7c(%rbp), %xmm0
movss -0x7c(%rbp), %xmm2
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
movss %xmm0, -0x80(%rbp)
movss -0x24(%rbp), %xmm0
mulss -0x24(%rbp), %xmm0
movss %xmm0, -0x84(%rbp)
movss -0x20(%rbp), %xmm0
mulss -0x20(%rbp), %xmm0
movss %xmm0, -0x88(%rbp)
movss -0x1c(%rbp), %xmm0
mulss -0x1c(%rbp), %xmm0
movss %xmm0, -0x8c(%rbp)
movss -0x84(%rbp), %xmm0
movss %xmm0, -0x104(%rbp)
movss -0x88(%rbp), %xmm0
addss -0x8c(%rbp), %xmm0
movss %xmm0, -0x100(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movss -0x104(%rbp), %xmm1
movaps %xmm0, %xmm2
movss -0x100(%rbp), %xmm0
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x70(%rbp)
movss -0x74(%rbp), %xmm0
mulss -0x78(%rbp), %xmm0
movss %xmm0, -0xf0(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movaps %xmm0, %xmm1
movss 0xd5ee1(%rip), %xmm0    # 0x4e3484
subss %xmm1, %xmm0
movss %xmm0, -0xf4(%rbp)
movss -0x7c(%rbp), %xmm0
movss %xmm0, -0xfc(%rbp)
movss -0x80(%rbp), %xmm0
callq 0x4267b0
movaps %xmm0, %xmm1
movss -0xfc(%rbp), %xmm0
mulss %xmm1, %xmm0
movss %xmm0, -0xf8(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401118
movss -0xf8(%rbp), %xmm1
movss -0xf4(%rbp), %xmm2
movaps %xmm0, %xmm3
movss -0xf0(%rbp), %xmm0
mulss %xmm3, %xmm1
movd %xmm1, %eax
xorl $0x80000000, %eax       # imm = 0x80000000
movd %eax, %xmm1
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x6c(%rbp)
movss -0x74(%rbp), %xmm0
mulss -0x7c(%rbp), %xmm0
movss %xmm0, -0xe0(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movaps %xmm0, %xmm1
movss 0xd5e38(%rip), %xmm0    # 0x4e3484
subss %xmm1, %xmm0
movss %xmm0, -0xe4(%rbp)
movss -0x78(%rbp), %xmm0
movss %xmm0, -0xec(%rbp)
movss -0x80(%rbp), %xmm0
callq 0x4267b0
movaps %xmm0, %xmm1
movss -0xec(%rbp), %xmm0
mulss %xmm1, %xmm0
movss %xmm0, -0xe8(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401118
movss -0xe8(%rbp), %xmm1
movss -0xe4(%rbp), %xmm2
movaps %xmm0, %xmm3
movss -0xe0(%rbp), %xmm0
mulss %xmm3, %xmm1
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x68(%rbp)
movss -0x74(%rbp), %xmm0
mulss -0x78(%rbp), %xmm0
movss %xmm0, -0xd0(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movaps %xmm0, %xmm1
movss 0xd5d9c(%rip), %xmm0    # 0x4e3484
subss %xmm1, %xmm0
movss %xmm0, -0xd4(%rbp)
movss -0x7c(%rbp), %xmm0
movss %xmm0, -0xdc(%rbp)
movss -0x80(%rbp), %xmm0
callq 0x4267b0
movaps %xmm0, %xmm1
movss -0xdc(%rbp), %xmm0
mulss %xmm1, %xmm0
movss %xmm0, -0xd8(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401118
movss -0xd8(%rbp), %xmm1
movss -0xd4(%rbp), %xmm2
movaps %xmm0, %xmm3
movss -0xd0(%rbp), %xmm0
mulss %xmm3, %xmm1
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x60(%rbp)
movss -0x88(%rbp), %xmm0
movss %xmm0, -0xcc(%rbp)
movss -0x84(%rbp), %xmm0
addss -0x8c(%rbp), %xmm0
movss %xmm0, -0xc8(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movss -0xcc(%rbp), %xmm1
movaps %xmm0, %xmm2
movss -0xc8(%rbp), %xmm0
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x5c(%rbp)
movss -0x78(%rbp), %xmm0
mulss -0x7c(%rbp), %xmm0
movss %xmm0, -0xb8(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movaps %xmm0, %xmm1
movss 0xd5ca9(%rip), %xmm0    # 0x4e3484
subss %xmm1, %xmm0
movss %xmm0, -0xbc(%rbp)
movss -0x74(%rbp), %xmm0
movss %xmm0, -0xc4(%rbp)
movss -0x80(%rbp), %xmm0
callq 0x4267b0
movaps %xmm0, %xmm1
movss -0xc4(%rbp), %xmm0
mulss %xmm1, %xmm0
movss %xmm0, -0xc0(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401118
movss -0xc0(%rbp), %xmm1
movss -0xbc(%rbp), %xmm2
movaps %xmm0, %xmm3
movss -0xb8(%rbp), %xmm0
mulss %xmm3, %xmm1
movd %xmm1, %eax
xorl $0x80000000, %eax       # imm = 0x80000000
movd %eax, %xmm1
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x58(%rbp)
movss -0x74(%rbp), %xmm0
mulss -0x7c(%rbp), %xmm0
movss %xmm0, -0xa8(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movaps %xmm0, %xmm1
movss 0xd5c00(%rip), %xmm0    # 0x4e3484
subss %xmm1, %xmm0
movss %xmm0, -0xac(%rbp)
movss -0x78(%rbp), %xmm0
movss %xmm0, -0xb4(%rbp)
movss -0x80(%rbp), %xmm0
callq 0x4267b0
movaps %xmm0, %xmm1
movss -0xb4(%rbp), %xmm0
mulss %xmm1, %xmm0
movss %xmm0, -0xb0(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401118
movss -0xb0(%rbp), %xmm1
movss -0xac(%rbp), %xmm2
movaps %xmm0, %xmm3
movss -0xa8(%rbp), %xmm0
mulss %xmm3, %xmm1
movd %xmm1, %eax
xorl $0x80000000, %eax       # imm = 0x80000000
movd %eax, %xmm1
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x50(%rbp)
movss -0x78(%rbp), %xmm0
mulss -0x7c(%rbp), %xmm0
movss %xmm0, -0x98(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movaps %xmm0, %xmm1
movss 0xd5b57(%rip), %xmm0    # 0x4e3484
subss %xmm1, %xmm0
movss %xmm0, -0x9c(%rbp)
movss -0x74(%rbp), %xmm0
movss %xmm0, -0xa4(%rbp)
movss -0x80(%rbp), %xmm0
callq 0x4267b0
movaps %xmm0, %xmm1
movss -0xa4(%rbp), %xmm0
mulss %xmm1, %xmm0
movss %xmm0, -0xa0(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401118
movss -0xa0(%rbp), %xmm1
movss -0x9c(%rbp), %xmm2
movaps %xmm0, %xmm3
movss -0x98(%rbp), %xmm0
mulss %xmm3, %xmm1
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x4c(%rbp)
movss -0x8c(%rbp), %xmm0
movss %xmm0, -0x94(%rbp)
movss -0x84(%rbp), %xmm0
addss -0x88(%rbp), %xmm0
movss %xmm0, -0x90(%rbp)
movss -0x14(%rbp), %xmm0
callq 0x401078
movss -0x94(%rbp), %xmm1
movaps %xmm0, %xmm2
movss -0x90(%rbp), %xmm0
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
divss -0x80(%rbp), %xmm0
movss %xmm0, -0x48(%rbp)
testb $0x1, -0x16(%rbp)
je 0x40da12
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0x40ccc0
jmp 0x40da24
movq -0x8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
movl $0x40, %edx
callq 0x401058
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
nopl (%rax)