int __attribute__((__no__)) bugged(float f1, float f2, float f3, float f4,
                                   float f5, float f6, float f7, float f8) {
  return f1 || f2 || f3 || f4 || f5 != 1. || f6 != 1. || f7 != 1. || f8 != 1.;
}


x86 assembly (clang, -O0):
<bugged>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  %xmm3,-0x10(%rbp)
movss  %xmm4,-0x14(%rbp)
movss  %xmm5,-0x18(%rbp)
movss  %xmm6,-0x1c(%rbp)
movss  %xmm7,-0x20(%rbp)
movss  -0x4(%rbp),%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0x8(%rbp),%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0xc(%rbp),%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0x10(%rbp),%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
movsd  0xe51(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
movsd  0xe2b(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
movsd  0xe05(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x21(%rbp)
jne    122e <bugged+0x12e>
jp     122e <bugged+0x12e>
movss  -0x20(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xde1(%rip),%xmm1
ucomisd %xmm1,%xmm0
setne  %al
setp   %cl
or     %cl,%al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bugged>:
unpcklps %xmm7,%xmm6
unpcklps %xmm5,%xmm4
movlhps %xmm6,%xmm4
unpcklps %xmm3,%xmm2
unpcklps %xmm1,%xmm0
movlhps %xmm2,%xmm0
xorps  %xmm1,%xmm1
cmpneqps %xmm0,%xmm1
cmpneqps 0xedf(%rip),%xmm4
04
packssdw %xmm4,%xmm1
pmovmskb %xmm1,%ecx
xor    %eax,%eax
test   %ecx,%ecx
setne  %al
ret

LLVM IR (-O0):
define i32 @bugged(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7) {
%9 = alloca float
%10 = alloca float
%11 = alloca float
%12 = alloca float
%13 = alloca float
%14 = alloca float
%15 = alloca float
%16 = alloca float
store float %0, float* %9
store float %1, float* %10
store float %2, float* %11
store float %3, float* %12
store float %4, float* %13
store float %5, float* %14
store float %6, float* %15
store float %7, float* %16
%17 = load float, float* %9
%18 = fcmp une float %17, 0.000000e+00
br i1 %18, label %44, label %19
19: ; preds = %8
%20 = load float, float* %10
%21 = fcmp une float %20, 0.000000e+00
br i1 %21, label %44, label %22
22: ; preds = %19
%23 = load float, float* %11
%24 = fcmp une float %23, 0.000000e+00
br i1 %24, label %44, label %25
25: ; preds = %22
%26 = load float, float* %12
%27 = fcmp une float %26, 0.000000e+00
br i1 %27, label %44, label %28
28: ; preds = %25
%29 = load float, float* %13
%30 = fpext float %29 to double
%31 = fcmp une double %30, 1.000000e+00
br i1 %31, label %44, label %32
32: ; preds = %28
%33 = load float, float* %14
%34 = fpext float %33 to double
%35 = fcmp une double %34, 1.000000e+00
br i1 %35, label %44, label %36
36: ; preds = %32
%37 = load float, float* %15
%38 = fpext float %37 to double
%39 = fcmp une double %38, 1.000000e+00
br i1 %39, label %44, label %40
40: ; preds = %36
%41 = load float, float* %16
%42 = fpext float %41 to double
%43 = fcmp une double %42, 1.000000e+00
br label %44
44: ; preds = %40, %36, %32, %28, %25, %22, %19, %8
%45 = phi i1 [ true, %36 ], [ true, %32 ], [ true, %28 ], [ true, %25 ], [ true, %22 ], [ true, %19 ], [ true, %8 ], [ %43, %40 ]
%46 = zext i1 %45 to i32
ret i32 %46
}

LLVM IR (-O2):
define i32 @bugged(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7) {
%9 = insertelement <8 x float> poison, float %0, i64 0
%10 = insertelement <8 x float> %9, float %1, i64 1
%11 = insertelement <8 x float> %10, float %2, i64 2
%12 = insertelement <8 x float> %11, float %3, i64 3
%13 = insertelement <8 x float> %12, float %4, i64 4
%14 = insertelement <8 x float> %13, float %5, i64 5
%15 = insertelement <8 x float> %14, float %6, i64 6
%16 = insertelement <8 x float> %15, float %7, i64 7
%17 = fcmp une <8 x float> %16, <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00>
%18 = bitcast <8 x i1> %17 to i8
%19 = icmp ne i8 %18, 0
%20 = zext i1 %19 to i32
ret i32 %20
}