Method Pointer

ir/pointer.cpp:71–78

namespace IR {

Pointer::Pointer(const Memory &m, const expr &bid, const expr &offset,
                 const expr &attr) : m(const_cast<Memory&>(m)),
  p(prepend_if(expr::mkUInt(0, 1 + padding_logical()),
               bid.concat(offset), hasLogicalBit())) {
  if (bits_for_ptrattrs)
    p = p.concat(attr);
  assert(!bid.isValid() || !offset.isValid() || p.bits() == totalBits());
}

Pointer::Pointer(const Memory &m, const char *var_name,
                 const ParamAttrs &attr) : m(const_cast<Memory&>(m)) {