mirror of
https://github.com/zebrajr/pytorch.git
synced 2025-12-07 12:21:27 +01:00
a9320e6d96
I audited all the sites while I was at it, and marked a few suspicious ones. Signed-off-by: Edward Z. Yang <ezyang@fb.com> Pull Request resolved: https://github.com/pytorch/pytorch/pull/82477 Approved by: https://github.com/Chillee
102 lines
2.5 KiB
C++
102 lines
2.5 KiB
C++
|
|
#include <c10/core/SymInt.h>
|
|
#include <c10/core/SymIntNodeImpl.h>
|
|
#include <array>
|
|
|
|
namespace c10 {
|
|
|
|
std::array<SymIntNode, 2> normalize_symints(SymInt a_, SymInt b_) {
|
|
SymIntNode a, b;
|
|
if (a_.is_symbolic())
|
|
a = a_.toSymIntNodeImpl();
|
|
if (b_.is_symbolic())
|
|
b = b_.toSymIntNodeImpl();
|
|
|
|
SymIntNodeImpl* common = a ? a.get() : b.get();
|
|
// TODO: technically we need to check that the classes match
|
|
if (!a) {
|
|
a = common->wrap(a_.as_int_unchecked());
|
|
a_.toSymInt(a); //
|
|
}
|
|
if (!b) {
|
|
b = common->wrap(b_.as_int_unchecked());
|
|
b_.toSymInt(b);
|
|
}
|
|
return {a, b};
|
|
}
|
|
|
|
SymIntNode SymInt::toSymIntNodeImpl() const {
|
|
auto& st = getSymIntTable();
|
|
TORCH_CHECK(is_symbolic());
|
|
return st.getNode(static_cast<uint64_t>(data_) & ~MASK);
|
|
}
|
|
|
|
c10::SymInt SymInt::toSymInt(SymIntNode sin_sp) {
|
|
auto& sit = getSymIntTable();
|
|
uint64_t idx = sit.addNode(sin_sp);
|
|
TORCH_CHECK(idx < MAX_SYM_IDX, "SymIntNodeImpl index overflow: ", idx);
|
|
uint64_t data = idx | IS_SYM;
|
|
return c10::SymInt(static_cast<int64_t>(data));
|
|
}
|
|
|
|
SymInt SymInt::operator+(SymInt sci) const {
|
|
TORCH_CHECK(
|
|
!this->is_symbolic() && !sci.is_symbolic(),
|
|
"Symbolic Add isn't supported yet");
|
|
return SymInt(data_ + sci.data_);
|
|
}
|
|
|
|
SymInt SymInt::operator*(SymInt sci) const {
|
|
if (!is_symbolic() && !sci.is_symbolic()) {
|
|
return SymInt(data_ * sci.data_);
|
|
}
|
|
auto res = normalize_symints(*this, sci);
|
|
return SymInt::toSymInt(res[0]->mul(res[1]));
|
|
}
|
|
|
|
bool SymInt::operator==(SymInt sci) const {
|
|
if (!is_symbolic() && !sci.is_symbolic()) {
|
|
return data_ == sci.data_;
|
|
}
|
|
auto res = normalize_symints(*this, sci);
|
|
return res[0]->eq(res[1])->bool_();
|
|
}
|
|
|
|
bool SymInt::operator!=(SymInt sci) const {
|
|
return !(*this == sci);
|
|
}
|
|
|
|
bool SymInt::operator<(SymInt sci) const {
|
|
TORCH_CHECK(
|
|
!this->is_symbolic() && !sci.is_symbolic(),
|
|
"Symbolic lt isn't supported yet");
|
|
return data_ < sci.data_;
|
|
}
|
|
|
|
void SymInt::operator*=(SymInt sci) {
|
|
TORCH_CHECK(
|
|
!this->is_symbolic() && !sci.is_symbolic(),
|
|
"Symbolic mul_ isn't supported yet");
|
|
data_ = data_ * sci.data_;
|
|
}
|
|
|
|
bool SymInt::operator<(int64_t sci) const {
|
|
TORCH_CHECK(!this->is_symbolic(), "Symbolic lt isn't supported yet");
|
|
return data_ < sci;
|
|
}
|
|
|
|
bool SymInt::operator==(int64_t sci) const {
|
|
return *this == c10::SymInt(sci);
|
|
}
|
|
|
|
bool SymInt::operator!=(int64_t sci) const {
|
|
return *this != c10::SymInt(sci);
|
|
}
|
|
|
|
SymInt SymInt::operator*(int64_t sci) const {
|
|
TORCH_CHECK(!this->is_symbolic(), "Symbolic mul isn't supported yet");
|
|
return SymInt(data_ * sci);
|
|
}
|
|
|
|
} // namespace c10
|