Changeset 22860 for v6

Timestamp:

11/03/08 20:24:50 (2 months ago)

Author:

ruoso

Message:

[mildew] starting the implementation of "if"

Location:

v6/mildew

Files:

• mildew (modified) (1 diff)
• src/AST.pm (modified) (2 diffs)
• t/if.t (modified) (1 diff)

v6/mildew/mildew

@@ -323 +323 @@
         AST::Label->new(label=>label($m->{label}),stmt=>statement($m->{statement}));
     } elsif ($m->{statement_control}) {
-        XXX('statement_control')
+        my $stm = $m->{statement_control};
+        if ($stm->{sym} eq 'if') {
+            AST::If->new(
+                         cond => $stm->{xblock}{EXPR}->emit_m0ld,
+                         then => $stm->{xblock}{pblock}{block}->emit_m0ld
+                        );
+        } else {
+            XXX('unkown sym in statement_control')
+        }
     } elsif ($m->{EXPR}) {
         $m->{EXPR}->emit_m0ld;

v6/mildew/src/AST.pm

@@ -4 +4 @@
 sub unique_id {
     '$id'.$id++;
+}
+my $lab = 0;
+sub unique_label {
+    'lab'.$lab++;
 }
 sub indent {
@@ -33 +37 @@
     $yaml;
 }
+
+package AST::If;
+use Moose;
+extends 'AST::Base';
+has 'cond' => (is => 'ro');
+has 'then' => (is => 'ro');
+sub m0ld {
+    my ($self) = @_;
+    my $id_cond = AST::unique_id;
+    my $id_then = AST::unique_id;
+    my $label_then = AST::unique_label;
+    my $label_else = AST::unique_label;
+    my $cond = $self->cond->m0ld($id_cond);
+    my $then = $self->then->m0ld($id_then);
+
+    $cond.$/.
+    'my '.$id_cond.'_val = '.$id_cond.'."FETCH"();'.$/.
+    'my '.$id_cond.'_bool = '.$id_cond.'_val."bool"();'.$/.
+    'if '.$id_cond.'_bool { goto '.$label_then.'; } else { goto '.$label_else.'; };'.$/.
+    $label_then.':'.$/.
+    $then.$/.
+    $label_else.':'.$/;
+}
+
 package AST::Block;
 use Moose;

v6/mildew/t/if.t

@@ -2 +2 @@
 if True {
     $OUT.print("ok 1\n");
-} else {
-    $OUT.print("not ok 1\n");
 }