Method ptrNonpoison

ir/memory.cpp:300–303

}

expr Byte::ptrNonpoison() const {
  auto bit = p.bits() - 1 - byte_has_ptr_bit();
  return isAsmMode() ? expr(true) : p.extract(bit, bit) == 1;
}

Pointer Byte::ptr() const {
  return { m, ptrValue() };