! 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