procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

d: Merge upstream dmd 09db0c41e, druntime e68a5ae3.

Browse source 
* New core.math.toPrec templates have been added as an intrinsic.

  Some floating point algorithms, such as Kahan-Babuska-Neumaier
  Summation, require rounding to specific precisions. Rounding to
  precision after every operation, however, loses overall precision in
  the general case and is a runtime performance problem.

  Adding these functions guarantee the rounding at required points in
  the code, and document where in the algorithm the requirement exists.

* Support IBM long double types in core.internal.convert.

* Add missing aliases for 64-bit vectors in core.simd.

* RUNNABLE_PHOBOS_TEST directive has been properly integrated into the
  D2 language testsuite.

Reviewed-on: https://github.com/dlang/druntime/pull/3063
	     https://github.com/dlang/dmd/pull/11054

gcc/d/ChangeLog:

	* intrinsics.cc (expand_intrinsic_toprec): New function.
	(maybe_expand_intrinsic): Handle toPrec intrinsics.
	* intrinsics.def (TOPRECF, TOPREC, TOPRECL): Add toPrec intrinsics.
This commit is contained in:
Iain Buclaw 2020-04-25 02:19:04 +02:00
parent 873878bb82
commit 018730326d
61 changed files with 335 additions and 121 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/d/ChangeLog
View file

@ -1,3 +1,9 @@
2020-04-25 Iain Buclaw <ibuclaw@gdcproject.org>
* intrinsics.cc (expand_intrinsic_toprec): New function.
(maybe_expand_intrinsic): Handle toPrec intrinsics.
* intrinsics.def (TOPRECF, TOPREC, TOPRECL): Add toPrec intrinsics.
2020-04-24 Iain Buclaw <ibuclaw@gdcproject.org>
* d-spec.cc (need_phobos): Remove.

2
gcc/d/dmd/MERGE
View file

@ -1,4 +1,4 @@
62ce36f3737de691217c21f0173f411734eb1d43
09db0c41ee922502fa0966bde24c1cb9b15ad436
The first line of this file holds the git revision number of the last
merge done from the dlang/dmd repository.

22
gcc/d/intrinsics.cc
View file

@ -467,6 +467,25 @@ expand_intrinsic_pow (tree callexp)
base, exponent);
}
/* Expand a front-end intrinsic call to toPrec(). This takes one argument, the
signature to which can be either:
T toPrec(T)(float f);
T toPrec(T)(double f);
T toPrec(T)(real f);
This rounds the argument F to the precision of the specified floating
point type T. The original call expression is held in CALLEXP. */
static tree
expand_intrinsic_toprec (tree callexp)
{
tree f = CALL_EXPR_ARG (callexp, 0);
tree type = TREE_TYPE (callexp);
return convert (type, f);
}
/* Expand a front-end intrinsic call to va_arg(). This takes either one or two
arguments, the signature to which can be either:
@ -818,6 +837,9 @@ maybe_expand_intrinsic (tree callexp)
CALL_EXPR_ARG (callexp, 1),
CALL_EXPR_ARG (callexp, 2));
case INTRINSIC_TOPREC:
return expand_intrinsic_toprec (callexp);
case INTRINSIC_VA_ARG:
case INTRINSIC_C_VA_ARG:
return expand_intrinsic_vaarg (callexp);

3
gcc/d/intrinsics.def
View file

@ -95,6 +95,9 @@ DEF_D_BUILTIN (SIN, SIN, "sin", "core.math", "FNaNbNiNfeZe")
DEF_D_BUILTIN (SQRTF, SQRTF, "sqrt", "core.math", "FNaNbNiNffZf")
DEF_D_BUILTIN (SQRT, SQRT, "sqrt", "core.math", "FNaNbNiNfdZd")
DEF_D_BUILTIN (SQRTL, SQRTL, "sqrt", "core.math", "FNaNbNiNfeZe")
DEF_D_BUILTIN (TOPRECF, TOPREC, "toPrec", "core.math", "FNaNbNffZI1T")
DEF_D_BUILTIN (TOPREC, TOPREC, "toPrec", "core.math", "FNaNbNfdZI1T")
DEF_D_BUILTIN (TOPRECL, TOPREC, "toPrec", "core.math", "FNaNbNfeZI1T")
/* std.math intrinsics. */

16
gcc/testsuite/gdc.test/compilable/interpret3.d
View file

@ -7742,3 +7742,19 @@ struct RBNode(T)
static assert(!__traits(compiles, { alias bug18057 = RBNode!int; }));
/************************************************/
// https://issues.dlang.org/show_bug.cgi?id=9937
int test9937()
{
import core.math;
float x = float.max;
x *= 2;
x = toPrec!float(x);
x /= 2;
assert(x == float.infinity);
return 1;
}
static assert(test9937());

2
gcc/testsuite/gdc.test/runnable/builtin.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
import std.math;
@ -116,4 +117,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/complex.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import std.stdio;
@ -460,4 +461,3 @@ int main(char[][] args)
return 0;
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/constfold.d
View file

@ -1,5 +1,5 @@
#! blah
// RUNNABLE_PHOBOS_TEST
static assert(__LINE__ == 3); // fails as __LINE__ is 2
import std.stdio;
@ -672,4 +672,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/foreach4.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import core.stdc.stdio;
import std.stdio;
@ -928,4 +928,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/ifti.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
struct S {
@ -118,4 +119,3 @@ void main() {
}
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/implicit.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
/***********************************/
@ -479,4 +479,3 @@ void main()
writefln("Success");
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/inner.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
/*******************************************************/
@ -916,4 +916,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

47
gcc/testsuite/gdc.test/runnable/interpret.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
template Tuple(A...)
@ -3480,6 +3480,50 @@ void test15681()
assert(s2.values[1].value == 1); // OK
}
/************************************************/
// toPrec
void testToPrec()
{
import core.math;
enum real ctpir = 0xc.90fdaa22168c235p-2;
enum double ctpid = 0x1.921fb54442d18p+1;
enum float ctpif = 0x1.921fb6p+1;
static assert(toPrec!float(ctpir) == ctpif);
static assert(toPrec!double(ctpir) == ctpid);
static assert(toPrec!real(ctpir) == ctpir);
static assert(toPrec!float(ctpid) == ctpif);
static assert(toPrec!double(ctpid) == ctpid);
static assert(toPrec!real(ctpid) == ctpid);
static assert(toPrec!float(ctpif) == ctpif);
static assert(toPrec!double(ctpif) == ctpif);
static assert(toPrec!real(ctpif) == ctpif);
assert(toPrec!float(ctpir) == ctpif);
assert(toPrec!double(ctpir) == ctpid);
assert(toPrec!real(ctpir) == ctpir);
assert(toPrec!float(ctpid) == ctpif);
assert(toPrec!double(ctpid) == ctpid);
assert(toPrec!real(ctpid) == ctpid);
assert(toPrec!float(ctpif) == ctpif);
assert(toPrec!double(ctpif) == ctpif);
assert(toPrec!real(ctpif) == ctpif);
static real rtpir = 0xc.90fdaa22168c235p-2;
static double rtpid = 0x1.921fb54442d18p+1;
static float rtpif = 0x1.921fb6p+1;
assert(toPrec!float(rtpir) == rtpif);
assert(toPrec!double(rtpir) == rtpid);
assert(toPrec!real(rtpir) == rtpir);
assert(toPrec!float(rtpid) == rtpif);
assert(toPrec!double(rtpid) == rtpid);
assert(toPrec!real(rtpid) == rtpid);
assert(toPrec!float(rtpif) == rtpif);
assert(toPrec!double(rtpif) == rtpif);
assert(toPrec!real(rtpif) == rtpif);
}
/************************************************/
int main()
@ -3609,4 +3653,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/issue8671.d
View file

@ -1,6 +1,6 @@
// RUNNABLE_PHOBOS_TEST
import std.random;
void main()
{
double t = 1.0 - uniform(0.0, 1.0);
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/lazy.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import core.vararg;
import std.stdio;
@ -308,4 +309,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/mars1.d
View file

@ -1,4 +1,5 @@
/*
RUNNABLE_PHOBOS_TEST
REQUIRED_ARGS: -mcpu=native
PERMUTE_ARGS: -O -inline
*/
@ -1723,4 +1724,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/mixin1.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
module mixin1;
import std.stdio;
@ -1468,4 +1468,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/mixin2.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
/*********************************************/
@ -361,4 +362,3 @@ void main()
writeln("Success");
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/s2ir.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
/***********************************/
@ -95,4 +95,3 @@ int main()
writefln("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/stress.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import core.stdc.stdio : printf;
@ -725,4 +726,3 @@ void CLASS()
}
}
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/template4.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
import core.stdc.stdio;
@ -1164,4 +1165,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/template9.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
module breaker;
@ -4965,4 +4966,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test10942.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS: -g
import std.string;
@ -24,4 +25,3 @@ mixin(getEnum(1087));
void main() { }
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test11.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS:
extern(C) int printf(const char*, ...);
@ -1390,4 +1391,3 @@ int main(string[] argv)
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test12.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS: -unittest -O -release -inline -fPIC -g
extern(C) int printf(const char*, ...);
@ -1250,4 +1251,3 @@ int main(string[] argv)
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test12197.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// import std.math;
void foo(T)(T[] b)
@ -10,4 +11,3 @@ void main()
foo(a);
assert(a[0] == 10000);
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test15.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS:
// EXTRA_FILES: extra-files/test15.txt
@ -1439,4 +1440,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test22.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS:
import std.math: poly;
@ -1306,4 +1307,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test23.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS:
module test;
@ -1566,4 +1567,3 @@ void main()
printf("Success\n");
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test24.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// EXTRA_SOURCES: imports/test24a.d imports/test24b.d
// PERMUTE_ARGS:
// REQUIRED_ARGS:
@ -8,4 +9,3 @@ void main()
{
string hi = std.string.format("%s", 3);
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test27.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// COMPILE_SEPARATELY
// EXTRA_SOURCES: imports/test27a.d
// PERMUTE_ARGS:
@ -11,4 +12,3 @@ int main()
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test28.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
module test;
import core.vararg;
@ -1318,4 +1319,3 @@ void main()
printf("Success\n");
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/test34.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
module test34;
import std.stdio;
@ -1292,4 +1292,3 @@ void main()
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test37.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// REQUIRED_ARGS: -Jrunnable/extra-files
// EXTRA_FILES: extra-files/foo37.txt extra-files/std14198/uni.d
@ -11,4 +12,3 @@ void main()
// imports in a subdirectory of the -J path
writefln(import("std14198/uni.d"));
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/test42.d
View file

@ -1,5 +1,5 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS:
//
module test42;
@ -6438,4 +6438,3 @@ int main()
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test5305.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// https://issues.dlang.org/show_bug.cgi?id=5305
import std.math;
@ -5,4 +6,3 @@ void map(real function(real) f) { }
int main() { map(&sqrt); return 0; }
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/test60.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
import std.algorithm;
@ -20,4 +21,3 @@ void main()
writeln("Success");
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testaa.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS: -fPIC
/* Test associative arrays */
@ -1383,4 +1384,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testbitarray.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import std.bitmanip;
@ -14,4 +15,3 @@ void main() {
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testdstress.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
module dstress.run.module_01;
@ -930,4 +931,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testfile.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import std.file;
@ -22,4 +23,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testformat.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import std.stdio;
@ -123,4 +124,3 @@ int main()
std.stdio.writefln("Success");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testline.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// $HeadURL$
@ -41,4 +42,3 @@ void checkFileSpec(Object o){
writeln(str);
assert(str[start .. start+3]=="(1)");
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testmmfile.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// REQUIRED_ARGS:
@ -117,4 +118,3 @@ int main()
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testscope2.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// REQUIRED_ARGS: -dip25
import core.stdc.stdio;
@ -246,4 +247,3 @@ void main()
printf("Success\n");
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testsignals.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import std.stdio;
import std.signals;
@ -111,4 +112,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testsocket.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import std.stdio;
@ -48,4 +49,3 @@ int main ()
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/teststdio.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// EXTRA_FILES: extra-files/teststdio.txt
@ -31,4 +32,3 @@ void main()
} while (!feof(fp));
//fclose(fp);
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/testthread2.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import std.algorithm : map;
@ -106,4 +107,3 @@ void main() {
}
}
// RUNNABLE_PHOBOS_TEST

3
gcc/testsuite/gdc.test/runnable/testtypeid.d
View file

@ -1,4 +1,4 @@
// RUNNABLE_PHOBOS_TEST
import core.vararg;
import std.stdio;
@ -684,4 +684,3 @@ int main()
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/traits.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
module traits;
@ -1606,4 +1607,3 @@ int main()
writeln("Success");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/wc.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// EXECUTE_ARGS: runnable/wc.d
@ -48,4 +49,3 @@ int main (string[] args)
}
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/wc2.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// EXECUTE_ARGS: runnable/wc2.d
@ -72,4 +73,3 @@ int main (string[] args)
}
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/wc3.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
// EXECUTE_ARGS: runnable/extra-files/alice30.txt
// EXTRA_FILES: extra-files/alice30.txt
@ -70,4 +71,3 @@ int main (string[] args)
}
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/xtest46.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS: -unittest -O -release -inline -fPIC -g
import std.stdio;
@ -8283,4 +8284,3 @@ int main()
printf("Success\n");
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
gcc/testsuite/gdc.test/runnable/xtest55.d
View file

@ -1,3 +1,4 @@
// RUNNABLE_PHOBOS_TEST
// PERMUTE_ARGS:
import core.memory, std.stdio;
@ -22,4 +23,3 @@ int main()
return 0;
}
// RUNNABLE_PHOBOS_TEST

2
libphobos/libdruntime/MERGE
View file

@ -1,4 +1,4 @@
c9c209e2c62ce43a2c08ddd61d647730716b2d0f
e68a5ae36790fa9dc5bab6155bc450eb6bf8c12c
The first line of this file holds the git revision number of the last
merge done from the dlang/druntime repository.

2
libphobos/libdruntime/core/cpuid.d
View file

@ -822,7 +822,7 @@ void cpuidX86()
{
asm pure nothrow @nogc {
"cpuid" : "=a" (pnb[0]), "=b" (pnb[1]), "=c" (pnb[ 2]), "=d" (pnb[ 3]) : "a" (0x8000_0002);
"cpuid" : "=a" (pnb[4]), "=b" (pnb[5]), "=c" (pnb[ 6]), "=d" (pnb[ 7]) : "a" (0x8000_0003);
"cpuid" : "=a" (pnb[4]), "=b" (pnb[5]), "=c" (pnb[ 6]), "=d" (pnb[ 7]) : "a" (0x8000_0003);
"cpuid" : "=a" (pnb[8]), "=b" (pnb[9]), "=c" (pnb[10]), "=d" (pnb[11]) : "a" (0x8000_0004);
}
}

170
libphobos/libdruntime/core/internal/convert.d
View file

@ -37,75 +37,137 @@ private ubyte[] ctfe_alloc()(size_t n)
const(ubyte)[] toUbyte(T)(const ref T val) if (is(Unqual!T == float) || is(Unqual!T == double) || is(Unqual!T == real) ||
is(Unqual!T == ifloat) || is(Unqual!T == idouble) || is(Unqual!T == ireal))
{
static const(ubyte)[] reverse_(const(ubyte)[] arr)
{
ubyte[] buff = ctfe_alloc(arr.length);
foreach (k, v; arr)
{
buff[$-k-1] = v;
}
return buff;
}
if (__ctfe)
{
auto parsed = parse(val);
ulong mantissa = parsed.mantissa;
uint exp = parsed.exponent;
uint sign = parsed.sign;
ubyte[] buff = ctfe_alloc(T.sizeof);
size_t off_bytes = 0;
size_t off_bits = 0;
// Quadruples won't fit in one ulong, so check for that.
enum mantissaMax = FloatTraits!T.MANTISSA < ulong.sizeof*8 ?
FloatTraits!T.MANTISSA : ulong.sizeof*8;
for (; off_bytes < mantissaMax/8; ++off_bytes)
static if (T.mant_dig == float.mant_dig || T.mant_dig == double.mant_dig)
{
buff[off_bytes] = cast(ubyte)mantissa;
mantissa >>= 8;
}
static if (floatFormat!T == FloatFormat.Quadruple)
{
ulong mantissa2 = parsed.mantissa2;
off_bytes--; // go back one, since mantissa only stored data in 56
// bits, ie 7 bytes
for (; off_bytes < FloatTraits!T.MANTISSA/8; ++off_bytes)
static if (is(T : ireal)) // https://issues.dlang.org/show_bug.cgi?id=19932
const f = val.im;
else
alias f = val;
static if (T.sizeof == uint.sizeof)
uint bits = *cast(const uint*) &f;
else static if (T.sizeof == ulong.sizeof)
ulong bits = *cast(const ulong*) &f;
ubyte[] result = ctfe_alloc(T.sizeof);
version (BigEndian)
{
buff[off_bytes] = cast(ubyte)mantissa2;
mantissa2 >>= 8;
foreach_reverse (ref b; result)
{
b = cast(ubyte) bits;
bits >>= 8;
}
}
else
{
foreach (ref b; result)
{
b = cast(ubyte) bits;
bits >>= 8;
}
}
return result;
}
else
else static if (floatFormat!T == FloatFormat.DoubleDouble)
{
off_bits = FloatTraits!T.MANTISSA%8;
buff[off_bytes] = cast(ubyte)mantissa;
}
// Parse DoubleDoubles as a pair of doubles.
// The layout of the type is:
//
// [1| 7 | 56 ][ 8 | 56 ]
// [S| Exp | Fraction (hi) ][ Unused | Fraction (low) ]
//
// We can get the least significant bits by subtracting the IEEE
// double precision portion from the real value.
for (size_t i=0; i<FloatTraits!T.EXPONENT/8; ++i)
{
ubyte cur_exp = cast(ubyte)exp;
exp >>= 8;
buff[off_bytes] |= (cur_exp << off_bits);
++off_bytes;
buff[off_bytes] |= cur_exp >> 8 - off_bits;
}
import core.math : toPrec;
ubyte[] buff = ctfe_alloc(T.sizeof);
enum msbSize = double.sizeof;
exp <<= 8 - FloatTraits!T.EXPONENT%8 - 1;
buff[off_bytes] |= exp;
sign <<= 7;
buff[off_bytes] |= sign;
double hi = toPrec!double(val);
buff[0 .. msbSize] = toUbyte(hi)[];
version (LittleEndian)
{
if (val is cast(T)0.0 || val is cast(T)-0.0 ||
val is T.nan || val is -T.nan ||
val is T.infinity || val > T.max ||
val is -T.infinity || val < -T.max)
{
// Zero, NaN, and Inf are all representable as doubles, so the
// least significant part can be 0.0.
buff[msbSize .. $] = 0;
}
else
{
double low = toPrec!double(val - hi);
buff[msbSize .. $] = toUbyte(low)[];
}
// Arrays don't index differently between little and big-endian targets.
return buff;
}
else
{
return reverse_(buff);
auto parsed = parse(val);
ulong mantissa = parsed.mantissa;
uint exp = parsed.exponent;
uint sign = parsed.sign;
ubyte[] buff = ctfe_alloc(T.sizeof);
size_t off_bytes = 0;
size_t off_bits = 0;
// Quadruples won't fit in one ulong, so check for that.
enum mantissaMax = FloatTraits!T.MANTISSA < ulong.sizeof*8 ?
FloatTraits!T.MANTISSA : ulong.sizeof*8;
for (; off_bytes < mantissaMax/8; ++off_bytes)
{
buff[off_bytes] = cast(ubyte)mantissa;
mantissa >>= 8;
}
static if (floatFormat!T == FloatFormat.Quadruple)
{
ulong mantissa2 = parsed.mantissa2;
off_bytes--; // go back one, since mantissa only stored data in 56
// bits, ie 7 bytes
for (; off_bytes < FloatTraits!T.MANTISSA/8; ++off_bytes)
{
buff[off_bytes] = cast(ubyte)mantissa2;
mantissa2 >>= 8;
}
}
else
{
off_bits = FloatTraits!T.MANTISSA%8;
buff[off_bytes] = cast(ubyte)mantissa;
}
for (size_t i=0; i<FloatTraits!T.EXPONENT/8; ++i)
{
ubyte cur_exp = cast(ubyte)exp;
exp >>= 8;
buff[off_bytes] |= (cur_exp << off_bits);
++off_bytes;
buff[off_bytes] |= cur_exp >> 8 - off_bits;
}
exp <<= 8 - FloatTraits!T.EXPONENT%8 - 1;
buff[off_bytes] |= exp;
sign <<= 7;
buff[off_bytes] |= sign;
version (BigEndian)
{
for (size_t left = 0, right = buff.length - 1; left < right; left++, right--)
{
const swap = buff[left];
buff[left] = buff[right];
buff[right] = swap;
}
}
return buff;
}
}
else

71
libphobos/libdruntime/core/math.d
View file

@ -164,3 +164,74 @@ unittest
}
}
/*************************************
* Round argument to a specific precision.
*
* D language types specify a minimum precision, not a maximum. The
* `toPrec()` function forces rounding of the argument `f` to the
* precision of the specified floating point type `T`.
*
* Params:
* T = precision type to round to
* f = value to convert
* Returns:
* f in precision of type `T`
*/
@safe pure nothrow
T toPrec(T:float)(float f) { pragma(inline, false); return f; }
/// ditto
@safe pure nothrow
T toPrec(T:float)(double f) { pragma(inline, false); return cast(T) f; }
/// ditto
@safe pure nothrow
T toPrec(T:float)(real f) { pragma(inline, false); return cast(T) f; }
/// ditto
@safe pure nothrow
T toPrec(T:double)(float f) { pragma(inline, false); return f; }
/// ditto
@safe pure nothrow
T toPrec(T:double)(double f) { pragma(inline, false); return f; }
/// ditto
@safe pure nothrow
T toPrec(T:double)(real f) { pragma(inline, false); return cast(T) f; }
/// ditto
@safe pure nothrow
T toPrec(T:real)(float f) { pragma(inline, false); return f; }
/// ditto
@safe pure nothrow
T toPrec(T:real)(double f) { pragma(inline, false); return f; }
/// ditto
@safe pure nothrow
T toPrec(T:real)(real f) { pragma(inline, false); return f; }
@safe unittest
{
static float f = 1.1f;
static double d = 1.1;
static real r = 1.1L;
f = toPrec!float(f + f);
f = toPrec!float(d + d);
f = toPrec!float(r + r);
d = toPrec!double(f + f);
d = toPrec!double(d + d);
d = toPrec!double(r + r);
r = toPrec!real(f + f);
r = toPrec!real(d + d);
r = toPrec!real(r + r);
/+ Uncomment these once compiler support has been added.
enum real PIR = 0xc.90fdaa22168c235p-2;
enum double PID = 0x1.921fb54442d18p+1;
enum float PIF = 0x1.921fb6p+1;
assert(toPrec!float(PIR) == PIF);
assert(toPrec!double(PIR) == PID);
assert(toPrec!real(PIR) == PIR);
assert(toPrec!float(PID) == PIF);
assert(toPrec!double(PID) == PID);
assert(toPrec!real(PID) == PID);
assert(toPrec!float(PIF) == PIF);
assert(toPrec!double(PIF) == PIF);
assert(toPrec!real(PIF) == PIF);
+/
}

6
libphobos/libdruntime/core/simd.d
View file

@ -10,9 +10,6 @@
* Authors: $(WEB digitalmars.com, Walter Bright),
*/
/* NOTE: This file has been patched from the original DMD distribution to
* work with the GDC compiler.
*/
module core.simd;
pure:
@ -42,6 +39,7 @@ template Vector(T)
/* Handy aliases
*/
static if (is(Vector!(void[8]))) alias Vector!(void[8]) void8; ///
static if (is(Vector!(double[1]))) alias Vector!(double[1]) double1; ///
static if (is(Vector!(float[2]))) alias Vector!(float[2]) float2; ///
static if (is(Vector!(byte[8]))) alias Vector!(byte[8]) byte8; ///
static if (is(Vector!(ubyte[8]))) alias Vector!(ubyte[8]) ubyte8; ///
@ -49,6 +47,8 @@ static if (is(Vector!(short[4]))) alias Vector!(short[4]) short4; ///
static if (is(Vector!(ushort[4]))) alias Vector!(ushort[4]) ushort4; ///
static if (is(Vector!(int[2]))) alias Vector!(int[2]) int2; ///
static if (is(Vector!(uint[2]))) alias Vector!(uint[2]) uint2; ///
static if (is(Vector!(long[1]))) alias Vector!(long[1]) long1; ///
static if (is(Vector!(ulong[1]))) alias Vector!(ulong[1]) ulong1; ///
static if (is(Vector!(void[16]))) alias Vector!(void[16]) void16; ///
static if (is(Vector!(double[2]))) alias Vector!(double[2]) double2; ///