void collide_1(double xx, double vx, double *v, double e) {
  double R = 1.0;
  double B;
  double r;
  B = xx * vx;
  r = xx * xx;
  if (B < 0.0 && r < R) {
    *v += -xx * 2.0 * e * B / r;
  }
}


x86 assembly (clang, -O0):
<collide_1>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
mov    %rdi,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  0xee1(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x8(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x30(%rbp),%xmm0
jbe    11a7 <collide_1+0xa7>
movsd  -0x38(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11a7 <collide_1+0xa7>
movsd  -0x8(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  0xe80(%rip),%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
divsd  -0x38(%rbp),%xmm0
mov    -0x18(%rbp),%rax
addsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<collide_1>:
movapd %xmm0,%xmm3
mulsd  %xmm0,%xmm3
movsd  0xef0(%rip),%xmm4
ucomisd %xmm3,%xmm4
jbe    1140 <collide_1+0x40>
mulsd  %xmm0,%xmm1
xorpd  %xmm4,%xmm4
ucomisd %xmm1,%xmm4
jbe    1140 <collide_1+0x40>
addsd  %xmm0,%xmm0
mulsd  %xmm2,%xmm0
mulsd  %xmm0,%xmm1
divsd  %xmm3,%xmm1
movsd  (%rdi),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rdi)
ret

LLVM IR (-O0):
define void @collide_1(double %0, double %1, double* %2, double %3) {
%5 = alloca double
%6 = alloca double
%7 = alloca double*
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
store double %0, double* %5
store double %1, double* %6
store double* %2, double** %7
store double %3, double* %8
store double 1.000000e+00, double* %9
%12 = load double, double* %5
%13 = load double, double* %6
%14 = fmul double %12, %13
store double %14, double* %10
%15 = load double, double* %5
%16 = load double, double* %5
%17 = fmul double %15, %16
store double %17, double* %11
%18 = load double, double* %10
%19 = fcmp olt double %18, 0.000000e+00
br i1 %19, label %20, label %37
20: ; preds = %4
%21 = load double, double* %11
%22 = load double, double* %9
%23 = fcmp olt double %21, %22
br i1 %23, label %24, label %37
24: ; preds = %20
%25 = load double, double* %5
%26 = fneg double %25
%27 = fmul double %26, 2.000000e+00
%28 = load double, double* %8
%29 = fmul double %27, %28
%30 = load double, double* %10
%31 = fmul double %29, %30
%32 = load double, double* %11
%33 = fdiv double %31, %32
%34 = load double*, double** %7
%35 = load double, double* %34
%36 = fadd double %35, %33
store double %36, double* %34
br label %37
37: ; preds = %24, %20, %4
ret void
}

LLVM IR (-O2):
define void @collide_1(double %0, double %1, double* nocapture %2, double %3) {
%5 = fmul double %0, %1
%6 = fmul double %0, %0
%7 = fcmp olt double %5, 0.000000e+00
%8 = fcmp olt double %6, 1.000000e+00
%9 = and i1 %8, %7
br i1 %9, label %10, label %17
10: ; preds = %4
%11 = fmul double %0, 2.000000e+00
%12 = fmul double %11, %3
%13 = fmul double %5, %12
%14 = fdiv double %13, %6
%15 = load double, double* %2
%16 = fsub double %15, %14
store double %16, double* %2
br label %17
17: ; preds = %10, %4
ret void
}