1/* { dg-do run } */
2/* { dg-require-effective-target lp64 } */
3
4int __attribute__((__noinline__))
5bugged(float f1, float f2, float f3, float f4,
6       float f5, float f6, float f7, float f8)
7{
8    return f1 || f2 || f3 || f4 || f5 != 1. || f6 != 1. || f7 != 1. || f8 != 1.;
9}
10
11int __attribute__((__noinline__, __ms_abi__)) isbugged(void)
12{
13    return bugged(0, 0, 0, 0, 1., 1., 1., 1.);
14}
15
16int main()
17{
18    return isbugged();
19}
20
21