Automatic program analysis for data parallel kernels