OpenMP offloading is an attractive programming model for GPU acceleration due to its portability and easy-of-use. However, mapping the OpenMP execution and semantics on GPU architectures poses a challenge for achieving high performance. This talk will present the latest techniques in LLVM, including semantic analysis of OpenMP in the IR, compiler optimizations based on this analysis, and interfaces for developers to complement the analysis for unlocking those optimizations when needed.