https://blog.dansec.vip/tags/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/ Recent content in 编译原理 on Dan`s Blog Hugo zh-CN Thu, 14 Nov 2024 14:03:12 +0800 https://blog.dansec.vip/p/compilationprinciplebaseknowledge/ Thu, 14 Nov 2024 14:03:12 +0800 https://blog.dansec.vip/p/compilationprinciplebaseknowledge/ <p><img src="https://d4n-picture-database.oss-cn-beijing.aliyuncs.com/img/image-20241114140514841.png" alt="image-20241114140514841"></p> <h1 id="表格管理">表格管理</h1> <ul> <li> <p>作用：用来记录源程序的各种信息以及编译过程中的各种状况</p> </li> <li> <p>与编译前三阶段有关的表格有：符号表、常数表、标号表、分程序入口表、中间代码表等</p> </li> </ul> <h2 id="符号表">符号表</h2> <p>用来登记源程序中的常量名变量名、发数组名、过程名等，记录它们的性质、定义和引用情况</p> https://blog.dansec.vip/p/compilationprinciplecodegeneration/ Mon, 11 Nov 2024 17:15:43 +0800 https://blog.dansec.vip/p/compilationprinciplecodegeneration/ <h1 id="目标代码生成">目标代码生成</h1> <ul> <li> <p>任务</p> <ul> <li>把经过优化的中间代码转化成特定机器上的低级语言代码</li> </ul> </li> <li> <p>目标代码的形式</p> <ul> <li>绝对指令代码：可立即执行的目标代码。</li> <li>汇编指令代码：汇编语言程序，需要通过汇编程序汇编后才能运行。</li> <li>可重定位指令代码：先将各目标模块连接起来，确定变量、常数在主存中的位置，装入主存后才能成为可以运行的绝对指令代码。</li> </ul> </li> </ul> https://blog.dansec.vip/p/compilationprincipleoptimize/ Mon, 11 Nov 2024 16:59:47 +0800 https://blog.dansec.vip/p/compilationprincipleoptimize/ <h1 id="优化">优化</h1> <ul> <li>任务 <ul> <li>对前面产生的中间代码进行加工变换，以期在最后阶段能产生更为高效的目标代码。 <ul> <li>原则:等价变换</li> <li>主要关注：公共子表达式的提取、合并已知量、删除无用语句、循环优化等。 <ul> <li>循环优化：将循环内的语句优化为必需语句</li> </ul> </li> </ul> </li> </ul> </li> </ul> <h2 id="优化举例">优化举例</h2> <p><img src="https://d4n-picture-database.oss-cn-beijing.aliyuncs.com/img/image-20241111170905973.png" alt="image-20241111170905973"></p> https://blog.dansec.vip/p/semanticanalysis/ Fri, 08 Nov 2024 19:41:32 +0800 https://blog.dansec.vip/p/semanticanalysis/ <h1 id="语义分析和中间代码生成">语义分析和中间代码生成</h1> <ul> <li>任务 <ul> <li>对语法分析识别出的各类语法范畴，分析其含义，进行和初步翻译，产生介于源代码和目标代码之间的一种代码。</li> <li>分为两阶段工作： <ul> <li>对每种语法范畴进行静态语义检查</li> <li>若语义正确，就进行<a href="https://blog.dansec.vip/p/semanticanalysis/#middleCode">中间代码</a>的翻译</li> </ul> </li> </ul> </li> <li><span id="middleCode">中间代码</span> <ul> <li>中间代码形式有：四元式、三元式、逆波兰式</li> </ul> </li> </ul> <p>中间代码生成举例：</p> https://blog.dansec.vip/p/grammaranalysis/ Fri, 08 Nov 2024 17:13:30 +0800 https://blog.dansec.vip/p/grammaranalysis/ <ul> <li>任务 <ul> <li>在<a href="https://d4n-sec.github.io/p/lexicalanalysis/">词法分析</a>的基础上，根据语言的<a href="https://blog.dansec.vip/p/grammaranalysis/#grammarRules"><em><strong>语法规则</strong></em></a>，把单词符号组成的各类<a href="https://blog.dansec.vip/p/grammaranalysis/#grammarUnits">语法单位</a></li> </ul> </li> <li><span id="grammarRules">语法规则</span> <ul> <li>语言的规则，又称为文法：规定单词如何构成<a href="https://blog.dansec.vip/p/grammaranalysis/#grammarUnits">语法单位</a></li> </ul> </li> <li><span id="grammarUnits">语法单位</span> <ul> <li>语法单位包括：短语、子句、语句、过程、程序</li> </ul> </li> </ul> <h1 id="语法规则如何表示">语法规则如何表示</h1> <ul> <li>BNF（巴科斯范式）：<code>A::=B|C</code> -&gt; 表示A定义为B或C</li> </ul> <h1 id="语法分析的方法">语法分析的方法</h1> <ul> <li> <p>推导（Derive）和归约（Reduce）</p> </li> <li> <p>推导</p> <ul> <li>最左推导、最右推导 <ul> <li>最<em><strong>右</strong></em>推导：每次推导都把最<em><strong>右</strong></em>方的<strong>字母</strong>按照规则<strong>转化为标识符或者常量</strong></li> </ul> </li> </ul> </li> <li> <p>归约（推导的逆过程）</p> <ul> <li>最右归约、最左归约 <ul> <li>最<em><strong>左</strong></em>归约：每次归约都把最<em><strong>左</strong></em>方的<strong>标识符或者常量</strong>按照规则转化为<strong>字母</strong></li> </ul> </li> </ul> </li> </ul> https://blog.dansec.vip/p/lexicalanalysis/ Fri, 08 Nov 2024 17:06:57 +0800 https://blog.dansec.vip/p/lexicalanalysis/ <h1 id="关于">关于</h1> <ul> <li> <p>任务</p> <ul> <li>输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个的<a href="https://blog.dansec.vip/p/lexicalanalysis/#word">单词</a></li> <li>词法分析依照词法规则，识别出正确的单词，<a href="https://blog.dansec.vip/p/lexicalanalysis/#trans">转换</a>为统一规格，备用</li> </ul> </li> <li> <p><span id="word">单词</span></p> <ul> <li>高级语言中有实在意义的最小语法单位，字符组成（关键字？）</li> <li>包括： <ul> <li>基本字：<code>void int float</code>等</li> <li>标识符：变量名，函数名等</li> <li>整常数：例如 a*50 中的50</li> <li>运算符：<code>+ - * / =</code>等</li> <li>界限符：<code>{} '' ; ()</code>等</li> </ul> </li> </ul> </li> <li> <p><span id="trans">转换</span></p> <ul> <li>对基本字、运算符、界限符的转换</li> <li>标识符的转换</li> <li>常数的转换</li> <li>转换完成后的格式：<em><strong>（类号，内码）</strong></em></li> </ul> </li> </ul> https://blog.dansec.vip/p/compilationprinciple/ Fri, 08 Nov 2024 17:02:31 +0800 https://blog.dansec.vip/p/compilationprinciple/ <h1 id="编译程序的工作">编译程序的工作</h1> <ul> <li><a href="https://d4n-sec.github.io/p/LexicalAnalysis/">词法分析</a></li> <li>语法分析</li> <li>语义分析和中间代码生成</li> <li>优化</li> <li>目标代码生成</li> </ul> <p><img src="https://d4n-picture-database.oss-cn-beijing.aliyuncs.com/img/image-20241108164207108.png" alt="image-20241108164207108"></p> <p>上图中的语义分析一般来说会被融合进语法分析中</p>