
<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"><style>body { line-height: 1.5; }body { font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; color: rgb(0, 0, 0); line-height: 1.5; }</style></head><body>

<div><span></span>Hi, experts,</div><div><br></div><div>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?</div><div><br></div><div>Or, alternatively, is there any other approach to get pi-blocks which I mostly care about.</div><div><br></div><div>Thanks in advance.</div>

<div><br></div><hr style="width: 210px; height: 1px;" color="#b5c4df" size="1" align="left">

<div><span><div style="MARGIN: 10px; FONT-FAMILY: verdana; FONT-SIZE: 10pt"><div>liubaosen@tsinghua.edu.cn</div></div></span></div>

</body></html>