// This pass verifies that the TFL ops meet the TFL runtime constraints.
class RuntimeVerifyPass
    : public impl::RuntimeVerifyPassBase<RuntimeVerifyPass> {
 public:
  MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(RuntimeVerifyPass)

  explicit RuntimeVerifyPass() {}

 private:
  void runOnOperation() override;
};

void RuntimeVerifyPass::runOnOperation() {
  getOperation().walk([&](TflRuntimeVerifyOpInterface op) {

  let constructor = "CreateReduceWhileOperandsPass()";
  let dependentDialects = ["TFL::TensorFlowLiteDialect", "TF::TensorFlowDialect"];
}

def RuntimeVerifyPass : Pass<"tfl-runtime-verify", "mlir::func::FuncOp"> {
  let summary = "TFLite runtime verification";
  let constructor = "CreateRuntimeVerifyPass()";
}