Initial commit

1 files changed, 57 insertions, 0 deletions

diff --git a/include/linalg1/ViewType.h b/include/linalg1/ViewType.h
new file mode 100644
index 0000000..c58e12c
--- /dev/null
+++ b/include/linalg1/ViewType.h
@@ -0,0 +1,57 @@
+//===- ViewType.h - Linalg ViewType definition --------------------------===//
+//
+// Copyright 2019 The MLIR Authors.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//   http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+// =============================================================================
+
+#ifndef LINALG1_VIEWTYPE_H_
+#define LINALG1_VIEWTYPE_H_
+
+#include "linalg1/Types.h"
+#include "mlir/IR/Types.h"
+
+namespace linalg {
+
+class ViewTypeStorage;
+
+/// A ViewType represents a range abstraction on top of an underlying storage
+/// type. It is parameterizable by the underlying element type and the rank of
+/// the view.
+class ViewType
+    : public mlir::Type::TypeBase<ViewType, mlir::Type, ViewTypeStorage> {
+public:
+  //////////////////////////////////////////////////////////////////////////////
+  // Hooks to customize the behavior of this type.
+  //////////////////////////////////////////////////////////////////////////////
+  // Used to implement llvm-style cast.
+  using Base::Base;
+  // Used to implement llvm-style cast.
+  static bool kindof(unsigned kind) { return kind == LinalgTypes::View; }
+  /// Construction hook.
+  static ViewType get(mlir::MLIRContext *context, mlir::Type elementType,
+                      unsigned rank);
+
+  //////////////////////////////////////////////////////////////////////////////
+  // Type-specific functionality.
+  //////////////////////////////////////////////////////////////////////////////
+  /// Return the underlying elemental type.
+  mlir::Type getElementType();
+  /// Return the rank of the view.
+  /// This is the number of indexings needed to reach an underlying element.
+  unsigned getRank();
+};
+
+} // namespace linalg
+
+#endif // LINALG1_VIEWTYPE_H_