| 439 | } |
| 440 | |
| 441 | bool isHalfSupported(unsigned device) { |
| 442 | DeviceManager& devMngr = DeviceManager::getInstance(); |
| 443 | |
| 444 | cl::Device dev; |
| 445 | { |
| 446 | common::lock_guard_t lock(devMngr.deviceMutex); |
| 447 | dev = *devMngr.mDevices[device]; |
| 448 | } |
| 449 | return isHalfSupported(dev); |
| 450 | } |
| 451 | |
| 452 | void devprop(char* d_name, char* d_platform, char* d_toolkit, char* d_compute) { |
| 453 | unsigned nDevices = 0; |