Mindmatrix (talk | contribs) m links |
Closing stale February merge proposal; no case made and no support Tag: Manual revert |
||
(7 intermediate revisions by 5 users not shown) | |||
Line 8: | Line 8: | ||
===Abstractions=== |
===Abstractions=== |
||
PIR provides both type abstraction and [[Type polymorphism|polymorphism]] to some degree. For example, the "<code>+</code>" operator can be used with <code>int</code>, <code>num</code> or both: |
PIR provides both type abstraction and [[Type polymorphism|polymorphism]] to some degree. For example, the "<code>+</code>" operator can be used with <code>int</code>, <code>num</code> or both: |
||
<syntaxhighlight lang="perl6"> |
|||
.local int a |
.local int a |
||
.local num b |
.local num b |
||
Line 15: | Line 15: | ||
.local num c |
.local num c |
||
c = a + b |
c = a + b |
||
</syntaxhighlight> |
|||
===Calling conventions=== |
===Calling conventions=== |
||
The calling conventions in Parrot are |
The calling conventions in Parrot are complex, but all of that complexity can be hidden by using PIR directives: |
||
<syntaxhighlight lang="perl6"> |
|||
.sub foo |
.sub foo |
||
.param int a |
.param int a |
||
Line 26: | Line 26: | ||
.return (tmp) |
.return (tmp) |
||
.end |
.end |
||
</syntaxhighlight> |
|||
Each of |
Each of the directives prefixed with a "<code>.</code>" expands to the required Parrot bytecode, but does not directly represent any fundamental Parrot operation. |
||
==Example== |
==Example== |
||
The [[hello world program]] in PIR is |
The [[hello world program]] in PIR is |
||
<syntaxhighlight lang="perl6"> |
|||
<code><pre> |
|||
.sub hello :main |
.sub hello :main |
||
print "Hello world!\n" |
print "Hello world!\n" |
||
.end |
.end |
||
</syntaxhighlight> |
|||
If the program is saved as ''hello.pir'', it can be [[Compiler|compiled]] and [[Execution (computing)|executed]] with this command: <code>parrot hello.pir</code> |
If the program is saved as ''hello.pir'', it can be [[Compiler|compiled]] and [[Execution (computing)|executed]] with this command: <code>parrot hello.pir</code> |
||
==External links== |
==External links== |
||
* [http://docs.parrot.org/parrot/latest/html/docs/user/pir/intro.pod.html Writing PIR] |
* [http://docs.parrot.org/parrot/latest/html/docs/user/pir/intro.pod.html Writing PIR] |
||
* [http://www.parrot.org/dev/examples/pir PIR examples |
* [http://www.parrot.org/dev/examples/pir PIR examples] |
||
[[Category:Assembly languages]] |
[[Category:Assembly languages]] |
Latest revision as of 09:39, 28 April 2024
The Parrot intermediate representation (PIR), previously called Intermediate code (IMC), is one of the two assembly languages for the Parrot virtual machine. The other is Parrot assembly language or PASM. Compared to PASM, PIR exists at a slightly higher abstraction layer, and provides temporary registers and named registers, simplifying code generation.
While Parrot is still evolving, it is currently being used in many different capacities, and has undergone several releases.
Overview
PIR provides a set of abstractions that allow the programmer to ignore certain redundancies in the Parrot bytecode and quickly write code that adheres to the complexities of Parrot, such as the calling conventions.
Abstractions
PIR provides both type abstraction and polymorphism to some degree. For example, the "+
" operator can be used with int
, num
or both:
.local int a
.local num b
a = 1
b = 1.1
.local num c
c = a + b
Calling conventions
The calling conventions in Parrot are complex, but all of that complexity can be hidden by using PIR directives:
.sub foo
.param int a
.param int b
.local int tmp
tmp = a + b
.return (tmp)
.end
Each of the directives prefixed with a ".
" expands to the required Parrot bytecode, but does not directly represent any fundamental Parrot operation.
Example
The hello world program in PIR is
.sub hello :main
print "Hello world!\n"
.end
If the program is saved as hello.pir, it can be compiled and executed with this command: parrot hello.pir