File: pr52060.c

package info (click to toggle)
gcc-arm-none-eabi 15%3A14.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,099,328 kB
  • sloc: cpp: 3,627,108; ansic: 2,571,498; ada: 834,230; f90: 235,082; makefile: 79,231; asm: 74,984; xml: 51,692; exp: 39,736; sh: 33,298; objc: 15,629; python: 15,069; fortran: 14,429; pascal: 7,003; awk: 5,070; perl: 3,106; ml: 285; lisp: 253; lex: 204; haskell: 135
file content (57 lines) | stat: -rw-r--r-- 1,320 bytes parent folder | download | duplicates (10)
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
/* PR rtl-optimization/52060 */
/* { dg-do run { target int32plus } } */

extern void abort (void);
union U { float f; unsigned int i; };

static inline __attribute__((always_inline)) unsigned int
foo (float x)
{
  union U u;
  unsigned int a, b, c;
  int d;
  int e;
  u.f = x;
  d = ((unsigned) u.i >> 23) & 0xFF;
  c = d < 126 ? 0 : ~0;
  e = 127 + 30 - d;
  a = (u.i << 8) | 0x80000000U;
  b = a & ((1 << e) - 1);
  a = a >> e;
  c &= (b | (a & 2)) ? ~0 : ~1;
  a = ((a + 1U) >> 1) & c;
  return a;
}

__attribute__((noinline)) unsigned int
bar (float x)
{
  unsigned int a, b, c;
  static const unsigned int d[128] =
  {
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
    2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
    3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 5, 5, 6, 7
  };
  a = foo (1048575.0f * x);
  c = d[a >> 13];
  b = (c << 13) | ((a >> (7 - c)) & 0x1fff);
  return b;
}

int
main ()
{
  union U u;
  u.f = 1048575.0f;
  if (sizeof (u.i) == sizeof (u.f)
      && u.i == 0x497ffff0U
      && bar (1.0f) != 65535)
    abort ();
  return 0;
}