Make cinderx compiler pass type checking again.

Summary: Make cinderx compiler pass type checking again.

Reviewed By: DinoV

Differential Revision: D81921481

fbshipit-source-id: 5c89bd0bc1eb13e0ca921e8ef89c36a469b26b32

Author: Yhg1s

cinderx/PythonLib/cinderx/compiler/flow_graph_optimizer.py

@@ -132,7 +132,14 @@ def clean_basic_block(self, block: Block, prev_lineno: int) -> None:
             prev_lineno = instr.lineno
         block.insts = new_instrs
 
-    def jump_thread(self, instr: Instruction, target: Instruction, opname: str) -> int:
+    def jump_thread(
+        self, block: Block, instr: Instruction, target: Instruction, opname: str
+    ) -> int:
+        raise NotImplementedError()
+
+    def get_const_loading_instrs(
+        self, block: Block, start: int, size: int
+    ) -> list[Instruction] | None:
         raise NotImplementedError()
 
     def opt_jump_if_false_or_pop(
@@ -985,6 +992,7 @@ def optimize_contains_is_op(
 
     def make_load_const(self, instr: Instruction, const: object) -> None:
         if is_small_int(const):
+            assert isinstance(const, int)
             instr.opname = "LOAD_SMALL_INT"
             instr.ioparg = instr.oparg = const
         else:

cinderx/PythonLib/cinderx/compiler/pyassem.py

@@ -2445,6 +2445,7 @@ def should_inline_block(self, block: Block) -> bool:
 
         # We can only inline blocks with no line numbers.
         for inst in block.insts:
+            # pyre-fixme[16]: Item `AST` of `AST | SrcLocation` has no attribute `lineno`.
             if inst.loc.lineno >= 0:
                 return False
         return True

cinderx/PythonLib/cinderx/compiler/pycodegen.py

@@ -6019,6 +6019,7 @@ def make_with_block(self) -> Block | None:
     def get_graph_flags(
         self, func: FuncOrLambda | CompNode, func_args: ast.arguments, scope: Scope
     ) -> int:
+        assert isinstance(scope, FunctionScope)
         flags = super().get_graph_flags(func, func_args, scope)
 
         if scope.has_docstring:
@@ -6587,6 +6588,7 @@ def visitAttribute(self, node: ast.Attribute) -> None:
         super().visitAttribute(node)
 
     def compile_body(self, gen: CodeGenerator, node: ast.ClassDef) -> None:
+        assert isinstance(gen, CodeGenerator314)
         if gen.findAnn(node.body):
             gen.did_setup_annotations = True
             gen.emit("SETUP_ANNOTATIONS")