search for: frtk

...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 your answer! I tested your example, yes, perhap...

...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 > <anastasiya.ruzhanskaya at frtk.ru> wrote: > > By only two cases I mean , that in exiting block when computing the > > condition related to PHI node I can expect only icmp on one of incoming > > values or on phi node itself... I tried to come up with some more complex > > examples but I always receive o...

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 info, that you sent ( with > more specified...

...ve 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 via llvm-dev <llvm-dev at lists.llvm.org> wrote: > 2017-07-25 19:32 GMT+02:00 Anastasiya Ruzhanskaya > <anastasiya.ruzhanskaya at frtk.ru>: >> I call this function and it returns only "i" in my example. Are there any >> ways to return "j" also? > > That would contradict it being the /canonical/ induction variable, wouldn't it? > > If you look into the imlplementation of > getC...

...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 Ruzhanskaya < > anastasiya.ruzhanskaya at frtk.ru>: > > > 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); > &gt...

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:

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

Ok, thank you. I have also one question about 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

...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 frtk.ru>: > >> Ok, thank you. I have also one question about 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. >> >> 20...

Hi! By only two cases I mean , that in exiting block when computing the condition related to PHI node I can expect only icmp on one of incoming values or on phi node itself... I tried to come up with some more complex examples but I always receive only these two cases, that is why I am asking. This problem still relates to the problem of all induction, cumulative and so on variables in loop. SCEV

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

I call this function and it returns only "i" in my example. Are there any ways to return "j" also? 2017-07-25 19:11 GMT+02:00 Michael Kruse <llvmdev at meinersbur.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

Thank you for the answer. So, as I understood, to get the type of the "or" instruction (which I cannot access further as Value , because it is actually a dead instruction), I should get the type of one of its' operands, yes? because the example with ret is quite understandable, but it seems really strange that such instructions as add, and , which define the actual values can have

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 currently trying to install certificates for tls. By this time I have got some questions: 1) Is documentation in the web docs up-to-date regarding tls server, client, ca certificates? (actually I have some problems, but maybe this is due to smth has changed in certtools and was not updated in docs, perhaps some more fields are needed now). 2) there is a error in virt-pki-validate :

Thank you! I wanted to use the right part of the instruction , %a = alloca i32, align 4 - %a here , but I don't quite understand the difference 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

Hi, I wanted just to ask an additional question to that: how then here in the polkit documentation you distinguish users?: Consider a local user berrange who has been granted permission to connect > to libvirt in full read-write mode. > 2018-04-12 11:01 GMT+03:00 Erik Skultety <eskultet@redhat.com>: > On Thu, Mar 22, 2018 at 08:17:15PM +0300, Anastasiya Ruzhanskaya wrote: >

Hello, I am trying to figure out, what vrp propagation does in llvm. I tried this program: #include <stdio.h> int main() { int s = 0; int j = 0; for (int i = 0; i < 100; i++) { j = j+i+1; s+=j; } return (s+j); } And got this under optimized version ( I don't want everything to be eliminated) define i32 @main()

...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 = alloca i32, align 4 - %a here , but I don't qui...