Re: Partial array bounds checks removal

2008-12-16 Thread Brad Roberts
bearophile wrote: > 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)

Re: Partial array bounds checks removal

2008-12-16 Thread bearophile
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

Re: Partial array bounds checks removal

2008-12-16 Thread Tim M
But that's the main problem. Oh now this will never fail but you can never be too sure. Also 640K should be enough for anyone. :) On Wed, 17 Dec 2008 14:26:37 +1300, BCS wrote: Reply to tim, I haven't tried safeD and i'm guessing that is extra secure version of D but what would be the poi

Re: Partial array bounds checks removal

2008-12-16 Thread BCS
Reply to tim, 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? I think it implication is that some checks can be removed if you can show that they will never fail.

Re: Partial array bounds checks removal

2008-12-16 Thread Tim M
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 wrote: This article shows a way to remove lot of array bounds checks, it's not the first of this kind, bu

Partial array bounds checks removal

2008-12-16 Thread bearophile
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