mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-04-27 05:30:33 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Merge pull request #3021 from 9il/polyctfe

Browse source 
CTFE-able poly
This commit is contained in:
Robert Schadek 2015-02-26 20:46:10 +01:00
commit 9d4f5ef889
1 changed files with 23 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

44
std/math.d
View file

@ -6240,14 +6240,7 @@ body
}
else
{
ptrdiff_t i = A.length - 1;
typeof(return) r = A[i];
while (--i >= 0)
{
r *= x;
r += A[i];
}
return r;
return polyImplBase(x, A);
}
}
@ -6272,15 +6265,31 @@ body
assert(poly(x, pp) == y);
}
private real polyImpl(real x, in real[] A) @trusted pure nothrow @nogc
in
{
assert(A.length > 0);
unittest {
static assert(poly(3.0, [1.0, 2.0, 3.0]) == 34);
}
body
private Unqual!(CommonType!(T1, T2)) polyImplBase(T1, T2)(T1 x, in T2[] A) @trusted pure nothrow @nogc
if (isFloatingPoint!T1 && isFloatingPoint!T2)
{
ptrdiff_t i = A.length - 1;
typeof(return) r = A[i];
while (--i >= 0)
{
r *= x;
r += A[i];
}
return r;
}
private real polyImpl(real x, in real[] A) @trusted pure nothrow @nogc
{
version (D_InlineAsm_X86)
{
if(__ctfe)
{
return polyImplBase(x, A);
}
version (Windows)
{
// BUG: This code assumes a frame pointer in EBP.
@ -6429,14 +6438,7 @@ body
}
else
{
ptrdiff_t i = A.length - 1;
real r = A[i];
while (--i >= 0)
{
r *= x;
r += A[i];
}
return r;
return polyImplBase(x, A);
}
}