diff options
Diffstat (limited to 'libsolidity/ast/Types.cpp')
| -rw-r--r-- | libsolidity/ast/Types.cpp | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/libsolidity/ast/Types.cpp b/libsolidity/ast/Types.cpp index 068cc138..a6c73953 100644 --- a/libsolidity/ast/Types.cpp +++ b/libsolidity/ast/Types.cpp @@ -705,6 +705,28 @@ TypePointer RationalNumberType::binaryOperatorResult(Token::Value _operator, Typ value = rational(denominator, numerator); break; } + case Token::SHL: + { + using boost::multiprecision::pow; + if (fractional) + return TypePointer(); + else if (abs(other.m_value) > numeric_limits<uint32_t>::max()) + return TypePointer(); + uint32_t exponent = abs(other.m_value).numerator().convert_to<uint32_t>(); + value = m_value.numerator() * pow(bigint(2), exponent); + break; + } + case Token::SHR: + { + using boost::multiprecision::pow; + if (fractional) + return TypePointer(); + else if (abs(other.m_value) > numeric_limits<uint32_t>::max()) + return TypePointer(); + uint32_t exponent = abs(other.m_value).numerator().convert_to<uint32_t>(); + value = rational(m_value.numerator() / pow(bigint(2), exponent), 1); + break; + } default: return TypePointer(); } |