Method isUndefMask

ir/value.cpp:273–275

}

bool Input::isUndefMask(const expr &e) {
  return e.fn_name().starts_with("isundef_");
}

StateValue Input::toSMT(State &s) const {
  return mkInput(s, getType(), 0);