Make prologue generation match order that it's emitted

Summary: After all of the other diffs have landed this is just some cleanup to make things a little more understandable. Currently we're using cursors and doing a bunch of out of order code generation and things are kind of scattered around haphazardly. This gives us a "simple" generatePrologueBlocks which handles all of the prologue generation in the order it shows up in the final generated code.

Reviewed By: alexmalyshev

Differential Revision: D102081402

fbshipit-source-id: 863015605bc97dd11e5991249a0dddcb840b7b8b

Author: DinoV

cinderx/Jit/codegen/environ.h

@@ -42,6 +42,15 @@ struct Environ {
   asmjit::Label hard_exit_label;
   asmjit::Label exit_label;
   asmjit::Label gen_resume_entry_label;
+  asmjit::Label finish_frame_setup;
+  asmjit::Label correct_arg_count;
+  asmjit::Label prologue_exit;
+  asmjit::Label wrapper_exit;
+
+  // Static type check jump table, resolved after code generation.
+  void** static_typecheck_table{nullptr};
+  std::vector<std::pair<int, jit::lir::BasicBlock*>>
+      static_typecheck_jt_entries;
 
   // Resume label shared between StoreGenYieldPoint/YieldInitial and
   // ResumeGenYield. Created by translateStoreGenYieldPoint or