harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mikhail Fursov" <mike.fur...@gmail.com>
Subject Re: [drvm][jit] ABCD does not eliminate upper bound check
Date Wed, 18 Apr 2007 04:34:26 GMT
On 4/18/07, Maksim Ananjev <maksim.ananjev@gmail.com> wrote:
>
> Mikhail, thanks! Your guidelines helped.
>
> Now I see that ABCD fully eliminates the check in my example if placed
> between uce and lower:
>
> -XX:jit.CS_OPT.path.optimizer=ssa
> ,devirt,inline,uce,purge,simplify,dce,uce,lazyexc,
> memopt,simplify,dce,uce,classic_abcd,lower,dessa,statprof,markglobals
>
> I tried to place classic_abcd earlier in the optimization path, but
> got segmentation fault or upper bound was not eliminated. That looks a
> bit strange for me, because  I thought that ABCD relies only on ssa.
> But if classic_abcd is placed just after ssa, check won't be
> eliminated
>
Be careful with dead and unreachable
code. Not all algorithms know how to work with it.
So the most simple advice is
to append 'simplify,dce,uce' sequence after any optimiation that modifies IR.



-- 
Mikhail Fursov

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message