https://hgpu.org/?p=12145
Automatic Termination Analysis for GPU Kernels