weimingz added a comment. This patch is more of a workaround to fix a bug. It seems to me the conditions of the safe point is not strong enough. Since it's not SSA, the dominance relationship can't guarantee that the save point is before the def. Repository: rL LLVM http://reviews.llvm.org/D15504