Method blockSizeAlignedOffsetT

ir/pointer.cpp:341–344

}

expr Pointer::blockSizeAlignedOffsetT() const {
  expr sz = blockSizeAligned();
  return bits_for_offset > bits_size_t ? sz.zextOrTrunc(bits_for_offset) : sz;
}

expr Pointer::reprWithoutAttrs() const {
  return p.extract(totalBits() - 1, bits_for_ptrattrs);