Mapping High-Level Constructs to LLVM IR