Draft fix for missing safepoint checks at returns

src/hotspot/cpu/aarch64/templateTable_aarch64.cpp

@@ -2191,6 +2191,16 @@ void TemplateTable::_return(TosState state)
     __ bind(skip_register_finalizer);
   }
 
+  if (_desc->bytecode() != Bytecodes::_return_register_finalizer) {
+    Label slow_path;
+    Label fast_path;
+    __ safepoint_poll(slow_path, true /* at_return */, false /* acquire */, false /* in_nmethod */);
+    __ br(Assembler::AL, fast_path);
+    __ bind(slow_path);
+    __ super_call_VM_leaf(CAST_FROM_FN_PTR(address, InterpreterRuntime::at_safepoint), rthread);
+    __ bind(fast_path);
+  }
+
   // Issue a StoreStore barrier after all stores but before return
   // from any constructor for any class with a final field.  We don't
   // know if this is a finalizer, so we always do so.