+sub pp_leavetry {
+ my ($self, $op) = @_;
+
+ my ($r, $l) = $self->inspect_kids($op);
+ if (defined $r) {
+ my $d = delete $r->{die};
+ return $r, $l if not defined $d;
+ if (defined $l) {
+ my $z = delete $l->{0};
+ $l = { %$l, 0 => $z };
+ $l->{0} += $d;
+ } else {
+ $l = { 0 => $d };
+ }
+ }
+
+ return $r, $l;
+}
+
+sub pp_leaveloop {
+ my ($self, $op) = @_;
+
+ $op = $op->first;
+ my ($r1, $l1);
+ my $for;
+ if (name($op) eq 'enteriter') { # for loop ?
+ $for = 1;
+ ($r1, $l1) = $self->inspect($op);
+ return $r1, $l1 if defined $r1 and zero $l1;
+ }
+
+ $op = $op->sibling;
+ my ($r2, $l2);
+ if (name($op->first) eq 'and') {
+ ($r2, $l2) = $self->inspect($op->first->first);
+ return $r2, $l2 if defined $r2 and zero $l2;
+ my $c = count $l2;
+ return { list => 1 }, undef if !$for and defined $r2;
+ my ($r3, $l3) = $self->inspect($op->first->first->sibling);
+ return { list => 1 }, undef if defined $r3 and defined $l3;
+ $r2 = add $r2, scale $c, $r3;
+ } else {
+ ($r2, $l2) = $self->inspect($op);
+ return { list => 1 }, undef if defined $r2 and defined $l2;
+ }
+
+ my $r = (defined $r1) ? add $r1, scale +(1 - count $r1), $r2
+ : $r2;
+ my $c = 1 - count $r;
+ return $r, $c ? { 0 => $c } : undef;
+}