The last labwork of the principles of compilation in HIT. My sementics analysis part is copied from Liu Zhiyue, and I'm not proud of it.