RFR(XS): 8027626: assert(Opcode() != Op_If || outcnt() == 2) failed: bad if #1
roland.westrelin at oracle.com
Mon Jan 5 15:48:17 UTC 2015
The following subgraph is where the bug shows up:
| If (12212)
| | \
| IfFalse IfTrue
Condition to 12212 is always false so 12214 is replaced by 18733 and both branches of If 18732 are directly connected to Region 12183. 18733 still has dead 12212 as output.
12183 doesn't have phis so when it's transformed, If 18732 is considered for removal. IfTrue 18734 doesn't have uses anymore so it goes away but IfFalse 18733 still has some (dead branch 12212 is not yet removed).
An If in the dead branch 12212 is processed. Range check smearing follows dominator controls until 18733, tests whether the If is a range check and the assert fires because the If only has one projection.
So we’re trying to optimize a dead branch. I fixed it by making the range check code more robust.
More information about the hotspot-compiler-dev