#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int crosspf(float *, float *, float *);
int quatVectorf(float *q1, float *v, float *q1v, int p) {
  int j, trash;
  float vtemp[3], temp[3], r[3], w, temp2[3], epsijk;
  epsijk = (float)p;
  w = q1[0];
  r[0] = epsijk * q1[1];
  r[1] = epsijk * q1[2];
  r[2] = epsijk * q1[3];
  for (j = 0; j < 3; j++) {
    vtemp[j] = v[j];
  }
  trash = crosspf(r, vtemp, temp);
  for (j = 0; j < 3; j++) {
    temp[j] += w * vtemp[j];
  }
  trash = crosspf(r, temp, temp2);
  for (j = 0; j < 3; j++) {
    q1v[j] = 2.0 * temp2[j] + vtemp[j];
  }
  return 1;
}


x86 assembly (clang, -O0):
<quatVectorf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
cvtsi2ssl -0x1c(%rbp),%xmm0
movss  %xmm0,-0x5c(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x5c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x5c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  0x8(%rax),%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x5c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
movss  %xmm0,-0x40(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    11ad <quatVectorf+0x9d>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movslq -0x20(%rbp),%rax
movss  %xmm0,-0x30(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    117e <quatVectorf+0x6e>
lea    -0x48(%rbp),%rdi
lea    -0x30(%rbp),%rsi
lea    -0x3c(%rbp),%rdx
call   1030 <crosspf@plt>
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    1207 <quatVectorf+0xf7>
movss  -0x4c(%rbp),%xmm0
movslq -0x20(%rbp),%rax
movss  -0x30(%rbp,%rax,4),%xmm2
movslq -0x20(%rbp),%rax
movss  -0x3c(%rbp,%rax,4),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11c8 <quatVectorf+0xb8>
lea    -0x48(%rbp),%rdi
lea    -0x3c(%rbp),%rsi
lea    -0x58(%rbp),%rdx
call   1030 <crosspf@plt>
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    126f <quatVectorf+0x15f>
movslq -0x20(%rbp),%rax
movss  -0x58(%rbp,%rax,4),%xmm0
cvtss2sd %xmm0,%xmm0
movslq -0x20(%rbp),%rax
movss  -0x30(%rbp,%rax,4),%xmm1
cvtss2sd %xmm1,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1222 <quatVectorf+0x112>
mov    $0x1,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<quatVectorf>:
push   %r15
push   %r14
push   %rbx
sub    $0x40,%rsp
cvtsi2ss %ecx,%xmm0
mov    %rdx,%rbx
movss  (%rdi),%xmm1
movss  %xmm1,0x24(%rsp)
movss  0x4(%rdi),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,0x34(%rsp)
movss  0x8(%rdi),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,0x38(%rsp)
mulss  0xc(%rdi),%xmm0
movss  %xmm0,0x3c(%rsp)
mov    (%rsi),%rax
mov    %rax,0x8(%rsp)
mov    0x8(%rsi),%eax
mov    %eax,0x10(%rsp)
lea    0x34(%rsp),%r14
lea    0x8(%rsp),%rsi
lea    0x18(%rsp),%r15
mov    %r14,%rdi
mov    %r15,%rdx
call   1030 <crosspf@plt>
movss  0x8(%rsp),%xmm0
movss  0x24(%rsp),%xmm1
mulss  %xmm1,%xmm0
addss  0x18(%rsp),%xmm0
movss  %xmm0,0x18(%rsp)
movss  0xc(%rsp),%xmm0
mulss  %xmm1,%xmm0
addss  0x1c(%rsp),%xmm0
mulss  0x10(%rsp),%xmm1
movss  %xmm0,0x1c(%rsp)
addss  0x20(%rsp),%xmm1
movss  %xmm1,0x20(%rsp)
lea    0x28(%rsp),%rdx
mov    %r14,%rdi
mov    %r15,%rsi
call   1030 <crosspf@plt>
movss  0x28(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  0x8(%rsp),%xmm1
cvtss2sd %xmm1,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%rbx)
movss  0x2c(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  0xc(%rsp),%xmm1
cvtss2sd %xmm1,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,0x4(%rbx)
movss  0x30(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  0x10(%rsp),%xmm1
cvtss2sd %xmm1,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,0x8(%rbx)
mov    $0x1,%eax
add    $0x40,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @quatVectorf(float* %0, float* %1, float* %2, i32 %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca [3 x float]
%12 = alloca [3 x float]
%13 = alloca [3 x float]
%14 = alloca float
%15 = alloca [3 x float]
%16 = alloca float
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store i32 %3, i32* %8
%17 = load i32, i32* %8
%18 = sitofp i32 %17 to float
store float %18, float* %16
%19 = load float*, float** %5
%20 = getelementptr inbounds float, float* %19, i64 0
%21 = load float, float* %20
store float %21, float* %14
%22 = load float, float* %16
%23 = load float*, float** %5
%24 = getelementptr inbounds float, float* %23, i64 1
%25 = load float, float* %24
%26 = fmul float %22, %25
%27 = getelementptr inbounds [3 x float], [3 x float]* %13, i64 0, i64 0
store float %26, float* %27
%28 = load float, float* %16
%29 = load float*, float** %5
%30 = getelementptr inbounds float, float* %29, i64 2
%31 = load float, float* %30
%32 = fmul float %28, %31
%33 = getelementptr inbounds [3 x float], [3 x float]* %13, i64 0, i64 1
store float %32, float* %33
%34 = load float, float* %16
%35 = load float*, float** %5
%36 = getelementptr inbounds float, float* %35, i64 3
%37 = load float, float* %36
%38 = fmul float %34, %37
%39 = getelementptr inbounds [3 x float], [3 x float]* %13, i64 0, i64 2
store float %38, float* %39
store i32 0, i32* %9
br label %40
40: ; preds = %52, %4
%41 = load i32, i32* %9
%42 = icmp slt i32 %41, 3
br i1 %42, label %43, label %55
43: ; preds = %40
%44 = load float*, float** %6
%45 = load i32, i32* %9
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds float, float* %44, i64 %46
%48 = load float, float* %47
%49 = load i32, i32* %9
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 %50
store float %48, float* %51
br label %52
52: ; preds = %43
%53 = load i32, i32* %9
%54 = add nsw i32 %53, 1
store i32 %54, i32* %9
br label %40
55: ; preds = %40
%56 = getelementptr inbounds [3 x float], [3 x float]* %13, i64 0, i64 0
%57 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%58 = getelementptr inbounds [3 x float], [3 x float]* %12, i64 0, i64 0
%59 = call i32 @crosspf(float* %56, float* %57, float* %58)
store i32 %59, i32* %10
store i32 0, i32* %9
br label %60
60: ; preds = %74, %55
%61 = load i32, i32* %9
%62 = icmp slt i32 %61, 3
br i1 %62, label %63, label %77
63: ; preds = %60
%64 = load float, float* %14
%65 = load i32, i32* %9
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 %66
%68 = load float, float* %67
%69 = load i32, i32* %9
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [3 x float], [3 x float]* %12, i64 0, i64 %70
%72 = load float, float* %71
%73 = call float @llvm.fmuladd.f32(float %64, float %68, float %72)
store float %73, float* %71
br label %74
74: ; preds = %63
%75 = load i32, i32* %9
%76 = add nsw i32 %75, 1
store i32 %76, i32* %9
br label %60
77: ; preds = %60
%78 = getelementptr inbounds [3 x float], [3 x float]* %13, i64 0, i64 0
%79 = getelementptr inbounds [3 x float], [3 x float]* %12, i64 0, i64 0
%80 = getelementptr inbounds [3 x float], [3 x float]* %15, i64 0, i64 0
%81 = call i32 @crosspf(float* %78, float* %79, float* %80)
store i32 %81, i32* %10
store i32 0, i32* %9
br label %82
82: ; preds = %102, %77
%83 = load i32, i32* %9
%84 = icmp slt i32 %83, 3
br i1 %84, label %85, label %105
85: ; preds = %82
%86 = load i32, i32* %9
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds [3 x float], [3 x float]* %15, i64 0, i64 %87
%89 = load float, float* %88
%90 = fpext float %89 to double
%91 = load i32, i32* %9
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 %92
%94 = load float, float* %93
%95 = fpext float %94 to double
%96 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %90, double %95)
%97 = fptrunc double %96 to float
%98 = load float*, float** %7
%99 = load i32, i32* %9
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds float, float* %98, i64 %100
store float %97, float* %101
br label %102
102: ; preds = %85
%103 = load i32, i32* %9
%104 = add nsw i32 %103, 1
store i32 %104, i32* %9
br label %82
105: ; preds = %82
ret i32 1
}

LLVM IR (-O2):
define i32 @quatVectorf(float* nocapture %0, float* nocapture %1, float* nocapture writeonly %2, i32 %3) {
%5 = bitcast float* %1 to i8*
%6 = alloca [3 x float]
%7 = bitcast [3 x float]* %6 to i8*
%8 = alloca [3 x float]
%9 = alloca [3 x float]
%10 = alloca [3 x float]
%11 = bitcast [3 x float]* %8 to i8*
%12 = bitcast [3 x float]* %9 to i8*
%13 = bitcast [3 x float]* %10 to i8*
%14 = sitofp i32 %3 to float
%15 = load float, float* %0
%16 = getelementptr inbounds float, float* %0, i64 1
%17 = load float, float* %16
%18 = fmul float %17, %14
%19 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
store float %18, float* %19
%20 = getelementptr inbounds float, float* %0, i64 2
%21 = load float, float* %20
%22 = fmul float %21, %14
%23 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
store float %22, float* %23
%24 = getelementptr inbounds float, float* %0, i64 3
%25 = load float, float* %24
%26 = fmul float %25, %14
%27 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
store float %26, float* %27
%28 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 0
%29 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%30 = call i32 @crosspf(float* %19, float* %28, float* %29)
%31 = load float, float* %28
%32 = load float, float* %29
%33 = call float @llvm.fmuladd.f32(float %15, float %31, float %32)
store float %33, float* %29
%34 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 1
%35 = load float, float* %34
%36 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
%37 = load float, float* %36
%38 = call float @llvm.fmuladd.f32(float %15, float %35, float %37)
store float %38, float* %36
%39 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 2
%40 = load float, float* %39
%41 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
%42 = load float, float* %41
%43 = call float @llvm.fmuladd.f32(float %15, float %40, float %42)
store float %43, float* %41
%44 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%45 = call i32 @crosspf(float* %19, float* %29, float* %44)
%46 = load float, float* %44
%47 = fpext float %46 to double
%48 = load float, float* %28
%49 = fpext float %48 to double
%50 = call double @llvm.fmuladd.f64(double %47, double 2.000000e+00, double %49)
%51 = fptrunc double %50 to float
store float %51, float* %2
%52 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 1
%53 = load float, float* %52
%54 = fpext float %53 to double
%55 = load float, float* %34
%56 = fpext float %55 to double
%57 = call double @llvm.fmuladd.f64(double %54, double 2.000000e+00, double %56)
%58 = fptrunc double %57 to float
%59 = getelementptr inbounds float, float* %2, i64 1
store float %58, float* %59
%60 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 2
%61 = load float, float* %60
%62 = fpext float %61 to double
%63 = load float, float* %39
%64 = fpext float %63 to double
%65 = call double @llvm.fmuladd.f64(double %62, double 2.000000e+00, double %64)
%66 = fptrunc double %65 to float
%67 = getelementptr inbounds float, float* %2, i64 2
store float %66, float* %67
ret i32 1
}