forked from PaddlePaddle/Paddle
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[NewIR] Add shapedtype interface (PaddlePaddle#56427)
* add shapedtype interface * add storage_manager_support * delete DECLARE_TYPE_UTILITY_FUNCTOR * split interfaceValue * add dyn_cast_interface * add unit_test * change cast utils
- Loading branch information
Showing
24 changed files
with
818 additions
and
256 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,18 @@ | ||
| // Copyright (c) 2023 PaddlePaddle Authors. All Rights Reserved. | ||
| // | ||
| // 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. | ||
|
|
||
| #include "paddle/pir/core/builtin_type_interfaces.h" | ||
| #include "paddle/pir/core/type_id.h" | ||
|
|
||
| IR_DEFINE_EXPLICIT_TYPE_ID(pir::ShapedTypeInterface) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,153 @@ | ||
| // Copyright (c) 2023 PaddlePaddle Authors. All Rights Reserved. | ||
| // | ||
| // 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. | ||
|
|
||
| #pragma once | ||
|
|
||
| #include <vector> | ||
| #include "paddle/phi/core/tensor_base.h" | ||
| #include "paddle/pir/core/cast_utils.h" | ||
| #include "paddle/pir/core/enforce.h" | ||
| #include "paddle/pir/core/type.h" | ||
|
|
||
| namespace details { | ||
|
|
||
| template <typename RangeT> | ||
| constexpr auto begin_impl(RangeT &&range) | ||
| -> decltype(std::begin(std::forward<RangeT>(range))) { | ||
| return std::begin(std::forward<RangeT>(range)); | ||
| } | ||
|
|
||
| template <typename RangeT> | ||
| constexpr auto end_impl(RangeT &&range) | ||
| -> decltype(std::end(std::forward<RangeT>(range))) { | ||
| return std::end(std::forward<RangeT>(range)); | ||
| } | ||
|
|
||
| /// Returns the begin iterator to \p range using `std::begin` and | ||
| /// function found through Argument-Dependent Lookup (ADL). | ||
| template <typename RangeT> | ||
| constexpr auto adl_begin(RangeT &&range) | ||
| -> decltype(begin_impl(std::forward<RangeT>(range))) { | ||
| return begin_impl(std::forward<RangeT>(range)); | ||
| } | ||
|
|
||
| /// Returns the end iterator to \p range using `std::end` and | ||
| /// functions found through Argument-Dependent Lookup (ADL). | ||
| template <typename RangeT> | ||
| constexpr auto adl_end(RangeT &&range) | ||
| -> decltype(end_impl(std::forward<RangeT>(range))) { | ||
| return end_impl(std::forward<RangeT>(range)); | ||
| } | ||
|
|
||
| /// Provide wrappers to std::any_of which take ranges instead of having to pass | ||
| /// begin/end explicitly. | ||
| template <typename R, typename UnaryPredicate> | ||
| bool any_of(R &&Range, UnaryPredicate P) { | ||
| return std::any_of(adl_begin(Range), adl_end(Range), P); | ||
| } | ||
|
|
||
| /// Wrapper function around std::count_if to count the number of times an | ||
| /// element satisfying a given predicate occurs in a range. | ||
| template <typename R, typename UnaryPredicate> | ||
| auto count_if(R &&Range, UnaryPredicate P) { | ||
| return std::count_if(adl_begin(Range), adl_end(Range), P); | ||
| } | ||
|
|
||
| } // namespace details | ||
| namespace pir { | ||
| class ShapedTypeInterface : public pir::TypeInterfaceBase<ShapedTypeInterface> { | ||
| public: | ||
| using DDim = phi::DDim; | ||
| using DataType = pir::Type; | ||
| struct Concept { | ||
| /// Defined these methods with the interface. | ||
| explicit Concept(DataType (*get_element_type)(pir::Type), | ||
| DDim (*get_shape)(pir::Type)) | ||
| : get_element_type_(get_element_type), get_shape_(get_shape) {} | ||
|
|
||
| DataType (*get_element_type_)(pir::Type); | ||
| DDim (*get_shape_)(pir::Type); | ||
| }; | ||
|
|
||
| template <class ConcreteType> | ||
| struct Model : public Concept { | ||
| static inline DataType getElementType(pir::Type type) { | ||
| return pir::cast<ConcreteType>(type).dtype(); | ||
| } | ||
|
|
||
| static inline DDim getShape(pir::Type type) { | ||
| return pir::cast<ConcreteType>(type).dims(); | ||
| } | ||
|
|
||
| Model() : Concept(getElementType, getShape) {} | ||
| }; | ||
|
|
||
| /// Constructor | ||
| ShapedTypeInterface(pir::Type type, Concept *impl) | ||
| : pir::TypeInterfaceBase<ShapedTypeInterface>(type), impl_(impl) {} | ||
|
|
||
| /// Get the element type. | ||
| DataType getElementType() const { return impl_->get_element_type_(*this); } | ||
|
|
||
| /// Get the shape of this type. | ||
| DDim getShape() const { return impl_->get_shape_(*this); } | ||
|
|
||
| static constexpr int64_t kDynamic = std::numeric_limits<int64_t>::min(); | ||
|
|
||
| /// Check whether this type is ranked, currently return true. | ||
| bool hasRank() const { return true; } | ||
|
|
||
| /// If this is a ranked type, return the rank. Otherwise, abort. | ||
| int64_t getRank() const { | ||
| IR_ENFORCE((*this).hasRank(), "Cannot query rank of unranked shaped type."); | ||
| return (*this).getShape().size(); | ||
| } | ||
|
|
||
| /// Check whether the given dimension size is a dynamic dimension. | ||
| static constexpr bool isDynamic(int64_t dValue) { return dValue == kDynamic; } | ||
|
|
||
| /// Check whether the given shape has any size indicating a dynamic dimension. | ||
| static bool isDynamicShape(DDim dSizes) { | ||
| return ::details::any_of(vectorize(dSizes), | ||
| [](int64_t dSize) { return isDynamic(dSize); }); | ||
| } | ||
|
|
||
| /// Check whether the given dimension has a dynamic size. | ||
| /// Aborts for unranked types. | ||
| bool isDynamicDim(unsigned idx) const { | ||
| IR_ENFORCE(idx < getRank(), "Invalid index for shaped type."); | ||
| return pir::ShapedTypeInterface::isDynamic((*this).getShape()[idx]); | ||
| } | ||
|
|
||
| /// Get the number of dimensions with dynamic size for a ranked type. | ||
| /// Aborts for unranked types. | ||
| int64_t getNumDynamicDims() const { | ||
| return ::details::count_if(vectorize((*this).getShape()), | ||
| pir::ShapedTypeInterface::isDynamic); | ||
| } | ||
|
|
||
| /// Get the size of the specified dimension for a ranked type. | ||
| /// Aborts for unranked types. | ||
| int64_t getDimSize(unsigned idx) const { | ||
| IR_ENFORCE(idx < getRank(), "Invalid index for shaped type."); | ||
| return (*this).getShape()[idx]; | ||
| } | ||
|
|
||
| private: | ||
| Concept *impl_; | ||
| }; | ||
|
|
||
| } // namespace pir | ||
|
|
||
| IR_DECLARE_EXPLICIT_TYPE_ID(pir::ShapedTypeInterface) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.