对于上一篇文章中的Rewrite Rules的详细分析

问题背景

没有背景，这篇文章是对上一篇文章从LLVM的CodeGen角度思考PIC16中的常量数组生成过程中的Rewrite Rules的分析。

详细分析过程

分析表达式c = arr[1] * a * e + d + f / g

1. 整个表达式对应的语法树如下
   
   我们可以使用逆拓扑序对这个DAG图进行遍历，如果遇到了算数运算操作，就进行M阶树的构造，即不断地向上进行节点的汇集操作。如下，分别展示出第一步汇集和最终的汇集结果
   第一步汇集：
   
   最后一步汇集：
   
   当进行遍历的时候遇到了store操作，也就是赋值操作的时候，遍历停止，以此图举例，递归地遍历=节点的左子树，如果递归地过程中发现有某个节点中出现了常量数组，如图中的最下面的有两个乘法的节点，这个节点中use了一个常量数组运算，那么就把这个节点单独拿出来，首先赋值给c，然后再取出c的值，进行后续的运算。
   为了便于说明，变换之后的DAG分成两个部分，但是实际上还是一个部分：
   
   和
   
   这就对应了上一篇文章中的分析过程。