I haven't tried safeD and i'm guessing that is extra secure version of D
but what would be the point in removing those secuirty checks?
On Wed, 17 Dec 2008 08:34:17 +1300, bearophile <[email protected]>
wrote:
This article shows a way to remove lot of array bounds checks, it's not
the first of this kind, but this method seems simple enough.
"Array Bounds Check Elimination for the Java HotSpot Client Compiler"
By Thomas Würthinger, Christian Wimmer and Hanspeter Mössenböck:
http://www.ssw.uni-linz.ac.at/Research/Papers/Wuerthinger07/Wuerthinger07.pdf
With some heuristics it's often able to move the array bounds checks
before the loop. It also uses some complex tricks to produce the array
bound exception where it belongs, and not before the loop.
I think a similar strategy may be used by safeD to remove most of its
array bounds checks, to produce code that is almost as fast as normal D
code compiled with -release.
(Probably the tricks shown in the article can't be used by a static
compiler, array bounds checks will be probably thrown before the loops
in such safeD.).
(Other heuristics can be used to avoid lot of the checks done to catch
integer overflow errors).
Bye,
bearophile
