OpenCL clGetDeviceIDs() returns a wrong num_devices

Dear Arslan,

After forcing the NVIDIA and Intel(R) FPGA Emulation Platform disabled, by changing register value, the output is like:

>>>

Initializing OpenCL

num_platforms: 1

print out platform info from No. 1 upto No. 1

Platform number 1:

Platform Name: Intel(R) FPGA SDK for OpenCL(TM)

Platform Profile: EMBEDDED_PROFILE

Platform Version: OpenCL 1.0 Intel(R) FPGA SDK for OpenCL(TM), Version 18.1

Platform Vendor: Intel(R) Corporation

This platform has 128 device(s), and its 1st device is:

Querying device for info:

========================

CL_DEVICE_NAME = a10gx : Arria 10 Reference Platform (acla10_ref0)

CL_DEVICE_VENDOR = Intel(R) Corporation

CL_DEVICE_VENDOR_ID = 4466

CL_DEVICE_VERSION = OpenCL 1.0 Intel(R) FPGA SDK for OpenCL(TM), Version 18.1

CL_DRIVER_VERSION = 18.1

CL_DEVICE_ADDRESS_BITS = 64

CL_DEVICE_AVAILABLE = true

CL_DEVICE_ENDIAN_LITTLE = true

CL_DEVICE_GLOBAL_MEM_CACHE_SIZE = 32768

CL_DEVICE_GLOBAL_MEM_CACHELINE_SIZE = 0

CL_DEVICE_GLOBAL_MEM_SIZE = 2147483648

CL_DEVICE_IMAGE_SUPPORT = false

CL_DEVICE_LOCAL_MEM_SIZE = 16384

CL_DEVICE_MAX_CLOCK_FREQUENCY = 1000

CL_DEVICE_MAX_COMPUTE_UNITS = 1

CL_DEVICE_MAX_CONSTANT_ARGS = 8

CL_DEVICE_MAX_CONSTANT_BUFFER_SIZE = 536870912

CL_DEVICE_MAX_WORK_ITEM_DIMENSIONS = 3

CL_DEVICE_MEM_BASE_ADDR_ALIGN = 8192

CL_DEVICE_MIN_DATA_TYPE_ALIGN_SIZE = 1024

CL_DEVICE_PREFERRED_VECTOR_WIDTH_CHAR = 4

CL_DEVICE_PREFERRED_VECTOR_WIDTH_SHORT = 2

CL_DEVICE_PREFERRED_VECTOR_WIDTH_INT = 1

CL_DEVICE_PREFERRED_VECTOR_WIDTH_LONG = 1

CL_DEVICE_PREFERRED_VECTOR_WIDTH_FLOAT = 1

CL_DEVICE_PREFERRED_VECTOR_WIDTH_DOUBLE = 0

Command queue out of order? = false

Command queue profiling enabled? = true

Platform: Intel(R) FPGA SDK for OpenCL(TM)

Using 128 device(s)

a10gx : Arria 10 Reference Platform (acla10_ref0)

Using AOCX: vector_add.aocx

Launching for device 0 (1000000 elements)

Time: 183.060 ms

Kernel time (device 0): 174.776 ms

Verification: PASS

<<<

Best,

Qingyuan