int checkWallImpact(float *ballY, int BALL_DIAMETER, float TOP_MARGIN,
                    float BOT_END) {
  if (*ballY < TOP_MARGIN) {
    *ballY = TOP_MARGIN + (TOP_MARGIN - *ballY);
    return -1;
  } else if (*ballY + BALL_DIAMETER - 1 > BOT_END) {
    *ballY =
        BOT_END - (BALL_DIAMETER - 1) - (*ballY + BALL_DIAMETER - 1 - BOT_END);
    return -1;
  }
  return 1;
}


x86 assembly (clang, -O0):
<checkWallImpact>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movss  %xmm0,-0x18(%rbp)
movss  %xmm1,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
movss  -0x18(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1155 <checkWallImpact+0x55>
movss  -0x18(%rbp),%xmm0
movss  -0x18(%rbp),%xmm1
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm1
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    11d5 <checkWallImpact+0xd5>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
cvtsi2ssl -0x14(%rbp),%xmm1
addss  %xmm1,%xmm0
movss  0xe92(%rip),%xmm1
subss  %xmm1,%xmm0
ucomiss -0x1c(%rbp),%xmm0
jbe    11c9 <checkWallImpact+0xc9>
movss  -0x1c(%rbp),%xmm0
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
cvtsi2ss %eax,%xmm1
subss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
cvtsi2ssl -0x14(%rbp),%xmm2
addss  %xmm2,%xmm1
movss  0xe58(%rip),%xmm2
subss  %xmm2,%xmm1
subss  -0x1c(%rbp),%xmm1
subss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    11d5 <checkWallImpact+0xd5>
jmp    11ce <checkWallImpact+0xce>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkWallImpact>:
movss  (%rdi),%xmm2
ucomiss %xmm2,%xmm0
jbe    1116 <checkWallImpact+0x16>
movaps %xmm0,%xmm1
subss  %xmm2,%xmm1
addss  %xmm0,%xmm1
jmp    1149 <checkWallImpact+0x49>
xorps  %xmm0,%xmm0
cvtsi2ss %esi,%xmm0
addss  %xmm0,%xmm2
addss  0xed7(%rip),%xmm2
mov    $0x1,%eax
ucomiss %xmm1,%xmm2
jbe    1152 <checkWallImpact+0x52>
add    $0xffffffff,%esi
xorps  %xmm0,%xmm0
cvtsi2ss %esi,%xmm0
subss  %xmm1,%xmm2
subss  %xmm0,%xmm1
subss  %xmm2,%xmm1
movss  %xmm1,(%rdi)
mov    $0xffffffff,%eax
ret

LLVM IR (-O0):
define i32 @checkWallImpact(float* %0, i32 %1, float %2, float %3) {
%5 = alloca i32
%6 = alloca float*
%7 = alloca i32
%8 = alloca float
%9 = alloca float
store float* %0, float** %6
store i32 %1, i32* %7
store float %2, float* %8
store float %3, float* %9
%10 = load float*, float** %6
%11 = load float, float* %10
%12 = load float, float* %8
%13 = fcmp olt float %11, %12
br i1 %13, label %14, label %22
14: ; preds = %4
%15 = load float, float* %8
%16 = load float, float* %8
%17 = load float*, float** %6
%18 = load float, float* %17
%19 = fsub float %16, %18
%20 = fadd float %15, %19
%21 = load float*, float** %6
store float %20, float* %21
store i32 -1, i32* %5
br label %49
22: ; preds = %4
%23 = load float*, float** %6
%24 = load float, float* %23
%25 = load i32, i32* %7
%26 = sitofp i32 %25 to float
%27 = fadd float %24, %26
%28 = fsub float %27, 1.000000e+00
%29 = load float, float* %9
%30 = fcmp ogt float %28, %29
br i1 %30, label %31, label %47
31: ; preds = %22
%32 = load float, float* %9
%33 = load i32, i32* %7
%34 = sub nsw i32 %33, 1
%35 = sitofp i32 %34 to float
%36 = fsub float %32, %35
%37 = load float*, float** %6
%38 = load float, float* %37
%39 = load i32, i32* %7
%40 = sitofp i32 %39 to float
%41 = fadd float %38, %40
%42 = fsub float %41, 1.000000e+00
%43 = load float, float* %9
%44 = fsub float %42, %43
%45 = fsub float %36, %44
%46 = load float*, float** %6
store float %45, float* %46
store i32 -1, i32* %5
br label %49
47: ; preds = %22
br label %48
48: ; preds = %47
store i32 1, i32* %5
br label %49
49: ; preds = %48, %31, %14
%50 = load i32, i32* %5
ret i32 %50
}

LLVM IR (-O2):
define i32 @checkWallImpact(float* nocapture %0, i32 %1, float %2, float %3) {
%5 = load float, float* %0
%6 = fcmp olt float %5, %2
br i1 %6, label %7, label %10
7: ; preds = %4
%8 = fsub float %2, %5
%9 = fadd float %8, %2
br label %21
10: ; preds = %4
%11 = sitofp i32 %1 to float
%12 = fadd float %5, %11
%13 = fadd float %12, -1.000000e+00
%14 = fcmp ogt float %13, %3
br i1 %14, label %15, label %23
15: ; preds = %10
%16 = add nsw i32 %1, -1
%17 = sitofp i32 %16 to float
%18 = fsub float %3, %17
%19 = fsub float %13, %3
%20 = fsub float %18, %19
br label %21
21: ; preds = %7, %15
%22 = phi float [ %20, %15 ], [ %9, %7 ]
store float %22, float* %0
br label %23
23: ; preds = %21, %10
%24 = phi i32 [ 1, %10 ], [ -1, %21 ]
ret i32 %24
}