[Libclc-dev] Add additional targets to configure.py
j.ketema at imperial.ac.uk
Wed Feb 12 07:53:32 PST 2014
Please find attached a patch which add two additional nvptx targets to configure.py. Could this patch please be committed by someone with commit access if this looks ok?
To provide some background: Bugle is a translator developed by Peter Collingbourne and Alastair Donaldson. It takes an OpenCL kernel in nvptx LLVM IR format and outputs an equivalent kernel in the Microsoft Boogie verification language (see also http://multicore.doc.ic.ac.uk/tools/GPUVerify/). The translator uses libclc as it’s OpenCL library, but not the nvidiacl specific overrides, hence, the need for new targets.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1064 bytes
Desc: not available
More information about the Libclc-dev