[Libclc-dev] Add additional targets to configure.py
tom at stellard.net
Wed Feb 12 08:21:49 PST 2014
On Wed, Feb 12, 2014 at 03:53:32PM +0000, Jeroen Ketema wrote:
> 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.
Do these targets require clang 3.5 ?
More information about the Libclc-dev