C2 bailouts break the graph and enables us to quickly discover missing failing() checks:
https://github.com/openjdk/jdk/blob/7b11bd1b1d8dbc9bedcd8cf14e78c8f5eb06a71f/src/hotspot/share/opto/compile.cpp#L4448
C1 silently continues if a CHECK_BAILOUT call is missing. We can consider marking the HIR or LIR when bailing out in C1 as well (maybe this could be done in debug only if a less invasive change is appropriate).
Needed (?) if we want a stress mode in C1 as well and maybe good regardless.
https://github.com/openjdk/jdk/blob/7b11bd1b1d8dbc9bedcd8cf14e78c8f5eb06a71f/src/hotspot/share/opto/compile.cpp#L4448
C1 silently continues if a CHECK_BAILOUT call is missing. We can consider marking the HIR or LIR when bailing out in C1 as well (maybe this could be done in debug only if a less invasive change is appropriate).
Needed (?) if we want a stress mode in C1 as well and maybe good regardless.
- relates to
-
JDK-8132354 C1 and C2 should use the same bailout mechanism
-
- Open
-