Compiler Support for High-level GPU Programming