Compiling a high-level language for GPUs: (via language support for architectures and compilers)