search for: scanon

...section 7.2 for more rules. > > > > On Sun, Mar 4, 2018 at 9:24 AM, Chris Lattner via llvm-dev > <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: > > > >> On Mar 3, 2018, at 1:55 PM, Steve (Numerics) Canon >> <scanon at apple.com <mailto:scanon at apple.com>> wrote: >> >> On Mar 3, 2018, at 15:54, Chris Lattner <clattner at nondot.org >> <mailto:clattner at nondot.org>> wrote: >> >>>> On Mar 2, 2018, at 8:31 AM, Stephen Canon <scanon at app...

...gt;> >> >> >> On Sun, Mar 4, 2018 at 9:24 AM, Chris Lattner via llvm-dev < >> llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >> >> >> >> On Mar 3, 2018, at 1:55 PM, Steve (Numerics) Canon >>> <scanon at apple.com <mailto:scanon at apple.com>> wrote: >>> >>> On Mar 3, 2018, at 15:54, Chris Lattner <clattner at nondot.org >>> <mailto:clattner at nondot.org>> wrote: >>> >>> On Mar 2, 2018, at 8:31 AM, Stephen Canon <s...

> On Mar 3, 2018, at 1:55 PM, Steve (Numerics) Canon <scanon at apple.com> wrote: > > On Mar 3, 2018, at 15:54, Chris Lattner <clattner at nondot.org <mailto:clattner at nondot.org>> wrote: > >>> On Mar 2, 2018, at 8:31 AM, Stephen Canon <scanon at apple.com <mailto:scanon at apple.com>> wrote: >>> &gt...

...8 at 9:24 AM, Chris Lattner via llvm-dev <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org> <mailto:llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>>> wrote: > > > > On Mar 3, 2018, at 1:55 PM, Steve (Numerics) Canon > <scanon at apple.com <mailto:scanon at apple.com> <mailto:scanon at apple.com <mailto:scanon at apple.com>>> wrote: > > On Mar 3, 2018, at 15:54, Chris Lattner <clattner at nondot.org <mailto:clattner at nondot.org> > <mailto:clattner at nondot.org <mai...

...-bits is tracking that the exponent bits are all set, we'll preserve that...) See IEEE-754 section 7.2 for more rules. On Sun, Mar 4, 2018 at 9:24 AM, Chris Lattner via llvm-dev < llvm-dev at lists.llvm.org> wrote: > > > On Mar 3, 2018, at 1:55 PM, Steve (Numerics) Canon <scanon at apple.com> > wrote: > > On Mar 3, 2018, at 15:54, Chris Lattner <clattner at nondot.org> wrote: > > On Mar 2, 2018, at 8:31 AM, Stephen Canon <scanon at apple.com> wrote: > > Thanks for expanding, Chris. Responses inline. > > On Mar 2, 2018, at 12:32 AM,...

On Mar 3, 2018, at 15:54, Chris Lattner <clattner at nondot.org> wrote: >> On Mar 2, 2018, at 8:31 AM, Stephen Canon <scanon at apple.com> wrote: >> >> Thanks for expanding, Chris. Responses inline. >> >>>> On Mar 2, 2018, at 12:32 AM, Chris Lattner via llvm-dev <llvm-dev at lists.llvm.org> wrote: >>> >>> <snip> >>> >>> - Because LLVM r...

...; > > *From:* Sanjay Patel [mailto:spatel at rotateright.com] > *Sent:* Wednesday, February 28, 2018 1:05 PM > *To:* Kaylor, Andrew <andrew.kaylor at intel.com> > *Cc:* llvm-dev <llvm-dev at 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>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault < > arsenm2 at gmail.com>; Kreitzer, David L &l...

...;andrew.kaylor at intel.com > <mailto:andrew.kaylor at intel.com>> > *Cc:* llvm-dev <llvm-dev at lists.llvm.org > <mailto:llvm-dev at lists.llvm.org>>; Nuno Lopes <nunoplopes at sapo.pt > <mailto:nunoplopes at sapo.pt>>; Stephen Canon <scanon at apple.com > <mailto:scanon at apple.com>>; David Majnemer > <david.majnemer at gmail.com <mailto:david.majnemer at gmail.com>>; John > Regehr <regehr at cs.utah.edu <mailto:regehr at cs.utah.edu>>; Sanjoy > Das <sanjoy at playingwit...

...l are replaced with fdiv fast and fmul fast. Not sure what happens in fdiv fast and fmul fast. I feel that its because d/max is really small number and fast-math does not care about small numbers and consider them to zero but this is so incorrect. On Tue, Aug 21, 2018 at 12:45 PM Stephen Canon <scanon at apple.com> wrote: > On Aug 21, 2018, at 11:17 AM, sangeeta chowdhary via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > > > Why the output is different for this below program when compiled using > clang with fast-math optimization > > #include<stdio.h>...

On Wed, Aug 29, 2018 at 3:13 PM, Cameron McInally <cameron.mcinally at nyu.edu> wrote: > On Wed, Aug 29, 2018 at 1:51 PM, Stephen Canon <scanon at apple.com> wrote: > >> On Aug 29, 2018, at 1:22 PM, Cameron McInally via llvm-dev < >> llvm-dev at lists.llvm.org> wrote: >> >> >> FSUB(-0.0, NaN) = NaN >> FSUB(-0.0, -NaN) = NaN >> >> >> Some specific architecture may define thi...

...dman, Eli [mailto:efriedma at codeaurora.org] Sent: Wednesday, February 28, 2018 3:07 PM To: Sanjay Patel <spatel at rotateright.com>; Kaylor, Andrew <andrew.kaylor at intel.com> Cc: llvm-dev <llvm-dev at 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...

I agree. There’s implementation-defined behavior on the conversion of (arg*58) to int, but that shouldn’t be at issue here. The transform of (float)x + 1 => (float)(x + 1) is bogus. > On Mar 20, 2017, at 10:41 AM, Sanjay Patel via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > Looks broken to me; I don't think there's UB in the original program. > > The fold in

...> > *From:* Sanjay Patel [mailto:spatel at rotateright.com] > *Sent:* Wednesday, February 28, 2018 12:08 PM > *To:* Kaylor, Andrew <andrew.kaylor at intel.com> > *Cc:* llvm-dev <llvm-dev at 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>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault < > arsenm2 at gmail.com> > *Subject:* Re: h...

...t being in any way actually uncertain. From: Sanjay Patel [mailto:spatel at rotateright.com] Sent: Wednesday, February 28, 2018 1:05 PM To: Kaylor, Andrew <andrew.kaylor at intel.com> Cc: llvm-dev <llvm-dev at 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>; Friedman, Eli <efriedma at codeaurora.org>; Matt Arsenault <arsenm2 at gmail.com>; Kreitzer, David L <david.l.kreitze...

...s x if x < y, y if y < x, and the number if one is a number and the other is NaN. Otherwise, it is either x or y (this means results might differ among implementations). So I think your proposed semantics are perfectly reasonable. – Steve > On Aug 14, 2014, at 10:55 AM, Steve Canon <scanon at apple.com> wrote: > > I have no position on whether or not these should be added, but if they are they should match the IEEE 754 semantics, which fully specify all of these details. > > (Signaling NaNs could still be left unspecified as they're optional in IEEE-754). > &...

...----- > > From: "Tim Shen" <timshen at google.com> > > To: llvm-dev at lists.llvm.org > > Cc: resistor at mac.com, "Hal Finkel" <hfinkel at anl.gov>, "Fiona Glaser" < > escha at apple.com>, "Stephen Canon" > > <scanon at apple.com>, "Eric Christopher" <echristo at gmail.com> > > Sent: Friday, September 30, 2016 4:43:12 PM > > Subject: [PPC, APFloat] Add full PPCDoubleDouble to APFloat > > > > > > > > > > I have found some internal test failures due to...

...real cheap here) On some of the architectures, moving a value from a floating-point register to integer and back could impact performance, so it pays to use the processor's native instructions for negation and absolute value if they exist. On Fri, Aug 8, 2014 at 10:36 AM, Stephen Canon <scanon at apple.com> wrote: > Worth noting that –0.0 – x isn't actually correct either, since it fails > to flip the sign of –0 if the rounding mode is round toward negative (for > platforms that support IEEE-754 rounding modes), and it raises invalid if x > is a signaling NaN. As Owe...

> On Jan 12, 2017, at 2:21 PM, Mehdi Amini <mehdi.amini at apple.com> wrote: > > >> On Jan 12, 2017, at 11:04 AM, Steve (Numerics) Canon <scanon at apple.com <mailto:scanon at apple.com>> wrote: >> >>> >>> On Jan 12, 2017, at 12:58 PM, Friedman, Eli via llvm-dev <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >>> >>> On 1/12/2017 9:33 AM, Mehdi Amini v...

> On Aug 29, 2018, at 1:22 PM, Cameron McInally via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > FSUB(-0.0, NaN) = NaN > FSUB(-0.0, -NaN) = NaN Some specific architecture may define this, or APFloat might, but IEEE 754 does not interpret the sign of NaN except in four operations (copy, abs, negate, copysign), so it doesn’t say anything about these. – Steve --------------

...an, Eli [mailto:efriedma at codeaurora.org] Sent: Wednesday, February 28, 2018 3:07 PM To: Sanjay Patel <spatel at rotateright.com>; Kaylor, Andrew <andrew.kaylor at intel.com> Cc: llvm-dev <llvm-dev at 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...