summaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/dfp/operator-logical.c
blob: c784468c77aef0b8c13ca8467e8ba3271eb32d41 (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
/* C99 Logical AND operator.
   C99 Logical OR operator.
   Test with decimal float operands.  */

#include "dfp-dbg.h"

#define OPERATE(OPRD1,OPRT,OPRD2,RLT)	\
do					\
{					\
  if (( (OPRD1) OPRT (OPRD2) )!= RLT)	\
    __builtin_abort ();			\
} while (0)

#define DECIMAL_LOGICAL_OR(OPRD)	\
do					\
{					\
  OPRD = 1.0;				\
  OPERATE(1,||,OPRD,1);			\
  OPERATE(0,||,OPRD,1);			\
  OPERATE(OPRD,||,1,1);			\
  OPERATE(OPRD,||,0,1);			\
  OPRD = 0.0;				\
  OPERATE(1,||,OPRD,1);			\
  OPERATE(0,||,OPRD,0);			\
  OPERATE(OPRD,||,1,1);			\
  OPERATE(OPRD,||,0,0);			\
} while (0)

#define DECIMAL_LOGICAL_AND(OPRD)	\
do					\
{					\
  OPRD = 1.0;				\
  OPERATE(1,&&,OPRD,1);			\
  OPERATE(0,&&,OPRD,0);			\
  OPERATE(OPRD,&&,1,1);			\
  OPERATE(OPRD,&&,0,0);			\
  OPRD = 0.0;				\
  OPERATE(1,&&,OPRD,0);			\
  OPERATE(0,&&,OPRD,0);			\
  OPERATE(OPRD,&&,1,0);			\
  OPERATE(OPRD,&&,0,0);			\
} while (0)

int
main ()
{
  _Decimal32 d32;
  _Decimal64 d64;
  _Decimal128 d128;

  /* C99 Section 6.5.{13,14} Logical operator.  Constraints Each of the
     operands shall have scalar type.  DFP types would obey this.  */
  DECIMAL_LOGICAL_OR (d32);
  DECIMAL_LOGICAL_AND (d32);

  DECIMAL_LOGICAL_OR (d64);
  DECIMAL_LOGICAL_AND (d64);

  DECIMAL_LOGICAL_OR (d128);
  DECIMAL_LOGICAL_AND (d128);

  return 0;
}