search for: nhaehnle

...t; FOSDEM 2019; Nicolai Hähnle https://fosdem.org/2019/schedule/event/llvm_tablegen/ Slides: https://archive.fosdem.org/2019/schedule/event/llvm_tablegen/attachments/slides/3304/export/events/attachments/llvm_tablegen/slides/3304/tablegen.pdf Series: - What has TableGen ever done for us?: http://nhaehnle.blogspot.com/2018/02/tablegen-1-what-has-tablegen-ever-done.html - Functional Programming: http://nhaehnle.blogspot.com/2018/02/tablegen-2-functional-programming.html - Bits: http://nhaehnle.blogspot.com/2018/02/tablegen-3-bits.html - Resolving variables: http://nhaehnle.blogspot.com/2018/03/tabl...

...ant to insert a new machine bb “before” a specific machine bb. or split a mbb and keep the later one as the original one. (to keep the label/Blackadder's correct t) (or keep other property of mbb) so I need to transfer the original mbb's predecessor to the new mbb. Nicolai Hähnle <nhaehnle at gmail.com> 於 2020年3月13日 週五 23:57 寫道： > On Fri, Mar 13, 2020 at 12:22 PM PenYiWang via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > I found that there is transferSuccessors() in MachineBasicBlcok > > > > So that when manipulating MachineBasicBlock, > &gt...

.../llvm_tablegen/ >> Slides: >> >> https://archive.fosdem.org/2019/schedule/event/llvm_tablegen/attachments/slides/3304/export/events/attachments/llvm_tablegen/slides/3304/tablegen.pdf >> >> Series: >> - What has TableGen ever done for us?: >> >> http://nhaehnle.blogspot.com/2018/02/tablegen-1-what-has-tablegen-ever-done.html >> - Functional Programming: >> >> http://nhaehnle.blogspot.com/2018/02/tablegen-2-functional-programming.html >> - Bits: http://nhaehnle.blogspot.com/2018/02/tablegen-3-bits.html >> - Resolving variables...

...otateright.com<mailto:spatel at rotateright.com>>, "cfe-dev" <cfe-dev at lists.llvm.org<mailto:cfe-dev at lists.llvm.org>>, "llvm-dev" <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>> >>> Cc: "Nicolai Hähnle" <nhaehnle at gmail.com<mailto:nhaehnle at gmail.com>>, "Hal Finkel" <hfinkel at anl.gov<mailto:hfinkel at anl.gov>>, "Mehdi Amini" <mehdi.amini at apple.com<mailto:mehdi.amini at apple.com>>, "andrew kaylor" <andrew.kaylor at intel.com<mail...

...ith xxxxx being one or the other ;)) I don’t want to add confusion, I feel I’m doing a bad job here somehow: I’m not saying we *should* do this (rejecting in the driver). So let’s just fix it! — Mehdi >> >> >> -----Original Message----- >> From: Nicolai Hähnle [mailto:nhaehnle at gmail.com] >> Sent: Thursday, November 17, 2016 12:36 PM >> To: Kaylor, Andrew <andrew.kaylor at intel.com>; Ristow, Warren <warren.ristow at sony.com>; mehdi.amini at apple.com >> Cc: llvm-dev at lists.llvm.org >> Subject: Re: [llvm-dev] RFC: Consider changi...

Hi, I am new to LLVM and I find TableGen language really cryptic. The reference manual to the language is not helpful either. I can look at the existing .td file and reverse engineer but I am looking for a detailed manual. Specifically, I have below questions: 1. What is a basic syntax for writing a dag? From the lang ref manual I can see that its something like operator followed by ArgList which

...to things like FMA and shouldn’t be confused with fast-math. -Andy From: Ristow, Warren [mailto:warren.ristow at sony.com] Sent: Thursday, November 17, 2016 12:51 AM To: mehdi.amini at apple.com Cc: Kaylor, Andrew <andrew.kaylor at intel.com>; llvm-dev at lists.llvm.org; Nicolai Hähnle <nhaehnle at gmail.com> Subject: RE: [llvm-dev] RFC: Consider changing the semantics of 'fast' flag implying all fast-math-flags Those are all good points. Your reassociation point in the context of inlining is particularly interesting. FWIW, we also have a case where a customer wants '-fno...

...anl.gov> > Cc: "Mehdi Amini" <mehdi.amini at apple.com>, "llvm-dev" > <llvm-dev at lists.llvm.org>, "cfe-dev" <cfe-dev at lists.llvm.org>, > "andrew kaylor" <andrew.kaylor at intel.com>, "Nicolai Hähnle" > <nhaehnle at gmail.com>, "Warren Ristow" <warren.ristow at sony.com> > Sent: Friday, November 18, 2016 10:37:08 AM > Subject: Re: what does -ffp-contract=fast allow? > fp-contract is confusing, so let me try to summarize that and the > underlying implementation: > 1. -ffp-...

...float y = b * tmp; when they specified '-ffast-math -fno-reciprocal-math'. They can rightfully come back and say "what do you mean by '-fno-reciprocal-math'?" I have to call that a compiler-bug. Thanks! -Warren -----Original Message----- From: Nicolai Hähnle [mailto:nhaehnle at gmail.com] Sent: Thursday, November 17, 2016 12:36 PM To: Kaylor, Andrew <andrew.kaylor at intel.com>; Ristow, Warren <warren.ristow at sony.com>; mehdi.amini at apple.com Cc: llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] RFC: Consider changing the semantics of 'fast' f...

Conditional on the target supporting cmov? Though that's probably not optimal. On Wed, Feb 5, 2020, 7:47 AM Nicolai Hähnle <nhaehnle at gmail.com> wrote: > Hi Ryan, > > On Mon, Feb 3, 2020 at 7:08 PM Ryan Taylor via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > SimplifyCFG FoldTwoEntryPhiNode looks to simplify all 2 entry phi nodes > in a block, if it can't do them all then it won't do...

...d, I think, it boils down to the question if there are situations where violation of some attributes should be poison and violation of others should be UB. If such situations exists it is unclear to me what makes the UB/poison ones special. > On Wed, Feb 19, 2020 at 12:14 PM Nicolai Hähnle <nhaehnle at gmail.com> wrote: > > > On Wed, Feb 19, 2020 at 3:51 AM Juneyoung Lee via llvm-dev > > <llvm-dev at lists.llvm.org> wrote: > > > I think not_poison (Johannes's used keyword) makes sense. We can > > simulate the original UB semantics by simply attaching...

...in a way that makes things work that look like they should already work but don't. I would appreciate feedback and help in reviewing the patches when they arrive! Thanks, Nicolai P.S.: I'm going to document some of my findings and changes on my blog, the first entry is here: https://nhaehnle.blogspot.de/2018/02/tablegen-1-what-has-tablegen-ever-done.html -- Lerne, wie die Welt wirklich ist, Aber vergiss niemals, wie sie sein sollte.

...> for them? Very likely, yes. Can you take a look at how big the fallout is? This might give us a hint about what other frontends might expect, and who needs to be involved in the discussion (if one is needed). Cheers, Nicolai > > On Wed, Aug 22, 2018 at 11:41 AM Nicolai Hähnle <nhaehnle at gmail.com > <mailto:nhaehnle at gmail.com>> wrote: > > On 22.08.2018 13:29, Ryan Taylor wrote: > > The example starts as SPIR-V with the NoContraction decoration > flag on > > the fmul. > > > > I think what you are saying...

...com/RadeonOpenCompute/ROCm-Device-Libs . They are configured by linking in a number tiny libraries that define global constants; these allow unwanted code including branches to be eliminated during post-bitcode-link optimization. Regards, Brian -----Original Message----- From: Nicolai Hähnle <nhaehnle at gmail.com> Sent: Wednesday, November 13, 2019 12:57 PM To: Frank Winter <fwinter at jlab.org>; Sumner, Brian <Brian.Sumner at amd.com> Cc: LLVM Dev <llvm-dev at lists.llvm.org> Subject: Re: [llvm-dev] AMDGPU and math functions [CAUTION: External Email] Brian, this seems l...

...> > > From: mehdi.amini at apple.com [mailto:mehdi.amini at apple.com] > Sent: Wednesday, November 16, 2016 7:11 PM > To: Ristow, Warren <warren.ristow at sony.com> > Cc: Kaylor, Andrew <andrew.kaylor at intel.com>; llvm-dev at lists.llvm.org; Nicolai Hähnle <nhaehnle at gmail.com> > Subject: Re: [llvm-dev] RFC: Consider changing the semantics of 'fast' flag implying all fast-math-flags > > > On Nov 16, 2016, at 6:22 PM, Ristow, Warren <warren.ristow at sony.com <mailto:warren.ristow at sony.com>> wrote: > > > .....

...to tablegen. While it's still far from perfect, I now have a hope that one day I'll be able to *just write* something in tablegen, as opposed to constantly struggling to trick tablegen into doing what I need it to do. Thank you. --Artem On Wed, Feb 21, 2018 at 2:48 AM Nicolai Hähnle <nhaehnle at gmail.com> wrote: > Hi Artem, > > Thank you for your encouraging reply :) > > I have now cleaned up the first batch of changes and put them on > Phabricator here: https://reviews.llvm.org/D43552 > > I've tried to keep individual changes small, and I've verifie...

...look like they should already work but don't. > > I would appreciate feedback and help in reviewing the patches when they > arrive! > > Thanks, > Nicolai > > P.S.: I'm going to document some of my findings and changes on my blog, > the first entry is here: https://nhaehnle.blogspot.de/2 > 018/02/tablegen-1-what-has-tablegen-ever-done.html > > -- > Lerne, wie die Welt wirklich ist, > Aber vergiss niemals, wie sie sein sollte. > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http:...

This is just paraphrasing from D26602, so credit to Nicolai for first raising the issue there. float foo(float x, float y) { return x * (y + 1); } $ ./clang -O2 xy1.c -S -o - -target aarch64 -ffp-contract=fast | grep fm fmadd s0, s1, s0, s0 Is this a bug? We transformed the original expression into: x * y + x When x=INF and y=0, the code returns INF if we don't reassociate. With

On 19.03.2016 16:25, Mehdi Amini wrote: > Hi, > > Can you elaborate what is the impact at the IR level? > If the point is just about how you lower for you target, why are you needing an IR level attribute? You backend if free to specialize the lowering for any intrinsic regardless the IR level attributes. As I explained in my reply to Philip, what I really need is a way to get

On Wed, Jun 24, 2020 at 9:54 AM Nicolai Hähnle <nhaehnle at gmail.com> wrote: > On Tue, Jun 23, 2020 at 2:40 PM Stella Laurenzo via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > We originally started it as a fork of the LLVM repository, but > transitioned to the MLIR standalone template, and we found it more > productive...