[Libclc-dev] Add additional targets to configure.py

Jeroen Ketema j.ketema at imperial.ac.uk
Wed Feb 12 07:53:32 PST 2014


Dear all,

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.

Thanks,

 Jeroen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Add-Bugle-targets.patch
Type: application/octet-stream
Size: 1064 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/libclc-dev/attachments/20140212/1eb4c604/attachment-0002.obj>


More information about the Libclc-dev mailing list