DMD needs branches

[Thomas Kuehne]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dan schrieb am 2007-04-13:
[snip]
> What if we were to then write a test suite that enforced provable conformance
> to the D specification for 1.0?  Evolving a truly complete test suite seems 
> more sensible than endlessly adding bug-able examples...

You are welcome to do so. However the only sensible way to do so would
be to use formal specification to generate the tests. While this is a
relatively trivial task for the syntax tests (especially the no-compile
target) runtime tests will require a serious amount of work.

DStress[1] at least (don't know about Walter's test suite) contains quite a
number of pro-active test cases. I simply haven't gotten around to add
tests for the post DMD-1.004 features.

Another problem is the processing power required to run those tests.
e.g. the DMD-1.009 run contained 6801 test cases. Most of them were run
in 32 different configuration ("-O", "-inline", "-O -inline", etc.)
resulting in 213324 tests. In total that resulted in ca. 214000 compiler
invocations, 138000 linker invocations and ca. 137500 executions of
newly generated executables.

Thomas

[1] http://dstress.kuehne.cn

-----BEGIN PGP SIGNATURE-----

iD8DBQFGIK11LK5blCcjpWoRAtdiAJ4zftd2EdejPrH/9d4H4qwNwcVJTwCfY10D
I7E+6myEksiY/zwpV0ekN2U=
=BOPN
-----END PGP SIGNATURE-----