Add marray<bool> support to "any" / "all"

The "any" and "all" functions are not sensibly defined for SYCL when
the input type is scalar or `marray`.  I think this happened because we
copied the OpenCL semantics without thinking through the use cases.

The current definition looks at the most significant bit of each input
element to determine if the result is true or false.  This makes sense
for OpenCL, where true values are represented as -1 (all 1 bits) and
false values are represented by 0.  It also makes sense in SYCL for
the `vec` type because the relational functions set `vec` elements
to -1 / 0.  However, it does not make sense when the parameter is
`marray` or a scalar.

Consider a typical use of `any` like this:

```
marray<float, N> m1 = /*...*/;
marray<float, N> m2 = /*...*/;
marray<bool, N> comparisons = isequal(v1, v2);
if (any(comparisons)) {/*...*/}
```

Here, the `comparisons` variable is passed to `any`, where it does not
make sense to test the most significant bit of each `bool` element.

This commit adds a new overload to `any` / `all` for `marray<bool>`
with sensible C++ semantics.  It also deprecates the existing overloads
for `marray` of non-bool types.

The scalar overloads of `any` / `all` are also deprecated.  The
existing semantics (where the MSB is tested) do not make sense for
SYCL.  In addition, these versions of `any` and `all` have already been
deprecated in OpenCL.

Closes internal issue 658.

adoc/chapters/programming_interface.adoc

@@ -26557,11 +26557,40 @@ a@
 a!
 [source]
 ----
-template<typename GenInt>
+template<typename GenInt>      (1)
 /*return-type*/ any(GenInt x)
+
+template<typename GenInt>      (2)  /* deprecated */
+bool any(GenInt x)
 ----
 !====
 
+*Overload (1):*
+
+_Constraints:_ Available only if [code]#GenInt# is one of the following types:
+
+* [code]#marray<bool, N>#
+* [code]#vec<int8_t, N>#
+* [code]#vec<int16_t, N>#
+* [code]#vec<int32_t, N>#
+* [code]#vec<int64_t, N>#
+* [code]#+__swizzled_vec__<int8_t, N>+#
+* [code]#+__swizzled_vec__<int16_t, N>+#
+* [code]#+__swizzled_vec__<int32_t, N>+#
+* [code]#+__swizzled_vec__<int64_t, N>+#
+
+_Returns:_ When [code]#x# is [code]#marray#, returns a Boolean telling whether
+any element of [code]#x# is true.  When [code]#x# is [code]#vec# or the
+[code]#+__swizzled_vec__+# type, returns the value -1 if any element in
+[code]#x# has its most significant bit set, otherwise returns the value 0.
+
+The return type is [code]#bool# if [code]#GenInt# is [code]#marray#.
+Otherwise, the return type is [code]#int#.
+
+*Overload (2):*
+
+This overload is deprecated in SYCL 2020.
+
 _Constraints:_ Available only if [code]#GenInt# is one of the following types:
 
 * [code]#signed char#
@@ -26574,36 +26603,52 @@ _Constraints:_ Available only if [code]#GenInt# is one of the following types:
 * [code]#marray<int, N>#
 * [code]#marray<long, N>#
 * [code]#marray<long long, N>#
-* [code]#vec<int8_t, N>#
-* [code]#vec<int16_t, N>#
-* [code]#vec<int32_t, N>#
-* [code]#vec<int64_t, N>#
-* [code]#+__swizzled_vec__<int8_t, N>+#
-* [code]#+__swizzled_vec__<int16_t, N>+#
-* [code]#+__swizzled_vec__<int32_t, N>+#
-* [code]#+__swizzled_vec__<int64_t, N>+#
 
 _Returns:_ When [code]#x# is a scalar, returns a Boolean telling whether the
 most significant bit of [code]#x# is set.  When [code]#x# is [code]#marray#,
 returns a Boolean telling whether the most significant bit of any element
-in [code]#x# is set.  When [code]#x# is [code]#vec# or the
-[code]#+__swizzled_vec__+# type, returns the value -1 if any element in
-[code]#x# has its most significant bit set, otherwise returns the value 0.
-
-The return type is [code]#bool# if [code]#GenInt# is a scalar or
-[code]#marray#.  Otherwise, the return type is [code]#int#.
+in [code]#x# is set.
 
 a@
 [frame=all,grid=none]
 !====
 a!
 [source]
 ----
-template<typename GenInt>
+template<typename GenInt>      (1)
 /*return-type*/ all(GenInt x)
+
+template<typename GenInt>      (2)  /* deprecated */
+bool all(GenInt x)
 ----
 !====
 
+*Overload (1):*
+
+_Constraints:_ Available only if [code]#GenInt# is one of the following types:
+
+* [code]#marray<bool, N>#
+* [code]#vec<int8_t, N>#
+* [code]#vec<int16_t, N>#
+* [code]#vec<int32_t, N>#
+* [code]#vec<int64_t, N>#
+* [code]#+__swizzled_vec__<int8_t, N>+#
+* [code]#+__swizzled_vec__<int16_t, N>+#
+* [code]#+__swizzled_vec__<int32_t, N>+#
+* [code]#+__swizzled_vec__<int64_t, N>+#
+
+_Returns:_ When [code]#x# is [code]#marray#, returns a Boolean telling whether
+all elements of [code]#x# are true.  When [code]#x# is [code]#vec# or the
+[code]#+__swizzled_vec__+# type, returns the value -1 if all elements in
+[code]#x# have their most significant bit set, otherwise returns the value 0.
+
+The return type is [code]#bool# if [code]#GenInt# is [code]#marray#.
+Otherwise, the return type is [code]#int#.
+
+*Overload (2):*
+
+This overload is deprecated in SYCL 2020.
+
 _Constraints:_ Available only if [code]#GenInt# is one of the following types:
 
 * [code]#signed char#
@@ -26616,24 +26661,11 @@ _Constraints:_ Available only if [code]#GenInt# is one of the following types:
 * [code]#marray<int, N>#
 * [code]#marray<long, N>#
 * [code]#marray<long long, N>#
-* [code]#vec<int8_t, N>#
-* [code]#vec<int16_t, N>#
-* [code]#vec<int32_t, N>#
-* [code]#vec<int64_t, N>#
-* [code]#+__swizzled_vec__<int8_t, N>+#
-* [code]#+__swizzled_vec__<int16_t, N>+#
-* [code]#+__swizzled_vec__<int32_t, N>+#
-* [code]#+__swizzled_vec__<int64_t, N>+#
 
 _Returns:_ When [code]#x# is a scalar, returns a Boolean telling whether the
 most significant bit of [code]#x# is set.  When [code]#x# is [code]#marray#,
 returns a Boolean telling whether the most significant bit of all elements
-in [code]#x# are set.  When [code]#x# is [code]#vec# or the
-[code]#+__swizzled_vec__+# type, returns the value -1 if all elements in
-[code]#x# have their most significant bit set, otherwise returns the value 0.
-
-The return type is [code]#bool# if [code]#GenInt# is a scalar or
-[code]#marray#.  Otherwise, the return type is [code]#int#.
+in [code]#x# are set.
 
 a@
 [frame=all,grid=none]