<div dir="ltr">Ahmed, Roel and Michael,<br><div><br></div><div>Thank you so much for clarifying this for me. </div><div><br></div><div>Now if I want to use the result of basicaa pass to do some transformation, I suppose I will need write a pass, correct? Is there a good document on this (specifically on writing a pass to act on alias analysis results) that I could refer to?</div><div><br></div><div>Thanks again!</div><div><br></div><div>Sheng-Hsiu</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 21, 2015 at 11:58 AM, Kuperstein, Michael M <span dir="ltr"><<a href="mailto:michael.m.kuperstein@intel.com" target="_blank">michael.m.kuperstein@intel.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-US" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Specifying -basicaa only tells opt to run the basic alias analysis pass.
<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">However, since this is not a transformation pass, but, rather, an analysis that is meant to be used by transformations, you will not see any change in the bitcode.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">If you want to see the results in a human-readable form, you can try something like:<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">opt -basicaa -aa-eval -print-all-alias-modref-info < hello.bc<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Michael<u></u><u></u></span></p>
<p class="MsoNormal"><a name="14b0d759f3abd46f__MailEndCompose"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></a></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"">From:</span></b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif""> <a href="mailto:llvmdev-bounces@cs.uiuc.edu" target="_blank">llvmdev-bounces@cs.uiuc.edu</a> [mailto:<a href="mailto:llvmdev-bounces@cs.uiuc.edu" target="_blank">llvmdev-bounces@cs.uiuc.edu</a>]
<b>On Behalf Of </b>Sheng-Hsiu Lin<br>
<b>Sent:</b> Wednesday, January 21, 2015 18:10<br>
<b>To:</b> <a href="mailto:llvmdev@cs.uiuc.edu" target="_blank">llvmdev@cs.uiuc.edu</a><br>
<b>Subject:</b> [LLVMdev] Using basicaa alias analysis pass<u></u><u></u></span></p><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal" style="line-height:115%">Hi<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<p class="MsoNormal" style="line-height:115%">I am completely new to LLVM, and I am trying to explore the alias analysis part of it. It seems to me that -basicaa is the most simple alias analysis pass in LLVM. So I would like to try and make it work (to see
some alias analysis results of some sample bit code).<u></u><u></u></p>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">What I have done is that I<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">---make lib/Analysis/BasicAliasAnalysis.cpp into a .so file<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">---write a sample c program, hello.c, with the following code<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<div>
<p class="MsoNormal" style="line-height:115%">#include<stdio.h><u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">int main()<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">{<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"> int a;<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"> int *p;<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"> p = &a;<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"> a = 10;<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"> printf("Hello World");<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"> return 0;<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">}<u></u><u></u></p>
</div>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">---compile the c program into bit code by doing<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">clang -c -emit-llvm hello.c -o hello.bc<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">---run the bit code through basicaa pass<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">opt -load lib/AliasAnalysis.so -basicaa < hello.bc > result.bc<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">---display the resulted bit code<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">llvm-dis result.bc -o -<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">However, the resulted bit code result.bc is exactly the same as the original bit code hello.bc. That is no alias analysis information is printed on the screen or recorded in the resulting result.bc file.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">Could someone explain what I should do to get some results from basicaa alias analysis pass?<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">Thank you very much. Your help is much appreciated!<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="line-height:115%">Sheng-Hsiu<u></u><u></u></p>
</div>
</div>
</div></div></div>
<p>---------------------------------------------------------------------<br>
Intel Israel (74) Limited</p>
<p>This e-mail and any attachments may contain confidential material for<br>
the sole use of the intended recipient(s). Any review or distribution<br>
by others is strictly prohibited. If you are not the intended<br>
recipient, please contact the sender and delete all copies.</p></div>
</blockquote></div><br></div>