search for: nunoplop

...w it'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 new ones since they may get replaced w...

...red 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 new ones since the...

On Jun 4, 2012, at 10:37 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: > So here is a new proposal: > > !0 = metadata !{ alloc_siz_fn, offset_fn, parameters* } The parameters are a separate metadata array or the alloc_size metadata is variable length? You'll probably want to write up some docs for the website on how this is sup...

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 is in flux). > &...

...oint being in any way actually uncertain. > > > > *From:* Sanjay Patel [mailto:spatel at rotateright.com] > *Sent:* Wednesday, February 28, 2018 1:05 PM > *To:* Kaylor, Andrew <andrew.kaylor at intel.com> > *Cc:* llvm-dev <llvm-dev at lists.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; > Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; > John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers. > com>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault < &gt...

On Thu, Mar 1, 2018 at 2:08 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: > We can do "add %x, undef" => "undef" because for any value of %x, we can > always find a value that when added to %x produces any value in the domain > of integers. > > This is not the case with floats since with some inputs, e.g., Na...

...t;] > *Sent:* Wednesday, February 28, 2018 1:05 PM > *To:* Kaylor, Andrew <andrew.kaylor at intel.com > <mailto:andrew.kaylor at intel.com>> > *Cc:* llvm-dev <llvm-dev at lists.llvm.org > <mailto:llvm-dev at lists.llvm.org>>; Nuno Lopes <nunoplopes at sapo.pt > <mailto:nunoplopes at sapo.pt>>; Stephen Canon <scanon at apple.com > <mailto:scanon at apple.com>>; David Majnemer > <david.majnemer at gmail.com <mailto:david.majnemer at gmail.com>>; John > Regehr <regehr at cs.utah.e...

...ll cases, one operand must be 0 or undef and the shift amount is a constant, so I think these are safe. If X is poison, we'll transform from a poisonous funnel shift to a poisonous shift (no need to introduce any special poison blocking behavior). On Mon, Feb 25, 2019 at 4:01 PM Nuno Lopes <nunoplopes at sapo.pt> wrote: > You are very right! Transformation to rotate is correct. > > So I guess the remaining case is if you want to be able to transform > funnel > shifts into other arithmetic operations when %x != %y. I think I saw some > optimizations where fshl was being tr...

Quoting Eric Christopher <echristo at apple.com>: > On Jun 4, 2012, at 10:37 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: > >> So here is a new proposal: >> >> !0 = metadata !{ alloc_siz_fn, offset_fn, parameters* } > > The parameters are a separate metadata array or the alloc_size metadata > is variable length? Variable length. I think that's the simplest sol...

>> On Thu, Mar 1, 2018 at 2:08 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: >> We can do "add %x, undef" => "undef" because for any value of %x, we can >> always find a value that when added to %x produces any value in the >> domain of integers. >> >> This is not the case with floats since with...

...on different code paths? -Andy From: Friedman, Eli [mailto:efriedma at codeaurora.org] Sent: Wednesday, February 28, 2018 3:07 PM To: Sanjay Patel <spatel at rotateright.com>; Kaylor, Andrew <andrew.kaylor at intel.com> Cc: llvm-dev <llvm-dev at lists.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer at in...

...shift amount is a > > constant, so I think these are safe. If X is poison, we'll transform > > from a poisonous funnel shift to a poisonous shift (no need to introduce > > any special poison blocking behavior). > > > > On Mon, Feb 25, 2019 at 4:01 PM Nuno Lopes <nunoplopes at sapo.pt > > <mailto:nunoplopes at sapo.pt>> wrote: > > > > You are very right! Transformation to rotate is correct. > > > > So I guess the remaining case is if you want to be able to transform > > funnel > > shifts into other a...

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

Other than finding someone to volunteer for the work required, is there a reason not to add a NaN the IR? I can already ask a ConstantFP if it is a NaN. Why not make that easier to represent? -----Original Message----- From: Nuno Lopes [mailto:nunoplopes at sapo.pt] Sent: Thursday, March 01, 2018 2:31 PM To: David Majnemer <david.majnemer at gmail.com> Cc: Kaylor, Andrew <andrew.kaylor at intel.com>; Friedman, Eli <efriedma at codeaurora.org>; Sanjay Patel <spatel at rotateright.com>; llvm-dev <llvm-dev at lists.llvm.o...

On Sat, Jun 27, 2015 at 2:16 PM, Nuno Lopes <nunoplopes at sapo.pt> wrote: > At least in C/C++ that's UB, yes. So you cannot map every turing machine to a valid C/C++ program then. :) Also, does this mean that "daemon" programs that run continuously till they're killed by the OS (using a mechanism that is not visible in C) ar...

Hey Scott, There has been quite a lot of research 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

...tion 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 myself oriented. I just started looking to in to lib/Analysis a bit. Regards Buddhika On Thu, Mar 1, 2018 at 4:50 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: Eric: thanks for bringing this to my attention; I somehow missed this email. Hi Buddhika, Thanks for getting in touch and for your interest. Please submit an application whenever the registration period opens and let me/us know if you have any question regarding the proje...

...d to > preserve the behavior of NaNs. > > > > *From:* Sanjay Patel [mailto:spatel at rotateright.com] > *Sent:* Wednesday, February 28, 2018 12:08 PM > *To:* Kaylor, Andrew <andrew.kaylor at intel.com> > *Cc:* llvm-dev <llvm-dev at lists.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; > Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; > John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers. > com>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault < &gt...

...ence was questionable as opposed to this point being in any way actually uncertain. From: Sanjay Patel [mailto:spatel at rotateright.com] Sent: Wednesday, February 28, 2018 1:05 PM To: Kaylor, Andrew <andrew.kaylor at intel.com> Cc: llvm-dev <llvm-dev at lists.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault <arsenm2 at gmail.com...

...erent code paths? -Andy From: Friedman, Eli [mailto:efriedma at codeaurora.org] Sent: Wednesday, February 28, 2018 3:07 PM To: Sanjay Patel <spatel at rotateright.com>; Kaylor, Andrew <andrew.kaylor at intel.com> Cc: llvm-dev <llvm-dev at lists.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer a...