blob: a63280716807ab7dc2c9a56793b875d732117990 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
// This testcase resulted in invalid code generation on x86_64 targets
// due to a bug in fold_rtx. For a "true" value, fold_rtx represented it
// as const_true_rtx in floating-point mode, if the FLOAT_STORE_FLAG_VALUE
// macro is not defined.
// { dg-do run }
// { dg-options "-O1 -fno-guess-branch-probability -fcse-follow-jumps -fgcse -frerun-cse-after-loop" }
class StatVal {
public:
StatVal(double ev, double va)
: m(ev),
v(va) {}
StatVal(const StatVal& other)
: m(other.m),
v(other.v) {}
StatVal& operator*=(const StatVal& other) {
double A = m == 0 ? 1.0 : v / (m * m);
double B = other.m == 0 ? 1.0 : other.v / (other.m * other.m);
m = m * other.m;
v = m * m * (A + B);
return *this;
}
double m;
double v;
};
extern "C" void abort (void);
const StatVal two_dot_three(2, 0.3);
int main(int argc, char **argv) {
StatVal product3(two_dot_three);
product3 *= two_dot_three;
if (product3.v > 2.5)
{
abort();
}
return 0;
}
|