Method implies

ir/functions.cpp:10–12

namespace IR {

expr PtrInput::implies(const PtrInput &rhs) const {
  return implies_attrs(rhs) && val == rhs.val && idx == rhs.idx;
}

expr PtrInput::implies_attrs(const PtrInput &rhs) const {
  return byval == rhs.byval &&