test/regression/singlefloats.c


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

/* This caused an internal compiler error in CompCert 2.2.
   (RTLtyping failure, because y is used both as a float32 and a float64). */

typedef union
{
  float value;
  unsigned int word;
} shape;

float
expf(float x)
{
        float y,hi;

        y = 1/hi;

        shape A;
        A.value = y;

        shape B;
        B.word = A.word;
        y = B.value;

        return y;
}

/* Another internal compiler error in CompCert 2.2.  */

void store(volatile float * p, double x)
{
  *p = x + 1.0;
}