pkg/compiler/lib/src/ssa/builder_interfaces.dart

// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import 'package:compiler/src/elements/types.dart';
import 'package:compiler/src/options.dart';
import 'package:kernel/ast.dart' as ir;

import '../common.dart';
import '../common/codegen.dart';
import '../elements/entities.dart';
import '../elements/jumps.dart';
import '../inferrer/abstract_value_domain.dart';
import '../inferrer/types.dart';
import '../io/source_information.dart';
import '../js_model/js_world.dart';
import 'nodes.dart';

abstract class KernelSsaGraphBuilder extends ir.Visitor<void> {
  JClosedWorld get closedWorld;

  GlobalTypeInferenceResults get globalInferenceResults;

  Map<Local, HInstruction> get parameters;

  HGraph get graph;

  Map<JumpTarget, JumpHandler> get jumpTargets;

  LocalsHandler get localsHandler;

  CodegenRegistry get registry;

  CompilerOptions get options;

  MemberEntity get targetElement;

  DiagnosticReporter get reporter;

  MemberEntity get sourceElement;

  HLocalValue get lastAddedParameter;
  set lastAddedParameter(HLocalValue parameter);

  set elidedParameters(Set<Local> elidedParameters);

  void add(HInstruction box);

  HLocalValue addParameter(Local contextBox, AbstractValue nonNullType,
      {bool isElided = false});

  HBasicBlock close(HControlFlow end);

  HInstruction pop();
}

abstract class JumpHandler {
  void generateBreak(SourceInformation sourceInformation,
      [LabelDefinition label]);
  void generateContinue(SourceInformation sourceInformation,
      [LabelDefinition label]);
  void forEachBreak(void action(HBreak instruction, LocalsHandler locals));
  void forEachContinue(
      void action(HContinue instruction, LocalsHandler locals));
  bool hasAnyContinue();
  bool hasAnyBreak();
  void close();
  JumpTarget get target;
  List<LabelDefinition> get labels;
}

abstract class LocalsHandler {
  void updateLocal(JumpTarget target, HInstruction value);

  DartType substInContext(DartType type);

  HInstruction readThis({SourceInformation? sourceInformation});

  Local getTypeVariableAsLocal(TypeVariableType parameter);

  HInstruction readLocal(Local typeVariableLocal,
      {SourceInformation? sourceInformation});
}