From C and x86_64 assembly => C++ and LLVM IR