ILogScriptほげほげ

お恍さん≈お恍さんと〖∽

怀李矾≈怀李矾の〖∽

票箕≈ILogScriptほげほげなんとか怪郝〖∽

--

怀李矾 : 舍奶の滥钳。呵夺は≈リッチクライアント∽とか咐ってる。リッチクライアントって部よ。

お恍さん : アレな肋年のお恍さん

--

お恍さん≈怀李矾はILogScriptって梦ってるかな〖々∽

怀李矾≈梦りません——∽

お恍さん≈まあ、それもしかたないか∧じゃあ、コンパイラを今きたい、と蛔ったことはあるかな〖々∽

怀李矾≈痰いですっ——∽

お恍さん≈それだと、厦が渴まないじゃない。この剂啼は、[Y/y]みたいな炊じだと蛔って手祸してよ。∽

怀李矾≈そこで、^C∽

お恍さん≈贵いッ∽

--

お恍さん≈と、いうわけで、これから、ILogScriptのチュ〖トリアルっぽい棱汤をしようかと蛔います。∽

怀李矾≈はいっ—ひとついいですか∽

お恍さん≈はいっ—なんでしょう—々剂啼しようとすることや、罢斧を咐おうとする谎廓は润撅に删擦できますよ——∽

怀李矾≈こういう慎に棱汤矢を柴厦妨及にすると、ネットワ〖クの羹こう娄で"うわ〖これ、オタが今いた矢だよ∧キモッ"とか咐ってヒきまくるというようなそういう客のイメ〖ジがありありと赦かんでくるんですが、その凤については、どう滦炳すればよいでしょうかッ々∽

お恍さん≈あ〖∧え〖∧∽

--

と、まあ、その凤についてなんだけど、この啼玛は润撅に岂しい啼玛であって、毋えば、コンパイラのことを、コンˇパイラ矾とか钙んじゃったりしてても、办斤に叹涟を息ねるのを钓しちゃう、みたいな、そういうセンスを妄豺できるだけの络きな达を积っていないと惟巧なコンパイラの黎栏にはなれないんだぞ。というそういう啼玛も票箕に崔んでるのである。コンパイラ今きというのは、そういう婶尸も妥滇されるのだ。驴尸。

todo: アレな敞を掐れる

--

と、いうのは、あんまり塑矢とは簇犯痰いとして、このILogScriptチュ〖トリアルでは、コンパイラを悸狠に悸刘しながら、ILogScriptについて棱汤していく。

あと、woはDOSまわりの凤については、悸狠に斧たことは痰い、というのも输颅しておく。办炳。

まずは、どういう咐胳をつくるかを雇えることにする。部でもいいんだけど、いくつか答塑弄な妥燎を崔めつつ、词帽な炊じでいきたいよねぇ∧と、いうことで、肌のものを崔んだ咐胳にする

腊眶の裁负捐近
恃眶

んで、これらを、Cみたいな菇矢スタイルの惧に捐っけることにする。イメ〖ジとしては、こんな炊じ

int x = 4;
int y = 5;
int z = x + y * 5;

こういうことができる、と。あとは、掘凤尸呆やら、簇眶钙び叫しやらを掐れないと、纷换したところで冯蔡が蝗えないからどうしようもないんだけど、とりあえず、それはまた肌搀ということで。∈いつになるかわからんが∷

で、とりあえず、この咐胳をEBNFみたいなので今いとくと、

program ::= (decl_stmt | expr_stmt)* 


// expr
expr_stmt == expr ';'

expr ::= plus_expr

plus_expr ::= plus_expr '+' mult_expr  |
              plus_expr '-' mult_expr 

mult_expr ::= mult_expr '*' term |
              mult_expr '/' term

term ::= digit | ident | '(' expr ')'


// decl
decl_stmt ::= 'int' ident ('=' expr)? ';'


// token 
ident ::= [_a-zA-Z][_a-zA-Z0-9]*
digit ::= [0-9]+

こんな炊じ。

∈徒年:だらだらと菇矢腾の厦とか∷

さて、こっからが塑戎。ILogScriptを蝗ってアセンブリを栏喇するところまでの厦を。あと、GCCの柒婶菇陇の寿动にも蝗える∧かもしれない。

よくできた矢鞠と般って、ボトムアップ数及で今いていってるので、粕みにくいかもしれない。粕みにくいと炊じた客は、办戎呵稿の矢机から嫡数羹に粕んでいったらトップダウン弄に粕めたりしていいんじゃないかな〖。と。∈亩努碰∷

缄侯りsyntax tree - 菇矢腾のつくりかた

では、まず、词帽な及の菇矢腾の侯りかたについての厦。

で、ここでは、厦を词帽にするために、プログラムコ〖ドを蔷柒、および缄で菇矢腾へと恃垂してみることにする。ハンドアセンブルならぬ、ハンドパ〖スと咐ったところか。胳悉が碍い。

--

まず、词帽な及を雇える。

1 + 2

こんなの。年眶と年眶の裁换。これを菇矢腾にすると、

∈徒年:哭今き木す∷

       +
      / \
     /   \
    1     2

こんな炊じ。まあ、斧たまんまというか。

んで、これの腾を山すデ〖タをILogScriptで侯ってみることにする。それが、肌のプログラム。

// 1 + 2
var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, 1, 2 );

build簇眶が菇矢腾を侯る簇眶。これを钙び叫して菇矢腾を侯る。

称苞眶の罢蹋は肌のとおり。

妈办苞眶が、その及の硷梧。海、この菇矢腾は裁换なので、PLUS_EXPR。
妈企苞眶が、その及の房。これは腊眶の及なので、int房。
妈话苞眶が、その及の妈办オペランド。この及の焊收猛が1
妈煌苞眶が、その及の妈企オペランド。この及の宝收猛が2

こんな炊じ。≈焊收猛が1、宝收猛が2のint房のPLUS_EXPR∽という罢蹋。

integer_type_nodeというのは、int房のことと蛔っていただいていいかと。

で、PLUS_EXPRというのは、裁换及のこと。负换のMINUS_EXPR、捐换のMULT_EXPR、その戮咖」などがある。どういうのがあるかについては、GCCソ〖ス柒のtree.def徊救。

--

まあ、とりあえず、菇矢腾はbuild簇眶を蝗って侯る、と。で、侯った菇矢腾を澄千するには、debug_tree簇眶を蝗う。

var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, 1, 2 );
debug_tree( expr );

こ〖すると、

 <plus_expr 87ef18
    type <integer_type 84aaf0 SI
        size <integer_cst 848558 constant 32>
        unit size <integer_cst 848600 constant 4>
        align 32 symtab 0 alias set -1 precision 32 min <integer_cst 8485d0 -2147483648> max <integer_cst 8485e8 2147483647>
        pointer_to_this <pointer_type 84fa10>>
    constant
    arg 0 <integer_cst 87eaf8 type <integer_type 84aaf0> constant 1>
    arg 1 <integer_cst 87eb28 type <integer_type 84aaf0> constant 2>>

面あたりのごちゃごちゃしたところは却いてもらって、

 <plus_expr
    constant 
    arg 0 <integer_cst constant 1>
    arg 1 <integer_cst constant 2>>

こんな炊じ。integer_cst というのは、腊眶年眶のこと。arg0 = 1 の arg1 = 2 のplus_exprってなってるのを澄千。と。

--

で、鲁いて、

1*2 + 3*4

こういうのを雇える。

これの菇矢腾は、

      +
     / \
    /   \
   /     \
  *       *
 / \     / \
1   2   3   4

こんな炊じ。で、これを寥み惟てるプログラムが、

// 1 * 2
var lhs = gcc.build( gcc.MULT_EXPR, types.integer_type_node, 1, 2 );

// 3 * 4
var rhs = gcc.build( gcc.MULT_EXPR, types.integer_type_node, 3, 4 );

// lhs + rhs
var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, lhs, rhs );

こうなる。と。

--

で、こんな炊じで、だらだらと菇矢腾を侯ってやって、できた菇矢腾をgccの簇眶につっこんでやると、滦炳するアセンブリが栏喇される、というわけ。

--

あと、途锰として、gcc.foldという菇矢腾面の年眶を纷换してくれる簇眶があったりする。毋えば、惧のプログラムで、

var lhs = gcc.build( gcc.MULT_EXPR, types.integer_type_node, 1, 2 );
var rhs = gcc.build( gcc.MULT_EXPR, types.integer_type_node, 3, 4 );
var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, lhs, rhs );

debug_tree( gcc.fold(expr) );

こんなふうにしてやると、

 <integer_cst 8f18a0 type <integer_type 84aaf0> constant 14>

こんな炊じに。

--

まとめ: 及を侯るには、build簇眶を蝗う。

恃眶を叫す。その办

さて、年眶の纷换ばっかりやっててもアレなので、恃眶を袭ってみることにする。恃眶を侯るには、build_declを蝗う。

var v = gcc.build_decl( gcc.VAR_DECL, gcc.get_identifier("var_name"), types.integer_type_node );

苞眶はそれぞれ、

办戎誊が、恃眶の硷梧。VAR_DECLが舍奶の恃眶。FUNCTION_DECLだと簇眶。ARG_DECLだと苞眶。とか、そんな炊じで。
企戎誊が恃眶の叹涟。急侍灰にしないといけないので、get_identifierで矢机误を急侍灰に恃垂しておく
话戎誊が恃眶の房

これで、ここから侯った恃眶を蝗えるようになる。蝗い数は年眶の眷圭と票じように、 buildを蝗って菇矢腾を菇蜜するときに寒ぜておく。

int hoge ;
hoge + 4;

こういう眷圭を雇えると、

// int hoge;
var hoge = gcc.build_decl( gcc.VAR_DECL, gcc.get_identifier("hoge"), types.integer_type_node );

// hoge + 4
var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, hoge, 4 );

debug_tree( expr );

こんな炊じで。あ〖、あと、get_identifier("str")というのは、じつは、バッククオ〖トを蝗って、`strと今ける。こっちのほうが没く今けて跟唯がいいので、こっちのほうがおすすめ。

ここで、恃眶の介袋猛と、いきたいのだけど、ロ〖カル恃眶とゆ〖のは、簇眶が痰いと蝗えないので、ここらへん、鲁きが今けない。

で、まあ、そんなこんなで、ちょっとややこしいんだけど、黎に簇眶のつくりかたを棱汤することにする。

--

とりあえずまとめ: 恃眶をつくるには、build_declを蝗う

簇眶を叫す

あとで今く。

とりあえず、expand_stmtの面に今いていけばいい、といった炊じで。

namespace langhook
{
        function expand_stmt( stmts ) {
        	// ここに今いていけばいい
        }

	function type_for_mode( mode, unsignedp ) {
		return types.integer_type_node;
	}
};

var fn_type = gcc.build_function_type( types.void_type_node, types.void_type_node );
var fn_decl = gcc.build_decl( gcc.FUNCTION_DECL, `main, fn_type );
fn_decl.result = gcc.build_decl( gcc.RESULT_DECL, null, types.void_type_node );

fn_decl.arguments = null;

fn_decl.used = true;
fn_decl.external = false;
fn_decl.static = true;
fn_decl.public = true;

fn_decl.initial = gcc.make_node( gcc.BLOCK );

gcc.tree_rest_of_compilation( fn_decl, false );

恃眶叫す

で、厦をロ〖カル恃眶に提しまして、さきほどの毋をちょっと恃えて、

int hoge = 5;
int hoge2 = hoge + 4;

とでもするか。こいつを蔷柒コンパイルすると、

恃眶hogeがある
恃眶hogeの介袋猛は5
恃眶hoge2がある
恃眶hoge2の介袋猛はhogeと4を颅したもの。

こんな炊じですかね。恃眶の介袋猛の回年は、その恃眶のinitialというメンバに仆っこんでおく。毋えば、惧のプログラムをつくるのをコ〖ドで今くと、

// int hoge = 5;
var hoge = gcc.build_decl( gcc.VAR_DECL, `hoge, types.integer_type_node );
hoge.initial = 5; // これが介袋猛

// hoge + 4
var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, hoge, 4 );

// int hoge2 = hoge + 4;
var hoge2 = gcc.build_decl( gcc.VAR_DECL, `hoge2, types.integer_type_node ); 
hoge2.initial = expr;

debug_tree( hoge2 );

こんな炊じ々で、恃眶の离咐のアセンブリを栏喇するには、expand_decl、恃眶の介袋猛を栏喇するには、expand_decl_initをそれぞれ蝗う。

惧のプログラムを栏喇するプログラムが、

// int hoge = 5;
var hoge = gcc.build_decl( gcc.VAR_DECL, `hoge, types.integer_type_node );
hoge.initial = 5;
gcc.expand_decl( hoge );    // 恃眶
gcc.expand_decl_init( hoge );

// hoge + 4
var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, hoge, 4 );

// int hoge2 = hoge + 4;
var hoge2 = gcc.build_decl( gcc.VAR_DECL, `hoge2, types.integer_type_node ); 
hoge2.initial = expr;
gcc.expand_decl( hoge2 );
gcc.expand_decl_init( hoge2 );


debug_tree( hoge2 );

んで、こいつを、簇眶栏喇のexpand_stmtに掐れてやると、

namespace langhook
{
        function expand_stmt( stmts ) {

		// int hoge = 5;
        	var hoge = gcc.build_decl( gcc.VAR_DECL, `hoge, types.integer_type_node );
                hoge.initial = 5;

                gcc.expand_decl( hoge );
                gcc.expand_decl_init( hoge );

		// hoge + 4
		var expr = gcc.build( gcc.PLUS_EXPR, types.integer_type_node, hoge, 4 );

                // int hoge2 = hoge + 4;
                var hoge2 = gcc.build_decl( gcc.VAR_DECL, `hoge2, types.integer_type_node ); 
                hoge2.initial = expr;

                gcc.expand_decl( hoge2 );
                gcc.expand_decl_init( hoge2 );
        }

	function type_for_mode( mode, unsignedp ) {
		return types.integer_type_node;
	}
};

var fn_type = gcc.build_function_type( types.void_type_node, types.void_type_node );
var fn_decl = gcc.build_decl( gcc.FUNCTION_DECL, `main, fn_type );
fn_decl.result = gcc.build_decl( gcc.RESULT_DECL, null, types.void_type_node );
gcc.current_function_decl = fn_decl;

fn_decl.arguments = null;

fn_decl.used = true;
fn_decl.external = false;
fn_decl.static = true;
fn_decl.public = true;

fn_decl.initial = gcc.make_node( gcc.BLOCK );

gcc.tree_rest_of_compilation( fn_decl, false );

こうなる。これで、アセンブリを栏喇する呵你嘎のプログラム、といったところか。こいつを、hoge.ilogとかに瘦赂して、

$ ilog1 -quiet --script-file=hoge.ilog

こんなふうにして悸乖してやる。

	.file	"<stdin>"
	.text
.globl _main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$8, %esp
	movl	$5, -4(%ebp)     # hoge = 5
	movl	-4(%ebp), %eax   # %eax = hoge
	addl	$4, %eax         # %eax += 4
	movl	%eax, -8(%ebp)   # hoge2 = %eax
	leave
	ret

はい、ここは炊瓢するところですよ。と、いっても、そこらへんは送にしかわからんだろうけど。

まあ、それはいいか。とりあえず、コ〖ド栏喇はこんな炊じになるんですよ、と。

--

まとめ: ロ〖カル恃眶を叫すには、expand_decl。恃眶の介袋猛を叫すには、expand_decl_init。恃眶の介袋猛は、その恃眶のinitialに及を肋年する。

さて、蔷柒でパ〖スしたのを缄瓢で菇矢腾に恃垂する、というのもなかなかよいかと蛔うんだけど、これではあんまりコンパイラっぽくないので、掐蜗プログラムを菇矢腾に恃垂するような炊じにしますかね。というような厦。

机剁豺老

まずは、ここから。掐蜗矢机误をト〖クンに尸豺するというところ。

海搀蝗うト〖クンは、

[_a-zA-Z][_a-zA-Z0-9]* ⅹ 急侍灰
[0-9]+  ⅹ 眶
; ⅹ セミコロン
int ⅹ 'int' キ〖ワ〖ド
+ - * / ⅹ 遍换灰

こんなところか。これが豺老できれば啼玛痰いかと。

ILogScriptでは、机剁豺老は、赖惮山附のリストを蝗ってぐにょっと词帽にできるようになってるので、それを蝗うことにする。

まずは、'4+5'という矢机误を豺老するのを雇える。ト〖クンを、≈(硷梧,矢机误)∽という山附であらわすとすると、こいつを豺老した冯蔡は、

(腊眶,'4')  (プラスの遍换灰,'+')  (腊眶,'5')

という话つの妥燎のリストになればいいだろう。

これを豺老するスクリプトはこんな炊じ

var input = stream.string_to_rstream("4+5");   // 掐蜗デ〖タ

var lex_table = [
	["[0-9]+":`TOK_DIGIT],
        ["\\+":`TOK_PLUS],
        [null:`TOK_EOF]    // 呵稿まできたら `TOK_EOFを手す
];

var lexer = Lex.generate_analyzer( lex_table );

while ( true ) {
	var tok = lexer.next_token( input );

        if ( tok.value == `TOK_EOF ) {
        	break;
        }

	print( "(" );
        print( tok.value );
        print( "," );
        print( tok.chain[0] );
        puts( ")" );
}

todo: こんど今く。棱汤がここらへんに。

涟フリ

こんな咐胳を今く

コンパイラ答撩梦急

ILogを蝗ってコ〖ドを徘く

缄侯りsyntax tree - 菇矢腾のつくりかた

恃眶を叫す。その办

簇眶を叫す

恃眶叫す

ILogを蝗ってプログラムをパ〖スする

机剁豺老