编译器各阶段功能 — 计算机选择题

某编译器处理一段含有 `if` 条件和数组访问的程序：先把字符序列 `<=` 识别为关系运算符记号，再检查 `if` 后的表达式是否符合文法结构，随后发现数组下标虽对应已声明的变量但类型不合法，最后将中间表示转换为目标机器指令。上述四项工作依次属于哪些阶段？ A. 词法分析、语法分析、语义分析、代码生成　B. 语法分析、词法分析、语义分析、代码生成　C. 词法分析、语义分析、语法分析、代码生成　D. 词法分析、语法分析、代码优化、语义分析