search

mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels
http://multicore.doc.ic.ac.uk/tools/GPUVerify/
Other
58 stars 15 forks source link

Check that OpenCL's vload_half and vstore_half still work when we upgrade to LLVM 6.0 #8

Closed jeroenk closed 6 years ago

jeroenk commented 7 years ago

The implementation of the functions is going to change in LLVM 6.0.

jeroenk commented 6 years ago

These still work as expected.