The project SSAPRE is listed in the LLVM website, and the related paper indicated the implementation was almost complete in 2002. Since I do not see the implementation in the current LLVM source base, could anyone provide an update on the status of the project ? Thanks. Xiangyun Kong