clipt(p, q, t0, t1) register float p, q, *t0, *t1;
{
  register float r;
  int accept = !0;
  if (p < 0.0) {
    r = q / p;
    if (r > *t1)
      accept = 0;
    else if (r > *t0)
      *t0 = r;
  } else if (p > 0.0) {
    r = q / p;
    if (r < *t0)
      accept = 0;
    else if (r < *t1)
      *t1 = r;
  } else if (q < 0.0)
    accept = 0;
  return (accept);
}


x86 assembly (clang, -O0):
<clipt>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm1,-0x28(%rbp)
movaps %xmm0,%xmm1
movsd  -0x28(%rbp),%xmm0
cvtsd2ss %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm0
movss  %xmm1,-0x4(%rbp)
movss  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
movss  -0x4(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jbe    119e <clipt+0x9e>
movss  -0x8(%rbp),%xmm0
divss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x1c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
ucomiss (%rax),%xmm0
jbe    1175 <clipt+0x75>
movl   $0x0,-0x20(%rbp)
jmp    1199 <clipt+0x99>
movss  -0x1c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
ucomiss (%rax),%xmm0
jbe    1194 <clipt+0x94>
movss  -0x1c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
jmp    1199 <clipt+0x99>
jmp    1239 <clipt+0x139>
movss  -0x4(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1212 <clipt+0x112>
movss  -0x8(%rbp),%xmm0
divss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x1c(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    11e5 <clipt+0xe5>
movl   $0x0,-0x20(%rbp)
jmp    120d <clipt+0x10d>
movss  -0x1c(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    1208 <clipt+0x108>
movss  -0x1c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
jmp    120d <clipt+0x10d>
jmp    1234 <clipt+0x134>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jbe    122f <clipt+0x12f>
movl   $0x0,-0x20(%rbp)
jmp    1234 <clipt+0x134>
jmp    1239 <clipt+0x139>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<clipt>:
cvtsd2ss %xmm0,%xmm2
xorps  %xmm0,%xmm0
cvtsd2ss %xmm1,%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm2,%xmm1
jbe    112d <clipt+0x2d>
divss  %xmm2,%xmm0
xor    %eax,%eax
ucomiss (%rsi),%xmm0
ja     1163 <clipt+0x63>
mov    $0x1,%eax
ucomiss (%rdi),%xmm0
jbe    1163 <clipt+0x63>
movss  %xmm0,(%rdi)
ret
ucomiss %xmm1,%xmm2
jbe    1154 <clipt+0x54>
divss  %xmm2,%xmm0
movss  (%rdi),%xmm1
xor    %eax,%eax
ucomiss %xmm0,%xmm1
ja     1163 <clipt+0x63>
movss  (%rsi),%xmm1
mov    $0x1,%eax
ucomiss %xmm0,%xmm1
jbe    1163 <clipt+0x63>
movss  %xmm0,(%rsi)
ret
mov    $0x1,%eax
xorps  %xmm1,%xmm1
ucomiss %xmm0,%xmm1
jbe    1163 <clipt+0x63>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @clipt(double %0, double %1, float* %2, float* %3) {
%5 = alloca float
%6 = alloca float
%7 = alloca float*
%8 = alloca float*
%9 = alloca float
%10 = alloca i32
%11 = fptrunc double %0 to float
%12 = fptrunc double %1 to float
store float %11, float* %5
store float %12, float* %6
store float* %2, float** %7
store float* %3, float** %8
store i32 1, i32* %10
%13 = load float, float* %5
%14 = fpext float %13 to double
%15 = fcmp olt double %14, 0.000000e+00
br i1 %15, label %16, label %35
16: ; preds = %4
%17 = load float, float* %6
%18 = load float, float* %5
%19 = fdiv float %17, %18
store float %19, float* %9
%20 = load float, float* %9
%21 = load float*, float** %8
%22 = load float, float* %21
%23 = fcmp ogt float %20, %22
br i1 %23, label %24, label %25
24: ; preds = %16
store i32 0, i32* %10
br label %34
25: ; preds = %16
%26 = load float, float* %9
%27 = load float*, float** %7
%28 = load float, float* %27
%29 = fcmp ogt float %26, %28
br i1 %29, label %30, label %33
30: ; preds = %25
%31 = load float, float* %9
%32 = load float*, float** %7
store float %31, float* %32
br label %33
33: ; preds = %30, %25
br label %34
34: ; preds = %33, %24
br label %65
35: ; preds = %4
%36 = load float, float* %5
%37 = fpext float %36 to double
%38 = fcmp ogt double %37, 0.000000e+00
br i1 %38, label %39, label %58
39: ; preds = %35
%40 = load float, float* %6
%41 = load float, float* %5
%42 = fdiv float %40, %41
store float %42, float* %9
%43 = load float, float* %9
%44 = load float*, float** %7
%45 = load float, float* %44
%46 = fcmp olt float %43, %45
br i1 %46, label %47, label %48
47: ; preds = %39
store i32 0, i32* %10
br label %57
48: ; preds = %39
%49 = load float, float* %9
%50 = load float*, float** %8
%51 = load float, float* %50
%52 = fcmp olt float %49, %51
br i1 %52, label %53, label %56
53: ; preds = %48
%54 = load float, float* %9
%55 = load float*, float** %8
store float %54, float* %55
br label %56
56: ; preds = %53, %48
br label %57
57: ; preds = %56, %47
br label %64
58: ; preds = %35
%59 = load float, float* %6
%60 = fpext float %59 to double
%61 = fcmp olt double %60, 0.000000e+00
br i1 %61, label %62, label %63
62: ; preds = %58
store i32 0, i32* %10
br label %63
63: ; preds = %62, %58
br label %64
64: ; preds = %63, %57
br label %65
65: ; preds = %64, %34
%66 = load i32, i32* %10
ret i32 %66
}

LLVM IR (-O2):
define i32 @clipt(double %0, double %1, float* nocapture %2, float* nocapture %3) {
%5 = fptrunc double %0 to float
%6 = fptrunc double %1 to float
%7 = fcmp olt float %5, 0.000000e+00
br i1 %7, label %8, label %16
8: ; preds = %4
%9 = fdiv float %6, %5
%10 = load float, float* %3
%11 = fcmp ogt float %9, %10
br i1 %11, label %29, label %12
12: ; preds = %8
%13 = load float, float* %2
%14 = fcmp ogt float %9, %13
br i1 %14, label %15, label %29
15: ; preds = %12
store float %9, float* %2
br label %29
16: ; preds = %4
%17 = fcmp ogt float %5, 0.000000e+00
br i1 %17, label %18, label %26
18: ; preds = %16
%19 = fdiv float %6, %5
%20 = load float, float* %2
%21 = fcmp olt float %19, %20
br i1 %21, label %29, label %22
22: ; preds = %18
%23 = load float, float* %3
%24 = fcmp olt float %19, %23
br i1 %24, label %25, label %29
25: ; preds = %22
store float %19, float* %3
br label %29
26: ; preds = %16
%27 = fcmp olt float %6, 0.000000e+00
br i1 %27, label %28, label %29
28: ; preds = %26
br label %29
29: ; preds = %18, %8, %22, %25, %28, %26, %15, %12
%30 = phi i32 [ 1, %15 ], [ 1, %12 ], [ 1, %25 ], [ 1, %22 ], [ 0, %28 ], [ 1, %26 ], [ 0, %8 ], [ 0, %18 ]
ret i32 %30
}