11.1.2 基于指令语义的基本数据类型分析