search for: nuno

...optimized VM code, not unlike what Tablegen emits. Everything would be so clean and readable and organized. And edge cases can still be handled manually, like ISel. On Fri, Jan 6, 2017 at 9:38 AM, Sanjay Patel <spatel at rotateright.com> wrote: > > > On Fri, Jan 6, 2017 at 2:30 AM, Nuno Lopes <nuno.lopes at ist.utl.pt> wrote: > >> Hi Sanjay, >> >> >> >> You used Alive correctly, of course :) >> >> At this moment we cannot give you the best precondition. It’s on the >> todo list, but it’s not even started yet. It’s a much har...

Sorry, we really screwed up the server migration. Alive is now working again and should be fixed for good :) Permalinks are still missing; we are working on recovering those. Apologies again for all the trouble. Nuno -----Original Message----- From: Sanjay Patel Sent: Monday, October 2, 2017 5:10 PM Subject: Re: [llvm-dev] Where did Alive go? I still can't use the web app - spins for about a minute until: "Oops, it seems that this tool encountered an issue. Please try again later or contact suppor...

...enabled on the web interface yet (InstCombine was missing quite a few cases last time I checked). I played a bit with your example and realized that it doesn’t even need a precondition :) Check this out: http://rise4fun.com/Alive/j (btw, > is signed comparison, and u> is unsigned). Nuno From: Sanjay Patel [mailto:spatel at rotateright.com] Sent: 6 de janeiro de 2017 00:35 To: Nuno Lopes <nuno.lopes at ist.utl.pt> Cc: llvm-dev <llvm-dev at lists.llvm.org>; John Regehr <regehr at cs.utah.edu>; 3.14472+reviews.llvm.org at gmail.com Subject: Re: [llvm-dev] Al...

Alive is now working again. There was a migration to a new server. Permalinks are still being copied from backup; they will work again shortly as well. (I would probably not create new ones since they may get replaced while the copy is in flux). Nuno Citando Nuno Lopes via llvm-dev <llvm-dev at lists.llvm.org>: > I'm investigating; thanks for the heads up. Sorry for the trouble. > Nuno > > > -----Original Message----- > From: Craig Topper via llvm-dev > Sent: Tuesday, September 19, 2017 11:52 PM > Subject:...

And now rise4fun.com doesn't work at all? ~Craig On Wed, Sep 20, 2017 at 9:53 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: > Alive is now working again. There was a migration to a new server. > Permalinks are still being copied from backup; they will work again > shortly as well. (I would probably not create new ones since they may get > replaced while the copy...

...;s a pain compared to the web interface but Alive is pretty easy to install and run from a shell. John On 9/22/17 11:41 AM, Craig Topper via llvm-dev wrote: > And now rise4fun.com <http://rise4fun.com> doesn't work at all? > > ~Craig > > On Wed, Sep 20, 2017 at 9:53 AM, Nuno Lopes <nunoplopes at sapo.pt > <mailto:nunoplopes at sapo.pt>> wrote: > > Alive is now working again. There was a migration to a new server. > Permalinks are still being copied from backup; they will work again > shortly as well. (I would probably not create...

...esearch on capture tracking (aka escape analysis) for Java and other dynamic languages. See e.g.: https://wiki.openjdk.java.net/display/HotSpot/EscapeAnalysis http://docs.oracle.com/javase/7/docs/technotes/guides/vm/performance-enhancements-7.html http://dl.acm.org/citation.cfm?doid=320384.320386 Nuno -----Original Message----- From: Scott Egerton via llvm-dev Sent: Saturday, May 28, 2016 5:10 PM To: Philip Reames Cc: llvm-dev Subject: [llvm-dev] [GSoC 2016] Capture Tracking Improvements - BackgroundInformation Hi Phillip, I've been looking into the Capture Tracking Improvements and I w...

On Sun, Jul 16, 2017, 12:45 PM Nuno Lopes <nunoplopes at sapo.pt> wrote: > >On 07/15/2017 04:51 AM, Nuno Lopes wrote: > >>> On 07/14/2017 04:37 PM, Nuno Lopes wrote: > >>>> Thank you all for your replies. > >>>> So here seems to be an agreement that the documentation for > &gt...

Ok, makes sense. My suggestion is that we patch the IR Verifier to ensure that the mask is indeed a vector of constants and/or undefs. Right now it only runs the standard checks for instructions. We will also run Alive2 on the test suite to make sure undef is never replaced in practice. Thanks, Nuno -----Original Message----- From: Eli Friedman <efriedma at quicinc.com> Sent: 27 de novembro de 2019 01:10 To: Nuno Lopes <nuno.lopes at ist.utl.pt>; LLVMdev <llvm-dev at lists.llvm.org> Cc: spatel at rotateright.com; Juneyoung Lee <juneyoung.lee at sf.snu.ac.kr>; zhengyan...

SGTM On 02/17/2018 03:52 PM, Nuno Lopes wrote: > I can step in, if that's ok with you. > Nuno > > -----Original Message----- From: Philip Reames > Sent: Saturday, February 17, 2018 1:04 AM > To: Davide Italiano ; Nuno Lopes > Cc: llvm-dev > Subject: Re: [llvm-dev] Missing attribute inference cases > &...

On 5/24/12 5:41 AM, Duncan Sands wrote: > Hi Kostya, I'm also curious to know where Nuno is going with this, and the > details of his design. I'm worried he might be reinventing the wheel. I'm > also worried that he may be inventing a square wheel :) I believe Nuno's goal is to prevent run-time exploitation of software. Nuno, please correct me if I'm wrong....

...d expect they can skip pkcs11 token authentication just by pressing return and trying then other authentication method, like password. But currently that is not what happens, and users can find out too late that they have instead tried a wrong pin too many times and locked their token... Regards, Nuno On Fri, Jun 17, 2016 at 10:04 PM, Alon Bar-Lev <alon.barlev at gmail.com> wrote: > On 17 June 2016 at 22:45, Nuno Gon?alves <nunojpg at gmail.com> wrote: >> On Fri, Jun 17, 2016 at 7:57 PM, Alon Bar-Lev <alon.barlev at gmail.com> wrote: >>> On 17 June 2016 at 20...

Hi Nuno, I noticed your commits related to -fbounds-checking and have some questions. The functionality of this new phase seems to (partially?) overlap with AddressSanitizer and SAFECode, so I am curious how would you compare the two existing tools with the new one. Earlier you wrote: >> So the mai...

Many thanks for the pointer! I missed that bug report since the title was about GVN. If there's interest in supporting this feature I can help since we've formalized most of BasicAA. I can easily verify if proposed changes are correct. (I'll release the code soon). Nuno Quoting Björn Pettersson A <bjorn.a.pettersson at ericsson.com>: > Hi Nuno. > I can't answer your question, but I know that Mikael Holmén wrote a > trouble report about problems in GVN related to objects larger than > half of address space: > https://bugs.llvm.org/...

...ttributes to see examples on how they are used for optimization. Finally, have a look at the email thread linked from the open projects page. Oh, and a refresher on abstract interpretation / static analysis won't hurt either. Of course, feel free to ask questions about any of these things. Nuno -----Original Message----- From: buddhika chamith Sent: Friday, March 2, 2018 5:51 PM Subject: Re: [llvm-dev] [GSOC 2018] Improve function attribute inference Hi Nuno, Thanks. Appreciate if I can get some specific pointers to related code or documentation that I could start looking to to get...

We're excited to let you know that Nuno Brito has invited you to Dropbox! Nuno Brito has been using Dropbox to sync and share files online and across computers, and thought you might want it too. Visit http://www.getdropbox.com/link/20.5X-ndRrtVF/NjE2NjA3NjA3 to get started. - The Dropbox Team

...nd the proof to someone else. The execution time is limited to 30 seconds for now. You may want to constrain the operand's types if the tool times out, for example. The service is still in tests. Please let me know if you run into problems and/or if you have comments or feature requests. Nuno P.S.: The semantics implemented in this release is the one I've presented at the last LLVM dev meeting. I've kept undef for now, though, but there's a poison value. There's (very) limited support for branches as well.

Just a positive experience I would like to share with you : testing is great on paper but very tedious to apply because nobody wants to run manually the tests by hand. Last week I have discovered zentest, an automated test process command line utility. That was at the beginning (hopefully) of a new project. Believe it or not, I have started to code most parts of the application without using

...sswd:file And SID for domain SERVER is: S-1-5-21-1454471165-2146950999-672003340 How does samba generate the rid part of that users sid? [root@server samba]# pdbedit -L -v user1 User SID: S-1-5-21-1454471165-2146950999-672003340-1416 Where does it get the 1416 Rid from? Thanks, Nuno Fernandes

Hi everyone, Last year I found about GSoC and llvm bit to late to apply. I noticed that "Improve function attribute inference" project idea was not taken. Does anyone know if someone has worked on it in the meantime? If not, is someone interested in mentoring? Nuno Lopes or someone else? Thanks and regards, Stefan. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190124/3010accd/attachment.html>