[Beignet] clGetDeviceIDs() called with mixed device type

[Song, Ruiling]

In clGetDeviceIDs(). The device type is a bit-field value. But Spec does not say exactly whether masked value is allowed as input argument.
The problem is whether we should report an INVALID_DEVICE_TYPE when user passes (CL_DEVICE_TYPE_GPU | CL_DEVICE_TYPE_DEFAULT) or other kind of mixed device types. Beignet currently report INVALID_DEVICE_TYPE error.
Obviously piglit does not think so. It use mixed type to get available device number.
Personally, I agree with piglit. We should NOT report INVALID_DEVICE_TYPE for mixed device type. Any comments?

Thanks!
Ruiling

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.freedesktop.org/archives/beignet/attachments/20130604/b68471af/attachment.html>