Displaying 8 results from an estimated 8 matches for "constantfoldbinaryfp".
2013 Apr 26
0
[LLVMdev] ConstantFoldBinaryFP and cross compilation
Dan, and anyone else interested.
I am not sure if this has been discussed before, but I do have a case when
the following logic fails to work:
lib/Analysis/ConstantFolding.cpp
static Constant *ConstantFoldBinaryFP(double (*NativeFP)(double, double),
double V, double W, Type *Ty) {
sys::llvm_fenv_clearexcept();
V = NativeFP(V, W);
if (sys::llvm_fenv_testexcept()) {
sys::llvm_fenv_clearexcept();
return 0;
}
..
This fragment seems to assumes t...
2013 Apr 26
0
[LLVMdev] ConstantFoldBinaryFP and cross compilation
...lem in any of it potential forms?
Sergei
---
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by
The Linux Foundation
From: Dan Gohman [mailto:dan433584 at gmail.com]
Sent: Friday, April 26, 2013 4:04 PM
To: Sergei Larin
Cc: llvmdev at cs.uiuc.edu
Subject: Re: ConstantFoldBinaryFP and cross compilation
Hi Sergei,
The degree to which LLVM actually makes any guarantees about IEEE arithmetic
precision is ambiguous. LangRef, for one, doesn't even mention it (it
mentions formats, but nothing else). The de-facto way of interpreting holes
in LangRef is to consider how t...
2013 Apr 26
0
[LLVMdev] ConstantFoldBinaryFP and cross compilation
On Fri, Apr 26, 2013 at 4:20 PM, Owen Anderson <resistor at mac.com> wrote:
>
>
> I have the opposite problem. I have customers who call libm functions
> with constants (or their LLVM intrinsic equivalents) are get very angry if
> they don't get constant folded, and they're not picky at all about the
> precision.
>
If, peradventure, you're using fast-math
2013 Apr 26
2
[LLVMdev] ConstantFoldBinaryFP and cross compilation
...e:
> Dan, and anyone else interested… ****
>
> ** **
>
> I am not sure if this has been discussed before, but I do have a case
> when the following logic fails to work:****
>
> ** **
>
> lib/Analysis/ConstantFolding.cpp****
>
> ** **
>
> static Constant *ConstantFoldBinaryFP(double (*NativeFP)(double, double),*
> ***
>
> double V, double W, Type *Ty) {****
>
> sys::llvm_fenv_clearexcept();****
>
> V = NativeFP(V, W);****
>
> if (sys::llvm_fenv_testexcept()) {****
>
> sys::llvm_fenv_clearex...
2013 Apr 27
0
[LLVMdev] ConstantFoldBinaryFP and cross compilation
On 04/26/2013 04:20 PM, Owen Anderson wrote:
>
> On Apr 26, 2013, at 3:07 PM, Sergei Larin <slarin at codeaurora.org
> <mailto:slarin at codeaurora.org>> wrote:
>
>> Dan,
>> Thank you for the quick and throughout reply. First paragraph pretty
>> much sums it up. Unless there is more will to guaranty (or provide
>> under flag) stricter version of IEEE
2013 Apr 26
5
[LLVMdev] ConstantFoldBinaryFP and cross compilation
On Apr 26, 2013, at 3:07 PM, Sergei Larin <slarin at codeaurora.org> wrote:
>
> Dan,
>
> Thank you for the quick and throughout reply. First paragraph pretty much sums it up. Unless there is more will to guaranty (or provide under flag) stricter version of IEEE adherence, I doubt much can be done.
>
> So all of you with picky customers out there J Is there anyone
2013 Apr 27
3
[LLVMdev] ConstantFoldBinaryFP and cross compilation
On Sat, Apr 27, 2013 at 7:26 PM, Nick Lewycky <nicholas at mxc.ca> wrote:
> On 04/26/2013 04:20 PM, Owen Anderson wrote:
>
>>
>> On Apr 26, 2013, at 3:07 PM, Sergei Larin <slarin at codeaurora.org
>> <mailto:slarin at codeaurora.org>**> wrote:
>>
>> Dan,
>>> Thank you for the quick and throughout reply. First paragraph pretty
2013 Apr 25
6
[LLVMdev] Proposal for new Legalization framework
On Wed, Apr 24, 2013 at 5:26 PM, Chris Lattner <clattner at apple.com> wrote:
> On Apr 24, 2013, at 5:01 PM, Dan Gohman <dan433584 at gmail.com> wrote:
> > In the spirit of the (long-term) intent to migrate away from the
> SelectionDAG framework, it is desirable to implement legalization passes as
> discrete passes. Attached is a patch which implements the beginning of