about -da and -mem2reg

Hi, experts,

I’d like to ask a question, when I was about to use “opt -da -analyze” to get the dependence of instructions, I found that if I use -mem2reg at the same time, the result would be different, ie something like isAnti is devoid. But I need -mem2reg option to generate information like bounds. How can I retain both effects?

Or, alternatively, is there any other approach to get pi-blocks which I mostly care about.

Thanks in advance.