Displaying 20 results from an estimated 300 matches similar to: "Issue with BUILD_SHARED_LIBS=ON"
2009 May 01
1
[LLVMdev] DominatorTrees, DominanceFrontiers, interfaces and cloning
Hello,
I have a transform that, given a function F, will produce a new
function G such that the basic blocks of G are (copies of) a subset of
the basic blocks of F, and such that control flow is connected as you
would expect. Given DominatorTree and DominanceFrontier of F, I would
also like to efficiently compute DominatorTrees and DominanceFrontiers
of G. I understand how to do this
2009 Jun 02
3
[LLVMdev] Is there a control dependence graph builder?
Hi,
In browsing through the LLVM source, I don't currently see an implementation
for a control dependence graph builder. Am I overlooking something?
It doesn't look like LLVM currently provides a way to build the
post-dominance frontier of the reverse CFG, either. Dominators.h mentions
forward dominators, but I believe all this is referring to is dominators as
opposed to post-dominators,
2010 Apr 07
2
[LLVMdev] graph abstraction proposal
Hi!
while trying to use llvm::DominatorTreeBase on a custom graph that
has nothing to do with llvm::BasicBlock I ran into some difficulties,
because llvm::DominatorTreeBase calls e.g. getParent()->front()
directly on the nodes and uses llvm::Inverse which forced me to
implement my GraphTraits also for Inverse.
This could be solved using a compile time abstraction of Graph
instread of
2015 Jun 29
2
[LLVMdev] Inferring dependencies in phi instructions
On Mon, Jun 29, 2015 at 10:16 AM, Evgeny Astigeevich
<Evgeny.Astigeevich at arm.com> wrote:
> Hi Anirudh,
>
>
>
> I hope these lecture slides about SSA and the dominance frontier will help
> you with SSA and control flow analysis:
>
>
>
> http://www.seas.harvard.edu/courses/cs252/2011sp/slides/Lec04-SSA.pdf
>
>
>
> Unfortunately a use of
2012 Aug 20
4
[LLVMdev] DominanceFrontier
Hi Guys,
I saw in the API that DominanceFrontier has been deprecated. Is this for
real?
I have read the computational issues but shouldn't that be left to the
users of llvm?
My concern is I am writing a Control Dependence module that uses
Dominance-Frontier information.
Getting rid of Dominance Frontiers will put me in a tight spot.
George
-------------- next part --------------
An HTML
2012 Aug 20
0
[LLVMdev] DominanceFrontier
Hi George,
> I saw in the API that DominanceFrontier has been deprecated. Is this for real?
> I have read the computational issues but shouldn't that be left to the users of
> llvm?
> My concern is I am writing a Control Dependence module that uses
> Dominance-Frontier information.
> Getting rid of Dominance Frontiers will put me in a tight spot.
if the dominancefrontier
2011 Dec 23
4
[LLVMdev] dominance frontiers
Reading the comments in Analysis/DominanceFrontier.h, I see a note that the
structure is deprecated and we're not to use it for anything new.
Has it been replaced with something equally useful, or shall I redo the
calculation for myself, or ...?
Thanks,
Preston
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
2017 Jul 17
2
An update on the DominatorTree and incremental dominators
Hi folks,
For the past month I’ve been working on improving the DominatorTree and
PostDominatorTree in LLVM. The RFC that explains the motivations and plans
can be found here:
http://lists.llvm.org/pipermail/llvm-dev/2017-June/114045.html .
Here’s a short summary of what changed upstream since posting it:
-
We switched from the Simple Lengauer-Tarjan algorithm for computing
dominators
2003 Aug 13
1
[LLVMdev] Running a pass
Hi,
I want to run the Mem2Reg pass on a function without using the the LLVM opt utility. I wrote some code, which I am not sure is correct:
TS_ASSERT(!verifyFunction(*function));
// find the dominance frontier of the CFG
DominanceFrontier DF;
DF.runOnFunction(*function);
// try to promote stack allocated variables
PromoteMemToReg(function->getRegAllocas(), DF, *tgt_data);
2015 Jun 29
2
[LLVMdev] Inferring dependencies in phi instructions
On Jun 29, 2015 3:16 AM, "Evgeny Astigeevich" <evgeny.astigeevich at arm.com>
wrote:
>
> Hi Anirudh,
>
> 'x' has a control dependency on 'y' because the value assigned to 'x'
> depends on a path selected. This dependency can be converted into a data
> dependency by means of a 'select' instruction because the control flow is
>
2012 Aug 21
0
[LLVMdev] DominanceFrontier
George Baah <georgebaah at gmail.com> writes:
> Hi Guys,
>
> I saw in the API that DominanceFrontier has been deprecated. Is this
> for real?
> I have read the computational issues but shouldn't that be left to the
> users of llvm?
> My concern is I am writing a Control Dependence module that uses
> Dominance-Frontier information.
> Getting rid of Dominance
2011 Dec 23
0
[LLVMdev] dominance frontiers
On Dec 23, 2011, at 1:35 PM, Preston Briggs wrote:
> Reading the comments in Analysis/DominanceFrontier.h, I see a note that the structure is deprecated and we're not to use it for anything new.
>
> Has it been replaced with something equally useful, or shall I redo the calculation for myself, or ...?
We're hoping to remove them, because they're inherently an N^2 data
2009 Feb 12
2
[LLVMdev] DominatorTree Information required in CallGraphPass
Hi all,
I am implementing a new pass for LLVM which extends Call Graph
SCCPass. I need DominatorTree Information when I get to individual
function. I have added AU.addrequired<DominatorTree>() and
AU.addRequired<DominanceFrontier>() in getAnalysisUsage() function.
But, when I get to the pass, Pass Manager gives following runtime error
Unable to schedule 'Dominator Tree
2013 Mar 19
2
[LLVMdev] Basic Block code sample
Hi LLVM Delveloper,
i've been working on LLVM and Clang to get basic block information. The CFG supports Visitors (CFG.h) but i might want to ask that is there any code sample available so that i can get the things easily..
Regards,
Kulkarni Ashish A.
College of engineering, Pune
India.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
2010 Apr 09
0
[LLVMdev] graph abstraction proposal
On 04/07/2010 08:10 PM, Jochen Wilhelmy wrote:
> Hi!
>
> while trying to use llvm::DominatorTreeBase on a custom graph that
> has nothing to do with llvm::BasicBlock I ran into some difficulties,
> because llvm::DominatorTreeBase calls e.g. getParent()->front()
> directly on the nodes
Yes this is a problem. However how is it related to your proposal? Do
you want to add a
2010 Jun 29
3
[LLVMdev] Queries of an invalidated AA ModulePass
Hi all,
While working on a loadable Alias Analysis module pass, I'm running
into the following issue:
I'm finding my pass queried for results after it has had
'releaseMemory' called on it and its dependencies, but before
runOnModule is called again (on my pass or its deps). As you might
expect, this makes my pass rather unhappy (and I think correctly so).
This happens with LICM
2013 Mar 19
0
[LLVMdev] Basic Block code sample
Hi,
Example on how to iterate over CFG, take a look at DominanceFrontier.cpp.
You can further implement easily a traverse graph algorithm.
On Tue, Mar 19, 2013 at 2:35 PM, Ashish Kulkarni <
ashish-kulkarni at hotmail.com> wrote:
> Hi LLVM Delveloper,
> i've been working on LLVM and Clang to get basic block information.
> The CFG supports Visitors (CFG.h) but i might
2014 Feb 06
2
[LLVMdev] The implementation algorithm behind LLVM's RegionInfo class
Hi fellows,
I am writing to ask what is the algorithm implemented in LLVM's
RegionInfo.h/cpp. In the header file "RegionInfo.h", it says "Calculates a
program structure tree built out of single entry single exit regions
(defined in a 1994 paper called "The Program Structure Tree"). ... ... The
algorithm to calculate these data structures however is COMPLETELY
2009 Feb 12
0
[LLVMdev] DominatorTree Information required in CallGraphPass
On Feb 11, 2009, at 6:05 PM, kapil anand wrote:
> Hi all,
>
> I am implementing a new pass for LLVM which extends Call Graph
> SCCPass. I need DominatorTree Information when I get to individual
> function. I have added AU.addrequired<DominatorTree>() and
> AU.addRequired<DominanceFrontier>() in getAnalysisUsage() function.
>
> But, when I get to the pass,
2019 Jan 29
2
Finding label of basic block where a conditional branch merges
Joshua, David
much appreciate your quick help!
What I am actually doing is statically tracing values. If one of the traced values is part of a condition (e.g. in an if statement) all instructions in the then and else part are also traced. The automatic tracing of instructions however needs to stop when I hit the first instruction after the if statement (same for switch).
Dominators seem to be a