void detectX86FamilyModel(unsigned EAX, unsigned *Family, unsigned *Model) {
  *Family = (EAX >> 8) & 0xf;
  *Model = (EAX >> 4) & 0xf;
  if (*Family == 6 || *Family == 0xf) {
    if (*Family == 0xf)
      *Family += (EAX >> 20) & 0xff;
    *Model += ((EAX >> 16) & 0xf) << 4;
  }
}


x86 assembly (clang, -O0):
<detectX86FamilyModel>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x4(%rbp),%ecx
shr    $0x8,%ecx
and    $0xf,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x4(%rbp),%ecx
shr    $0x4,%ecx
and    $0xf,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0x6,(%rax)
je     1147 <detectX86FamilyModel+0x47>
mov    -0x10(%rbp),%rax
cmpl   $0xf,(%rax)
jne    117c <detectX86FamilyModel+0x7c>
mov    -0x10(%rbp),%rax
cmpl   $0xf,(%rax)
jne    1168 <detectX86FamilyModel+0x68>
mov    -0x4(%rbp),%ecx
shr    $0x14,%ecx
and    $0xff,%ecx
mov    -0x10(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x4(%rbp),%ecx
shr    $0x10,%ecx
and    $0xf,%ecx
shl    $0x4,%ecx
mov    -0x18(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<detectX86FamilyModel>:
mov    %edi,%eax
shr    $0x8,%eax
and    $0xf,%eax
mov    %eax,(%rsi)
mov    %edi,%eax
shr    $0x4,%eax
and    $0xf,%eax
mov    %eax,(%rdx)
mov    (%rsi),%ecx
cmp    $0x6,%ecx
je     112f <detectX86FamilyModel+0x2f>
cmp    $0xf,%ecx
jne    113c <detectX86FamilyModel+0x3c>
mov    %edi,%eax
shr    $0x14,%eax
movzbl %al,%eax
add    $0xf,%eax
mov    %eax,(%rsi)
mov    (%rdx),%eax
shr    $0xc,%edi
and    $0xf0,%edi
add    %eax,%edi
mov    %edi,(%rdx)
ret

LLVM IR (-O0):
define void @detectX86FamilyModel(i32 %0, i32* %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32*
store i32 %0, i32* %4
store i32* %1, i32** %5
store i32* %2, i32** %6
%7 = load i32, i32* %4
%8 = lshr i32 %7, 8
%9 = and i32 %8, 15
%10 = load i32*, i32** %5
store i32 %9, i32* %10
%11 = load i32, i32* %4
%12 = lshr i32 %11, 4
%13 = and i32 %12, 15
%14 = load i32*, i32** %6
store i32 %13, i32* %14
%15 = load i32*, i32** %5
%16 = load i32, i32* %15
%17 = icmp eq i32 %16, 6
br i1 %17, label %22, label %18
18: ; preds = %3
%19 = load i32*, i32** %5
%20 = load i32, i32* %19
%21 = icmp eq i32 %20, 15
br i1 %21, label %22, label %41
22: ; preds = %18, %3
%23 = load i32*, i32** %5
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, 15
br i1 %25, label %26, label %33
26: ; preds = %22
%27 = load i32, i32* %4
%28 = lshr i32 %27, 20
%29 = and i32 %28, 255
%30 = load i32*, i32** %5
%31 = load i32, i32* %30
%32 = add i32 %31, %29
store i32 %32, i32* %30
br label %33
33: ; preds = %26, %22
%34 = load i32, i32* %4
%35 = lshr i32 %34, 16
%36 = and i32 %35, 15
%37 = shl i32 %36, 4
%38 = load i32*, i32** %6
%39 = load i32, i32* %38
%40 = add i32 %39, %37
store i32 %40, i32* %38
br label %41
41: ; preds = %33, %18
ret void
}

LLVM IR (-O2):
define void @detectX86FamilyModel(i32 %0, i32* nocapture %1, i32* nocapture %2) {
%4 = lshr i32 %0, 8
%5 = and i32 %4, 15
store i32 %5, i32* %1
%6 = lshr i32 %0, 4
%7 = and i32 %6, 15
store i32 %7, i32* %2
%8 = load i32, i32* %1
switch i32 %8, label %19 [
i32 15, label %9
i32 6, label %14
]
9: ; preds = %3
%10 = lshr i32 %0, 20
%11 = and i32 %10, 255
%12 = add nuw nsw i32 %11, 15
store i32 %12, i32* %1
%13 = load i32, i32* %2
br label %14
14: ; preds = %3, %9
%15 = phi i32 [ %7, %3 ], [ %13, %9 ]
%16 = lshr i32 %0, 12
%17 = and i32 %16, 240
%18 = add i32 %15, %17
store i32 %18, i32* %2
br label %19
19: ; preds = %3, %14
ret void
}