Module PyIR.Stmt

type gen_kind =
  1. | Generator
  2. | Coroutine
  3. | AsyncGenerator
type t =
  1. | Let of {
    1. lhs : SSA.t;
    2. rhs : Exp.t;
    }
  2. | SetAttr of {
    1. lhs : Exp.t;
    2. attr : Ident.t;
    3. rhs : Exp.t;
    }
  3. | Store of {
    1. lhs : ScopedIdent.t;
    2. rhs : Exp.t;
    }
  4. | StoreSlice of {
    1. container : Exp.t;
    2. start : Exp.t;
    3. end_ : Exp.t;
    4. rhs : Exp.t;
    }
  5. | StoreSubscript of {
    1. lhs : Exp.t;
    2. index : Exp.t;
    3. rhs : Exp.t;
    }
  6. | Call of {
    1. lhs : SSA.t;
    2. exp : Exp.t;
    3. args : Exp.t list;
    4. arg_names : Exp.t;
    }
  7. | CallEx of {
    1. lhs : SSA.t;
    2. exp : Exp.t;
    3. kargs : Exp.t;
    4. arg_names : Exp.t;
    }
  8. | CallMethod of {
    1. lhs : SSA.t;
    2. name : Ident.t;
    3. self_if_needed : Exp.t;
    4. args : Exp.t list;
    5. arg_names : Exp.t;
    }
  9. | BuiltinCall of {
    1. lhs : SSA.t;
    2. call : BuiltinCaller.t;
    3. args : Exp.t list;
    4. arg_names : Exp.t;
    }
  10. | StoreDeref of {
    1. name : Ident.t;
    2. slot : int;
    3. rhs : Exp.t;
    }
    (*

    STORE_DEREF

    *)
  11. | Delete of ScopedIdent.t
  12. | DeleteDeref of {
    1. name : Ident.t;
    2. slot : int;
    }
    (*

    DELETE_DEREF

    *)
  13. | DeleteAttr of {
    1. exp : Exp.t;
    2. attr : Ident.t;
    }
  14. | MakeCell of int
    (*

    MAKE_CELL

    *)
  15. | CopyFreeVars of int
    (*

    COPY_FREE_VARS

    *)
  16. | ImportStar of Exp.t
  17. | GenStart of {
    1. kind : gen_kind;
    }
  18. | SetupAnnotations
  19. | Yield of {
    1. lhs : SSA.t;
    2. rhs : Exp.t;
    }