CbC/old/device: Changes comparison

Unexecuted code in conditional. Lazy jmp code generation.

comparison

equal deleted inserted replaced

-:49d4483d5110
+:626d705471d5
 list3(LABEL,next,label)
 list3(COMMENT,next,comment)  (?)
 (1) make inline tree
 (2) evaluate inline function (copy and partial evaluation)
+peval(inline_func,args)
+similar to the function call (with type check)
+const いるのかなあ。
+builtin_constant_p かぁ。
+Mon Nov 15 17:37:57 JST 2004
+code hoge() {  a; }
+code hoge1() { b; }
+では、a-> b に、そのまま落ちるべきだろうね。ファイルが分離される
+場合は少し困るが....
+if (0) hoge; でhogeが生成されてしまう。control で切っても出るね。
+いや、消えてました。ただ、jmp は生成されてしまうね。checkret
+で、チェックするべきでしょう。
+checkret は、control が生成されるところで呼ばれるわけだから、本来は
+control=1 にするのは、checkret だけであるべき。
+jmp(hoge) は、pending_jmp
+を設定して、checkret で、pending_jmp を生成するわけだが。
+で、pending jmp が設定したlabelに等しければ、pending_jmp は0に
+設定される(しかしreferenceされたかも知れないからlabelは生成する?)
+label にreferenceしたかどうかのflagを付けた方が良い?
+if (1) hoge else fuga ; で fuga が生成されてしまう。bexpr で
+always jump かどうかを返したいところだが...

Mercurial > hg > CbC > old > device