search for: bmahjour

...lifications where recurrences over non-dominating loops can get canceled out. Having said that it may still be a reasonable middle-ground solution. Philip, do you have any thoughts on that? Bardia Mahjour From: Jimmy Zhongduo Lin <jimmy.zhongduo.lin at huawei.com> To: Bardia Mahjour <bmahjour at ca.ibm.com> Cc: Philip Reames <listmail at philipreames.com>, "llvm-dev at lists.llvm.org" <llvm-dev at lists.llvm.org> Date: 2020/04/16 08:39 PM Subject: [EXTERNAL] RE: [llvm-dev] Scalar Evolution Expressions Involving Sibling Loops Hi Bardia,...

...he next best solution as it helps client code guard against such cases and make alternative arrangements to avoid an assertion or miscompile. Bardia Mahjour Compiler Optimizations IBM Toronto Software Lab From: Jimmy Zhongduo Lin <jimmy.zhongduo.lin at huawei.com> To: Bardia Mahjour <bmahjour at ca.ibm.com>, Philip Reames <listmail at philipreames.com>, "llvm-dev at lists.llvm.org" <llvm-dev at lists.llvm.org> Date: 2020/04/16 04:34 PM Subject: [EXTERNAL] RE: [llvm-dev] Scalar Evolution Expressions Involving Sibling Loops H...

...t i5 = 1; i5 < i4 - 1; i5++) { A[i5] = 22; } } } } To check the bounds of the dependence function we need to create a symbolic expression that involves AddRecs for i2 and i4. Bardia Mahjour From: Philip Reames <listmail at philipreames.com> To: Bardia Mahjour <bmahjour at ca.ibm.com>, LLVM Development List <llvm-dev at lists.llvm.org> Date: 2020/03/30 02:50 PM Subject: [EXTERNAL] Re: [llvm-dev] Scalar Evolution Expressions Involving Sibling Loops On 3/30/20 11:27 AM, Bardia Mahjour via llvm-dev wrote: Forwarding to t...

...ith respect to individual dimensions, then I'm not sure we can reason about *any* delinearization statically (except for the limited cases where the bounds are compile-time known). Am I misunderstanding the issue? Bardia Mahjour Compiler Optimizations Hydra Squad Lead IBM Toronto Software Lab bmahjour at ca.ibm.com (905) 413-2336 From: David Green <David.Green at arm.com> To: "llvm-dev at lists.llvm.org" <llvm-dev at lists.llvm.org>, Bardia Mahjour <bmahjour at ca.ibm.com> Cc: nd <nd at arm.com> Date: 2019/05/14 02:50 PM Subject: [EXTERNAL] Re:...

...ve a lot of effort which increases compile time. Do you have examples of cases where rematerialization is not possible? We are interested in learning about any previous attempts at trying to address the issue in RA. Have you tried it? Bardia Mahjour Compiler Optimizations IBM Toronto Software Lab bmahjour at ca.ibm.com (905) 413-2336 From: Florian Hahn <florian_hahn at apple.com> To: Bardia Mahjour <bmahjour at ca.ibm.com> Cc: via llvm-dev <llvm-dev at lists.llvm.org>, tcorring at amd.com Date: 2019/09/13 11:16 AM Subject: [EXTERNAL] Re: [llvm-dev] Loop Opt WG Meeting Minutes...

...he correct array dimensions? David Green ---2019/05/16 03:50:55 PM---Hello Under the proviso that it's been a while since I looked into any of these things... From: David Green <David.Green at arm.com> To: "Doerfert, Johannes" <jdoerfert at anl.gov>, Bardia Mahjour <bmahjour at ca.ibm.com> Cc: "llvm-dev at lists.llvm.org" <llvm-dev at lists.llvm.org>, nd <nd at arm.com> Date: 2019/05/16 03:50 PM Subject: [EXTERNAL] Re: [llvm-dev] Delinearization validity checks in DependenceAnalysis Hello Under the proviso that it's been a while since...

...soon. However, it is not clear to me if anyone is actively working on it and if so what is the timeline. Does anyone have more information about that? I was also wondering if any of the buildbots test with the NPM pipeline? Regards, Bardia Mahjour Compiler Optimizations IBM Toronto Software Lab bmahjour at ca.ibm.com (905) 413-2336 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190627/263fb111/attachment.html>

...when calling getSCEVAtScope instead of when creating AddRecs, given that simplification steps may remove identical terms involving non-dominating loops? We would appreciate any other insight you might have about this issue. Regards, Bardia Mahjour Compiler Optimizations IBM Toronto Software Lab bmahjour at ca.ibm.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200330/66ff98ad/attachment-0001.html>

...m not sure we can reason > about *any* delinearization statically (except for the limited cases where > the bounds are compile-time known). > > Am I misunderstanding the issue? > > Bardia Mahjour > Compiler Optimizations > Hydra Squad Lead > IBM Toronto Software Lab > bmahjour at ca.ibm.com (905) 413-2336 > > > > > > From: David Green <David.Green at arm.com> > To:   "llvm-dev at lists.llvm.org" <llvm-dev at lists.llvm.org>, Bardia >             Mahjour <bmahjour at ca.ibm.com> > Cc:   nd <nd at arm.com> &...

...ws.llvm.org/D63459) (Ettore) - Loop Guard API (https://reviews.llvm.org/D63885) (Whitney) - Data Dependence Graph (Bardia) - Delinearization (Gary Elsesser) - Loop vs Function pass (Jamie Schmeiser) - Loop Guard API (Whitney) Bardia Mahjour Compiler Optimizations IBM Toronto Software Lab bmahjour at ca.ibm.com (905) 413-2336 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190717/37632ee3/attachment.html>

[CC bollu, mferguson, shil] Am Do., 23. Mai 2019 um 17:13 Uhr schrieb Bardia Mahjour < bmahjour at ca.ibm.com>: > Thanks David and Michael for the clarification. > > I think I understand the rational behind those checks in delinearization > now. > > > Some other languages have stronger guarantees about their array > dimensions accesses being in range. But this bein...

...ve been pessimised to compensate for DA's inability to delinearize, and could fail to catch regressions as a result of bad changes to the data dependence analysis. Looking forward to your help on this. Thank you, Bardia Mahjour Compiler Optimizations Hydra Squad Lead IBM Toronto Software Lab bmahjour at ca.ibm.com (905) 413-2336 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190513/3607186d/attachment.html>

Hello, I am super excited about my proposal being accepted. I would like to thank Whitney for her help during the application phase. I did schedule some tasks for community bonding period. I have started looking into analysis pass for code motion checks. I will keep you updated with the progress. Best, Rithik Sharma -------------- next part -------------- An HTML attachment was scrubbed... URL:

--------------------------- Wed, Sep 11, 2019: --------------------------- - LICM vs Loop Sink Strategy (Whitney) - LICM and SCEV expander host code with no regards to increased live-ranges. This is a long standing issue where historically preference has been to keep LICM more aggressive. - Two questions from IBM side: a. This problem is not specific to the POWER

Agenda for the meeting of July 15 @ 11:00 am (EST): - Loop-Hierachical IR Representation Design (Michael Kruse) - Status Updates -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200713/44b826a0/attachment.html>

...tunity in the proposal. Hope this help. Regards, Whitney Tsang From: RITHIK SHARMA <rithiksh02 at gmail.com> To: whitneyt at ca.ibm.com Cc: etiotto at gmail.com, Stefanos Baziotis <stefanos.baziotis at gmail.com>, llvm-dev <llvm-dev at lists.llvm.org>, bmahjour at ca.ibm.com Date: 2020/03/27 03:08 PM Subject: [EXTERNAL] Re: [llvm-dev] [GSoC] Prospective student for Unify ways to move code or check if code is safe to be moved Hello Whitney, I spent some good time going through the exact implementation of a few loop transformation passes in...

Dear LLVM community, we would like to form a working group that focuses on loop optimizations and the loop optimization pipeline in LLVM. This working group would meet at a regular cadence (weekly or bi-weekly depending on people's schedules) and discuss topics relevant to loop optimizations. These topics would include: - Implementation of current loop optimizations - Proposals for

Hi all, I am trying to use the dependence analyzer in a pass that I am writing and I was surprised to see an incorrect behavior when I try to query DependenceInfo for dependences between instructions. Specifically, if the two instructions are loads/stores accessing an array in a loop, the depend() method would return a dependence regardless of the order of instructions specified. (i.e. if the two

Np, good luck! :) - Stefanos Στις Τρί, 24 Μαρ 2020 στις 8:55 μ.μ., ο/η RITHIK SHARMA < rithiksh02 at gmail.com> έγραψε: > Many thanks, Stefanos! I really appreciate your help :) I heard from > Whitney. > > Best, > Rithik > > On Tue, 24 Mar 2020 at 23:08, Stefanos Baziotis < > stefanos.baziotis at gmail.com> wrote: > >> Hi Rithik, >> >> I