search for: kreitzer

Displaying 20 results from an estimated 25 matches for "kreitzer".

2018 Feb 28
5
how to simplify FP ops with an undef operand?
...lists.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com> Subject: Re: how to simplify FP ops with an undef operand? I'm pretty sure that isn't what nnan is supposed to mean. If the result of nnan math were undefined in the sense of "undef", programs using nnan could have undefined behavior...
2018 Jan 09
1
RFC: [LV] any objections in moving isLegalMasked* check from Legal to CostModel? (Cleaning up LoopVectorizationLegality)
..., Hideki <hideki.saito at intel.com>; aemerson at apple.com Cc: llvm-dev at lists.llvm.org; Demikhovsky, Elena <elena.demikhovsky at intel.com>; Amara Emerson <amara.emerson at arm.com>; Stotzer, Eric <estotzer at ti.com>; Nemanja Ivanovic <nemanja.i.ibm at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com>; Nuzman, Dorit <dorit.nuzman at intel.com>; Adam Nemet <anemet at apple.com>; James Molloy <James.Molloy at arm.com>; Sander De Smalen <Sander.DeSmalen at arm.com>; Zaks, Ayal <ayal.zaks at intel.com>; Graham Hunter <Gr...
2018 Feb 28
3
how to simplify FP ops with an undef operand?
...hen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; > John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers. > com>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault < > arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com> > > *Subject:* Re: how to simplify FP ops with an undef operand? > > > > Correct - NaN is not undef in IR. But we don't have a NaN in this example. > We have its moral equivalent in LLVM - an uninitialized value, undef. > &g...
2018 Feb 28
0
how to simplify FP ops with an undef operand?
...lt;sanjoy at playingwithpointers.com > <mailto:sanjoy at playingwithpointers.com>>; Friedman, Eli > <efriedma at codeaurora.org <mailto:efriedma at codeaurora.org>>; Matt > Arsenault <arsenm2 at gmail.com <mailto:arsenm2 at gmail.com>>; > Kreitzer, David L <david.l.kreitzer at intel.com > <mailto:david.l.kreitzer at intel.com>> > > > *Subject:* Re: how to simplify FP ops with an undef operand? > > Correct - NaN is not undef in IR. But we don't have a NaN in this > example. We have its mora...
2018 Mar 01
2
how to simplify FP ops with an undef operand?
...Nuno Lopes <nunoplopes at sapo.pt>; > Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; > John Regehr <regehr at cs.utah.edu>; Sanjoy Das < > sanjoy at playingwithpointers.com>; Matt Arsenault <arsenm2 at gmail.com>; > Kreitzer, David L <david.l.kreitzer at intel.com> > Subject: Re: how to simplify FP ops with an undef operand? > > > > > > > > I'm pretty sure that isn't what nnan is supposed to mean. If the result of > nnan math were undefined in the sense of "undef",...
2018 Jan 06
2
RFC: [LV] any objections in moving isLegalMasked* check from Legal to CostModel? (Cleaning up LoopVectorizationLegality)
...eki.saito at intel.com> Cc: llvm-dev at lists.llvm.org; Hal Finkel <hfinkel at anl.gov>; Demikhovsky, Elena <elena.demikhovsky at intel.com>; Amara Emerson <amara.emerson at arm.com>; Stotzer, Eric <estotzer at ti.com>; Nemanja Ivanovic <nemanja.i.ibm at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com>; Nuzman, Dorit <dorit.nuzman at intel.com>; Adam Nemet <anemet at apple.com>; James Molloy <James.Molloy at arm.com>; Sander De Smalen <Sander.DeSmalen at arm.com>; Zaks, Ayal <ayal.zaks at intel.com>; Graham Hunter <Gr...
2018 Mar 01
0
how to simplify FP ops with an undef operand?
...ts.llvm.org>; Nuno Lopes <nunoplopes at sapo.pt>; Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com> Subject: Re: how to simplify FP ops with an undef operand? I'm pretty sure that isn't what nnan is supposed to mean. If the result of nnan math were undefined in the sense of "undef", programs using nnan could have undefined...
2018 Jan 07
0
RFC: [LV] any objections in moving isLegalMasked* check from Legal to CostModel? (Cleaning up LoopVectorizationLegality)
...aito at intel.com> > Cc: llvm-dev at lists.llvm.org; Hal Finkel <hfinkel at anl.gov>; Demikhovsky, Elena <elena.demikhovsky at intel.com>; Amara Emerson <amara.emerson at arm.com>; Stotzer, Eric <estotzer at ti.com>; Nemanja Ivanovic <nemanja.i.ibm at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com>; Nuzman, Dorit <dorit.nuzman at intel.com>; Adam Nemet <anemet at apple.com>; James Molloy <James.Molloy at arm.com>; Sander De Smalen <Sander.DeSmalen at arm.com>; Zaks, Ayal <ayal.zaks at intel.com>; Graham Hunter <Gr...
2018 Mar 01
0
how to simplify FP ops with an undef operand?
>> On Thu, Mar 1, 2018 at 2:08 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: >> We can do "add %x, undef" => "undef" because for any value of %x, we can >> always find a value that when added to %x produces any value in the >> domain of integers. >> >> This is not the case with floats since with some inputs, e.g., NaNs, we
2018 Feb 28
0
how to simplify FP ops with an undef operand?
...sapo.pt>; Stephen Canon <scanon at apple.com>; David Majnemer <david.majnemer at gmail.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com> Subject: Re: how to simplify FP ops with an undef operand? Correct - NaN is not undef in IR. But we don't have a NaN in this example. We have its moral equivalent in LLVM - an uninitialized value, undef. So we're not introducing any extra unc...
2018 Mar 01
2
how to simplify FP ops with an undef operand?
...t codeaurora.org>; Sanjay Patel <spatel at rotateright.com>; llvm-dev <llvm-dev at lists.llvm.org>; Stephen Canon <scanon at apple.com>; John Regehr <regehr at cs.utah.edu>; Sanjoy Das <sanjoy at playingwithpointers.com>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitzer at intel.com> Subject: Re: how to simplify FP ops with an undef operand? >> On Thu, Mar 1, 2018 at 2:08 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: >> We can do "add %x, undef" => "undef" because for any value of %x, we &...
2018 Feb 28
2
how to simplify FP ops with an undef operand?
Correct - NaN is not undef in IR. But we don't have a NaN in this example. We have its moral equivalent in LLVM - an uninitialized value, undef. So we're not introducing any extra uncertainty by propagating the undef. The backend can choose whatever encoding of undef makes sense when lowering? And yes, I don't know why FP-div-by-zero would ever be UB. I think that text in the LangRef
2015 Jan 23
3
[LLVMdev] X86TarIgetLowering::LowerToBT
I’ll be happy to run it for you. Do you want Intel64, x86 or both? The Intel compiler doesn’t have a –Oz option. It has –Os and –O[123]. Also, FWIW, one of the Intel compiler experts on BT will comment on this thread, and on our rules for BT usage later this afternoon. Kevin B. Smith From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On Behalf Of Chris Sears Sent:
2009 Sep 17
3
[Bug 1651] New: Possible race condition using local port forwarding with short lived connections
https://bugzilla.mindrot.org/show_bug.cgi?id=1651 Summary: Possible race condition using local port forwarding with short lived connections Product: Portable OpenSSH Version: 5.2p1 Platform: ix86 OS/Version: Linux Status: NEW Severity: normal Priority: P2 Component: ssh
2018 Jan 05
0
RFC: [LV] any objections in moving isLegalMasked* check from Legal to CostModel? (Cleaning up LoopVectorizationLegality)
> On 5 Jan 2018, at 21:01, Saito, Hideki via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > All, > > I'm trying to refactor LoopVectorize such that it has better conformance to VPlan vision going forward > (http://www.llvm.org/docs/Proposals/VectorizationPlan.html). All VP*Recipe class definitions are now > moved to VPlan.h, and I have a patch under review
2018 Jan 05
2
RFC: [LV] any objections in moving isLegalMasked* check from Legal to CostModel? (Cleaning up LoopVectorizationLegality)
All, I'm trying to refactor LoopVectorize such that it has better conformance to VPlan vision going forward (http://www.llvm.org/docs/Proposals/VectorizationPlan.html). All VP*Recipe class definitions are now moved to VPlan.h, and I have a patch under review to move LoopVectorizationPlanner class out of LoopVectorize.cpp (https://reviews.llvm.org/D41420). Next thing I'm working on is
2015 Jan 29
4
[LLVMdev] RFC: Native Windows C++ exception handling
...revising my outlining patch to produce the results in the attached example. -Andy From: Reid Kleckner [mailto:rnk at google.com] Sent: Tuesday, January 27, 2015 1:55 PM To: Kaylor, Andrew Cc: Bataev, Alexey; Reid Kleckner (reid at kleckner.net); LLVM Developers Mailing List; Anton Korobeynikov; Kreitzer, David L Subject: Re: [LLVMdev] RFC: Native Windows C++ exception handling On Tue, Jan 27, 2015 at 12:58 PM, Kaylor, Andrew <andrew.kaylor at intel.com<mailto:andrew.kaylor at intel.com>> wrote: Thanks, Reid. These are good points. So I guess that does take us back to something more...
2015 Jan 27
2
[LLVMdev] RFC: Native Windows C++ exception handling
...rking on a revised proposal. Let me know if you have any more solid ideas. -Andy From: Reid Kleckner [mailto:rnk at google.com] Sent: Tuesday, January 27, 2015 11:24 AM To: Kaylor, Andrew Cc: Bataev, Alexey; Reid Kleckner (reid at kleckner.net); LLVM Developers Mailing List; Anton Korobeynikov; Kreitzer, David L Subject: Re: [LLVMdev] RFC: Native Windows C++ exception handling My original reply got stuck in llvmdev moderation (it hit the 100K limit!), so I'm resending without reply context. ------- Thanks, your explanation of the .xdata tables in terms of EH states makes a lot of sense to m...
2015 Feb 11
2
[LLVMdev] RFC: Native Windows C++ exception handling
...y > > > > > > *From:* Reid Kleckner [mailto:rnk at google.com <rnk at google.com>] > *Sent:* Tuesday, January 27, 2015 1:55 PM > *To:* Kaylor, Andrew > *Cc:* Bataev, Alexey; Reid Kleckner (reid at kleckner.net); LLVM Developers > Mailing List; Anton Korobeynikov; Kreitzer, David L > *Subject:* Re: [LLVMdev] RFC: Native Windows C++ exception handling > > > > On Tue, Jan 27, 2015 at 12:58 PM, Kaylor, Andrew <andrew.kaylor at intel.com> > wrote: > > Thanks, Reid. These are good points. > > > > So I guess that does take us bac...
2015 Jan 29
0
[LLVMdev] RFC: Native Windows C++ exception handling
.... > > > > -Andy > > > > > > *From:* Reid Kleckner [mailto:rnk at google.com] > *Sent:* Tuesday, January 27, 2015 1:55 PM > *To:* Kaylor, Andrew > *Cc:* Bataev, Alexey; Reid Kleckner (reid at kleckner.net); LLVM Developers > Mailing List; Anton Korobeynikov; Kreitzer, David L > *Subject:* Re: [LLVMdev] RFC: Native Windows C++ exception handling > > > > On Tue, Jan 27, 2015 at 12:58 PM, Kaylor, Andrew <andrew.kaylor at intel.com> > wrote: > > Thanks, Reid. These are good points. > > > > So I guess that does take us bac...