summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/gnu_logical_1.F
blob: 3c4a1860952a757dd0706e427e607dc037a91892 (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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
! Testcases for the AND, OR and XOR functions (GNU intrinsics).
! { dg-do run }
! { dg-options "-ffixed-line-length-none" }
      integer(kind=1) i1, j1
      integer(kind=2) i2, j2
      integer         i4, j4
      integer(kind=8) i8, j8
      logical(kind=1) l1, k1
      logical(kind=2) l2, k2
      logical         l4, k4
      logical(kind=8) l8, k8

#define TEST_INTEGER(u,ukind,v,vkind) \
      ukind = u;\
      vkind = v;\
      if (iand(u,v) /= and(ukind, vkind)) call abort;\
      if (iand(u,v) /= and(vkind, ukind)) call abort;\
      if (ieor(u,v) /= xor(ukind, vkind)) call abort;\
      if (ieor(u,v) /= xor(vkind, ukind)) call abort;\
      if (ior(u,v) /= or(ukind, vkind)) call abort;\
      if (ior(u,v) /= or(vkind, ukind)) call abort

      TEST_INTEGER(19,i1,6,j1)
      TEST_INTEGER(19,i1,6,j2)
      TEST_INTEGER(19,i1,6,j4)
      TEST_INTEGER(19,i1,6,j8)

      TEST_INTEGER(19,i2,6,j1)
      TEST_INTEGER(19,i2,6,j2)
      TEST_INTEGER(19,i2,6,j4)
      TEST_INTEGER(19,i2,6,j8)

      TEST_INTEGER(19,i4,6,j1)
      TEST_INTEGER(19,i4,6,j2)
      TEST_INTEGER(19,i4,6,j4)
      TEST_INTEGER(19,i4,6,j8)

      TEST_INTEGER(19,i8,6,j1)
      TEST_INTEGER(19,i8,6,j2)
      TEST_INTEGER(19,i8,6,j4)
      TEST_INTEGER(19,i8,6,j8)



#define TEST_LOGICAL(u,ukind,v,vkind) \
      ukind = u;\
      vkind = v;\
      if ((u .and. v) .neqv. and(ukind, vkind)) call abort;\
      if ((u .and. v) .neqv. and(vkind, ukind)) call abort;\
      if (((u .and. .not. v) .or. (.not. u .and. v)) .neqv. xor(ukind, vkind)) call abort;\
      if (((u .and. .not. v) .or. (.not. u .and. v)) .neqv. xor(vkind, ukind)) call abort;\
      if ((u .or. v) .neqv. or(ukind, vkind)) call abort;\
      if ((u .or. v) .neqv. or(vkind, ukind)) call abort

      TEST_LOGICAL(.true.,l1,.false.,k1)
      TEST_LOGICAL(.true.,l1,.true.,k1)
      TEST_LOGICAL(.true.,l1,.false.,k2)
      TEST_LOGICAL(.true.,l1,.true.,k2)
      TEST_LOGICAL(.true.,l1,.false.,k4)
      TEST_LOGICAL(.true.,l1,.true.,k4)
      TEST_LOGICAL(.true.,l1,.false.,k8)
      TEST_LOGICAL(.true.,l1,.true.,k8)

      TEST_LOGICAL(.true.,l2,.false.,k1)
      TEST_LOGICAL(.true.,l2,.true.,k1)
      TEST_LOGICAL(.true.,l2,.false.,k2)
      TEST_LOGICAL(.true.,l2,.true.,k2)
      TEST_LOGICAL(.true.,l2,.false.,k4)
      TEST_LOGICAL(.true.,l2,.true.,k4)
      TEST_LOGICAL(.true.,l2,.false.,k8)
      TEST_LOGICAL(.true.,l2,.true.,k8)

      TEST_LOGICAL(.true.,l4,.false.,k1)
      TEST_LOGICAL(.true.,l4,.true.,k1)
      TEST_LOGICAL(.true.,l4,.false.,k2)
      TEST_LOGICAL(.true.,l4,.true.,k2)
      TEST_LOGICAL(.true.,l4,.false.,k4)
      TEST_LOGICAL(.true.,l4,.true.,k4)
      TEST_LOGICAL(.true.,l4,.false.,k8)
      TEST_LOGICAL(.true.,l4,.true.,k8)

      TEST_LOGICAL(.true.,l8,.false.,k1)
      TEST_LOGICAL(.true.,l8,.true.,k1)
      TEST_LOGICAL(.true.,l8,.false.,k2)
      TEST_LOGICAL(.true.,l8,.true.,k2)
      TEST_LOGICAL(.true.,l8,.false.,k4)
      TEST_LOGICAL(.true.,l8,.true.,k4)
      TEST_LOGICAL(.true.,l8,.false.,k8)
      TEST_LOGICAL(.true.,l8,.true.,k8)

      end