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

8324630: C1: Canonicalizer::do_LookupSwitch doesn't break the loop when the successor is found

Browse Source 
Reviewed-by: dlong, thartmann
This commit is contained in:
Denghui Dong 2024-02-19 08:34:40 +00:00
parent 3742bc626e
commit d422811bb7
1 changed files with 12 additions and 3 deletions

15
src/hotspot/share/c1/c1_Canonicalizer.cpp

@ -844,9 +844,18 @@ void Canonicalizer::do_LookupSwitch(LookupSwitch* x) {
if (x->tag()->type()->is_constant()) {
int v = x->tag()->type()->as_IntConstant()->value();
BlockBegin* sux = x->default_sux();
for (int i = 0; i < x->length(); i++) {
if (v == x->key_at(i)) {
sux = x->sux_at(i);
int low = 0;
int high = x->length() - 1;
while (low <= high) {
int mid = low + ((high - low) >> 1);
int key = x->key_at(mid);
if (key == v) {
sux = x->sux_at(mid);
break;
} else if (key > v) {
high = mid - 1;
} else {
low = mid + 1;
}
}
set_canonical(new Goto(sux, x->state_before(), is_safepoint(x, sux)));