Treelang programming language

Treelang is a "toy" programming language distributed with the GNU Compiler Collection (GCC) to demonstrate the features of its code-generation backend. It was developed by Tim Josling, based on a language called Toy created by Richard Kenner. During GCC 4.3 release cycle, a patch was offered to remove the language. [ [http://gcc.gnu.org/wiki/TreeLang GCC Wiki (online)] ]

Overview

Treelang is loosely based on the C programming language, but omits complex features such as pointers, arrays, and structures. It is currently incomplete, although there are plans to gradually add more demonstrative features.

From the documentation distributed with GCC [ [http://stderr.org/doc/treelang-4.1-doc/treelang.html Treelang Documentation] ] :

: Treelang is a sample language, useful only to help people understand how to implement a new language front end to GCC. It is not a useful language in itself other than as an example or basis for building a new language. Therefore only language developers are likely to have an interest in it.

Example

The following example is from the Treelang documentation, modified by adding the main function, and is included to give an impression of the Treelang syntax and semantics:

// function prototypes // function 'add' taking two ints and returning an int external_definition int add(int arg1, int arg2); external_definition int subtract(int arg3, int arg4); external_definition int first_nonzero(int arg5, int arg6); external_definition int double_plus_one(int arg7); external_definition int main();

// function definition add { // return the sum of arg1 and arg2 return arg1 + arg2; } subtract { return arg3 - arg4; }

double_plus_one { // aaa is a variable, of type integer and allocated at the start of the function automatic int aaa; // set aaa to the value returned from add, when passed arg7 and arg7 as the two parameters aaa=add(arg7, arg7); aaa=add(aaa, aaa); aaa=subtract(subtract(aaa, arg7), arg7) + 1; return aaa; } first_nonzero { // C-like if statement if (arg5) { return arg5; } else { } return arg6; }

// Like C, 'gtreelang' needs the main to be defined to create an executable. main { return double_plus_one(5); }

Note that C-style comments (with the /* */ syntax) are not legal in Treelang.

Commentary

As a simple, C-like language, Treelang is interoperable with C and C++ with some minor datatype caveats. The designated filename extension for Treelang source code files is .tree. Treelang source code can be compiled by invoking gcc normally or as gtreelang. Both invocations run the Treelang frontend (internally labelled tree1) and produce machine code as output. Treelang does not issue "warning" messages; either the program is correct and is compiled, or it is not.

References