Partial array bounds checks removal
braddr at puremagic.com
Tue Dec 16 19:41:50 PST 2008
> Tim M:
>> Oh now this will never fail but you can never be too sure.<
> In the last thousand years humans have invented a thing named
> "mathematics". In certain circumstances it allows you to be certain of
> some things. In some part of the programs you can use this (simple)
> mathematics and be actually certain a certain bound will not be
> exceeded. Trust me, mathematics can be marvelous :-)
And in the last 30 years, compiler writers have invented optimizers.
Nearly every bit of that is in the realm of exactly what the
optimization phases of a compiler do. So, yes, dmd, llvm, gcc.. they
all do this by design.
No need to be condescending, bearophile.
More information about the Digitalmars-d