unsigned long long __rthal_generic_div96by32(const unsigned long long h,
                                             const unsigned l, const unsigned d,
                                             unsigned long *const rp) {
  unsigned long rh;
  const unsigned qh = ((unsigned)__rthal_generic_ulldiv(((h)), ((d)), ((&rh))));
  const unsigned long long t = ({
    union {
      unsigned long long _ull;
      struct {
        unsigned _h;
        unsigned _l;
      } _s;
    } _u;
    _u._s._h = (rh);
    _u._s._l = (l);
    _u._ull;
  });
  const unsigned ql = ((unsigned)__rthal_generic_ulldiv(((t)), ((d)), ((rp))));
  return ({
    union {
      unsigned long long _ull;
      struct {
        unsigned _h;
        unsigned _l;
      } _s;
    } _u;
    _u._s._h = (qh);
    _u._s._l = (ql);
    _u._ull;
  });
}


x86 assembly (clang, -O0):
<__rthal_generic_div96by32>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%esi
lea    -0x20(%rbp),%rdx
mov    $0x0,%al
call   1030 <__rthal_generic_ulldiv@plt>
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    %eax,-0x38(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x10(%rbp),%esi
mov    -0x18(%rbp),%rdx
mov    $0x0,%al
call   1030 <__rthal_generic_ulldiv@plt>
mov    %eax,-0x44(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<__rthal_generic_div96by32>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %edx,%ebp
mov    %esi,%ebx
mov    %rsp,%rdx
mov    %ebp,%esi
xor    %eax,%eax
call   1030 <__rthal_generic_ulldiv@plt>
mov    %eax,%r15d
mov    (%rsp),%eax
shl    $0x20,%rbx
or     %rax,%rbx
mov    %rbx,%rdi
mov    %ebp,%esi
mov    %r14,%rdx
xor    %eax,%eax
call   1030 <__rthal_generic_ulldiv@plt>
shl    $0x20,%rax
mov    %r15d,%ecx
or     %rcx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%union.anon = type { i64 }
%union.anon.0 = type { i64 }
%struct.anon = type { i32, i32 }
%struct.anon.1 = type { i32, i32 }
define i64 @__rthal_generic_div96by32(i64 %0, i32 %1, i32 %2, i64* %3) {
%5 = alloca i64
%6 = alloca i32
%7 = alloca i32
%8 = alloca i64*
%9 = alloca i64
%10 = alloca i32
%11 = alloca i64
%12 = alloca %union.anon
%13 = alloca i64
%14 = alloca i32
%15 = alloca %union.anon.0
%16 = alloca i64
store i64 %0, i64* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i64* %3, i64** %8
%17 = load i64, i64* %5
%18 = load i32, i32* %7
%19 = call i32 (i64, i32, i64*, ...) bitcast (i32 (...)* @__rthal_generic_ulldiv to i32 (i64, i32, i64*, ...)*)(i64 %17, i32 %18, i64* %9)
store i32 %19, i32* %10
%20 = load i64, i64* %9
%21 = trunc i64 %20 to i32
%22 = bitcast %union.anon* %12 to %struct.anon*
%23 = getelementptr inbounds %struct.anon, %struct.anon* %22, i32 0, i32 0
store i32 %21, i32* %23
%24 = load i32, i32* %6
%25 = bitcast %union.anon* %12 to %struct.anon*
%26 = getelementptr inbounds %struct.anon, %struct.anon* %25, i32 0, i32 1
store i32 %24, i32* %26
%27 = bitcast %union.anon* %12 to i64*
%28 = load i64, i64* %27
store i64 %28, i64* %13
%29 = load i64, i64* %13
store i64 %29, i64* %11
%30 = load i64, i64* %11
%31 = load i32, i32* %7
%32 = load i64*, i64** %8
%33 = call i32 (i64, i32, i64*, ...) bitcast (i32 (...)* @__rthal_generic_ulldiv to i32 (i64, i32, i64*, ...)*)(i64 %30, i32 %31, i64* %32)
store i32 %33, i32* %14
%34 = load i32, i32* %10
%35 = bitcast %union.anon.0* %15 to %struct.anon.1*
%36 = getelementptr inbounds %struct.anon.1, %struct.anon.1* %35, i32 0, i32 0
store i32 %34, i32* %36
%37 = load i32, i32* %14
%38 = bitcast %union.anon.0* %15 to %struct.anon.1*
%39 = getelementptr inbounds %struct.anon.1, %struct.anon.1* %38, i32 0, i32 1
store i32 %37, i32* %39
%40 = bitcast %union.anon.0* %15 to i64*
%41 = load i64, i64* %40
store i64 %41, i64* %16
%42 = load i64, i64* %16
ret i64 %42
}

LLVM IR (-O2):
define i64 @__rthal_generic_div96by32(i64 %0, i32 %1, i32 %2, i64* %3) {
%5 = alloca i64
%6 = bitcast i64* %5 to i8*
%7 = call i32 (i64, i32, i64*, ...) bitcast (i32 (...)* @__rthal_generic_ulldiv to i32 (i64, i32, i64*, ...)*)(i64 %0, i32 %2, i64* %5)
%8 = load i64, i64* %5
%9 = zext i32 %1 to i64
%10 = shl nuw i64 %9, 32
%11 = and i64 %8, 4294967295
%12 = or i64 %11, %10
%13 = call i32 (i64, i32, i64*, ...) bitcast (i32 (...)* @__rthal_generic_ulldiv to i32 (i64, i32, i64*, ...)*)(i64 %12, i32 %2, i64* %3)
%14 = zext i32 %13 to i64
%15 = shl nuw i64 %14, 32
%16 = zext i32 %7 to i64
%17 = or i64 %15, %16
ret i64 %17
}