Method enforceVectorTypeIff

ir/type.cpp:157–163

}

expr Type::enforceVectorTypeIff(const Type &other) const {
  expr elems = false;
  if (auto agg = getAsAggregateType())
    if (auto agg2 = other.getAsAggregateType())
      elems = agg->numElements() == agg2->numElements();
  return !other.enforceVectorType() || (enforceVectorType() && elems);
}

expr Type::enforceVectorTypeSameChildTy(const Type &other) const {
  if (auto agg = getAsAggregateType())