[FFmpeg-devel] OpenCL: convert meaningless "device id" output to "device name"

[Lenny Wang]

Greetings all,

The current verbose output from ffmpeg-opencl is like this "[OPENCLUTILS @
00bf4060] Platform Name: NVIDIA Corporation, device id: 0x35f1518".  The
"device id" is formatted to a hexadecimal integer from *cl_device_id* type.
 In OpenCL world, the *cl_device_id* value is used to identify a specific
OpenCL device, this value is dynamic and it gives no information about
which device is being used.  I argue that it should be changed to a
meaningful device name.  See patch attached.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ocl_deviceName.patch
Type: application/octet-stream
Size: 825 bytes
Desc: not available
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20130910/88745407/attachment.obj>