<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1" bgcolor="#FFFFFF">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi Prof. John Criswell,<br>
<br>
Thanks for your patience and detailed information. <br>
<br>
Best,<br>
Yuxi<br>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<hr tabindex="-1">
<div style="direction: ltr;" id="divRpF668103"><font color="#000000" face="Tahoma" size="2"><b>From:</b> John Criswell [jtcriswel@gmail.com]<br>
<b>Sent:</b> Wednesday, June 22, 2016 11:47 AM<br>
<b>To:</b> Yuxi Chen<br>
<b>Cc:</b> llvm-dev@lists.llvm.org<br>
<b>Subject:</b> Re: [llvm-dev] pass invalidation<br>
</font><br>
</div>
<div></div>
<div>
<div class="moz-cite-prefix">On 6/22/16 1:02 AM, Yuxi Chen wrote:<br>
</div>
<blockquote type="cite">
<div>Hi Prof. John Criswell, <br>
<br>
Really appreciate your detailed reply. <br>
Yes, I am using llvm to analyse C code for my research, I am quite new for llvm and clang.
<br>
</div>
</blockquote>
<br>
Just to check, have you read the "How to Write an LLVM Pass" document on the LLVM web page?<br>
<br>
<blockquote type="cite">
<div>I still have several questions. <br>
1. To my understanding, if we add pass in getAnalysisUsage method(like LoopInfo), every time(for function pass), when we invoke runOnFunction(), llvm would automatically load result of LoopInfo, right? But when runOnFunction is invoked? It's in constructor?<br>
</div>
</blockquote>
<br>
A pass is a C++ object. For a FunctionPass, the pass manager will create the pass object once and then call its runOnFunction() method for every function in the program. Additionally, if a ModulePass requires a FunctionPass, then the pass manager will call
the runOnFunction() method on any function that the ModulePass requests.<br>
<br>
If you are using opt, use the -debug-pass=Structure argument to make opt print out the structure of passes. That will probably make it more clear as to how passes are scheduled and run.<br>
<br>
Finally, if you're confused about when your passes are run, it might be better to write your passes as a ModulePass first. You can almost never go wrong writing a ModulePass, and they are simpler to understand than FunctionPasses.<br>
<br>
<blockquote type="cite">
<div><br>
2. right now, my passes includes several transform passes and analysis passes. For transform passes, they also use some built-in analysis passes, like AliasAnalysis, LoopInfo.</div>
</blockquote>
<br>
Your transform passes can safely use any existing LLVM passes that do not modify the IR (such as AliasAnalysis and LoopInfo). The only real restriction is that you want to avoid using getAnalysis<>() to get pointers/references to passes that modify the IR.<br>
<br>
<blockquote type="cite">
<div>My transform passes are to move some instructions around based on some analysis passes. Then other analysis passes would use those modified IR code. Your suggestion is to dump information needed by my analysis passes into a new RK pass. I am not clear
about it. Do you mean dump the modified IR code? Then pass those modified IR into my analysis pass? If so, if my transform pass analyses IR based on basicblock, after analysing every basicblock, I need dump something? Seem I misunderstood.
<br>
</div>
</blockquote>
<br>
What, specifically, do your analysis passes need to know? Do they need to know which IR is the modified IR and which was left unmodified, or does it need to know something else? Can it infer everything it needs to know just by looking at the IR?<br>
<br>
If your analysis passes can determine everything they need to know by looking at the Module or Function passed into their runOnModule()/runOnFunction() methods, then you have no problem (and, in fact, you don't need your transform passes to communicate any
additional information to your analysis passes).<br>
<br>
However, if you need your transform pass to communicate information to your analysis passes, then you need to do something more sophisticated. Copying LLVM IR would be a bad idea (too much memory consumption); you would probably record pointers to the relevant
IR objects instead.<br>
<br>
Perhaps an example will be helpful.<br>
<br>
Let's say that you write a pass (call it Pass A) that creates a clone of every function in a program. You have an analysis pass (call it Pass B) that takes each function and finds the clone that Pass A created. Pass A could implement a data structure that
maps original functions to the clones it created and then provide a method to Pass B that would query this information. However, that would require Pass B to use addRequired<>() and getAnalysis<>() to get a pointer to Pass A. That could create a scheduling
conflict that the PassManager cannot handle (e.g., Pass A invalidates another pass that Pass B requires).<br>
<br>
Instead, you create a Pass C that contains an empty map of functions to their clones. The runOnModule() method of Pass C does nothing. Pass C provides a method to record a new function->clone in its internal map, and it provides another method that takes
a function and returns a pointer to its clone. Pass A and Pass B both require Pass C as a dependency in their getAnalysisUsage<>() methods. Pass A tells Pass C about every clone it creates; Pass B queries Pass C any time it wants to lookup the clone of a
function. Additionally, Pass A states that it preserves Pass C in its getAnalysisUsage<>() method.<br>
<br>
In this example, Pass C is simply a pass through which Pass A and B communicate without creating a scheduling conflict for the pass manager. It is needed because Pass B needs information which is readily available in Pass A that cannot be easily inferred from
the LLVM Module that Pass B analyzes.<br>
<br>
There are, of course, alternatives to this approach. Pass A could put metadata on the clones it creates that indicate that they are clones of other functions; Pass B then looks for this metadata. As long as other transforms don't remove the metadata, this
works.<br>
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
<pre class="moz-signature" cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a class="moz-txt-link-freetext" href="http://www.cs.rochester.edu/u/criswell" target="_blank">http://www.cs.rochester.edu/u/criswell</a></pre>
</div>
</div>
</div>
</body>
</html>