Method nonPoison

ir/memory.cpp:373–388

}

expr Byte::nonPoison() const {
  if (isAsmMode())
    return expr::mkInt(-1, bits_poison_per_byte);
  if (!does_int_mem_access)
    return ptrNonpoison();

  expr np = nonptrNonpoison();
  if (byte_has_ptr_bit() && bits_poison_per_byte == 1) {
    assert(!np.isValid() || ptrNonpoison().eq(np == 1));
    return np;
  }
  return expr::mkIf(isPtr(),
                    expr::mkIf(ptrNonpoison(), expr::mkInt(-1, np),
                                               expr::mkUInt(0, np)),
                    np);
}

expr Byte::isZero() const {
  return expr::mkIf(isPtr(), ptr().isNull(), nonptrValue() == 0);