search for: sbirlea

...( 29.4%) 3.0804 ( 58.2%) 3.1331 ( 58.3%) Memory SSA with alias followed by getModRefInfo 2.2487 ( 52.9%) 0.0259 ( 27.1%) 2.2746 ( 52.4%) 2.2820 ( 52.4%) Memory SSA etc Not entirely sure what is going on. But if alias is free, problem solved! On Mon, Oct 9, 2017 at 4:05 PM, Alina Sbirlea <alina.sbirlea at gmail.com> wrote: > On Mon, Oct 9, 2017 at 2:08 PM, Alina Sbirlea <alina.sbirlea at gmail.com> > wrote: > >> On Mon, Oct 9, 2017 at 1:57 PM, Daniel Berlin <dberlin at dberlin.org> >> wrote: >> >>> FWIW: Bootstrap is probably...

On 2/10/20 2:35 PM, Alina Sbirlea wrote: > Hi, > > Here's a tentative patch of the changes for this: D74353 > <https://reviews.llvm.org/D74353>. I suppose that, as expected, it's invalidated less often this way. Given that it's generally stateless, does this really represent a cost savings?  -Hal...

...re in bootstrap, as you can see. > Let me get you some test cases. > SG, thanks! > > My guess is that we should go with mustmod. > > > As for callsites, adding mustmod works for call, memloc and call, call > testing. > > > > On Mon, Oct 9, 2017, 4:48 PM Alina Sbirlea <alina.sbirlea at gmail.com> > wrote: > >> Hi, >> >> This came up in https://reviews.llvm.org/D38569, and I'd like some input >> on what's the best way to get alias and mod-ref info without having two >> alias calls. >> >> A couple of id...

...Hal Finkel Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory ________________________________ From: Tarique Islam <tislam at ca.ibm.com> Sent: Thursday, May 21, 2020 8:19:31 AM To: Finkel, Hal J. <hfinkel at anl.gov> Cc: Alina Sbirlea <alina.sbirlea at gmail.com>; Doerfert, Johannes <jdoerfert at anl.gov>; Jeroen Dobbelaere <Jeroen.Dobbelaere at synopsys.com>; llvm-dev at lists.llvm.org <llvm-dev at lists.llvm.org> Subject: RE: [llvm-dev] LLVM Alias Analysis Technical Call - Doodle Poll Hi Hal, Thanks...

Hi all, After a long ride, I'm planning to turn on the use of MemorySSA for loop passes (D58311 <https://reviews.llvm.org/D58311>) tomorrow (8/29). Please let me know if you have issues, concerns or feedback on this. Best, Alina -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hi, I'd like to understand if it makes sense to keep BasicAA as a not CFG-only pass, or if it can be updated to CFG-only. The change was made in D44564 <https://reviews.llvm.org/D44564>. >From what I gathered the motivation was PhiValuesAnalysis not being properly updated, and BasicAA having an instance of it. PhiValuesAnalysis now uses callback values to invalidate deleted values (

...I_Mod&MRI_Must? In getModRefInfo(CS, Loc), the MRI_Must bit would then be set if doesAccessArgPointees and ArgAlias == MustAlias for all Args, which seems correct. I may be missing something here, I don't want to dive into the wrong implementation. On Tue, Oct 10, 2017 at 9:16 AM, Alina Sbirlea <alina.sbirlea at gmail.com> wrote: > I should have clarified, by 2 calls meant getModRef followed by alias, not > two getModRef calls. > The timings you got seem to concur, but I'm quite skeptical about the > alias call being free... > > On Mon, Oct 9, 2017 at 7:05 PM,...

> On Feb 29, 2016, at 10:50 PM, Hal Finkel <hfinkel at anl.gov> wrote: > > > > From: "Mehdi Amini via llvm-dev" <llvm-dev at lists.llvm.org> > To: "Alina Sbirlea" <alina.sbirlea at gmail.com> > Cc: "llvm-dev" <llvm-dev at lists.llvm.org> > Sent: Monday, February 29, 2016 7:06:51 PM > Subject: Re: [llvm-dev] RFC: Add bitcode tests to test-suite > > > > Sent from my iPhone > > On Feb 29, 2016, at 3:39...

...Argonne National Laboratory ________________________________ From: llvm-dev <llvm-dev-bounces at lists.llvm.org> on behalf of Hal Finkel via llvm-dev <llvm-dev at lists.llvm.org> Sent: Friday, June 26, 2020 9:48 AM To: Jeroen Dobbelaere <Jeroen.Dobbelaere at synopsys.com>; Alina Sbirlea <alina.sbirlea at gmail.com> Cc: llvm-dev at lists.llvm.org <llvm-dev at lists.llvm.org>; Doerfert, Johannes <jdoerfert at anl.gov> Subject: Re: [llvm-dev] LLVM Alias Analysis Technical Call - New Doodle Poll Thanks, everyone. It looks like we do have a time that works for almos...

----- Original Message ----- > From: "Mehdi Amini via llvm-dev" <llvm-dev at lists.llvm.org> > To: "Alina Sbirlea" <alina.sbirlea at gmail.com> > Cc: "llvm-dev" <llvm-dev at lists.llvm.org> > Sent: Monday, February 29, 2016 7:06:51 PM > Subject: Re: [llvm-dev] RFC: Add bitcode tests to test-suite > Sent from my iPhone > On Feb 29, 2016, at 3:39 PM, Alina Sbirlea <...

...Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory ________________________________ From: Finkel, Hal J. <hfinkel at anl.gov> Sent: Monday, May 18, 2020 10:24 AM To: Jeroen Dobbelaere <Jeroen.Dobbelaere at synopsys.com>; Alina Sbirlea <alina.sbirlea at gmail.com>; Finkel, Hal J. <hfinkel at anl.gov> Cc: llvm-dev at lists.llvm.org <llvm-dev at lists.llvm.org>; Doerfert, Johannes <jdoerfert at anl.gov> Subject: Re: LLVM Alias Analysis Technical Call - Doodle Poll Thanks to everyone who participated in the...

Sent from my iPhone > On Feb 29, 2016, at 3:39 PM, Alina Sbirlea <alina.sbirlea at gmail.com> wrote: > > > >> On Mon, Feb 29, 2016 at 2:06 PM, Mehdi Amini <mehdi.amini at apple.com> wrote: >> >>> On Feb 29, 2016, at 1:50 PM, Alina Sbirlea <alina.sbirlea at gmail.com> wrote: >>> >>> >>&...

Hi, This came up in https://reviews.llvm.org/D38569, and I'd like some input on what's the best way to get alias and mod-ref info without having two alias calls. A couple of ideas: (a) Extend the getModRefInfo interface (+getModRefBehavior, +gerArgModRefInfo) to return a pair {ModRefInfo, AliasResult}. The AliasResult can be optional based on an argument e.g.: struct MRI_AR {

...nne National Laboratory ________________________________ From: llvm-dev <llvm-dev-bounces at lists.llvm.org> on behalf of Finkel, Hal J. via llvm-dev <llvm-dev at lists.llvm.org> Sent: Thursday, May 28, 2020 7:35 AM To: Jeroen Dobbelaere <Jeroen.Dobbelaere at synopsys.com>; Alina Sbirlea <alina.sbirlea at gmail.com> Cc: llvm-dev at lists.llvm.org <llvm-dev at lists.llvm.org>; Doerfert, Johannes <jdoerfert at anl.gov> Subject: Re: [llvm-dev] LLVM Alias Analysis Technical Call - Doodle Poll Hi, everyone, Just a quick reminder, this call starts in approximately 1.5...

...ia llvm-dev < llvm-dev at lists.llvm.org> wrote: > On Feb 29, 2016, at 10:50 PM, Hal Finkel <hfinkel at anl.gov> wrote: > > > > ------------------------------ > > *From: *"Mehdi Amini via llvm-dev" <llvm-dev at lists.llvm.org> > *To: *"Alina Sbirlea" <alina.sbirlea at gmail.com> > *Cc: *"llvm-dev" <llvm-dev at lists.llvm.org> > *Sent: *Monday, February 29, 2016 7:06:51 PM > *Subject: *Re: [llvm-dev] RFC: Add bitcode tests to test-suite > > > > Sent from my iPhone > > On Feb 29, 2016, at 3:3...

...ured. With MemorySSA we know we benefit from reusing the info it stores, so having passes update it makes sense. Does that makes sense, or did I misunderstand your question? Alina On Mon, Mar 4, 2019 at 5:23 PM Finkel, Hal J. <hfinkel at anl.gov> wrote: > > On 3/4/19 7:08 PM, Alina Sbirlea via llvm-dev wrote: > > TL;DR: I'm looking to have AliasAnalysis passes have the ability keep a > temporary cache when no transformations are performed. > > I'm interested to first and foremost clarify what is the best way to even > start such an infrastructure change, suc...

...t;> On Feb 29, 2016, at 10:50 PM, Hal Finkel <hfinkel at anl.gov <mailto:hfinkel at anl.gov>> wrote: >> >> >> >> From: "Mehdi Amini via llvm-dev" <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> >> To: "Alina Sbirlea" <alina.sbirlea at gmail.com <mailto:alina.sbirlea at gmail.com>> >> Cc: "llvm-dev" <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> >> Sent: Monday, February 29, 2016 7:06:51 PM >> Subject: Re: [llvm-dev] RFC: Add bitcode tes...

...rly rare in bootstrap, as you can see. > Let me get you some test cases. > > My guess is that we should go with mustmod. I agree. -Hal > > > As for callsites, adding mustmod works for call, memloc and call, call > testing. > > > On Mon, Oct 9, 2017, 4:48 PM Alina Sbirlea <alina.sbirlea at gmail.com > <mailto:alina.sbirlea at gmail.com>> wrote: > > Hi, > > This came up in https://reviews.llvm.org/D38569, and I'd like some > input on what's the best way to get alias and mod-ref info without > having two alias...

On Tue, Mar 10, 2020 at 2:30 PM David Blaikie <dblaikie at gmail.com> wrote: > > > On Tue, Mar 10, 2020 at 8:31 AM Alina Sbirlea <alina.sbirlea at gmail.com> > wrote: > >> Hi Dave, >> >> It may be possible to do this with the current API, but what I was >> looking for is a common API for existing block types. For example there is >> no succ_begin for Machine BasicBlock. >> >...

...m not an expert in this area, I need to ask a lot of >> questions to make sure I’m proving the right thing :) The script >> reported a few bugs in BasicAA (mostly for GEPs wo/ inbounds); need to >> report these.. >> >> >> >> >> >> *From:* Alina Sbirlea >> *Sent:* 27 November 2017 20:02 >> *To:* Nuno Lopes <nunoplopes at sapo.pt> >> *Cc:* Hal Finkel <hfinkel at anl.gov>; Daniel Berlin <dberlin at dberlin.org>; >> George Burgess IV <george.burgess.iv at gmail.com>; Sanjoy Das < >> sanjoy at p...