Bend: a high-level language that runs on GPUs (via HVM2)