summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/ieee/mul-subnormal-single-1.c
blob: d5f3fb45b6e44c72b98a054ca5cbcc2b574b7810 (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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
/* Check that certain subnormal numbers (formerly known as denormalized
   numbers) are rounded to within 0.5 ulp.  PR other/14354.  */

/* This test requires that float and unsigned int are the same size and
   that the sign-bit of the float is at MSB of the unsigned int.  */

#if __INT_MAX__ != 2147483647L
int main () { exit (0); }
#else

union uf
{
  unsigned int u;
  float f;
};

static float
u2f (unsigned int v)
{
  union uf u;
  u.u = v;
  return u.f;
}

static unsigned int
f2u (float v)
{
  union uf u;
  u.f = v;
  return u.u;
}

int ok = 1;

static void
tstmul (unsigned int ux, unsigned int uy, unsigned int ur)
{
  float x = u2f (ux);
  float y = u2f (uy);

  if (f2u (x * y) != ur)
    /* Set a variable rather than aborting here, to simplify tracing when
       several computations are wrong.  */
    ok = 0;
}

/* We don't want to make this const and static, or else we risk inlining
   causing the test to fold as constants at compile-time.  */
struct
{
  unsigned int p1, p2, res;
} expected[] =
  {
    {0xfff, 0x3f800400, 0xfff},
    {0xf, 0x3fc88888, 0x17},
    {0xf, 0x3f844444, 0xf}
  };

int
main (int argc, char *argv[], char *envp[])
{
  unsigned int i;

  for (i = 0; i < sizeof (expected) / sizeof (expected[0]); i++)
    {
      tstmul (expected[i].p1, expected[i].p2, expected[i].res);
      tstmul (expected[i].p2, expected[i].p1, expected[i].res);
    }

  if (!ok)
    abort ();

  exit (0);
}
#endif