search for: intraprocedur

Displaying 20 results from an estimated 99 matches for "intraprocedur".

Did you mean: intraprocedure
2017 Jul 26
2
[RFC] Add IR level interprocedural outliner for code size.
Hi, On Wed, Jul 26, 2017 at 12:54 PM, Sean Silva <chisophugis at gmail.com> wrote: > The way I interpret Quentin's statement is something like: > > - Inlining turns an interprocedural problem into an intraprocedural problem > - Outlining turns an intraprocedural problem into an interprocedural problem > > Insofar as our intraprocedural analyses and transformations are strictly > more powerful than interprocedural, then there is a precise sense in which > inlining exposes optimization opportuni...
2017 Jul 26
3
[RFC] Add IR level interprocedural outliner for code size.
Hi, On Wed, Jul 26, 2017 at 10:10 AM, Quentin Colombet via llvm-dev <llvm-dev at lists.llvm.org> wrote: > No, I mean in terms of enabling other optimizations in the pipeline like > vectorizer. Outliner does not expose any of that. I have not made a lot of effort to understand the full discussion here (so what I say below may be off-base), but I think there are some cases where
2016 Feb 27
3
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...gt; for anything in the function (because its big and reads and writes > everything), we'll still have to constrain our transformations just > because we *might* later deduce a function attribute that triggers > these kinds of bugs. > > Essentially, you're proposing to limit intraprocedural optimization > to when we can successfully to interprocedural optimization > ("privatization"), where I'm suggesting we limit interprocedural > optimization to leave intraprocedural optimization unconstrained. > Given the ratio of our optimizations (almost all are intra,...
2016 Feb 27
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...function (because its big and reads and writes > > everything), we'll still have to constrain our transformations just > > because we *might* later deduce a function attribute that triggers > > these kinds of bugs. > > > > Essentially, you're proposing to limit intraprocedural optimization > > to when we can successfully to interprocedural optimization > > ("privatization"), where I'm suggesting we limit interprocedural > > optimization to leave intraprocedural optimization unconstrained. > > Given the ratio of our optimizations (a...
2017 Jul 29
7
[RFC] Add IR level interprocedural outliner for code size.
...t; wrote: > Hi, > > On Wed, Jul 26, 2017 at 12:54 PM, Sean Silva <chisophugis at gmail.com <mailto:chisophugis at gmail.com>> wrote: > > The way I interpret Quentin's statement is something like: > > > > - Inlining turns an interprocedural problem into an intraprocedural problem > > - Outlining turns an intraprocedural problem into an interprocedural problem > > > > Insofar as our intraprocedural analyses and transformations are strictly > > more powerful than interprocedural, then there is a precise sense in which > > inlining expos...
2016 Feb 27
2
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...39;ll still have to constrain our transformations > > > just > > > > because we *might* later deduce a function attribute that > > > triggers > > > > these kinds of bugs. > > > > > > > > Essentially, you're proposing to limit intraprocedural > > > optimization > > > > to when we can successfully to interprocedural optimization > > > > ("privatization"), where I'm suggesting we limit interprocedural > > > > optimization to leave intraprocedural optimization unconstrained. &...
2016 Feb 27
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...o deduce function attributes for anything in the function (because its big and reads and writes everything), we'll still have to constrain our transformations just because we *might* later deduce a function attribute that triggers these kinds of bugs. Essentially, you're proposing to limit intraprocedural optimization to when we can successfully to interprocedural optimization ("privatization"), where I'm suggesting we limit interprocedural optimization to leave intraprocedural optimization unconstrained. Given the ratio of our optimizations (almost all are intra, very few are inter)...
2017 Aug 01
4
[RFC] Add IR level interprocedural outliner for code size.
...g> wrote: > >> Hi, >> >> On Wed, Jul 26, 2017 at 12:54 PM, Sean Silva <chisophugis at gmail.com> >> wrote: >> > The way I interpret Quentin's statement is something like: >> > >> > - Inlining turns an interprocedural problem into an intraprocedural >> problem >> > - Outlining turns an intraprocedural problem into an interprocedural >> problem >> > >> > Insofar as our intraprocedural analyses and transformations are strictly >> > more powerful than interprocedural, then there is a precise sense...
2016 Apr 18
6
Move InlineCost.cpp out of Analysis?
...lly important separation of concerns as it ensures that we don't get an explosion of different analyses supporting various different subsets of profile sources. Now, the original design only accounted for profile information *within* a function body, clearly it needs to be extended to support intraprocedural information. But I would still expect that to follow a similar layering where we first read the data into IR annotations, then have an analysis pass (this time a module analysis pass in all likelihood) that brokers access to these annotations through an API that can do intelligent things like syn...
2017 Jul 31
2
[RFC] Add IR level interprocedural outliner for code size.
...lvm-dev at lists.llvm.org>> wrote: Hi, On Wed, Jul 26, 2017 at 12:54 PM, Sean Silva <chisophugis at gmail.com<mailto:chisophugis at gmail.com>> wrote: > The way I interpret Quentin's statement is something like: > > - Inlining turns an interprocedural problem into an intraprocedural problem > - Outlining turns an intraprocedural problem into an interprocedural problem > > Insofar as our intraprocedural analyses and transformations are strictly > more powerful than interprocedural, then there is a precise sense in which > inlining exposes optimization opportuni...
2017 Aug 01
4
[RFC] Add IR level interprocedural outliner for code size.
...>>>> On Wed, Jul 26, 2017 at 12:54 PM, Sean Silva <chisophugis at gmail.com> >>>> wrote: >>>> > The way I interpret Quentin's statement is something like: >>>> > >>>> > - Inlining turns an interprocedural problem into an intraprocedural >>>> problem >>>> > - Outlining turns an intraprocedural problem into an interprocedural >>>> problem >>>> > >>>> > Insofar as our intraprocedural analyses and transformations are >>>> strictly >>>> >...
2016 Feb 27
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...s big and reads and writes >> > everything), we'll still have to constrain our transformations just >> > because we *might* later deduce a function attribute that triggers >> > these kinds of bugs. >> > >> > Essentially, you're proposing to limit intraprocedural optimization >> > to when we can successfully to interprocedural optimization >> > ("privatization"), where I'm suggesting we limit interprocedural >> > optimization to leave intraprocedural optimization unconstrained. >> > Given the ratio of our...
2016 Feb 27
5
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...e a function attribute that > > > > > triggers > > > > > > > > > > > these kinds of bugs. > > > > > > > > > > > > > > > > > > > > > > Essentially, you're proposing to limit intraprocedural > > > > > optimization > > > > > > > > > > > to when we can successfully to interprocedural optimization > > > > > > > > > > > ("privatization"), where I'm suggesting we limit > > > >...
2016 Apr 19
2
Move InlineCost.cpp out of Analysis?
On Mon, Apr 18, 2016 at 4:38 PM Xinliang David Li <davidxl at google.com> wrote: > >>>> Now, the original design only accounted for profile information >>>> *within* a function body, clearly it needs to be extended to support >>>> intraprocedural information. >>>> >>> >>> >>> Not sure what you mean. Profile data in general does not extend to IPA >>> (we will reopen discussion on that soon), but profile summary is >>> 'invariant'/readonly data, which should be available to I...
2016 Apr 18
3
Move InlineCost.cpp out of Analysis?
...order to *set* or *update* the profile information without doing detailed analysis on it. Which seems fine with my outline of the invariants? > >> Now, the original design only accounted for profile information *within* >> a function body, clearly it needs to be extended to support intraprocedural >> information. >> > > > Not sure what you mean. Profile data in general does not extend to IPA > (we will reopen discussion on that soon), but profile summary is > 'invariant'/readonly data, which should be available to IPA already. > I don't know what...
2009 Jun 06
0
[LLVMdev] SSI and ABCD for LLVM
...gorithm for propagating constraints (inequalities) on variables is interprocedural (good) and inefficient (bad). ABCD has different tradeoffs. IIRC, ABCD doesn't use an external solver, though only because it only handles simple sets of inequalities. The original ABCD algorithm is also intraprocedural, which seems extremely limiting in practice. Is there any plan of extending this to work interprocedurally? --Vikram Associate Professor, Computer Science University of Illinois at Urbana-Champaign http://llvm.org/~vadve
2011 Apr 16
1
[LLVMdev] [Fwd: Re: [Fwd: Regarding Inter Procedural Constant Propagation]]
...: #include <stdio.h> void f1(int a) { a=a+1; printf("%d",a); } void f2() { int b; b=1; f1(b); } int main() { int a=1; f2(); f1(a); } Also,when i use the following command: opt -print-after-all main.bc The dumps generated dont include IPCP or Intraprocedural Const Propagation dumps.Why so? Is there any other way to see the effect of a pass on the i/p bitcode file? Kindly let me know where i am going wrong. Netra, >> ---------------------------- Original Message ---------------------------- >> Subject: Regarding Inter Procedural Consta...
2008 Feb 26
1
[LLVMdev] Program Slicing using LLVM?
...ng... for (i=0;i<=VAL;) { i++; printf("%d",i); } so basically, all the lines of the program which do not correspond to the computation are removed or sliced out. Has someone already worked on this, or are there similar components i can reuse in my work? I am planning to create a IntraProcedure Dependence Graph (PDG) and then traverse along it to identify the relevant parts of the program. Any ideas? Regards Prabhat
2017 Mar 12
2
flow-sensitive alias analysis
...proximations. See, e.g, http://dl.acm.org/citation.cfm?doid=161494.161501 and http://dl.acm.org/citation.cfm?id=186025.186041 (btw, it gets worse. If you disallow recursive data structures, and allow multiple levels of pointers, precise flow-sensitive may-alias is NP-hard even when restricted to intraprocedural and *no* dynamic memory allocation) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170312/eb9b389a/attachment.html>
2010 Nov 02
2
[LLVMdev] Static Profiling Algorithms in LLVM
...ted it to LLVM 2.8, but I haven't tested it. You can take a look at the code from: http://homepages.dcc.ufmg.br/~rimsa/tools/stprof-llvm.patch The implementation is based on Wu's [1994] paper and provides a branch predictor that calculates probabilities. The implementation also covers an intraprocedural and interprocedural frequency calculator for edges and functions. Reference: Youfeng Wu and James R. Larus. Static branch frequency and program profile analysis. In MICRO 27: Proceedings of the 27th annual international symposium on Microarchitecture. IEEE, 1994. Regards, Andrei On Tue...