I wonder whether there is any analysis in LLVM that gets the live range of variables. Is it in the optimization passes?