int CheckSeed(unsigned seed[6]) {
  int i;
  for (i = 0; i < 3; ++i) {
    if (seed[i] >= 4294967087.0)
      return i + 1;
  }
  for (i = 3; i < 6; ++i) {
    if (seed[i] >= 4294944443.0)
      return i + 1;
  }
  if (seed[0] == 0 && seed[1] == 0 && seed[2] == 0)
    return 8;
  if (seed[3] == 0 && seed[4] == 0 && seed[5] == 0)
    return 9;
  return 0;
}


x86 assembly (clang, -O0):
<CheckSeed>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    115c <CheckSeed+0x5c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cvtsi2sd %rax,%xmm0
movsd  0xed7(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     1149 <CheckSeed+0x49>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1222 <CheckSeed+0x122>
jmp    114e <CheckSeed+0x4e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <CheckSeed+0xf>
movl   $0x3,-0x14(%rbp)
cmpl   $0x6,-0x14(%rbp)
jge    11b0 <CheckSeed+0xb0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cvtsi2sd %rax,%xmm0
movsd  0xe7b(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     119d <CheckSeed+0x9d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1222 <CheckSeed+0x122>
jmp    11a2 <CheckSeed+0xa2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1163 <CheckSeed+0x63>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jne    11e5 <CheckSeed+0xe5>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x4(%rax)
jne    11e5 <CheckSeed+0xe5>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x8(%rax)
jne    11e5 <CheckSeed+0xe5>
movl   $0x8,-0x4(%rbp)
jmp    1222 <CheckSeed+0x122>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0xc(%rax)
jne    121b <CheckSeed+0x11b>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x10(%rax)
jne    121b <CheckSeed+0x11b>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x14(%rax)
jne    121b <CheckSeed+0x11b>
movl   $0x9,-0x4(%rbp)
jmp    1222 <CheckSeed+0x122>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<CheckSeed>:
mov    (%rdi),%ecx
mov    $0x1,%eax
cmp    $0xffffff2e,%ecx
ja     1182 <CheckSeed+0x82>
mov    0x4(%rdi),%esi
mov    $0x2,%eax
cmp    $0xffffff2e,%esi
ja     1182 <CheckSeed+0x82>
mov    0x8(%rdi),%edx
mov    $0x3,%eax
cmp    $0xffffff2e,%edx
ja     1182 <CheckSeed+0x82>
mov    0xc(%rdi),%r8d
mov    $0x4,%eax
cmp    $0xffffa6ba,%r8d
ja     1182 <CheckSeed+0x82>
mov    0x10(%rdi),%r9d
mov    $0x5,%eax
cmp    $0xffffa6ba,%r9d
ja     1182 <CheckSeed+0x82>
mov    0x14(%rdi),%edi
mov    $0x6,%eax
cmp    $0xffffa6ba,%edi
ja     1182 <CheckSeed+0x82>
test   %ecx,%ecx
jne    1174 <CheckSeed+0x74>
test   %esi,%esi
jne    1174 <CheckSeed+0x74>
mov    $0x8,%eax
test   %edx,%edx
je     1182 <CheckSeed+0x82>
or     %r9d,%r8d
xor    %eax,%eax
or     %edi,%r8d
sete   %al
lea    (%rax,%rax,8),%eax
ret

LLVM IR (-O0):
define i32 @CheckSeed(i32* %0) {
%2 = alloca i32
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 0, i32* %4
br label %5
5: ; preds = %20, %1
%6 = load i32, i32* %4
%7 = icmp slt i32 %6, 3
br i1 %7, label %8, label %23
8: ; preds = %5
%9 = load i32*, i32** %3
%10 = load i32, i32* %4
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i32, i32* %9, i64 %11
%13 = load i32, i32* %12
%14 = uitofp i32 %13 to double
%15 = fcmp oge double %14, 0x41EFFFFFE5E00000
br i1 %15, label %16, label %19
16: ; preds = %8
%17 = load i32, i32* %4
%18 = add nsw i32 %17, 1
store i32 %18, i32* %2
br label %75
19: ; preds = %8
br label %20
20: ; preds = %19
%21 = load i32, i32* %4
%22 = add nsw i32 %21, 1
store i32 %22, i32* %4
br label %5
23: ; preds = %5
store i32 3, i32* %4
br label %24
24: ; preds = %39, %23
%25 = load i32, i32* %4
%26 = icmp slt i32 %25, 6
br i1 %26, label %27, label %42
27: ; preds = %24
%28 = load i32*, i32** %3
%29 = load i32, i32* %4
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %31
%33 = uitofp i32 %32 to double
%34 = fcmp oge double %33, 0x41EFFFF4D7600000
br i1 %34, label %35, label %38
35: ; preds = %27
%36 = load i32, i32* %4
%37 = add nsw i32 %36, 1
store i32 %37, i32* %2
br label %75
38: ; preds = %27
br label %39
39: ; preds = %38
%40 = load i32, i32* %4
%41 = add nsw i32 %40, 1
store i32 %41, i32* %4
br label %24
42: ; preds = %24
%43 = load i32*, i32** %3
%44 = getelementptr inbounds i32, i32* %43, i64 0
%45 = load i32, i32* %44
%46 = icmp eq i32 %45, 0
br i1 %46, label %47, label %58
47: ; preds = %42
%48 = load i32*, i32** %3
%49 = getelementptr inbounds i32, i32* %48, i64 1
%50 = load i32, i32* %49
%51 = icmp eq i32 %50, 0
br i1 %51, label %52, label %58
52: ; preds = %47
%53 = load i32*, i32** %3
%54 = getelementptr inbounds i32, i32* %53, i64 2
%55 = load i32, i32* %54
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %58
57: ; preds = %52
store i32 8, i32* %2
br label %75
58: ; preds = %52, %47, %42
%59 = load i32*, i32** %3
%60 = getelementptr inbounds i32, i32* %59, i64 3
%61 = load i32, i32* %60
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %74
63: ; preds = %58
%64 = load i32*, i32** %3
%65 = getelementptr inbounds i32, i32* %64, i64 4
%66 = load i32, i32* %65
%67 = icmp eq i32 %66, 0
br i1 %67, label %68, label %74
68: ; preds = %63
%69 = load i32*, i32** %3
%70 = getelementptr inbounds i32, i32* %69, i64 5
%71 = load i32, i32* %70
%72 = icmp eq i32 %71, 0
br i1 %72, label %73, label %74
73: ; preds = %68
store i32 9, i32* %2
br label %75
74: ; preds = %68, %63, %58
store i32 0, i32* %2
br label %75
75: ; preds = %74, %73, %57, %35, %16
%76 = load i32, i32* %2
ret i32 %76
}

LLVM IR (-O2):
define i32 @CheckSeed(i32* nocapture %0) {
%2 = load i32, i32* %0
%3 = icmp ugt i32 %2, -210
br i1 %3, label %37, label %4
4: ; preds = %1
%5 = getelementptr inbounds i32, i32* %0, i64 1
%6 = load i32, i32* %5
%7 = icmp ugt i32 %6, -210
br i1 %7, label %37, label %8
8: ; preds = %4
%9 = getelementptr inbounds i32, i32* %0, i64 2
%10 = load i32, i32* %9
%11 = icmp ugt i32 %10, -210
br i1 %11, label %37, label %12
12: ; preds = %8
%13 = getelementptr inbounds i32, i32* %0, i64 3
%14 = load i32, i32* %13
%15 = icmp ugt i32 %14, -22854
br i1 %15, label %37, label %16
16: ; preds = %12
%17 = getelementptr inbounds i32, i32* %0, i64 4
%18 = load i32, i32* %17
%19 = icmp ugt i32 %18, -22854
br i1 %19, label %37, label %20
20: ; preds = %16
%21 = getelementptr inbounds i32, i32* %0, i64 5
%22 = load i32, i32* %21
%23 = icmp ugt i32 %22, -22854
br i1 %23, label %37, label %24
24: ; preds = %20
%25 = icmp eq i32 %2, 0
%26 = icmp eq i32 %6, 0
%27 = select i1 %25, i1 %26, i1 false
%28 = icmp eq i32 %10, 0
%29 = select i1 %27, i1 %28, i1 false
br i1 %29, label %37, label %30
30: ; preds = %24
%31 = icmp eq i32 %14, 0
%32 = icmp eq i32 %18, 0
%33 = select i1 %31, i1 %32, i1 false
%34 = icmp eq i32 %22, 0
%35 = select i1 %33, i1 %34, i1 false
%36 = select i1 %35, i32 9, i32 0
br label %37
37: ; preds = %30, %24, %12, %16, %20, %1, %4, %8
%38 = phi i32 [ 1, %1 ], [ 2, %4 ], [ 3, %8 ], [ 4, %12 ], [ 5, %16 ], [ 6, %20 ], [ 8, %24 ], [ %36, %30 ]
ret i32 %38
}