[vm] Verify that frame size doesn't change between awaits (in AOT mode)

TEST=ci

Issue: #48378
Change-Id: I05e1a55070d77fea4402a9db56fca5b3be7207b5
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/243042
Reviewed-by: Martin Kustermann <[email protected]>
Commit-Queue: Alexander Markov <[email protected]>

Author: alexmarkov

runtime/vm/compiler/stub_code_compiler.cc

@@ -1394,6 +1394,20 @@ void StubCodeCompiler::GenerateSuspendStub(
   __ Bind(&init_done);
   __ Comment("Copy frame to SuspendState");
 
+#ifdef DEBUG
+  {
+    // Verify that SuspendState.frame_size == kFrameSize.
+    Label okay;
+    __ LoadFromOffset(
+        kTemp,
+        FieldAddress(kSuspendState, target::SuspendState::frame_size_offset()));
+    __ CompareRegisters(kTemp, kFrameSize);
+    __ BranchIf(EQUAL, &okay);
+    __ Breakpoint();
+    __ Bind(&okay);
+  }
+#endif
+
   __ LoadFromOffset(
       kTemp, Address(FPREG, kSavedCallerPcSlotFromFp * target::kWordSize));
   __ StoreToOffset(
@@ -1412,6 +1426,8 @@ void StubCodeCompiler::GenerateSuspendStub(
 
 #ifdef DEBUG
   {
+    // Verify that kSuspendState matches :suspend_state in the copied stack
+    // frame.
     Label okay;
     __ LoadFromOffset(
         kTemp,