use isl for CUDA code generation