stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8154831: CastII/ConvI2L for a range check is prematurely eliminated

Browse Source 
Reviewed-by: kvn, thartmann
This commit is contained in:
Vladimir Ivanov 2016-05-20 18:27:03 +03:00
parent 36daf60d8f
commit 6dfcf1dd81
1 changed files with 4 additions and 0 deletions

4
hotspot/src/share/vm/opto/subnode.cpp

@ -578,8 +578,12 @@ const Type *CmpUNode::sub( const Type *t1, const Type *t2 ) const {
// All unsigned values are LE -1 and GE 0.
if (lo0 == 0 && hi0 == 0) {
return TypeInt::CC_LE; // 0 <= bot
} else if ((jint)lo0 == -1 && (jint)hi0 == -1) {
return TypeInt::CC_GE; // -1 >= bot
} else if (lo1 == 0 && hi1 == 0) {
return TypeInt::CC_GE; // bot >= 0
} else if ((jint)lo1 == -1 && (jint)hi1 == -1) {
return TypeInt::CC_LE; // bot <= -1
}
} else {
// We can use ranges of the form [lo..hi] if signs are the same.