Automatic lifting of LLVM-level actions