aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/torture/bfloat16-complex.c
blob: fa27a774b625e796a3ccfa2721ee80a46f997496 (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
/* Test __bf16 complex arithmetic.  */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options bfloat16 } */
/* { dg-require-effective-target bfloat16_runtime } */

extern void exit (int);
extern void abort (void);

volatile __bf16 a = 1.0bf16;
typedef _Complex float __cbf16 __attribute__((__mode__(__BC__)));
volatile __cbf16 b = __builtin_complex (2.0bf16, 3.0bf16);
volatile __cbf16 c = __builtin_complex (2.0bf16, 3.0bf16);
volatile __cbf16 d = __builtin_complex (2.0bf16, 3.0bf16);

__cbf16
fn (__cbf16 arg)
{
  return arg / 4;
}

int
main (void)
{
  volatile __cbf16 r;
  if (b != c)
    abort ();
  if (b != d)
    abort ();
  r = a + b;
  if (__real__ r != 3.0bf16 || __imag__ r != 3.0bf16)
    abort ();
  r += d;
  if (__real__ r != 5.0bf16 || __imag__ r != 6.0bf16)
    abort ();
  r -= a;
  if (__real__ r != 4.0bf16 || __imag__ r != 6.0bf16)
    abort ();
  r /= (a + a);
  if (__real__ r != 2.0bf16 || __imag__ r != 3.0bf16)
    abort ();
  r *= (a + a);
  if (__real__ r != 4.0bf16 || __imag__ r != 6.0bf16)
    abort ();
  r -= b;
  if (__real__ r != 2.0bf16 || __imag__ r != 3.0bf16)
    abort ();
  r *= r;
  if (__real__ r != -5.0bf16 || __imag__ r != 12.0bf16)
    abort ();
  /* Division may not be exact, so round result before comparing.  */
  r /= b;
  r += __builtin_complex (100.0bf16, 100.0bf16);
  r -= __builtin_complex (100.0bf16, 100.0bf16);
  if (r != b)
    abort ();
  r = fn (r);
  if (__real__ r != 0.5bf16 || __imag__ r != 0.75bf16)
    abort ();
  exit (0);
}