On the DLX with this implementation, there is no way to avoid a one- cycle stall on branch taken through programming or compiler optimiza- tion. However, some RISC architectures provide a “branch-and-execute” instruction, which always executes the next instruction in sequence before performing the branch. This permits the compiler to rearrange instructions so that the last operation in the loop body, often a data store, is performed “under the branch.” (查看原文)
DEFINITION 2.5
Two computations are equivalent if, on the same inputs, they produce identical values for output variables at the time output statements are executed and the output statements are executed in the same order.
...
It is clear that a compiler transformation should never introduce an error that would not have occurred in the original program. However, should transformation that eliminate error exceptions while maintaining the equivalence of outputs be permitted? The conventional answer for Fortran is "yes," but in languages like Java with stricter semantics and explicit exceptions, this may be unacceptable. Since this book focuses on Fortran and similar languages, we will permit transformations that eliminate exceptions or adjust the time at which those exceptions occur, so lo... (查看原文)
Except for the nasty translation, this book is awesome for those who want to understand more about compiler based on architecture.
I would recommend those to read the original English version.
Except for the nasty translation, this book is awesome for those who want to understand more about compiler based on architecture.
I would recommend those to read the original English version.
2 有用 纳兰经若 2012-12-31 13:28:58
哎哟，这书我可是货真价实地看吐了，不是写的垃圾，而是我确确实实感觉到自己太垃圾了。这是有史以来难得我100%肯定我这辈子不需要看下去的书...
0 有用 爱是寂寞人 2007-12-31 13:21:06
Except for the nasty translation, this book is awesome for those who want to understand more about compiler based on architecture. I would recommend those to read the original English version.
0 有用 虽不中不远矣 2016-09-30 23:37:37
略读一遍。主要搞清知识框架。优化的主要方法是依赖。精读了第二章的部分章节。搞清了依赖的三种类型及依赖图的画法。个人觉得已经足够。其他知识等需要时再精读一点不晚。其实精读那部分还是挺来劲的。
0 有用 Locke 2013-01-28 15:21:23
粗略的翻了下，讲编译器优化细节的，以Fortran为主
1 有用 studyhardhard 2024-08-11 10:40:15 上海
本书侧重fortran的程序使用的场景，重点讲了依赖分析，循环和向量化的一些方法。相较于其他三本编译器的书，这本书对我的冲击力更大，尤其是依赖分析让给我醍醐灌顶，可以作为多面体理论学习的前置知识。但本书中的各类优化属于中端的范畴，没有考虑到优化之间的相互影响，也没有用真实的处理器作为例子，这些因素都可能导致算法大幅度改动，因此书中内容和工业实现仍有较大差距，但确实是完美的理论知识教材。 21年读此... 本书侧重fortran的程序使用的场景，重点讲了依赖分析，循环和向量化的一些方法。相较于其他三本编译器的书，这本书对我的冲击力更大，尤其是依赖分析让给我醍醐灌顶，可以作为多面体理论学习的前置知识。但本书中的各类优化属于中端的范畴，没有考虑到优化之间的相互影响，也没有用真实的处理器作为例子，这些因素都可能导致算法大幅度改动，因此书中内容和工业实现仍有较大差距，但确实是完美的理论知识教材。 21年读此书到一半，惊讶地发现一名译者竟然是我们实验室主任，问了几个问题，收获颇丰。 (展开)
1 有用 studyhardhard 2024-08-11 10:40:15 上海
本书侧重fortran的程序使用的场景，重点讲了依赖分析，循环和向量化的一些方法。相较于其他三本编译器的书，这本书对我的冲击力更大，尤其是依赖分析让给我醍醐灌顶，可以作为多面体理论学习的前置知识。但本书中的各类优化属于中端的范畴，没有考虑到优化之间的相互影响，也没有用真实的处理器作为例子，这些因素都可能导致算法大幅度改动，因此书中内容和工业实现仍有较大差距，但确实是完美的理论知识教材。 21年读此... 本书侧重fortran的程序使用的场景，重点讲了依赖分析，循环和向量化的一些方法。相较于其他三本编译器的书，这本书对我的冲击力更大，尤其是依赖分析让给我醍醐灌顶，可以作为多面体理论学习的前置知识。但本书中的各类优化属于中端的范畴，没有考虑到优化之间的相互影响，也没有用真实的处理器作为例子，这些因素都可能导致算法大幅度改动，因此书中内容和工业实现仍有较大差距，但确实是完美的理论知识教材。 21年读此书到一半，惊讶地发现一名译者竟然是我们实验室主任，问了几个问题，收获颇丰。 (展开)
0 有用 虽不中不远矣 2016-09-30 23:37:37
略读一遍。主要搞清知识框架。优化的主要方法是依赖。精读了第二章的部分章节。搞清了依赖的三种类型及依赖图的画法。个人觉得已经足够。其他知识等需要时再精读一点不晚。其实精读那部分还是挺来劲的。
0 有用 Locke 2013-01-28 15:21:23
粗略的翻了下，讲编译器优化细节的，以Fortran为主
2 有用 纳兰经若 2012-12-31 13:28:58
哎哟，这书我可是货真价实地看吐了，不是写的垃圾，而是我确确实实感觉到自己太垃圾了。这是有史以来难得我100%肯定我这辈子不需要看下去的书...
0 有用 爱是寂寞人 2007-12-31 13:21:06
Except for the nasty translation, this book is awesome for those who want to understand more about compiler based on architecture. I would recommend those to read the original English version.