1.瓦片覆盖:
在一个中间表示树(抽象语法树)中,可以用一些树型来覆盖(每个机器指令可以对应一个或多个树型),当一个中间表示树被覆盖完之后,也就生成了与树型对应的指令。
树型:可以覆盖中间表示树的一个片段。
瓦片:可以覆盖中间表示树的树型的集合,应该就是一个指令对应的树型吧。树型也叫瓦片
最大瓦片:覆盖语法树节点个数最多的瓦片
最佳覆盖(局部指标):不存在两个相邻的树型能够合成一个执行代价更小的树型
可以使用最大吞进算法,从根结点开始寻找合适的最大树型,然后根结点两边递归这个操作。这个算法是自顶向下的算法。
最优覆盖(全局指标):得到的指令序列的总执行时间最短。
可以使用动态规划算法,自底向上。