[精彩] [翻译][POD] Parrot 入门

　　子程序，一直到 C<.end>。第二行包含了一个 C 指令。这种情况下，我

　　们调用不同能接受字符串常量的指令。汇编程序负责为我们决定使用哪些不同的

　　指令。

　　=head2 使用寄存器

　　我们可以修改 hello.pir，让它首先保存 C 字符串到一个寄存

　　器，然后通过 print 指令来使用那个寄存器。

　　.sub main

　　set S0, "Hello world!\n"

　　print S0

　　.end

　　我们在这里明确的规定了使用哪个寄存器。然而，通过用 C<$S0> 替换 C 的方

　　式，我们可以委托 Parrot 选择使用哪个寄存器。也可以用 C<=> 符号替代 C

　　指令。

　　.sub main

　　$S0 = "Hello world!\n"

　　print $S0

　　.end

　　为了让 PIR 更加可读，可以使用命名寄存器。它们最后会映射到真正的数字寄存器。

　　.sub main

　　.local string hello

　　hello = "Hello world!\n"

　　print hello

　　.end

　　C<.local> 伪指令表示命名寄存器只在当前编译单元内部需要(也就是，在 C<.sub>

　　和 C<.end>之间的)。C<.local> 后面是一个类型，可以是 C (即 I 寄存

　　器)，C(即 N 寄存器)，C(即 S 寄存器)，C(即 P 寄存

　　器)或者是 PMC 类型的名字。

　　=head2 PIR、PASM 比较

　　PASM 不处理寄存器分配或者提供命名寄存器支持。它也没有 C<.sub> 和 C<.end> 伪

　　指令，而是在指令的开始用一个标签替代它们。

　　=head2 平方和

　　本例介绍了更多的指令和 PIR 语法，以 C<#> 开头的行是注释。

　　.sub main

　　# 初始化平方和数字

　　.local int maxnum

　　maxnum = 10

　　# 我们将用一些命名寄存器，请注意可以在一行声明很多同样类型的寄存器

　　.local int i, total, temp

　　total = 0

　　# 循环计算总和

　　i = 1

　　loop:

　　temp = i * i

　　total += temp

　　inc i

　　if i <= maxnum goto loop

　　# 输出结果

　　print "The sum of the first "

　　print maxnum

　　print " squares is "

　　print total

　　print ".\n"

　　.end

　　PIR 提供了少量语法糖来使它看起来比汇编语言更高级。例如：

　　temp = i * i

　　以下仅仅是另一个写起来更像汇编的方式：

　　mul temp, i, i

　　并且:

　　if i <= maxnum goto loop

　　和下面一样:

　　le i, maxnum, loop

　　以及:

　　total += temp

　　和下面一样:

　　add total, temp

　　通常，每当 Parrot 指令修改一个寄存器的内容，它将是编写汇编形式指令的第一个寄

　　存器。

　　由于汇编语言通常根据条件分支语句和标签来实现循环和选择，正如上所示。汇编语言

　　编程使用 goto 不是差的方式。

　　=head2 递归计算阶乘

　　这个例子我们定义了一个阶乘函数并递归地调用它以计算阶乘。

　　.sub factorial

　　# 获取一个输入参数

　　.param int n

　　# return (n > 1 ? n * factorial(n - 1) : 1)

　　.local int result

　　if n > 1 goto recurse

　　result = 1

　　goto return

　　recurse:

　　$I0 = n - 1

　　result = factorial($I0)

　　result *= n

　　return:

　　.return (result)

　　.end

　　.sub main :main

　　.local int f, i

　　# 我们将计算 0...10 的阶乘

　　i = 0

　　loop:

　　f = factorial(i)

　　print "Factorial of "

　　print i

　　print " is "

　　print f

　　print ".\n"

　　inc i

　　if i <= 10 goto loop

　　.end

　　第一行 C<.param int n> 指明了该子程序有一个整型参数，我们指的是通过名字

　　C 为子程序其余部分传递参数的寄存器。

　　下面大部分都已经在前面的例子见过，除了下面这行之外：

　　result = factorial($I0)

　　这行 PIR 实际上相当于几行 PASM。汇编程序建立了描述特征的 PMC，其中包括参数

　　附带的寄存器。为了提供返回值所在寄存器，一个类似的过程发生了。最后，

　　C 子程序被执行。

　　在 C 子程序的 C<.end> 前面，C<.return> 伪指令用来说明这个值在名叫

　　C 的寄存器里面，并拷贝到调用程序期望保存返回值的寄存器里面。

　　在 main 调用 C 与在子程序 C 自己内部调用 C

　　是一样的。唯一有点不同的是 C<.sub main> 之后的新语法 C<:main>. PIR 默认假设

　　从文件第一个子程序开始执行。这个行为可以通过标记子程序始于 C<:main> 而改变。

　　=head2 编译成 PBC

　　为了把 PIR 编程字节码，使用 C<-o> 标志并且指定一个带 F<.pbc> 扩展的输出文件。

　　parrot -o factorial.pbc factorial.pir

　　=head1 接下来怎么办?

　　=head2 文档

　　你下一步要阅读什么文档?这取决于你要用 Parrot 做什么。绝大部分人研究操作符文献

　　和内置的 PMC 文献都是有益的。如果你打算编写或者编译 PIR，那么有许多 PIR 文档值

　　得一读。对于写编译器的人，有必要阅读一下编译器 FAQ。如果你想参与 Parrot 发展，

　　PDDs(Parrot 设计文档)包含了 Parrot 一些内部细节;其它一些文档在代码里面。帮

　　助 Parrot 发展的一种方式是编写测试代码，有份叫 I<测试 Parrot> 的文档对这有帮助。

　　=head2 Parrot 邮件列表

　　大部分 Parrot 开发和讨论都在 parrot-porters 邮件列表。你可以用过发送一份邮件到

　　C<[email]parrot-porters-subscribe@perl.org[/email]> 或者到

　　L 阅读 NNTP 存档。

　　=head2 IRC

　　Parrot IRC 频道位于 ire.perl.org 上的 C<#parrot>。供选择的 IRC 服务器在

　　irc.pobox.com 或者 irc.rhizomatic.net。

　　=cut