Method isOfBlock

ir/pointer.cpp:402–416

}

expr Pointer::isOfBlock(const Pointer &block, const expr &bytes,
                        bool is_phy) const {
  assert(block.getOffset().isZero());
  expr addr       = is_phy ? getPhysicalAddress() : getAddress();
  expr block_addr = block.getLogAddress();
  expr block_size = block.blockSizeAlignedOffsetT();

  if (bytes.eq(block_size))
    return addr == block_addr;
  if (bytes.ugt(block_size).isTrue())
    return false;

  return addr.uge(block_addr) &&
         addr.ult(block_addr + block_size.zextOrTrunc(bits_ptr_address));
}

expr Pointer::isInboundsOf(const Pointer &block, const expr &bytes0,
                           bool is_phy) const {