Bugle cannot handle libclc's vstore_half with rounding

mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels

http://multicore.doc.ic.ac.uk/tools/GPUVerify/

Other

58 stars 15 forks source link

Bugle cannot handle libclc's vstore_half with rounding #29

Open jeroenk opened 6 years ago

jeroenk commented 6 years ago

vstore_half_rte, vstore_half_rtp, vstore_half_rtn, and vstore_half_rtz can currently not be used, because they depend on the llvm.copysign intrinsic, which Bugle does not handle.