I think Alibaba uses TSMC for their foundries, like everyone else. I would assume that they did use ASML machines for this.