Question on arithmetic overflow detection support in C2

Rémi Forax forax at univ-mlv.fr
Wed Jun 27 06:52:23 PDT 2012


On 06/27/2012 03:37 PM, Krystal Mok wrote:
> Hi all,
>
> Just FYI, I've posted an updated version of the patch here:
> https://gist.github.com/db03ab15ef8b76246b84#file_checked_add_prototype.ver3.patch
>
> It pretty much implements what John suggested in a previous email 
> (quoted below).
>
> This version still suffers from a couple of problem mentioned before:
> 1. It's emitting a jmpConU instead of a jmpCon during instruction 
> selection. Is there a way to force it use jmpCon here?

I'm may be wrong but the idea is to put 0 (or a very small value) to the 
frequency of the basic block
that follow the jump on overflow.

> 2. I had to use a fixed register for the sum projection of 
> CheckedAddI, otherwise I couldn't find a way to specify this 
> projection should use the same register as "dst".
>
> - Kris

Rémi



More information about the hotspot-compiler-dev mailing list