search for: notion

...how it should > behave when defined together with other fucntion attributes. > > > What does it mean? Can it only touch memory that is directly referred > to by an argument? Or if that argument points to another pointer, can > we follow it? I just want to point out that the notion Igor is introducing as an attribute is not a new one. It's a prexisting notion which is already implemented within LLVM today; it's simply been restricted to intrinsics. Here's the definition from Intrinsics.td: // IntrReadWriteArgMem - This intrinsic reads and writes only from me...

I'm running NoScript because otherwise Firefox freezes up a lot. Recently I've had difficulty accessing a site. I suspect the reason is that it uses redirection in a way that frustrates my efforts to give it permission. To test the notion, I'm considering temporarily allowing script globally. How hard is it to reverse? Will I need to redo previous permissions one at a time? -- Michael hennebry at web.cs.ndsu.NoDak.edu "Sorry but your password must contain an uppercase letter, a number, a haiku, a gang sign, a heiroglyph...

Dear LLVMdev, We have a question regarding the semantics of the undefined value in LLVM IR. As far as we understand, in order to give a semantics to the undefined value, the semantics of LLVM IR is generalized to a rather unusual set-based semantics. More specifically, the notion of value in LLVM IR is generalized to a set of values, rather than a single value. Then the undefined value is simply defined as the set of all values. Our question is simply why LLVM does not use the notion of trap representation of C11 standard to represent the undefined value, rather than using...

...he place. If we > need 2 tiers to model assume & noalias as distinct from the lifetime > or other intrinsics, fine. We should have high-level categories that > can be tested and updated. Agreed. Specific to this point, I've seen a number of cases in discussion recently where a notion of a intrinsic which is control dependent on surrounding control flow, but does not read or write memory would be useful. It really feels like that's what the current implementation of llvm.assume has become and likely what this proposal would require. Maybe it's time to introduce a n...

I am trying to convert a matlab code to R. Most of the conversion statements are simple, but problem is with return. Since it's a recursive function it's a bit complicated. Anyway in matlab we can have return statment like [price, notional] = functionname() and also for the same function... notional(1) = functionname() how to do this in R? i have tried using data frame but still getting errors! Yes the functioname() function is recursive...but am guessing it shouldn't matter. also there is no "return" statement in...

...ey <paulmck at linux.vnet.ibm.com> > Date: Fri Jan 15 09:30:42 2016 -0800 > > documentation: Distinguish between local and global transitivity > > The introduction of smp_load_acquire() and smp_store_release() had > the side effect of introducing a weaker notion of transitivity: > The transitivity of full smp_mb() barriers is global, but that > of smp_store_release()/smp_load_acquire() chains is local. This > commit therefore introduces the notion of local transitivity and > gives an example. > > Reported-by: Pet...

...ey <paulmck at linux.vnet.ibm.com> > Date: Fri Jan 15 09:30:42 2016 -0800 > > documentation: Distinguish between local and global transitivity > > The introduction of smp_load_acquire() and smp_store_release() had > the side effect of introducing a weaker notion of transitivity: > The transitivity of full smp_mb() barriers is global, but that > of smp_store_release()/smp_load_acquire() chains is local. This > commit therefore introduces the notion of local transitivity and > gives an example. > > Reported-by: Pet...

On Tue, Jan 27, 2015 at 8:58 PM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote: > > Ah, yes. You are right, we cannot always assume that %y would be zero in > > the second case. > > This wouldn't be the first time we've lost information that we could use > to > > optimize a program by transforming it. > > > > Do you think this result

...unning it 5-8 times, which can take several > hours on an ARM box. I agree it's not easy, but it's not something we should just live with either. There are ways to address the problem and we should consider them. As a randomly chosen example, one thing we could do would be to have the notion of a "last good commit". Fast builders would cycle off ToT, if any one (or some subset) passed, that advances the notion of last good commit. Slower builders should cycle off the last good commit, not ToT. We have all the mechanisms to implement this today. It could be as simple a...

...Times article on R. I object both to the subject line and to the content of several of the messages, and will not repeat or quote any of that content. It smacks to me of mischief making. Discussion has centered around the following quote from the NY Times article: ?According to them, the notion of devising something like R sprang up during a hallway conversation. They both wanted technology better suited for their statistics students, who needed to analyze data and produce graphical models of the information. Most comparable software had been designed by computer scientists and pr...

...t’s relevant to you. > > -Andy Ok, I'm catching up on this thread. Let me summarize a couple of things I noticed while reading. Sanjoy made a good point. We don't actually need a new variant of "invariant.start". Simply using an invariant.start with no uses gives us a notion of an invariant region with no end. (Since the result doesn't escape, there can be no end hidden inside a function call.) This seems like a simple notion to exploit and is strict step forward from where we are, without a new intrinsic. The notions of "invariant over some range"...

...otation) to insist that these instructions are not removed. Perhaps some means already exists; I have not looked. b) It might be interesting to examine whether coherency behavior could be handled as an attribute of address spaces in LLVM. Offhand, this would seem to require a notion of address spaces that are exact duplicates of each other except for coherency behavior, but there might be some cleaner way to handle that. The entire LLVM address space notion intrigues me, and I just haven't had any chance to dig in to it. shap

On 17 May 2016 at 20:04, Justin Bogner via llvm-dev <llvm-dev at lists.llvm.org> wrote: >> Note that this would also fire when a commit referring to a PR gets >> reverted (assuming the reverting commit doesn't botch the commit >> message), etc., which is super useful for those following along on the >> bug's cc list. > > +1. This would be a very useful

...e of the columns in file1 are repeated in file2. Using the "foreign" package, I can read these in separately to dataframes say d1 and d2 with > d1<-read.csv("file1") > d2<-read.csv("file2") Now I would like to combine these into a single dataframe D, notionally D <- "d1 on the left, d2 on the right" which contains all the columns except that duplicates only occur once (and, preferably, in the order of occurrence on d1 -- i.e. remove them from d2 if already dound in d1). Any tips for how to do this slickly? With thanks, Ted. ------...

...a vector to do this? So if I want a diagonal of size 3, I could create a vector like x <- c(0:2) and then pick out a[1+x,1+x]? Currently, using a vector in this way gives me a sub-matrix, as I get the cartesian product of the indexes (which is to be expected, as I guess I am misusing the vector notion here). Anyone know how to do this? Cheers Rory [[alternative HTML version deleted]]

...n an > allocation of size 0 at address nullptr. This therefore returns nullptr > from Allocate, but that method is marked with LLVM_ATTRIBUTE_RETURNS_NONNULL > and LLVM_ATTRIBUTE_RETURNS_NOALIAS, both of which aren’t true in this case. Why is noalias not valid here? I thought LLVM's notion of noalias was based on data dependence -- ptr_a does not alias ptr_b if a store to ptr_a does not have a data dependence with a load from ptr_b and vice versa (and for a zero-sized allocation there can be no data dependence since there cannot legally be such a load/store). Is the C++ notion of no...

....c: int64_t foo() { ... } I had thought that I could use the debug information but the debug information in A.o does not include the type of the declaration "foo", just the type of bar. Is there a way to include declarations as well as definitions such as a above? It appears there is a notion of "retained" types, perhaps I add a flag to retain declarations? Perhaps a different approach? Thanks -david -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161208/aa6e9a87/attachment.html>

...ot tell you nor ask your permission when javascripts spy on your entire storage contents. I had asked a java developer at Sun Microsystems about what Sun means when it says that Java runs in a sandbox? Just what is the sandbox? I also asked if browsers that execute javascripts are retricted to this notion of a sandbox that does not leak out into the rest of the system. He said the "sandbox" is the entire storage on your computer. Enough said.

Dear R users, I'm new to both R and to this list and would like to get advice on how to build generalized additive models in R. Based on the description of gam, which I found on the R website, I specified the following model: model1<-gam(ST~s(MOWST1),family=binomial,data=strikes.S), in which ST is my binary response variable and MOWST1 is a categorical independent variable. I get the

...bining those calls just because they have a new meaningful-only-to-GlobalsAA "almost-readnone" attribute. To the larger point of whether there are other similar cases that extending GlobalsAA wouldn't allow us to optimize -- yes, certainly. I'm just saying that I think that the notion of "external state" is much easier to define in the context of a particular analysis than the IR as a whole, and that I'd expect that coordinating the notion across analyses would require methods on the analysis API explicitly for that coordination. — Mehdi