2011年04月_wuhui_gdnt

10月 08月 07月 06月 05月 04月 03月 02月 01月

原创 GCC's bacl-end & assemble emission (10)

4.3.Generate Code for define_split Now back to main, at line 840, the split part of thisdefine_insn_and_split will be written via gen_split. Our example is as following: figure 30 : genemit - example of define

2011-04-30 09:08:00 758

原创 GCC后端及汇编发布（10）

4.3.为define_split产生代码 现在回到main，在840行，这个define_insn_and_split的split部分将被通过gen_split写出。我们的例子显示如下： 图30：genemit - define_insn_and_split模式的例子– split部分 550 static void 551 gen_split(rtx split)

2011-04-30 09:06:00 956

原创 GCC's bacl-end & assemble emission (9)

4. Toolof genemit4.1.Preparation for Code Generation This tool outputs insn-emit.c file from machine description file.Insn-emit.c defines function sto generate a body for patterns, given operandsas arguments. 775 int<b

2011-04-30 09:03:00 904

原创 GCC后端及汇编发布（9）

4. genemit工具4.1.代码输出的准备 这个工具从机器描述文件生成文件insn-emit.c。Insn-emit.c定义了，从机器描述文件中的模式定义生成的，以给定操作数作为参数的模式匹配函数。 775 int 776 main (int argc, char **argv) in

2011-04-30 08:59:00 1215

原创 GCC's bacl-end & assemble emission (8)

3.4.Output insn-recog.c Now we can output the file named insn-recog.c. It begins by write_subroutines.The parameter headpoints to recog_tree. 2336static void 2337write_subroutines (structdecision_head *head, enumrout

2011-04-23 10:04:00 1134

原创 GCC后端及汇编发布（8）

3.4.输出insn-recog.c 现在我们可以输出名为insn-recog.c的文件了。这由write_subroutines开始，参数head指向recog_tree。 2336static void 2337write_subroutines (structdecision_head *head, enumroutine_type type) in genrecog.c 2338{ 2339 st

2011-04-23 10:00:00 1128

原创 GCC's bacl-end & assemble emission (7)

3.3.2.Reorgnize Recongnition Tree Back to main, next process_treeis invoked to reorgnize the tree. It will try to simplify the tree and assignnodes to subroutines for output. 2582static void

2011-04-23 09:51:00 799

原创 GCC后端及汇编发布（7）

3.3.2.重组识别树 回到main，下来调用process_tree来识别这棵树。它将尝试简化这棵树，并把节点赋予用于输出的函数。 2582static void ingenreocg.c 2583process_tree (structdecision

2011-04-23 09:45:00 904

原创 GCC's bacl-end & assemble emission (6)

3.3.Build Recognition Tree3.3.1.Create Recognition Tree For every instruction description pattern (as we see 3 types ofpatterns are used - define_insn, define_split, and define_peephole2. But theyare handled separatly, there are 3 kinds of t

2011-04-23 09:34:00 906

原创 GCC后端及汇编发布（6）

3.3.构建识别树3.3.3.创建识别树 对于每个指令描述模式（正如我们看到有3个类型的模式在使用——define_insn，define_split及define_peephole2。但是它们被分别处理，因此有3种树对应这3个类型的模式），将构建形如图13的树。为了从这些树，以高效、方便的方式，产生insn-recog.c，我们需要把这些树合并成一棵大的树。这正是merge_trees.的目的。对于所有的描述，merge_trees应该构建一棵如下的树。 <br

2011-04-23 09:30:00 1540 2

原创 GCC's bacl-end & assemble emission (5)

3.2.3.Add RTL Template of Patterns into DecisionSequence For our define_insn example above, the type passed to add_to_sequenceat line 2467, is RECOG. And the parameter pattern is the RTL template of the define_insnpattern. For our exampl

2011-04-23 09:22:00 913

原创 GCC后端及汇编发布（5）

3.2.3.向决策序列加入模式的RTL模板 对于上面我们的define_insn例子，在2467行，被传给add_to_sequence的类型是RECOG。而参数pattern是这个define_insn模式的RTL模板。对于我们的例子是： [(set (reg 17) (compare(match_operand:DI 0 "nonimmediate_operand" "r,?mr") (match_

2011-04-23 09:16:00 1307

原创 GCC's bacl-end & assemble emission (4)

3. Toolof genrecog3.1.Preparation for Code Emission The tool genrecog is used to generate the translate engine torecognize and transform RTL to asm. Here we see how the tool creates the enginefrom the machine description file – we

2011-04-23 09:04:00 987

原创 GCC后端及汇编发布（4）

3. genrecog工具3.1.代码输出的准备 工具genrecog用于产生识别及转换RTL到汇编的转换引擎。在这里我们看到该工具如何从机器描述文件构建出这个引擎——我们以i386系统为例子，这个机器描述文件是i386.md。 2612int 2613main (int argc,char **argv)

2011-04-23 09:02:00 1324

原创 GCC's bacl-end & assemble emission (3)

2.2.Output condition part of instruction definingpatterns Following genconditions will generate array insn_conditions which containsconditional test part of instrucitons description patterns. This array will beused to help optimizing the

2011-04-16 08:15:00 733

原创 GCC后端及汇编发布（3）

2.2.输出指令定义模式的条件部分 接着genconditions将产生包含指令描述模式的条件测试部分的数组insn_conditions。这个数组将被用于协助优化后端功能单元的生成，我们将在后面的章节看到这一点。 main (continued, genconditions) 199 /* Read the machine description. */ 200 201 while (1

2011-04-16 08:12:00 919

原创 GCC's bacl-end & assemble emission (2)

2.1.2.Overview of DEFINE_INSN pattern [ A define_insn as an RTLexpression containing four or five operands: 1. An optionalname. The presence of a name indicates that this instruction pattern canperform a certain standard job for the R

2011-04-16 08:10:00 1046

原创 GCC后端及汇编发布（2）

2.1.2.DEFINE_INSN模式的概览 [一个作为RTL表达式的define_insn包含了4或5个操作数： 1. 一个可选的名字。名字的出现表示，这个指令模式可以为编译器的RTL产生遍执行一个固定的标准任务。这个遍知道某些名字，并使用具有这些名字的模式，如果这些名字在机器描述中定义了的话。 通过在名字的位置写入一个空字符串来表示名字的缺席。匿名的指令模式不会用于产生RTL代码，但它们可能允许合并多个简单的insn。 不认识因而不用于RTL生成的名字

2011-04-16 08:04:00 2070

原创 GCC's bacl-end & assemble emission (1)

1. Overview To make GCC porting to other machines (architecture) in mostefficient and convient way, GCC needs machine description file (MD file) forchips. To describe a chip, series definitions called pattern are introduced.General

2011-04-09 09:12:00 932

原创 GCC后端及汇编发布（1）

1. 概览 为了使GCC以高效、方便的形式移植到其它机器（架构上），GCC需要芯片的机器描述文件（MD文件）。为了描述芯片，一系列称为模式（pattern）的定义被引入。通常，我们需要从两方面来描述芯片。 首先是在RTL形式定义的指令集——包括，指令看起来像什么（define_insn模式）；哪个指令序列比其它等效的指令序列效率更高（define_peephole及define_peephole2模式）；如何把一个复杂指令分解成多个简单些的指令，然后其中一个可

2011-04-09 09:09:00 5545

原创 182. Conclusion and advance notice

5.13.5.3.2.4.3. Conclusion and advance notice From here on, RTL subtree will be constructed out of theintermediate tree, which is the important basis and starting point forassembler code generation. The back-end plays the key

2011-04-09 08:59:00 645

原创 182. 结束语及预告

5.13.5.3.2.4.3. 结束语及预告 从这以下，RTL子树将根据中间树被构建出来，RTL子树是产生汇编代码的重要依据与出发点。后端将在基于RTL的优化及汇编发布中，起到关键的作用。后端的实现与前端有很大的差异，它广泛使用了代码生成工具。因此，接下来我们要首先学习这些工具，看看会产生怎么样的代码。

2011-04-09 08:58:00 1545 1

翻译 ELF对线程局部储存的处理（8）

6. ELF新定义 这一节显示了，对于描述扩展ELF格式必须的，新引入的常量的实际定义。通用的扩展是： #define SHF_TLS (1 <<10) #define STT_TLS 6 #define PT_TLS 76.1.IA-64新ELF定义 #define R_IA64_TPREL14 0x91/* @tprel (sym+add), imm1

2011-04-04 20:19:00 1371

翻译 ELF对线程局部储存的处理（7）

5.4.Alpha链接器优化 Alpha的链接器优化要比IA-32或SPARC的干净，因为对指令的次序没有限制。 重定位TLSGD/TLSLDM，LTERAL及LITUSE，在汇编文件中，由序号（sequence number）关联。这使得它们在目标文件中被连续发布（emit）。 不会发生__tls_get_addr模式的放宽，除非重定位以TLSGD，LITERAL及LITUSE_TLSGD，这个次序出现（对于TLSLDM，类似）。这用于区别TLSGD重定位不与任何

2011-04-04 20:17:00 1798

翻译 ELF对线程局部储存的处理（6）

5. 链接器优化 线程局部储存访问模式，就使用的方式而言，是分层的。最通用的模式是常规动态模式，它可以随处使用。当生成执行映像本身时，初始可执行模式可以无条件使用。如果一个共享对象不是要动态载入的，它也可以使用。这两个模式已经定义了一个层次。余下两个模式，如果定义是与引用在同一个模块中，是对更通用模式之一的特殊优化。访问模式之间的层次及转换可以图形化地显示如下[1]： [1]这个图一开始是由MikeWalker制作的 <b

2011-04-04 20:15:00 1312

翻译 ELF对线程局部储存的处理（5）

4.4.局部可执行TLS模式 类似局部动态模式相对于常规动态模式加入的优化，优化局部动态模式得到局部可执行模式。它使用的限制性比局部动态模式还要大。它仅能用于执行映像自身的代码，并访问该执行映像本身的变量。 把使用限制在执行映像意味着，仅对于局部可执行模式而言，TLS块可以相对于线程指针取址。限定变量是那些定义在执行映像里的变量，这意味着总是使用第一个TLS块，这个块用于执行映像，因而对于地址计算来说，其它块的大小都不再重要。它亦意味着，当构建最终映像时，链接器知道到TC

2011-04-04 20:03:00 1009

翻译 ELF对线程局部储存的处理（4）

4.3.初始可执行TLS模式 如果已知被访问的变量出现在程序启动时的一个模块中，并且如果程序选择使用静态访问模式，可以使用一个限制更多的优化。后一个条件意味着，所产生的代码不会使用函数__tls_get_addr，这又意味着，推迟为以这个方式访问的TLS块分配内存，是不可能的。但对于动态加载的模块，推迟分配仍然是可能的。 这个优化背后的想法是，在动态链接器载入所有被执行映像（及其它一些，像由LD_PRELOAD命名的，映像）直接或间接引用的模块后，每个在这些模块的TLS块

2011-04-04 20:01:00 1259

翻译 ELF对线程局部储存的处理（3）

4.2.局部动态TLS模式 局部动态TLS模式是常规动态TLS模式的一个优化。如果编译器认识到，这个线程局部变量的引用所在的对象与其定义所在对象相同，它可以产生遵循这个模式的代码。这包括，比如，具有文件域的线程局部变量，或被定义为保护或隐藏的变量（更多这方面的信息参考：通用ELF ABI规范）。这里我们把这些类型的变量援引为受保护的。 提醒一下，一个线程局部变量由模块ID及在该模块的TLS块中的偏移来定义。在确信变量定义在引用它的模块中时，其偏移在链接时刻是已知的。模

2011-04-04 20:00:00 1389

翻译 ELF对线程局部储存的处理（2）

4. TLS访问模式 文档到目前为止，提到了访问线程局部储存的两种不同的方式，动态模式及静态模式。TLS访问模式有基本的区分（basicdifferentiation）。不同的模式，归属于这两个分类之一，用于提供尽可能多好的性能。这个文档所涵盖的ABI定义了四种不同的访问模式。用于其它平台的ABI可能会定义额外的模式。 所有的模式的共同点是，在启动时刻的动态链接器，或当一个模块被动态加载时，需要处理与线程局部储存相关的重定位。这些重定位的处理不可以被推迟（

2011-04-04 19:59:00 1690

翻译 ELF对线程局部储存的处理（1）

一周之前，正在为GCC中对线程局部变量的处理而头疼不已，偶尔在文档《Using Gcc》里找到了这篇“ELFHandling For Thread-Local Storage”，它对线程局部变量的描述澄清了我的不少疑问，考虑到尚未看到中文的版本，特把它翻译了出来。当然这里的描述距离真正的代码实现还很远，不过从中已可窥探出，现代编译器、链接器确实是充满挑战、令人兴奋的软件。 ELF对线程局部储存的处理 原作者：UlrichDrepper,Red

2011-04-04 19:56:00 5972 1

Introduction to Theory of Computation

This is a free textbook for an undergraduate course on the Theory of Computation, which we have been teaching at Carleton University since 2002.Until the 2011/2012 academic year, this course was offered as a second-year course (COMP 2805) and was compulsory for all Computer Science students. Starting with the 2012/2013 academic year, the course has been downgraded to a third-year optional course (COMP 3803).

2018-09-23

Survey on Instruction Selection

Instruction selection is one of three optimization problems involved in the code generator back-end of a compiler. The instruction selector is responsible of transforming an input program from its target-independent representation into a target-specific form by making best use of the available machine instructions. Hence instruction selection is a crucial part of efficient code generation.

2018-09-23

Towards a Compilation infrastructure for network processors

Modern network processors (NPs) typically resemble a highly-multithreaded multiprocessor-ona-chip, supporting a wide variety of mechanisms for on-chip storage and inter-task communication. NP applications are themselves composed of many threads that share memory and other resources,and synchronize and communicate frequently. In contrast, studies of new NP architectures and features are often performed by benchmarking a simulation model of the new NP using independent kernel programs that neither communicate nor share memory. In this paper we present a NP simulation infrastructure that (i) uses realistic NP applications that are multithreaded, share memory, synchronize, and communicate; and (ii) automatically maps these applications to a variety of NP architectures and features. We use our infrastructure to evaluate threading and scaling, on-chip storage and communication, and to suggest future techniques for automated compilation for NPs.

2018-09-23

Crafting a Compiler

Brief Contents 1 Introduction 1 2 A Simple Compiler 31 3 Scanning—Theory and Practice 57 4 Grammars and Parsing 113 5 Top-Down Parsing 143 6 Bottom-Up Parsing 179 7 Syntax-Directed Translation 235 8 Symbol Tables and Declaration Processing 279 9 Semantic Analysis 343 10 Intermediate Representations 391 11 Code Generation for a Virtual Machine 417 12 Runtime Support 445 13 Target Code Generation 489 14 Program Optimization 547

2018-09-01

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

Introduction to Theory of Computation

Survey on Instruction Selection

Towards a Compilation infrastructure for network processors

Crafting a Compiler

How Debuggers Work

Compiler Construction-20th

Compiler Construction-19th

Compiler Construction-17th

Compiler Construction-16th

Compiler Construction-5th

Construction and Evolution of Code Generator

Compiler Construction-11th

The compiler design handbook

Data_Flow_Analysis_Theory_And_Practice(Bookos.org)

The Compiler Design Handbook Optimizations and machine code generation

C++_Coding_Standards_101_Rule

instruction scheduling for instruction level parallel processor

空空如也