search for: n4150

...ler Carruth" <chandlerc at google.com>, "LLVM Developers Mailing List" <llvmdev at cs.uiuc.edu> > Sent: Monday, November 24, 2014 7:20:04 PM > Subject: Re: [LLVMdev] Upcoming Changes/Additions to Scoped-NoAlias metadata > > > I'm going to have to read N4150 before commenting on your second > point, but in the meantime, a few questions. In the original > proposal, if you have: > > > T A,B; > void foo(T *restrict a, T* restrict b) { > A = *b; > *a = A; > } > > > How is this going to be modeled so that B is aliased...

...e can deduce restrictness (through the 'side_gep') >> We believe that this might help us fix the possible issues with LSR >> We also think that a variant of this can help us to implement support for a restrict pointer that is member of a struct (and as an extension, for proposal n4150). >> >> Do you expect any issue with adding such a 'side channel' metadata to load/store instructions ? >> >> Thanks, >> >> Jeroen Dobbelaere >> >> >> >> >> -- Hal Finkel Lead, Compiler Technology and Programming Languages...

...ambiguous restrict-qualified pointers from aggregates seems straightforward). It does not, however, cover cases where the region of guaranteed disjointness (for lack of a better term) is not continuous. This will come up when implementing a scheme such as that in the current C++ alias-set proposal (N4150). To construct a quick example, imagine that our implementation of std::vector is annotated such that (assuming the standard allocator) each std::vector object's internal storage has a distinct alias set, and we have: std::vector<T> x, y; ... T * q = &x[0]; for (int i = 0; i...

Hi all, I am happy to announce that Synopsys wants to contribute its implementation of 'C99 restrict' to the LLVM project. [1] This implementation is based on Hal Finkel's local restrict patches and on the 'RFC: Full 'restrict' support in LLVM' [2] Any help with extra testing and code review is welcome. To be generally useful, there are also some small gaps [1] that

----- Original Message ----- > From: "Raul Silvera" <rsilvera at google.com> > To: "Hal Finkel" <hfinkel at anl.gov> > Cc: "Chandler Carruth" <chandlerc at google.com>, "LLVM Developers Mailing List" <llvmdev at cs.uiuc.edu> > Sent: Tuesday, November 18, 2014 11:23:25 AM > Subject: Re: [LLVMdev] Upcoming