search for: anastasiya

...9;s behavior is rather controversial : for loops with i changing as i \=2 for example, he can't figure what the type of expressions is, but surprisingly can determine max trip count. Shouldn't it be able to detect or not detect these parameters at the same time? 2017-08-11 15:56 GMT+02:00 Anastasiya Ruzhanskaya < anastasiya.ruzhanskaya at frtk.ru>: > Sorry, I just saw this enumeration with SCEV types - all operations > should be possible then... > > 2017-08-11 15:55 GMT+02:00 Anastasiya Ruzhanskaya < > anastasiya.ruzhanskaya at frtk.ru>: > >> Thank you for...

...parse this start and end expressions for induction variable... I was surprised, that SCEV cannot compute the tripcount here. I thought, that all linear and maybe expressions with multiplication are suitable for analysis. 2017-08-10 19:30 GMT+02:00 Sanjoy Das <sanjoy at google.com>: > Hi Anastasiya, > > If you're looking for the exit value of a PHI node, please take a look > at what IndVarSimplify does here: > https://github.com/llvm-mirror/llvm/blob/master/lib/Transforms/Scalar/ > IndVarSimplify.cpp#L516 > > On Thu, Aug 10, 2017 at 12:55 AM, Anastasiya Ruzhanskaya &g...

This support was removed years ago from indvars. We don't need canonical induction variables any more as all analysis are done on SCEVs. The SCEV generator can transform them even without the need for explicit canonical induction variables. Best, Tobias On Wed, Aug 9, 2017, at 14:23, Anastasiya Ruzhanskaya via llvm-dev wrote: > The files of this strange pass are described here > http://reviews.legup.org/rLEGUP54ca7c2bb15d84116baf47bce67256d3803720d9 > . > I wonderwhy the most uptodate -indvars pass can't do the same. > > 2017-08-09 14:18 GMT+02:00 Anastasiya Ruzhan...

I am primarily interested in phi nodes and their induction variables, in ValueTracking file there is an analysis of them, but if the upper bound is inf, it is not working? 2017-08-07 11:41 GMT+02:00 Anastasiya Ruzhanskaya < anastasiya.ruzhanskaya at frtk.ru>: > So, it is not supported to determine by this instruction : %cmp = icmp slt > i32 %i.03, 99, > that %i.03 = phi i32 [ 0, %entry ], [ %inc, %for.body ] has > a range [0, 99]? > > And what is then a correct way to get such an...

No. It would be helpful to understand what you are trying to accomplish overall, which may help people give you details about the best way to accomplish it. For example, if you are trying to understand or recover array indexes from GEP's, that is non-trivial. On Sat, Sep 2, 2017 at 3:53 AM, Anastasiya Ruzhanskaya via llvm-dev < llvm-dev at lists.llvm.org> wrote: > Is there a way to set always a defined behavior here - for example that we > will always one getelemntptr with complex index? > > 2017-09-02 12:53 GMT+02:00 Anastasiya Ruzhanskaya < > anastasiya.ruzhanskaya at...

Hi Anastasiya, If it fits you use case, you can consider walking the loop header and calling getSCEV() on all of the PHI nodes in the header. This will give you a SCEV* which should be easier to analyze than manually inspecting PHI cycles. Thanks! -- Sanjoy On Tue, Jul 25, 2017 at 11:42 AM, Michael Kruse vi...

...t getelementptr. In different versions of clang I see that sometimes array[i][i] is preceded by two getelementptr instructions and sometimes only by one - with an already complex index. 2017-09-01 12:50 GMT+02:00 David Chisnall <David.Chisnall at cl.cam.ac.uk>: > On 1 Sep 2017, at 11:44, Anastasiya Ruzhanskaya via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > > > > Hello, > > I wonder if the getelementptr can have other successors than load, store > in some other cases when I directly print or directly return the result. > every time I would like to assign...

Hello, I wonder if llvm has pure range propagation pass. Is correlated value propagation that one? It seems that it is not directly deals with ranges. Maybe there any passes that simply contain some information about value ranges? Will symbolic value range propagation be done in some time? -------------- next part -------------- An HTML attachment was scrubbed... URL:

...tifact of how clang lowers these loops. > > I'm also not sure what you mean by "I can have only two cases". Loop > backedge conditions can be arbitrarily complex, if that's what you're > asking. > > -- Sanjoy > > > On Thu, Aug 10, 2017 at 12:34 AM, Anastasiya Ruzhanskaya via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > Hello, > > I have one more question about how phi nodes and their corresponding ICmp > > instructions are associated. maybe it is simple, but at first I thought > that > > we always compare agains...

Hello, this is a question, concerning cmake lists configuration. I am trying to link together two llvm passes, but they still should be as two modules. So: passA - A.so passB - B.so passB should use passA , so I sould use target_link_libraries ( and of course, I have included useAnalysis in passB) . But I can't link libraries that are build as Modules, so I tried to create two libraries at

...inersbur.de>: > There is Loop::getCanonicalInductionVariable() > > You may need to run the "-indvars" (IndVarSimplify) pass before it > returns a value. I am not sure it normalizes the step size to 1 in all > cases. > > Michael > > 2017-07-25 18:12 GMT+02:00 Anastasiya Ruzhanskaya via llvm-dev > <llvm-dev at lists.llvm.org>: > > Hello, > > I need to perform the analysis of loop induction variables. However, as I > > understood, directly it is possible to extract only a canonical induction > > variable which is only one. If I have...

...between Instruction object and Value object of a, which is used further , and in this case : %1 = alloca i32, align 4 - I also wanted to use %1 and in this case the only possibility is Instruction object. 2017-07-20 15:32 GMT+02:00 Evgeny Astigeevich <Evgeny.Astigeevich at arm.com>: > Hi Anastasiya, > > > What do you mean 'identifiable'? You have Module, Function, BasicBlock > etc. You can access Values and Users. They form a data-flow graph. You can > store pointers to Values and Users if you wish. If you want a name for any > Value there is ValueSymbolTable (http:/...

Hello! Does libvirt uses certificate pinning in tls? I want to setup a transparent proxy (mitmproxy) and can't do this even after I added mitmproxy ca certificate to the trusted certificates in ubuntu.

Hello, is there a possibility to redirect the output of dump() function in llvm? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170808/9c3b234a/attachment.html>

Hello, I have already asked how to receive unoptimized IR. This way: clang -S -emit-llvm -O3 -mllvm -disable-llvm-optzns memset.c -o memset.s I have noticed, that in any case, when I use O1, O2, O3 and disable optimizations, I still get llvm intrinsics functions inserted. when I put O0, I have no intrinsics, but have noopt attribute. Is there a way to receive purely unoptimizaed IR without any

Hi, On Sun, Aug 13, 2017 at 5:58 AM, Anastasiya Ruzhanskaya via llvm-dev <llvm-dev at lists.llvm.org> wrote: > And still, aren't there any possibilities to find that phi node, that led > SCEV to compute max trip count? So there is no good answer to your question since in most cases SCEV does not directly look at PHI nodes (or e...

...nly possibility is Instruction object. > > > You traverse basic blocks and process the instructions. Processing can > include any type of actions: analysis, optimization etc. > > So what is your use case? > > > -Evgeny > > ------------------------------ > *From:* Anastasiya Ruzhanskaya <anastasiya.ruzhanskaya at frtk.ru> > *Sent:* Thursday, July 20, 2017 3:02:26 PM > *To:* Evgeny Astigeevich > *Cc:* llvm-dev at lists.llvm.org; nd > *Subject:* Re: [llvm-dev] Value > > Thank you! I wanted to use the right part of the instruction , > %a = allo...

...le with ret is quite understandable, but it seems really strange that such instructions as add, and , which define the actual values can have their Types be accessed only from the operands. 2017-07-21 16:35 GMT+02:00 Tim Northover <t.p.northover at gmail.com>: > On 21 July 2017 at 04:49, Anastasiya Ruzhanskaya via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > I would like to keep info about size and type info of all instructions ( > and > > Values at the same time). I can do this by extracting type of the Values, > > but if I have still some unused instructi...

Hello, I have this piece of code: int main() { int m = 0; // int i, j, k; // int N = f()%10; for (int l = 0; l < 1000; l+=4) printf("%d", l); I am sure, that llvm is capable to convert this into canonical induction variable, but even with O3 define i32 @main() #0 { br label %2 ; <label>:1 ; preds

Hello, I am trying to write my own pass for some purposes, and found out that there is no way to work with such variables as %1 and so on. How they are identifiable? Only by the Value object, without any possibility for visual representation as for example %a, %b values? -------------- next part -------------- An HTML attachment was scrubbed... URL: