masked_type.h

// This file if part of the llir-opt project.
// Licensing information can be found in the LICENSE file.
// (C) 2018 Nandor Licker. All rights reserved.
 
#pragma once
 
#include <cstdint>
 
#include <optional>
 
#include <llvm/Support/raw_ostream.h>
 
 
 
namespace tags {
 
class MaskedType {
public:
  MaskedType(uint64_t value);
  MaskedType(uint64_t value, uint64_t known);
 
  MaskedType operator+(const MaskedType &that) const;
  MaskedType operator-(const MaskedType &that) const;
  MaskedType operator&(const MaskedType &that) const;
  MaskedType operator|(const MaskedType &that) const;
  MaskedType operator^(const MaskedType &that) const;
  MaskedType operator~() const;
 
  bool operator==(const MaskedType &that) const
  {
    return value_ == that.value_ && known_ == that.known_;
  }
 
  void dump(llvm::raw_ostream &os) const;
 
  uint64_t GetValue() const { return value_; }
  uint64_t GetKnown() const { return known_; }
 
  std::optional<int64_t> AsConst() const
  {
    if (known_ == static_cast<uint64_t>(-1)) {
      return value_;
    } else {
      return std::nullopt;
    }
  }
 
  bool IsAligned() const
  {
    return (known_ & 7) == 7 && (value_ & 7) == 0;
  }
 
private:
  uint64_t value_;
  uint64_t known_;
};
 
}
 
// ----------------------------------------------------------------------------
inline llvm::raw_ostream &
operator<<(llvm::raw_ostream &os, const tags::MaskedType &m)
{
  m.dump(os);
  return os;
}