File Coverage

blib/lib/DBIx/Perlish/Parse.pm

Criterion	Covered	Total	%
statement	1109	1339	82.8
branch	698	1014	68.8
condition	231	397	58.1
subroutine	98	105	93.3
pod	0	90	0.0
total	2136	2945	72.5

package DBIx::Perlish::Parse;
use 5.014;
use warnings;
use strict;

our $DEVEL;
our $_cover;

use B;
use Carp;
use Devel::Caller qw(caller_cv);

sub _o($) { ref($_[0]) . sprintf (" (0x%x)", ${$_[0]}) . ( $_[0]->can('name') ? (" " . $_[0]->name) : '' ) }

sub bailout
{
	my ($S, @rest) = @_;
	if ($DEVEL) {
		confess @rest;
	} else {
		my $args = join '', @rest;
		$args = "Something's wrong" unless $args;
		my $file = $S->{file};
		my $line = $S->{line};
		$args .= " at $file line $line.\n"
			unless substr($args, length($args) -1) eq "\n";
		CORE::die($args);
	}
}

# "is" checks

sub is
{
	my ($optype, $op, $name) = @_;
	return 0 unless ref($op) eq $optype;
	return 1 unless $name;
	return $op->name eq $name;
}

sub gen_is
{
	my ($optype) = @_;
	my $pkg = "B::" . uc($optype);
	eval qq[ sub is_$optype { is("$pkg", \@_) } ] unless __PACKAGE__->can("is_$optype");
}

gen_is("binop");
gen_is("pvop");
gen_is("cop");
gen_is("listop");
gen_is("logop");
gen_is("loop");
gen_is("null");
gen_is("op");
gen_is("padop");
gen_is("svop");
gen_is("unop");
gen_is("pmop");
gen_is("methop");
gen_is("unop_aux");

sub is_const
{
	my ($S, $op) = @_;
	return () unless is_svop($op, "const");
	my $sv = $op->sv;
	if (!$$sv) {
		$sv = $S->{padlist}->[1]->ARRAYelt($op->targ);
	}
	if (wantarray) {
		return (${$sv->object_2svref}, $sv);
	} else {
		return ${$sv->object_2svref};
	}
}

# "want" helpers

sub gen_want
{
	my ($optype, $return) = @_;
	if (!$return) {
		$return = '$op';
	} elsif ($return =~ /^\w+$/) {
		$return = '$op->' . $return;
	}
	eval <can("want_$optype");
	sub want_$optype {
		my (\$S, \$op, \$n) = \@_;
		unless (is_$optype(\$op, \$n)) {
			bailout \$S, "want $optype" unless \$n;
			bailout \$S, "want $optype \$n";
		}
		$return;
	}
EOF
}

gen_want("op");
gen_want("unop", "first");
gen_want("listop", 'get_all_children($op)');
gen_want("svop", "sv");
gen_want("null");

sub is_pushmark_or_padrange
{
	my $op = shift;
	return is_op($op, "pushmark") || is_op($op, "padrange");
}

sub want_pushmark_or_padrange
{
	my ($S, $op) = @_;
	unless (is_pushmark_or_padrange($op)) {
		bailout $S, "want op pushmark or op padrange, got " . _o $op;
	}
}

sub want_const
{
	my ($S, $op) = @_;
	my $sv = want_svop($S, $op, "const");
	if (!$$sv) {
		$sv = $S->{padlist}->[1]->ARRAYelt($op->targ);
	}
	${$sv->object_2svref};
}

sub want_variable_method
{
	my ($S, $op) = @_;
	return unless is_unop($op, "method") || is_methop($op, "method");
	$op = $op->first;
	return unless is_null($op->sibling);
	my ($name, $ok) = get_value($S, $op, soft => 1);
	return unless $ok;
	return $name;
}

sub want_method
{
	my ($S, $op) = @_;
	my $sv;
	if ( is_methop($op, "method_named")) {
		$sv = $op->meth_sv;
	} elsif ( is_svop($op, "method_named")) {
		$sv = $op->sv;
	} else {
		my $r = want_variable_method($S, $op);
		bailout $S, "method call syntax expected" unless $r;
		return $r;
	}
	if (!$$sv) {
		$sv = $S->{padlist}->[1]->ARRAYelt($op->targ);
	}
	${$sv->object_2svref};
}

# getters

sub get_all_children
{
	my ($op) = @_;
	my $c = $op->children;
	my @op;
	return @op unless $c;
	push @op, $op->first;
	while (--$c) {
		push @op, $op[-1]->sibling;
	}
	@op;
}

sub padname
{
	my ($S, $op, %p) = @_;

	my $padname = $S->{padlist}->[0]->ARRAYelt($op->targ);
	if ($padname && !$padname->isa("B::SPECIAL")) {
		return if $p{no_fakes} && $padname->FLAGS & B::SVf_FAKE;
		return unless defined $padname->PVX;
		return "my " . $padname->PVX;
	} else {
		return "my #" . $op->targ;
	}
}

sub get_padlist_scalar_by_name
{
	my ($S, $n) = @_;
	my $padlist = $S->{padlist};
	my @n = $padlist->[0]->ARRAY;
	for (my $k = 0; $k < @n; $k++) {
		next if $n[$k]->isa("B::SPECIAL");
		next if $n[$k]->isa("B::NULL");
		if (($n[$k]->PVX // '') eq $n) {
			my $v = $padlist->[1]->ARRAYelt($k);
			if (!$v->isa("B::SPECIAL")) {
				return $v;
			}
			if ($n[$k]->FLAGS & B::SVf_FAKE) {
				bailout $S, "internal error: cannot retrieve value of $n: no more scopes to check"
					unless $S->{gen_args}->{prev_S};
				return get_padlist_scalar_by_name($S->{gen_args}->{prev_S}, $n);
			}
			bailout $S, "internal error: cannot retrieve value of $n: it's an in-scope SPECIAL";
		}
	}
	bailout $S, "internal error: cannot retrieve value of $n: not found in outer scope";
}

sub get_padlist_scalar
{
	my ($S, $i, $ref_only) = @_;
	my $padlist = $S->{padlist};
	my $v = $padlist->[1]->ARRAYelt($i);
	bailout $S, "internal error: no such pad element" unless $v;
	if ($v->isa("B::SPECIAL")) {
		my $n = $padlist->[0]->ARRAYelt($i);
		if ($n->FLAGS & B::SVf_FAKE) {
			$v = get_padlist_scalar_by_name($S, $n->PVX);
		} else {
			bailout $S, "internal error: cannot retrieve in-scope SPECIAL";
		}
	}
	$v = $v->object_2svref;
	return $v if $ref_only;
	return $$v;
}

sub bailout_multiref_vivify($)
{
	my $S = shift;
	bailout $S,
		"accessing fields syntax is not supported anymore; for tables use methods instead, ".
		"for arrayrefs and hashrefs don't leave them unassigned"
}

sub aux_init_padsv
{
	my ( $S ) = @_;

 	my $inner = $S->{curr_cv}->PADLIST;
	return {
		S                   => $S,
		inner               => $inner,
		orig_pads           => [ $inner->ARRAY ]->[1],
		names               => [ $inner->NAMES->ARRAY ],
		outer_padlist       => undef,
		outer_padlist_array => undef,
		padlist             => [],
	};
}

sub aux_get_padsv
{
	my ( $store, $index ) = @_;

	unless ( defined $store->{padlist}->[$index] ) {
		my $padname = $store->{names}->[$index];
		if ( $padname->FLAGS & B::SVf_FAKE && $store->{inner}->outid > 1) {
			unless ($store->{outer_padlist}) {
				$store->{outer_padlist} = $store->{S}->{padlists}->{$store->{inner}->outid};
				unless ($store->{outer_padlist}) {
					# hacky hacky - look up the caller stack to get their padlists, maybe?
					my $id = 0;
					while ( 1 ) {
						my $sub  = caller_cv($id++) or last;
						my $padlist = B::svref_2object($sub)->PADLIST;
						$store->{S}->{padlists}->{$padlist->id} //= [$padlist->ARRAY];
						next unless $padlist->id == $store->{inner}->outid;
						$store->{outer_padlist} = $store->{S}->{padlists}->{$store->{inner}->outid};
						last;
					}
				}
				goto DEFAULT_PADLIST unless $store->{outer_padlist};
				$store->{outer_padlist_array} = [$store->{outer_padlist}->[1]->ARRAY];
			}
			$store->{padlist}->[$index] = $store->{outer_padlist_array}->[ $padname->PARENT_PAD_INDEX ];
		} else {
		DEFAULT_PADLIST:
			$store->{padlist}->[$index] = $store->{orig_pads}->ARRAYelt($index);
		}
	}

	return $store->{padlist}->[$index];
}

sub parse_multideref
{
	my ( $S, $aux ) = @_;
 	my @items = $aux->aux_list($S->{curr_cv});
	my @ret;

	my $AUX = aux_init_padsv($S);

 	ITEMS: while ( @items ) {
 		my $actions = shift @items;

		my ($ref, $reftype);
		my $sv = shift(@items) or return undef;

		while ( @items ) {
			my $ptr = shift @items;
 			my $access  = $actions & B::MDEREF_ACTION_MASK();
			if ( $access == B::MDEREF_reload() ) { # XXX
				$actions = $sv;
				next;
			}
			unless ($ref) {
 				if (
 					$access == B::MDEREF_HV_padhv_helem() ||
 					$access == B::MDEREF_AV_padav_aelem() ||
 					$access == B::MDEREF_HV_padsv_vivify_rv2hv_helem() ||
 					$access == B::MDEREF_AV_padsv_vivify_rv2av_aelem()
 				) {
 					$ref  = aux_get_padsv($AUX, $sv)->object_2svref;
					bailout_multiref_vivify $S
						if !$ref || ((ref($ref) eq 'SCALAR') && !$$ref);
				} elsif (
                		        $access == B::MDEREF_HV_pop_rv2hv_helem() ||
                		        $access == B::MDEREF_HV_vivify_rv2hv_helem() ||
					$access == B::MDEREF_HV_gvhv_helem()
				) {
					bailout_multiref_vivify $S unless ref($sv);
					$ref = $sv->HV->object_2svref;
				} elsif (
                		        $access == B::MDEREF_AV_pop_rv2av_aelem() ||
                		        $access == B::MDEREF_AV_vivify_rv2av_aelem() ||
					$access == B::MDEREF_AV_gvav_aelem()
				) {
					bailout_multiref_vivify $S unless ref($sv);
					$ref = $sv->AV->object_2svref;
				} elsif (
					$access == B::MDEREF_AV_gvsv_vivify_rv2av_aelem() ||
					$access == B::MDEREF_HV_gvsv_vivify_rv2hv_helem()
				) {
					$ref = $sv->object_2svref;
					bailout_multiref_vivify $S
						if !$ref || ((ref($ref) eq 'SCALAR') && !$$ref);
					$ref = $$ref;
				} else {
					bailout $S, "don't quite know what to do with multideref access=$access";
 				}
			}

			$reftype = (
				$access == B::MDEREF_HV_padhv_helem() ||
				$access == B::MDEREF_HV_gvsv_vivify_rv2hv_helem() ||
				$access == B::MDEREF_HV_padsv_vivify_rv2hv_helem() ||
        		        $access == B::MDEREF_HV_pop_rv2hv_helem() ||
        		        $access == B::MDEREF_HV_vivify_rv2hv_helem() ||
				$access == B::MDEREF_HV_gvhv_helem()
			) ? 'HASH' : 'ARRAY';

			my $key;
			my $index = $actions & B::MDEREF_INDEX_MASK();

			if ( $index != B::MDEREF_INDEX_none() ) {
				if ( $index == B::MDEREF_INDEX_const() ) {
					$key = ref($ptr) ? $ptr->object_2svref : $ptr;
				} elsif ( $index == B::MDEREF_INDEX_padsv() ) {
 					$key = aux_get_padsv($AUX, $ptr)->object_2svref;
				} elsif ( $index == B::MDEREF_INDEX_gvsv() ) {
					$key = ref($ptr) ? $ptr->object_2svref : $ptr;
				}

 				$ref = $$ref if ref($ref) =~ /REF|SCALAR/;
 				$key = $$key if ref($key) =~ /REF|SCALAR/;

				if ( $reftype eq 'ARRAY') {
					$ref = $ref->[$key];
				} else {
					$ref = $ref->{$key};
				}

				if (!defined($ref) && (
					$access == B::MDEREF_AV_gvsv_vivify_rv2av_aelem () ||
					$access == B::MDEREF_AV_padsv_vivify_rv2av_aelem() ||
					$access == B::MDEREF_AV_vivify_rv2av_aelem      () ||
					$access == B::MDEREF_HV_gvsv_vivify_rv2hv_helem () ||
					$access == B::MDEREF_HV_padsv_vivify_rv2hv_helem() ||
					$access == B::MDEREF_HV_vivify_rv2hv_helem      ()
				)) {
					push @ret, undef;
					last ITEMS;
				}
			}
			if ($index == B::MDEREF_INDEX_none() || $index & B::MDEREF_FLAG_last()) {
				push @ret, $ref;
				last;
			}
			$actions >>= B::MDEREF_SHIFT();
 		}

		push @ret, $ref unless @ret;
	}

	bailout $S, "cannot infer single multideref value" unless 1 == @ret;

	return $ret[0];
}

sub get_concat_value
{
	my ( $S, @args) = @_;
	my $val = '';
	for my $op ( @args ) {
		my ($rv, $ok);
		if ( $rv = is_const($S, $op)) {
		} else {
			($rv, $ok) = get_value($S, $op, soft => 1, eval => 1);
			bailout $S, "cannot parse expression (near $val)" unless $ok;
		}
		$val .= $rv;
	}
	return $val;
}

sub get_value
{
	my ($S, $op, %p) = @_;

	my $val;
	if (is_op($op, "padsv")) {
		if (find_aliased_tab($S, $op)) {
			bailout $S, "cannot use a table variable as a value";
		}
		$val = get_padlist_scalar($S, $op->targ);
	} elsif (is_binop($op, "helem")) {
		my @key = is_const($S, $op->last);
		my $key = $key[0];
		unless ( @key ) {
			my $xop = $op->last;
			if (is_op($xop, "padsv")) {
				if (find_aliased_tab($S, $xop)) {
					bailout $S, "cannot use a table variable as a value";
				}
				$key = get_padlist_scalar($S, $xop->targ);
			} else {
				bailout $S, "hash key not understood";
			}
		}
		$op = $op->first;

		my $vv;
		if (is_op($op, "padhv")) {
			$vv = get_padlist_scalar($S, $op->targ, "ref only");
		} elsif (is_unop($op, "rv2hv")) {
			$op = $op->first;
			if (is_op($op, "padsv")) {
				if (find_aliased_tab($S, $op)) {
					bailout $S, "cannot use a table variable as a value";
				}
				$vv = get_padlist_scalar($S, $op->targ);
			} elsif (is_svop($op, "gv") || is_padop($op, "gv")) {
				my $gv = get_gv($S, $op, bailout => 1);
				$vv = $gv->HV->object_2svref;
			} elsif (is_binop($op, "helem") || is_binop($op, "aelem")) {
				my ($nv, $ok) = get_value($S, $op, %p);
				$vv = $nv if $ok;
			}
		}
		$val = $vv->{$key};
	} elsif (is_binop($op, "aelem")) {
		my @key = is_const($S, $op->last);
		my $key = $key[0];
		unless ( @key ) {
			my $xop = $op->last;
			if (is_op($xop, "padsv")) {
				if (find_aliased_tab($S, $xop)) {
					bailout $S, "cannot use a table variable as a value";
				}
				$key = get_padlist_scalar($S, $xop->targ);
			} else {
				bailout $S, "array index not understood";
			}
		}
		$op = $op->first;

		my $vv;
		if (is_op($op, "padav")) {
			$vv = get_padlist_scalar($S, $op->targ, "ref only");
		} elsif (is_unop($op, "rv2av")) {
			$op = $op->first;
			if (is_op($op, "padsv")) {
				if (find_aliased_tab($S, $op)) {
					bailout $S, "cannot use a table variable as a value";
				}
				$vv = get_padlist_scalar($S, $op->targ);
			} elsif (is_svop($op, "gv") || is_padop($op, "gv")) {
				my $gv = get_gv($S, $op, bailout => 1);
				$vv = $gv->AV->object_2svref;
			} elsif (is_binop($op, "helem") || is_binop($op, "aelem")) {
				my ($nv, $ok) = get_value($S, $op, %p);
				$vv = $nv if $ok;
			}
		}
		$val = $vv->[$key];
	} elsif (is_svop($op, "gvsv") || is_padop($op, "gvsv")) {
		my $gv = get_gv($S, $op, bailout => 1);
		$val = ${$gv->SV->object_2svref};
	} elsif (is_unop($op, "null") && (is_svop($op->first, "gvsv") || is_padop($op->first, "gvsv"))) {
		my $gv = get_gv($S, $op->first, bailout => 1);
		$val = ${$gv->SV->object_2svref};
	} elsif (is_unop($op, "null") && is_unop_aux($op->first, "multideref")) {
		$val = parse_multideref($S, $op->first);
	} elsif ( $p{eval} && is_binop($op, "concat")) {
		my @args = ($op->first);
		push @args, $args[-1]->sibling while !is_null($args[-1]) && !is_null($args[-1]->sibling);
		$val = get_concat_value($S, @args);
	} elsif ( $p{eval} && is_unop_aux($op, "multiconcat")) {
		my @terms = parse_multiconcat($S, $op, eval => 1) or goto BAILOUT;
		$val = join('', map { $_->{str} } @terms);
	} elsif (is_op($op, "aelemfast_lex")) {
		my $sv = $S->{padlist}->[1]->ARRAYelt($op->targ);
		goto BAILOUT unless $sv;
		$sv = $sv->object_2svref;
		$val = $sv->[$op->private];
	} elsif (is_svop($op, "aelemfast") || is_padop($op, "aelemfast")) {
		my $sv = is_padop($op, "aelemfast") ?
			$S->{padlist}->[1]->ARRAYelt($op->padix) :
			$op->sv or goto BAILOUT;
		$sv = $sv->object_2svref or goto BAILOUT;
		$sv = ${$sv} or goto BAILOUT;
		$val = $sv->[$op->private];
	} else {
	BAILOUT:
		return () if $p{soft};
		bailout $S, "cannot parse \"", $op->name, "\" op as a value or value reference";
	}
	return ($val, 1);
}

sub get_var
{
	my ($S, $op) = @_;
	if (is_op($op, "padsv") || is_unop($op, "padsv_store")) {
		return padname($S, $op);
	} elsif (is_unop($op, "null")) {
		$op = $op->first;
		want_svop($S, $op, "gvsv");
		return "*" . $op->gv->NAME;
	} else {
	# XXX
		print "$op\n";
		print "type: ", $op->type, "\n";
		print "name: ", $op->name, "\n";
		print "desc: ", $op->desc, "\n";
		print "targ: ", $op->targ, "\n";
		bailout $S, "cannot get var";
	}
}

sub find_aliased_tab
{
	my ($S, $op) = @_;
	my $var = padname($S, $op);
	return "" unless defined $var;

	my $ss = $S;
	while ($ss) {
		my $tab;
		if ($ss->{operation} eq "select") {
			$tab = $ss->{var_alias}{$var};
		} else {
			$tab = $ss->{vars}{$var};
		}
		return $tab if $tab;
		$ss = $ss->{gen_args}->{prev_S};
	}
	return "";
}

sub get_tab_field
{
	my ($S, $unop, %p) = @_;
	my $op = want_unop($S, $unop, "entersub");
	$op = $op->first if is_unop($op, 'null');
	want_pushmark_or_padrange($S, $op);
	$op = $op->sibling;
	my $tab = is_const($S, $op);
	if ($tab) {
		$tab = new_tab($S, $tab);
	} elsif (is_op($op, "padsv")) {
		$tab = find_aliased_tab($S, $op);
	}
	unless ($tab) {
		bailout $S, "cannot get a table";
	}
	$op = $op->sibling;
	my $field = want_method($S, $op);
	$op = $op->sibling;
	if ($p{lvalue} && is_unop($op, "rv2cv")) {
		want_unop($S, $op, "rv2cv");
		$op = $op->sibling;
	}
	want_null($S, $op);
	if ($S->{parsing_return} && !$S->{inside_aggregate}) {
		my $ff = $S->{operation} eq "select" ? "$tab.$field" : $field;
		push @{$S->{autogroup_by}}, $ff unless $S->{autogroup_fields}{$ff}++;
	}
	($tab, $field);
}

# helpers

sub maybe_one_table_only
{
	my ($S) = @_;
	return if $S->{operation} eq "select";
	if ($S->{tabs} && keys %{$S->{tabs}} or $S->{vars} && keys %{$S->{vars}}) {
		bailout $S, "a $S->{operation}'s query sub can only refer to a single table";
	}
}

sub incr_string
{
	my ($s) = @_;
	my ($prefix, $suffix) = $s =~ /^(.*_)?(.*)$/;
	$prefix ||= "";
	$suffix++;
	return "$prefix$suffix";
}

sub new_tab
{
	my ($S, $tab) = @_;
	unless ($S->{tabs}{$tab}) {
		maybe_one_table_only($S);
		$S->{tabs}{$tab} = 1;
		$S->{tab_alias}{$tab} = $S->{alias};
		$S->{alias} = incr_string($S->{alias});
	}
	$S->{tab_alias}{$tab};
}

sub new_var
{
	my ($S, $var, $tab) = @_;
	maybe_one_table_only($S);
	bailout $S, "cannot reuse $var for table $tab, it's already used by $S->{vars}{$var}"
		if $S->{vars}{$var};
	$S->{vars}{$var} = $tab;
	$S->{var_alias}{$var} = $S->{alias};
	$S->{alias} = incr_string($S->{alias});
}

# parsers

sub try_parse_attr_assignment
{
	my ($S, $op, $realname, %opt) = @_;
	return unless is_unop($op, "entersub");
	$op = want_unop($S, $op);
	return unless is_pushmark_or_padrange($op);
	$op = $op->sibling;
	my $c = is_const($S, $op);
	return unless $c && $c eq "attributes";
	$op = $op->sibling;
	return unless is_const($S, $op);
	$op = $op->sibling;
	return unless is_unop($op, "srefgen");
	my $op1 = want_unop($S, $op);
	$op1 = want_unop($S, $op1) if is_unop($op1, "null");
	return unless is_op($op1, "padsv");
	my $varn = padname($S, $op1);
	$op = $op->sibling;
	my $attr = is_const($S, $op);
	return unless $attr;
	my @attr = grep { length($_) } split /(?:[\(\)])/, $attr;
	return unless @attr;
	$op = $op->sibling;
	return unless is_methop($op, "method_named") || is_svop($op, "method_named");
	return unless want_method($S, $op, "import");
	if ($realname) {
		if (lc $attr[0] eq "table") {
			@attr = ($realname);
		} else {
			bailout $S, "cannot decide whether you refer to $realname table or to @attr table";
		}
	} else {
		shift @attr if lc $attr[0] eq "table" && @attr > 1;
	}
	$attr = join ".", @attr;
	new_var($S, $varn, $attr);
	return $varn;
}

sub parse_list
{
	my ($S, $op) = @_;
	my @op = get_all_children($op);
	for $op (@op) {
		parse_op($S, $op);
	}
}

sub parse_return
{
	my ($S, $op) = @_;
	my @op = get_all_children($op);
	bailout $S, "there should be no \"return\" statements in $S->{operation}'s query sub"
		unless $S->{operation} eq "select";
	bailout $S, "there should be at most one return statement" if $S->{returns};
	$S->{returns} = [];
	my $last_alias;
	for $op (@op) {
		my %rv = parse_return_value($S, $op);
		if (exists $rv{table}) {
			bailout $S, "cannot alias the whole table"
				if defined $last_alias;
			push @{$S->{returns}}, "$rv{table}.*";
			$S->{no_autogroup} = 1;
		} elsif (exists $rv{field}) {
			if (defined $last_alias) {
				bailout $S, "a key field cannot be aliased" if $rv{key_field};
				push @{$S->{returns}}, "$rv{field} as $last_alias";
				undef $last_alias;
			} else {
				if ($rv{key_field}) {
					my $kf = '$kf-' . $S->{key_field};
					if ($S->{gen_args}{kf_convert}) {
						$kf = $S->{gen_args}{kf_convert}->($kf);
					}
					$S->{key_field}++;
					push @{$S->{returns}}, "$rv{field} as \"$kf\"";
					push @{$S->{key_fields}}, $kf;
				} else {
					push @{$S->{returns}}, $rv{field};
				}
			}
		} elsif (exists $rv{alias}) {
			if (defined $last_alias) {
				# XXX maybe check whether it is a number and inline it?
				push @{$S->{ret_values}}, $rv{alias};
				push @{$S->{returns}}, "? as $last_alias";
				undef $last_alias;
				next;
			}
			bailout $S, "bad alias name \"$rv{alias}\""
				unless $rv{alias} =~ /^\w+$/;
			if (lc $rv{alias} eq "distinct") {
				bailout $S, "\"$rv{alias}\" is not a valid alias name" if @{$S->{returns}};
				$S->{distinct}++;
				next;
			}
			$last_alias = $rv{alias};
		}
	}
}

sub parse_return_value
{
	my ($S, $op) = @_;

	if (is_op($op, "padsv")) {
		return table => find_aliased_tab($S, $op);
	} elsif (my $const = is_const($S, $op)) {
		return alias => $const;
	} elsif (is_pushmark_or_padrange($op)) {
		return ();
	} elsif (is_unop($op, "ftsvtx")) {
		my %r = parse_return_value($S, $op->first);
		bailout $S, "only a single value return specification can be a key field"
			unless $r{field};
		$r{key_field} = 1 unless $S->{gen_args}->{prev_S};
		return %r;
	} else {
		my $saved_values = $S->{values};
		$S->{values} = [];
		$S->{parsing_return} = 1;
		my $ret = parse_term($S, $op);
		$S->{parsing_return} = 0;
		push @{$S->{ret_values}}, @{$S->{values}};
		$S->{values} = $saved_values;
		return field => $ret;
	}
}

sub parse_term
{
	my ($S, $op, %p) = @_;

	my $placeholder;
	local $S->{in_term} = 1;
	if (is_unop($op, "entersub")) {
		my $funcall = try_funcall($S, $op);
		return $funcall if defined $funcall;
		my ($t, $f) = get_tab_field($S, $op);
		if ($S->{operation} eq "delete" || $S->{operation} eq "update") {
			return $f;
		} else {
			return "$t.$f";
		}
	} elsif (is_unop($op, "lc")) {
		my $term = parse_term($S, $op->first);
		return "lower($term)";
	} elsif (is_unop($op, "uc")) {
		my $term = parse_term($S, $op->first);
		return "upper($term)";
	} elsif (is_unop($op, "abs")) {
		my $term = parse_term($S, $op->first);
		return "abs($term)";
	} elsif (is_unop($op, "null")) {
		return parse_term($S, $op->first, %p);
	} elsif (is_op($op, "null")) {
		return parse_term($S, $op->sibling, %p);
	} elsif (is_op($op, "undef")) {
		return "null";
	} elsif (is_unop($op, "not")) {
		my $subop = $op-> first;
		if (is_pmop($subop, "match")) {
			return parse_regex( $S, $subop, 1);
		} else {
			my ($term, $with_not) = parse_term($S, $subop);
			if ($p{not_after}) {
				return "$term not";
			} elsif ($with_not) {
				return $with_not;
			} else {
				return "not $term";
			}
		}
	} elsif (is_unop($op, "defined")) {
		my $term = parse_term($S, $op->first);
		return wantarray ?
			("$term is not null", "$term is null") :
			"$term is not null";
	} elsif (($placeholder) = get_value($S, $op, soft => 1)) {
		return 'null' if !defined($placeholder) && $S->{gen_args}->{inline};
		goto PLACEHOLDER;
	} elsif (is_unop($op, "backtick")) {
		my $fop = $op->first;
		$fop = $fop->sibling while is_op($fop, "null");
		my $sql = is_const($S, $fop);
		return $sql if $sql;
	} elsif (is_binop($op)) {
		my $expr = parse_expr($S, $op);
		return "($expr)";
	} elsif (is_logop($op, "or")) {
		my $or = parse_or($S, $op);
		bailout $S, "looks like a limiting range or a conditional inside an expression\n"
			unless $or;
		return "($or)";
	} elsif (is_logop($op, "and")) {
		my $and = parse_and($S, $op);
		bailout $S, "looks like a conditional inside an expression\n"
			unless $and;
		return "($and)";
	} elsif (my ($const,$sv) = is_const($S, $op)) {
		if (($sv->isa("B::IV") && !$sv->isa("B::PVIV")) ||
			($sv->isa("B::NV") && !$sv->isa("B::PVNV")))
		{
			# This is surely a number, so we can
			# safely inline it in the SQL.
			return $const;
		} else {
			# This will probably be represented by a string,
			# we'll let DBI to handle the quoting of a bound
			# value.
			$placeholder = $const;
			goto PLACEHOLDER;
		}
	} elsif (is_pvop($op, "next")) {
		my $seq = $op->pv;
		my $flavor = $S->{gen_args}->{flavor}||"";
		if ($flavor eq "oracle") {
			bailout $S, "Sequence name looks wrong" unless $seq =~ /^\w+$/;
			return "$seq.nextval";
		} elsif ($flavor eq "pg" || $flavor eq "pglite") {
			bailout $S, "Sequence name looks wrong" if $seq =~ /'/; # XXX well, I am lazy
			return "nextval('$seq')";
		} else {
			bailout $S, "Sequences do not seem to be supported for this DBI flavor";
		}
	} elsif (is_pmop($op, "match")) {
		return parse_regex($S, $op, 0);
	} elsif (is_unop_aux($op, "multideref")) {
		$placeholder = parse_multideref($S, $op);
		goto PLACEHOLDER;
	} elsif (is_unop_aux($op, "multiconcat")) {
		my ($c, $v) = try_special_concat($S, $op);
		if ($c) {
			push @{$S->{values}}, @$v;
			return "($c)";
		}
		bailout $S, "unsupported multiconcat";
	} else {
	BAILOUT:
		bailout $S, "cannot reconstruct term from operation \"",
				$op->name, '"';
	}

	PLACEHOLDER:
	if ( $p{inline_placeholder}) {
		bailout $S, "cannot inline undefined value" unless defined $placeholder;
		return $placeholder;
	} else {
		return placeholder_value($S, $placeholder);
	}
}

sub placeholder_value
{
	my ($S, $val) = @_;
	my $pos = @{$S->{values}};
	push @{$S->{values}}, $val;
	return DBIx::Perlish::Placeholder->new($S, $pos);
}

## XXX above this point 80.parse_bad.t did not go

sub parse_simple_term
{
	my ($S, $op) = @_;
	if (my ($const,$sv) = is_const($S, $op)) {
		return $const;
	} elsif (my ($val, $ok) = get_value($S, $op, soft => 1)) {
		return $val;
	} else {
		bailout $S, "cannot reconstruct simple term from operation \"",
				$op->name, '"';
	}
}

sub parse_simple_eval
{
	my ($S, $op) = @_;
	if (my ($const,$sv) = is_const($S, $op)) {
		return $const;
	} elsif (my ($val, $ok) = get_value($S, $op, eval => 1)) {
		return $val;
	} else {
		bailout $S, "cannot reconstruct simple term from operation \"",
				$op->name, '"';
	}
}

sub get_gv
{
	my ($S, $op, %p) = @_;

	my ($gv_on_pad, $gv_idx);
	if (is_svop($op, "gv") || is_svop($op, "gvsv")) {
		$gv_idx = $op->targ;
	} elsif (is_padop($op, "gv") || is_padop($op, "gvsv")) {
		$gv_idx = $op->padix;
		$gv_on_pad = 1;
	} else {
		goto BAIL_OUT;
	}
	goto BAIL_OUT unless is_null($op->sibling);

	my $gv = $gv_on_pad ? "" : $op->sv;
	if (!$gv || !$$gv) {
		$gv = $S->{padlist}->[1]->ARRAYelt($gv_idx);
	}
	if ( $p{get_name} && $gv->isa("B::IV")) {
		my $subref = $gv->object_2svref;
		if (ref($subref) eq 'REF' && ref($$subref) eq 'CODE') {
			my $cv = B::svref_2object($$subref);
			return $cv->NAME_HEK;
		}
	}
	goto BAIL_OUT unless $gv->isa("B::GV");
	return $p{get_name} ? $gv->NAME : $gv;
BAIL_OUT:
	bailout $S, "unable to get GV from \"", $op->name, "\"" if $p{bailout};
	return;
}

sub  get_gv_name { get_gv(@_, get_name => 1) }

sub try_get_subselect
{
	my ($S, $sub) = @_;

	return unless is_unop($sub, "entersub");
	$sub = $sub->first if is_unop($sub->first, "null");
	return unless is_pushmark_or_padrange($sub->first);

	my $rg = $sub->first->sibling;
	return if is_null($rg);
	my $dbfetch = $rg->sibling;
	return if is_null($dbfetch);
	return unless is_null($dbfetch->sibling);

	my $codeop;
	if ( $] < 5.037 ) {
		return unless is_unop($rg, "refgen") || is_unop($rg, "srefgen");
		$rg = $rg->first if is_unop($rg->first, "null");
		$codeop = $rg->first;
	} else {
		$codeop = $sub->first->sibling;
	}
	$codeop = $codeop->sibling if is_pushmark_or_padrange($codeop);
	return unless is_svop($codeop, "anoncode");

	$dbfetch = $dbfetch->first if is_unop($dbfetch->first, "null");
	$dbfetch = $dbfetch->first;
	return unless (get_gv_name($S, $dbfetch) // '') eq 'subselect';

	return $codeop;
}

sub try_parse_funcall
{
	my ($S, $sub, %opt) = @_;
	$opt{select} //= 1;
	my $fn;
	my $sql = try_funcall($S, $sub, only_normal_funcs => 1, func_name_return => \$fn);
	return unless $sql;
	if (($S->{gen_args}->{flavor}||"") eq "oracle") {
		my $cast;
		if ($cast = $S->{gen_args}{quirks}{oracle_table_func_cast}{$fn}) {
			$sql = "cast($sql as $cast)";
		}
		$sql = "table($sql)";
		$sql = "select * from $sql" if $opt{select};
	} elsif ($opt{select})  {
		# XXX we know this works in postgres, what about the rest?
		$sql = "select $sql";
	}
	return $sql;
}

sub in_list
{
	my ( $S, $sop, $list ) = @_;
	$list //= [];

	my $sql = '';
	my $left = parse_term($S, $sop->first, not_after => 1);
	return '1=0' unless @$list;

	my $arg_limit =
		$S->{gen_args}->{in_arg_limit} //
		((($S->{gen_args}->{flavor}||"") eq "oracle") ? 500 : 2_000_000_000);
	my @args = @$list;
	while ( @args ) {
		my @placeholders;
		for my $val ( splice(@args, 0, $arg_limit) ) {
			if (( ref($val) // '') =~ /SCALAR/) {
				push @placeholders, $$val;
			} else {
				push @placeholders, '?';
				push @{$S->{values}}, $val;
			}
		}
		$sql .= $left =~ / not$/ ? ' and ' : ' or ' if length $sql;
		$sql .= "$left in (" . join(',', @placeholders) . ")";
	}

	return $sql;
}

sub try_parse_subselect
{
	my ($S, $sop) = @_;
	my $sql;
	my @vals;

	my $sub = $sop->last->first;

	if (is_op($sub, "padav")) {
		my $ary = get_padlist_scalar($S, $sub->targ, "ref only");
		return in_list( $S, $sop, $ary);
	} elsif (is_unop($sub, "rv2av") && is_op($sub->first, "padsv")) {
		my $ary = get_padlist_scalar($S, $sub->first->targ, "ref only");
		return in_list( $S, $sop, ${ $ary // \[] });
	} elsif (is_listop($sub, "anonlist") or
			 is_unop($sub, "srefgen") &&
			 is_unop($sub->first, "null") &&
			 is_listop($sub->first->first, "anonlist"))
	{
		my @what;
		my $alist = is_listop($sub, "anonlist") ? $sub : $sub->first->first;
		for my $v (get_all_children($alist)) {
			next if is_pushmark_or_padrange($v);
			if (my ($const,$sv) = is_const($S, $v)) {
				if (
					($sv->isa("B::IV") && !$sv->isa("B::PVIV")) ||
					($sv->isa("B::NV") && !$sv->isa("B::PVNV"))
				) {
					push @what, \$const;
				} else {
					push @what, $const;
				}
			} else {
				my ($val, $ok) = get_value($S, $v);
				push @what, $val;
			}
		}
		return in_list($S, $sop, \@what);
	} else {
		my $codeop = try_get_subselect( $S, $sub);
		if ($codeop) {
			$sql = handle_subselect($S, $codeop);
		} else {
			$sql = try_parse_funcall($S, $sub);
		}
		bailout $S, "unsupported syntax in subselect" unless $sql;
	}

	my $left = parse_term($S, $sop->first, not_after => 1);
	push @{$S->{values}}, @vals;
	return "$left in ($sql)";
}

sub handle_subselect
{
	my ($S, $codeop, %p) = @_;

	my $cv = $codeop->sv;
	if (!$$cv) {
		$cv = $S->{padlist}->[1]->ARRAYelt($codeop->targ);
	}
	my $subref = $cv->object_2svref;

	my %gen_args = %{$S->{gen_args}};
	$gen_args{prev_S} = $S;
	if ($gen_args{prefix}) {
		$gen_args{prefix} = "$gen_args{prefix}_$S->{subselect}";
	} else {
		$gen_args{prefix} = $S->{subselect};
	}
	$S->{subselect}++;
	my ($sql, $vals, $nret, %flags) = DBIx::Perlish::gen_sql($subref, "select",
		%gen_args);
	if ($nret != 1 && !$p{returns_dont_care} && !$flags{returns_dont_care}) {
		bailout $S, "subselect query sub must return exactly one value\n";
	}

	push @{$S->{values}}, @$vals;
	return $sql;
}

sub parse_assign
{
	my ($S, $op) = @_;
	if (
		$op->name eq 'sassign' &&
		is_listop($op->last, "list") &&
		is_pushmark_or_padrange($op->last->first) &&
		is_unop($op->last->first->sibling, "entersub"))
	{
		my ($val, $ok) = get_value($S, $op->first, soft => 1);
		if ($ok) {
			my $tab = try_parse_attr_assignment($S,
				$op->last->first->sibling, $val);
			return if $tab;
		} elsif ($val = is_const($S, $op->first)) {
			my $tab = try_parse_attr_assignment($S,
				$op->last->first->sibling, $val);
			return if $tab;
		} elsif (my $codeop = try_get_subselect($S, $op->first)) {
			my $sql = handle_subselect($S, $codeop, returns_dont_care => 1);
			my $tab = try_parse_attr_assignment($S,
				$op->last->first->sibling, "($sql)");
			return if $tab;
		} elsif (
			is_unop( $op->first, "entersub")
			&& ( my $sql = try_parse_funcall($S, $op->first, select => 0))
		) {
			# my $p : table = function(1,2,3);
			my $tab = try_parse_attr_assignment($S,
				$op->last->first->sibling, $sql);
			if ( $tab ) {
				my $alias = $S->{var_alias}->{$tab};
				$S->{returns_dont_care}->{$alias} = 1;
				return;
			}
		}
	}
	bailout $S, "assignments are not understood in $S->{operation}'s query sub"
		unless $S->{operation} eq "update";
	if (is_unop($op->first, "srefgen") || is_listop($op->first, "anonhash")) {
		parse_multi_assign($S, $op);
	} else {
		parse_simple_assign($S, $op);
	}
}

sub parse_simple_assign
{
	my ($S, $op) = @_;

	my ($tab, $f) = get_tab_field($S, $op->last, lvalue => 1);
	my $saved_values = $S->{values};
	$S->{values} = [];
	my $set = parse_term($S, $op->first);
	push @{$S->{set_values}}, @{$S->{values}};
	$S->{values} = $saved_values;
	push @{$S->{sets}}, "$f = $set";
}

sub callarg
{
	my ($S, $op) = @_;
	$op = $op->first   if is_unop($op, "null");
	$op = $op->sibling if !is_null($op) && is_op($op, "null");
	return () if is_pushmark_or_padrange($op);
	return $op;
}

sub get_codeop
{
	my $op = shift;
	my $codeop;
	if ( $] < 5.037 ) {
		my $rg = $op;
		return unless is_unop($rg, "refgen") || is_unop($rg, "srefgen");
		$rg = $rg->first if is_unop($rg->first, "null");
		$codeop = $rg->first;
	} else {
		$codeop = $op;
	}
	$codeop = $codeop->sibling if is_pushmark_or_padrange($codeop);
	return unless is_svop($codeop, "anoncode");
	return $codeop;
}

sub try_funcall
{
	my ($S, $op, %p) = @_;
	my @args;
	if (is_unop($op, "entersub")) {
		$op = $op->first;
		$op = $op->first if is_unop($op, "null");
		while (1) {
			last if is_null($op);
			push @args, callarg($S, $op);
			$op = $op->sibling;
		}
		return unless @args;
		$op = pop @args;
		return unless is_svop($op, "gv") || is_padop($op, "gv");
		my $func = get_gv_name( $S, $op);
		return unless defined $func;
		${$p{func_name_return}} = $func if $p{func_name_return};
		if ($func =~ /^(union|intersect|except)$/) {
			return if $p{only_normal_funcs};
			return unless @args == 1 || @args == 2;
			my $codeop = get_codeop($args[0]) or return;
			return unless $S->{operation} eq "select";
			my $cv = $codeop->sv;
			if (!$$cv) {
				$cv = $S->{padlist}->[1]->ARRAYelt($codeop->targ);
			}
			my $subref = $cv->object_2svref;
			my %gen_args = %{$S->{gen_args}};
			$gen_args{prev_S} = $S; # XXX maybe different key than prevS?
			my ($sql, $vals, $nret) = DBIx::Perlish::gen_sql($subref, "select",
				%gen_args);
			# XXX maybe check for nret validity
			push @{$S->{additions}}, {
				type => ((($S->{gen_args}->{flavor}||"") eq "oracle" && $func eq 'except') ?
					'minus' : $func),
				sql  => $sql,
				vals => $vals,
			};
			if (@args > 1) {
				# must be another union|intersect|except
				my $r = try_funcall($S, $args[1], union_or_friends => $func);
				# something went wrong if it is not ""
				return unless defined $r && $r eq "";
			}
			return "";
		}
		if ($p{union_or_friends}) {
			bailout $S, "missing semicolon after $p{union_or_friends} sub";
		}
		if ($func eq 'subselect') {
			return if $p{only_normal_funcs};
			return unless @args == 1;
			my $codeop = get_codeop($args[0]) or return;
			my $sql = handle_subselect($S, $codeop, returns_dont_care => 1);
			return "exists ($sql)";
		} elsif ($func eq "sql") {
			return if $p{only_normal_funcs};
			return unless @args == 1;
			# XXX understand more complex expressions here
			my $sql;
			return unless $sql = parse_simple_eval($S, $args[0]);
			return $sql;
		}
		if ($S->{parsing_return} && $S->{aggregates}{lc $func}) {
			$S->{autogroup_needed} = 1;
			$S->{inside_aggregate} = 1;
		}
		if (!$S->{parsing_return} && $S->{aggregates}{lc $func}) {
			$S->{this_is_having} = 1;
			$S->{autogroup_needed} = 1;
		}

		my @terms = map { scalar parse_term($S, $_) } @args;

		if ($S->{parsing_return} && $S->{aggregates}{lc $func}) {
			$S->{inside_aggregate} = 0;
		}

		return "sysdate"
			if ($S->{gen_args}->{flavor}||"") eq "oracle" &&
				lc $func eq "sysdate" && !@terms;
		if (lc $func eq "extract" && @terms == 2) {
			if (UNIVERSAL::isa($terms[0], "DBIx::Perlish::Placeholder")) {
				my $val = $terms[0]->undo;
				@terms = ("$val from $terms[1]");
			}
		}
		if (lc($func) eq 'cast' && @terms == 2) {
			$terms[1] = $terms[1]->undo if UNIVERSAL::isa($terms[1], "DBIx::Perlish::Placeholder");
			return "cast($terms[0] as $terms[1])";
		}
		return "$func(" . join(", ", @terms) . ")";
	}
}

sub parse_multi_assign
{
	my ($S, $op) = @_;

	my $hashop = $op->first;
	unless (is_listop($hashop, "anonhash")) {
		want_unop($S, $hashop, "srefgen");
		$hashop = $hashop->first;
		$hashop = $hashop->first while is_unop($hashop, "null");
	}
	want_listop($S, $hashop, "anonhash");

	my $saved_values = $S->{values};
	$S->{values} = [];

	my $want_const = 1;
	my $field;
	for my $c (get_all_children($hashop)) {
		next if is_pushmark_or_padrange($c);

		if ($want_const) {
			my $hash;
			if (is_op($c, "padhv")) {
				$hash = $S->{padlist}->[1]->ARRAYelt($c->targ)->object_2svref;
			} elsif (is_unop($c, "rv2hv") && is_op($c->first, "padsv")) {
				$hash = $S->{padlist}->[1]->ARRAYelt($c->first->targ)->object_2svref;
				$hash = $$hash;
			}
			if ($hash) {
				while (my ($k, $v) = each %$hash) {
					push @{$S->{set_values}}, $v;
					push @{$S->{sets}}, "$k = ?";
				}
			} else {
				$field = want_const($S, $c);
				$want_const = 0;
			}
		} else {
			my $set = parse_term($S, $c);
			push @{$S->{set_values}}, @{$S->{values}};
			push @{$S->{sets}}, "$field = $set";
			$S->{values} = [];
			$want_const = 1;
			$field = undef;
		}
	}

	$S->{values} = $saved_values;
	if ( !is_unop($op, 'padsv_store')) {
		$op = $op->last;
	}

	my $tab;
	if (is_op($op, "padsv") || is_unop($op, "padsv_store")) {
		my $var = get_var($S, $op);
		$tab = $S->{vars}{$var};
	} elsif (is_unop($op, "entersub")) {
		$op = $op->first;
		$op = $op->first if is_unop($op, "null");
		$op = $op->sibling if is_pushmark_or_padrange($op);
		$op = $op->first if is_unop($op, "rv2cv");
		my $gv = get_gv_name($S, $op);
		$tab = $gv if defined $gv;
	}
	bailout $S, "cannot get a table to update" unless $tab;
}

my %binop_map = (
	eq       => "=",
	seq      => "=",
	ne       => "<>",
	sne      => "<>",
	slt      => "<",
	gt       => ">",
	sgt      => ">",
	le       => "<=",
	sle      => "<=",
	ge       => ">=",
	sge      => ">=",
	add      => "+",
	subtract => "-",
	multiply => "*",
	divide   => "/",
	concat   => "||",
	pow      => "^",
);
my %binop2_map = (
	add      => "+",
	subtract => "-",
	multiply => "*",
	divide   => "/",
	concat   => "||",
	multiconcat   => "||",
	pow      => "^",
);

sub parse_expr
{
	my ($S, $op) = @_;
	my $sqlop;
	if (($op->flags & B::OPf_STACKED) &&
		!$S->{parsing_return} &&
		$binop2_map{$op->name} &&
		is_unop($op->first, "entersub"))
	{
#printf STDERR "entersub flags: %08x\n", $op->first->flags;
#printf STDERR "entersub private flags: %08x\n", $op->first->private;
		my $is_lvalue;
		if ($op->first->private & 128) {
			$is_lvalue = 1;
		} else {
			my $lc = $op->first->first;
			$lc = $lc->sibling until is_null($lc->sibling);
			$is_lvalue = is_unop($lc, "rv2cv");
		}
		if ($is_lvalue) {
			my ($tab, $f) = get_tab_field($S, $op->first, lvalue => 1);
			bailout $S, "self-modifications are not understood in $S->{operation}'s query sub"
				unless $S->{operation} eq "update";
			bailout $S, "self-modifications inside an expression is illegal"
				if $S->{in_term};
			my $saved_values = $S->{values};
			$S->{values} = [];
			my $set;
			if ( is_unop_aux($op, 'multiconcat')) {
				my $v;
				($set, $v) = try_special_concat($S, $op, multiconcat => { skip_first => 1 });
				bailout $S, "unsupported multiconcat" unless $set;
				push @{$S->{values}}, @$v;
			} else {
				$set = parse_term($S, $op->last);
			}
			push @{$S->{set_values}}, @{$S->{values}};
			$S->{values} = $saved_values;
			if ($op->name eq "pow") {
				my $flavor = lc($S->{gen_args}->{flavor} || '');
				if ($flavor eq "pg" || $flavor eq "pglite") {
					push @{$S->{sets}}, "$f = pow($f, $set)";
				} else {
					bailout $S, "exponentiation is not supported for $flavor DB driver";
				}
			} else {
				push @{$S->{sets}}, "$f = $f $binop2_map{$op->name} $set";
			}
			return ();
		}
	}
	if (is_binop($op, "concat") || is_unop_aux($op, "multiconcat")) {
		my ($c, $v) = try_special_concat($S, $op);
		if ($c) {
			push @{$S->{values}}, @$v;
			return $c;
		}
	}
	if ($sqlop = $binop_map{$op->name}) {
		my $left = parse_term($S, $op->first);
		my $right = parse_term($S, $op->last);
		if ($sqlop eq "=" || $sqlop eq "<>") {
			my $not = $sqlop eq "<>" ? " not" : "";
			if ($right eq "null") {
				return "$left is$not null";
			} elsif ($left eq "null") {
				return "$right is$not null";
			}
		}
		if ($op->name eq "pow") {
			my $flavor = lc($S->{gen_args}->{flavor} || '');
			if ($flavor eq "pg" || $flavor eq "pglite") {
				return "pow($left, $right)";
			} else {
				bailout $S, "exponentiation is not supported for $flavor DB driver";
			}
		}
		return "$left $sqlop $right";
	} elsif ($op->name eq "lt") {
		if (is_unop($op->last, "negate")) {
			my $r = try_parse_subselect($S, $op);
			return $r if $r;
		}
		# if the "subselect theory" fails, try a normal binop
		my $left = parse_term($S, $op->first);
		my $right = parse_term($S, $op->last);
		return "$left < $right";
	} elsif ($op->name eq "sassign" || $op->name eq 'padsv_store') {
		parse_assign($S, $op);
		return ();
	} else {
	BAILOUT:
		bailout $S, "unsupported binop " . $op->name;
	}
}

sub parse_multiconcat
{
	my ( $S, $aux, %opt) = @_;
	my @concats;

	my @args = ($aux->first);
	push @args, $args[-1]->sibling while !is_null($args[-1]) && !is_null($args[-1]->sibling);
	shift @args while @args && is_op($args[0], 'null');
	shift @args if $opt{skip_first};

	my ($nargs, $pv, @lengths) = $aux->aux_list($S->{curr_cv});
	while ( defined (my $l = shift @lengths )) {
		if ( $l >= 0 ) {
			my $str = substr( $pv, 0, $l, '');
			push @concats, { str => $str };
		}
		my $op = shift(@args) or last;
		if ( $opt{eval}) {
			my ($rv, $ok) = get_value($S, $op, soft => 1, eval => 1);
			bailout $S, "cannot parse expression (near $pv)" unless $ok;
			push @concats, { str => $rv };
		} else {
			push @concats, { op => $op };
		}
	}

	return @concats;
}

sub try_special_concat
{
	my ($S, $op, %opt) = @_;
	my @terms;
	my $str;
	if (is_binop($op, "concat")) {
		my @t = try_special_concat($S, $op->first, terms_only => 1);
		return () unless @t;
		push @terms, @t;
		@t = try_special_concat($S, $op->last, terms_only => 1);
		return () unless @t;
		push @terms, @t;
	} elsif (($str = is_const($S, $op))) {
		push @terms, {str => $str};
	} elsif (is_unop($op, "null")) {
		$op = $op->first;
		while (!is_null($op)) {
			my @t = try_special_concat($S, $op, terms_only => 1);
			return () unless @t;
			push @terms, @t;
			$op = $op->sibling;
		}
	} elsif (is_op($op, "null")) {
		return {skip => 1};
	} elsif (is_binop($op, "helem")) {
		my $f = is_const($S, $op->last);
		return () unless $f;
		$op = $op->first;
		return () unless is_unop($op, "rv2hv");
		$op = $op->first;
		return () unless is_op($op, "padsv");
		my $tab = find_aliased_tab($S, $op);
		return () unless $tab;
		push @terms, {tab => $tab, field => $f};
	} elsif (is_unop($op, "entersub")) {
		my ($t, $f) = eval { get_tab_field($S, $op) };
		return () unless $f;
		push @terms, {tab => $t, field => $f};
	} elsif (is_op($op, "padsv")) {
		my $tab = find_aliased_tab($S, $op);
		return () unless $tab;
		push @terms, {tab => $tab};
	} elsif (is_unop_aux($op, "multiconcat")) {
		my @subterms = parse_multiconcat($S, $op, %{ $opt{multiconcat} // {}});
		return () unless @subterms;
		for my $st (@subterms) {
			if ( defined $st->{str} ) {
				push @terms, $st;
			} else {
				my @t = try_special_concat($S, $st->{op}, terms_only => 1);
				return () unless @t;
				push @terms, @t;
			}
		}
	} elsif (is_unop_aux($op, "multideref")) {
		push @terms, { str => parse_multideref($S, $op ) };
	} else {
		return ();
	}
	return @terms if $opt{terms_only};
	$str = "";
	my @sql;
	my @v;
	@terms = grep { !$_->{skip} } @terms;
	while (@terms) {
		my $t = shift @terms;
		if (exists $t->{str}) {
			$str .= $t->{str};
		} elsif (exists $t->{field}) {
			if (length($str)) {
				push @v, $str;
				push @sql, '?';
			}
			if ($S->{operation} eq "delete" || $S->{operation} eq "update") {
				push @sql, $t->{field};
			} else {
				push @sql, "$t->{tab}.$t->{field}";
			}
			$str = "";
		} else {
			my $t2 = shift @terms;
			return () unless $t2;
			return () unless defined $t2->{str};
			return () unless $t2->{str} =~ s/^->(\w+)//;
			my $f = $1;
			if (length($str)) {
				push @v, $str;
				push @sql, '?';
			}
			if ($S->{operation} eq "delete" || $S->{operation} eq "update") {
				push @sql, $f;
			} else {
				push @sql, "$t->{tab}.$f";
			}
			$str = $t2->{str};
		}
	}
	if (length($str)) {
		push @v, $str;
		push @sql, '?';
	}
	my $sql;
	if (lc($S-> {gen_args}-> {flavor} || '') eq "mysql") {
		$sql = "concat(" . join(", ", @sql) . ")";
	} else {
		$sql = join " || ", @sql;
	}
	return ($sql, \@v);
}

sub parse_entersub
{
	my ($S, $op) = @_;
	my $tab = try_parse_attr_assignment($S, $op);
	return () if $tab;
	return scalar parse_term($S, $op);
}

sub parse_complex_regex
{
	my ($S, $op) = @_;

	if (is_unop($op, "regcreset")) {
		if (is_unop($op->first, "null")) {
			my $rx = "";
			my $rxop = $op->first->first;
			while (!is_null($rxop)) {
				$rx .= parse_complex_regex($S, $rxop)
					unless is_pushmark_or_padrange($rxop);
				$rxop = $rxop->sibling;
			}
			return $rx;
		} else {
			return parse_complex_regex( $S, $op-> first);
		}
	} elsif ( is_binop( $op, 'concat')) {
		$op = $op-> first;
		return
			parse_complex_regex( $S, $op) .
			parse_complex_regex( $S, $op-> sibling)
		;
	} elsif ( is_svop( $op, 'const')) {
		return want_const( $S, $op);
	} elsif (my ($rx, $ok) = get_value($S, $op, soft => 1)) {
		return undef unless $rx;
		$rx =~ s/^\(\?\-\w*\:(.*)\)$/$1/; # (?-xism:moo) -> moo
		return $rx;
	} elsif (is_unop($op, "null")) {
		my $rx = "";
		my $rxop = $op->first;
		while (!is_null($rxop)) {
			$rx .= parse_complex_regex($S, $rxop)
				unless is_pushmark_or_padrange($rxop);
			$rxop = $rxop->sibling;
		}
		return $rx;
	} else {
		bailout $S, "unsupported op " . ref($op) . '/' . $op->name;
	}
}

sub parse_regex
{
	my ( $S, $op, $neg) = @_;
	my ( $like, $case) = ( $op->precomp, $op-> pmflags & B::PMf_FOLD);

	unless ( defined $like) {
		my $logop = $op-> first-> sibling;
		bailout $S, "strange regex " . $op->name
			unless $logop and is_logop( $logop, 'regcomp');
		$like = parse_complex_regex( $S, $logop-> first);
		return "" unless defined $like; # explicitly nulled like
	}

	my $lhs = parse_term($S, $op->first);

	my $flavor = lc($S-> {gen_args}-> {flavor} || '');
	my $what = 'like';

	$like =~ s/\(\?\^\w+\:((?:[^\\]|\\.)*)\)/$1/g; # ignore ?^flags:

	my $can_like = $like =~ /^\^?(?:[-!%\s\w]|\\.)*\$?$/; # like that begins with non-% can use indexes

	if ( $flavor eq 'mysql') {
		# mysql LIKE is case-insensitive
		goto LIKE if not $case and $can_like;
		$like =~ s/'/''/g;

		return
			"$lhs ".
			( $neg ? 'not ' : '') .
			'regexp ' .
			( $case ? '' : 'binary ') .
			"'$like'"
			;
	} elsif ( $flavor eq 'pg' || $flavor eq "pglite") {
		# LIKE is case-sensitive
		if ( $can_like) {
			$what = 'ilike' if $case;
			goto LIKE;
		}
		$like =~ s/'/''/g;
		return
			"$lhs ".
			( $neg ? '!' : '') .
			'~' .
			( $case ? '*' : '') .
			" '$like'"
			;
	} elsif ($flavor eq "sqlite") {
		# SQLite as it is now is a bit tricky:
		# - there is support for REGEXP with a func provided the user
		#   supplies his own function;
		# - LIKE is case-insensitive (for ASCII, anyway, there's a bug there);
		# - GLOB is case-sensitive;
		# - there is also support for MATCH - with a user func
		#   - except that in recent version it is used for FTS
		# Since it does not appear that SQLite can use indices
		# for prefix matches with simple LIKE statements, we
		# just use user-defined functions PRE_N and PRE_I for
		# case-sensitive and case-insensitive cases.
		# If I am wrong on that, or if SQLite gets and ability to
		# do index-based prefix matching, this logic can be
		# modified accordingly in at a future date.
		if ($case) {
			$what = "pre_i";
			$S->{gen_args}->{dbh}->func($what, 2, sub {
				return scalar $_[1] =~ /$_[0]/i;
			}, "create_function");
		} else {
			$what = "pre_n";
			$S->{gen_args}->{dbh}->func($what, 2, sub {
				return scalar $_[1] =~ /$_[0]/;
			}, "create_function");
		}
		push @{$S->{values}}, $like;
		# $what = $neg ? "not $what" : $what;
		# return "$lhs $what ?";
		return ($neg ? "not " : "") . "$what(?, $lhs)";
	} else {
		# XXX is SQL-standard LIKE case-sensitive or not?
		if ($case) {
			$lhs = "lower($lhs)";
			$like = lc $like;
		}
		bailout $S, "Regex too complex for implementation using LIKE keyword: $like"
			if $like =~ /(?
LIKE:
		$like =~ s/'/''/g;
		$like =~ s/\\([^A-Za-z_0-9])/$1/g; # de-quotemeta
		my $escape = "";
		if ($flavor eq "pg" || $flavor eq "oracle") {
			# XXX it is possible that more flavors support like...escape
			my $need_esc;
			$need_esc = 1 if $like =~ s/!/!!/g;
			$need_esc = 1 if $like =~ s/%/!%/g;
			$need_esc = 1 if $like =~ s/_/!_/g;
			$escape = " escape '!'" if $need_esc;
		} else {
			$like =~ s/%/\\%/g;
			$like =~ s/_/\\_/g;
		}
		$like =~ s/\.\*/%/g;
		$like =~ s/(?
		$like =~ s/\\\././g;
		$like = "%$like" unless $like =~ s|^\^||;
		$like = "$like%" unless $like =~ s|\$$||;
		return "$lhs " .
			( $neg ? 'not ' : '') .
			"$what '$like'$escape"
		;
	}
}

my %join_map = (
	bit_and  => "inner",
	multiply => "inner",
	repeat   => "inner",
	bit_or   => "full outer",
	add      => "full outer",
	lt       => "left outer",
	gt       => "right outer",
);

sub parse_join
{
	my ($S, $op) = @_;
	my @op = get_all_children( $op);


	# allow 2-arg syntax for cross joins:
	#    join $a * $b
	# and 3-arg syntax for all other joins:
	#    join $a * $b => subselect { ... }
	bailout $S, "not a valid join() syntax"
		unless 2 <= @op and 3 >= @op and
			is_pushmark_or_padrange($op[0]) and
			is_binop( $op[1]);
	my $jointype;

	if ($op[1]-> name eq 'le') {
		# support <= as well as =>
		bailout $S, "not a valid join() syntax"
			unless @op == 2;
		@op[1,2] = ( $op[1]-> first, $op[1]-> last);
		bailout $S, "not a valid join() syntax"
			unless is_binop( $op[1]);
	}

	if ( 2 == @op) {
		bailout $S, "not a valid join() syntax: one of &,*,x is expected"
			unless
				exists $join_map{ $op[1]-> name } and
				$join_map{ $op[1]-> name } eq 'inner';
		$jointype = 'cross';
	} else {
		bailout $S, "not a valid join() syntax: one of &,|,x,+,*,<,> is expected"
			unless exists $join_map{ $op[1]-> name };
		bailout $S, "not a valid join() syntax"
			unless is_unop( $op[2]) and $op[2]-> name eq 'entersub';
		$jointype = $join_map{ $op[1]-> name };
	}

	# table names
	my @tab;
	$tab[0] = find_aliased_tab($S, $op[1]-> first) or
		bailout $S, "first argument of join() is not a table";
	$tab[1] = find_aliased_tab($S, $op[1]-> last) or
		bailout $S, "second argument of join() is not a table";

	# subselect
	my ( $condition, $codeop);
	if ( $op[2]) {
		$codeop = try_get_subselect( $S, $op[2]);
		bailout $S, "third argument to join is not a subselect expression"
			unless $codeop;

		my $cv = $codeop->sv;
		if (!$$cv) {
			$cv = $S->{padlist}->[1]->ARRAYelt($codeop->targ);
		}
		my $subref = $cv->object_2svref;
		my $S2 = init(
			%{$S->{gen_args}},
			operation   => 'select',
			values      => [],
			join_values => [],
			prev_S      => $S,
		);
		$S2-> {alias} = $S-> {alias};
		parse_sub($S2, $subref);
		bailout $S,
			"join() subselect expression cannot contain anything ".
			"but conditional expressions on already declared tables"
				if scalar( grep { @{ $S2-> {$_} } } qw(
					group_by order_by autogroup_by ret_values joins
				)) or $S2->{alias} ne $S->{alias};

		unless ( @{ $S2->{where}||[] }) {
			bailout $S,
				"join() subselect expression must contain ".
				"at least one conditional expression"
					unless $jointype eq 'inner';
			$jointype = 'cross';
		} else {
			$condition = join(' and ', @{ $S2-> {where} });
			push @{$S->{join_values}}, @{$S2->{values}};
		}
	}

	return [ $jointype, @tab, $condition ];
}

sub try_parse_range
{
	my ($S, $op) = @_;
	return try_parse_range($S, $op->first) if is_unop($op, "null");
	return unless is_unop($op, "flop");
	$op = $op->first;
	return unless is_unop($op, "flip");
	$op = $op->first;
	return unless is_logop($op, "range");
	return (parse_simple_term($S, $op->first),
			parse_simple_term($S, $op->first->sibling));
}

sub parse_or
{
	my ($S, $op) = @_;
	if (is_op($op->first->sibling, "last")) {
		bailout $S, "there should be no \"last\" statements in $S->{operation}'s query sub"
			unless $S->{operation} eq "select";
		my ($from, $to) = try_parse_range($S, $op->first);
		bailout $S, "range operator expected" unless defined $to;
		$S->{offset} = $from;
		$S->{limit}  = $to-$from+1;
		return;
	} elsif (my ($val, $ok) = get_value($S, $op->first, soft => 1)) {
		return compile_conditionally($S, $op, !$val);
	} else {
		my $left  = parse_term($S, $op->first);
		my $right = parse_term($S, $op->first->sibling);
		return "$left or $right";
	}
}

sub parse_and
{
	my ($S, $op) = @_;
	if (my ($val, $ok) = get_value($S, $op->first, soft => 1)) {
		return compile_conditionally($S, $op, $val);
	} else {
		my $left  = parse_term($S, $op->first);
		my $right = parse_term($S, $op->first->sibling);
		return "$left and $right";
	}
}

sub compile_conditionally
{
	my ($S, $op, $val) = @_;
	if ($val) {
		$op = $op->first->sibling;
		# This strangeness is for suppressing () when parsing
		# expr via parse_term.  There must be a better way.
		if (is_binop($op) || $op->name eq "sassign") {
			return parse_expr($S, $op);
		} elsif (is_listop($op, "return")) {
			# conditional returns are nice
			parse_return($S, $op);
			return ();
		} elsif (is_listop($op, "leave") || is_listop($op, "scope")) {
			parse_list($S, $op);
			return ();
		} else {
			return scalar parse_term($S, $op);
		}
	} else {
		return ();
	}
}

sub parse_fieldlist_label
{
	my ($S, $label, $lop, $op) = @_;

	my @op;
	if (is_listop($op, "list")) {
		@op = get_all_children($op);
	} else {
		push @op, $op;
	}
	for $op (@op) {
		next if is_pushmark_or_padrange($op);
		my ($t, $f) = get_tab_field($S, $op);
		push @{$S->{$label->{key}}},
			($S->{operation} eq "delete" || $S->{operation} eq "update") ?
			$f : "$t.$f";
	}
	$S->{skipnext} = 1;
}

sub parse_sort
{
	my ($S, $op) = @_;
	parse_orderby_label($S, "order_by", undef, $op);
	delete $S->{skipnext};
}

sub parse_orderby_label
{
	my ($S, $label, $lop, $op) = @_;

	my $key = ref $label ? $label->{key} : $label;

	my @op;
	if (is_listop($op, "list") || is_listop($op, "sort")) {
		@op = get_all_children($op);
	} elsif ( is_unop($op, "null")) {
		$op = $op->first;
		while ( $op && !is_null($op)) {
			push @op, $op;
			$op = $op->sibling;
		}
	} else {
		push @op, $op;
	}
	my $order = "";
	for $op (@op) {
		next if is_pushmark_or_padrange($op);
		# XXX next if is_op($op, "null");
		my $term;
		$term = parse_term($S, $op, inline_placeholder => 1)
			unless $term = is_const($S, $op);
		if ($term =~ /^asc/i) {
			next;  # skip "ascending"
		} elsif ($term =~ /^desc/i) {
			$order = "desc";
			next;
		} else {
			if ($order) {
				push @{$S->{$key}}, "$term $order";
				$order = "";
			} else {
				push @{$S->{$key}}, $term;
			}
		}
	}
	$S->{skipnext} = 1;
}

sub parse_numassign_label
{
	my ($S, $label, $lop, $op) = @_;

	# TODO more generic values
	my ($const,$sv) = is_const($S, $op);
	if (!$sv && is_op($op, "padsv")) {
		if (find_aliased_tab($S, $op)) {
			bailout $S, "cannot use table variable after ", $lop->label;
		}
		$sv = $S->{padlist}->[1]->ARRAYelt($op->targ);
		$const = ${$sv->object_2svref};
	}
	bailout $S, "label ", $lop->label, " must be followed by an integer or integer variable"
		unless $sv && $const && $const =~ /^\d+$/ && $const > 0;
	$S->{$label->{key}} = $const;
	$S->{skipnext} = 1;
}

sub parse_notice_label
{
	my ($S, $label, $lop, $op) = @_;
	$S->{$label->{key}}++;
}

sub parse_table_label
{
	my ($S, $label, $lop, $op) = @_;

	# prior to 5.37 it's sassign, prior to 5.41 it's padsv_store, later it's mixed
	bailout $S, "label ", $lop->label, " must be followed by an assignment" unless
		$op->name eq "padsv_store" || $op->name eq 'sassign';

	my $attr = parse_simple_term($S, $op->first);
	my $varn;
	if ( $] >= 5.037 ) {
		$varn = padname($S, $op, no_fakes => 1);
		bailout $S, "label ", $lop->label, " must be followed by a lexical variable declaration"
			unless defined $varn;
	} else {
		bailout $S, "label ", $lop->label, " must be followed by a lexical variable declaration"
			unless is_op($op->last, "padsv") && ($varn = padname($S, $op->last, no_fakes => 1));
	}
	new_var($S, $varn, $attr);
	$S->{skipnext} = 1;
}

my $action_orderby = {
	kind    => 'termlist',
	key     => 'order_by',
	handler => \&parse_orderby_label,
};
my $action_groupby = {
	kind    => 'fieldlist',
	key     => 'group_by',
	handler => \&parse_fieldlist_label,
};
my $action_limit = {
	kind    => 'numassign',
	key     => 'limit',
	handler => \&parse_numassign_label,
};
my $action_offset = {
	kind    => 'numassign',
	key     => 'offset',
	handler => \&parse_numassign_label,
};
my $action_distinct = {
	kind    => 'notice',
	key     => 'distinct',
	handler => \&parse_notice_label,
};
my %labelmap = (
	select => {
		orderby   => $action_orderby,
		order_by  => $action_orderby,
		order     => $action_orderby,
		sortby    => $action_orderby,
		sort_by   => $action_orderby,
		sort      => $action_orderby,

		groupby   => $action_groupby,
		group_by  => $action_groupby,
		group     => $action_groupby,

		limit     => $action_limit,

		offset    => $action_offset,

		distinct  => $action_distinct,
	},
);

sub parse_labels
{
	my ($S, $lop) = @_;
	my $label = $labelmap{$S->{operation}}->{lc $lop->label};
	if (!$label && lc $lop->label eq "table") {
		$label = { kind => 'table', handler => \&parse_table_label };
	}
	bailout $S, "label ", $lop->label, " is not understood"
		unless $label;
	my $op = $lop->sibling;
	if ($label->{handler}) {
		$label->{handler}->($S, $label, $lop, $op);
	} else {
		bailout $S, "internal error parsing label ", $op->label;
	}
}

sub parse_selfmod
{
	my ($S, $op, $oper) = @_;

	my ($tab, $f) = get_tab_field($S, $op, lvalue => 1);
	bailout $S, "self-modifications are not understood in $S->{operation}'s query sub"
		unless $S->{operation} eq "update";
	return "$f = $f $oper";
}

sub where_or_having
{
	my ($S, @what) = @_;
	push @{$S->{$S->{this_is_having} ? "having" : "where"}}, @what;
	$S->{this_is_having} = 0;
}

sub parse_op
{
	my ($S, $op) = @_;

	return if $S->{seen}->{$$op}++;

	if ($S->{skipnext}) {
		delete $S->{skipnext};
		return;
	}
	if (is_listop($op, "list")) {
		parse_list($S, $op);
	} elsif (is_listop($op, "lineseq")) {
		parse_list($S, $op);
	} elsif (is_binop($op, "leaveloop") &&
			 is_loop($op->first, "enterloop") &&
			 is_listop($op->last, "lineseq"))
	{
		parse_list($S, $op->last);
	} elsif (is_listop($op, "return")) {
		parse_return($S, $op);
	} elsif (is_binop($op) || is_unop($op, 'padsv_store') ) {
		where_or_having($S, parse_expr($S, $op));
	} elsif (is_unop($op, "not")) {
		where_or_having($S, scalar parse_term($S, $op));
	} elsif (is_logop($op, "or")) {
		my $or = parse_or($S, $op);
		where_or_having($S, "($or)") if $or;
		$S->{this_is_having} = 0;
	} elsif (is_logop($op, "and")) {
		my $and = parse_and($S, $op);
		where_or_having($S, $and) if $and;
		$S->{this_is_having} = 0;
	} elsif (is_unop($op, "leavesub")) {
		parse_op($S, $op->first);
	} elsif (is_unop($op, "null")) {
		parse_op($S, $op->first);
	} elsif (is_unop($op, "defined")) {
		where_or_having($S, scalar parse_term($S, $op));
	} elsif (is_op($op, "padsv")) {
		# XXX Skip for now, it is either a variable
		# that does not represent a table, or else
		# it is already associated with a table in $S.
	} elsif (is_op($op, "last")) {
		bailout $S, "there should be no \"last\" statements in $S->{operation}'s query sub"
			unless $S->{operation} eq "select";
		$S->{limit} = 1;
	} elsif (is_pushmark_or_padrange($op)) {
		# skip
	} elsif (is_op($op, "enter")) {
		# skip
	} elsif (is_op($op, "null")) {
		# skip
		parse_op($S, $op->sibling);
	} elsif (is_cop($op, "nextstate")) {
		$S->{file} = $op->file;
		$S->{line} = $op->line;
		$_cover->($op);
		if ($op->label) {
			parse_labels($S, $op);
		}
	} elsif (is_cop($op)) {
		# XXX any other things?
		$S->{file} = $op->file;
		$S->{line} = $op->line;
		# skip
	} elsif (is_unop($op, "entersub")) {
		where_or_having($S, parse_entersub($S, $op));
	} elsif (is_pmop($op, "match")) {
		where_or_having($S, parse_regex($S, $op, 0));
	} elsif ( $op->name eq 'join') {
		push @{$S->{joins}}, parse_join($S, $op);
	} elsif ($op->name eq 'sort') {
		parse_sort($S, $op);
	} elsif (is_unop($op, "postinc")) {
		push @{$S->{sets}}, parse_selfmod($S, $op->first, "+ 1");
	} elsif (is_unop($op, "postdec")) {
		push @{$S->{sets}}, parse_selfmod($S, $op->first, "- 1");
	} elsif (is_unop($op, "preinc")) {
		push @{$S->{sets}}, parse_selfmod($S, $op->first, "+ 1");
	} elsif (is_unop($op, "predec")) {
		push @{$S->{sets}}, parse_selfmod($S, $op->first, "- 1");
	} elsif (is_listop($op, "exec")) {
		$S->{seen_exec}++;
	} elsif (is_unop_aux($op, "multiconcat")) {
		where_or_having($S, parse_expr($S, $op));
	} else {
		bailout $S, "don't quite know what to do with op \"" . $op->name . "\"";
	}
}

sub parse_sub
{
	my ($S, $sub) = @_;
	if ($DEVEL) {
		$Carp::Verbose = 1;
		require B::Concise;
		#my $walker = B::Concise::compile('-terse', $sub);
		my $walker = B::Concise::compile('-concise', $sub);
		print "CODE DUMP:\n";
		$walker->();
		print "\n\n";
	}
	my $root = B::svref_2object($sub);
	$S->{padlist} = [$root->PADLIST->ARRAY];
	$S->{curr_cv} = $root;
	$S->{padlists}->{ $root->PADLIST->id } = $S->{padlist} if $root->PADLIST->can('id');
	$root = $root->ROOT;
	parse_op($S, $root);
}

sub B::OP::foo
{
	printf "%s 0x%x\n", _o($_[0]), ${$_[0]};
}

sub init
{
	my %args = @_;
	my $S = {
		gen_args    => \%args,
		file        => '??',
		line        => '??',
		subselect   => 's01',
		operation   => $args{operation},
		values      => [],
		join_values => [],
		sets        => [],
		set_values  => [],
		ret_values  => [],
		where       => [],
		order_by    => [],
		group_by    => [],
		additions   => [],
		joins       => [],
		key_field   => 1,
		aggregates  => { avg => 1, count => 1, max => 1, min => 1, sum => 1 },
		autogroup_by     => [],
		autogroup_fields => {},
		seen        => {},
		padlists    => $args{prev_S} ? $args{prev_S}->{padlists} : {},
	};
	$S->{alias} = $args{prefix} ? "$args{prefix}_t01" : "t01";
	$S;
}

# Borrowed from IO::All by Ingy döt Net.
my $old_warn_handler = $SIG{__WARN__};
$SIG{__WARN__} = sub {
	if ($_[0] !~ /^Useless use of .+ in void context/) {
		goto &$old_warn_handler if $old_warn_handler;
		warn(@_);
	}
};

$_cover = sub {};
if (*Devel::Cover::coverage{CODE}) {
	my $Coverage = Devel::Cover::coverage(0);
	$_cover = sub { $Coverage->{statement}{Devel::Cover::get_key($_[0])} ||= 1 };
}

package
	DBIx::Perlish::Placeholder;

use overload '""' => sub { "?" }, eq => sub { "$_[0]" eq "$_[1]" };

sub new
{
	my ($class, $S, $pos) = @_;
	bless { S => $S, position => $pos }, $class;
}

sub value
{
	my $me = shift;
	return $me->{S}{values}[$me->{position}];
}

sub undo
{
	my $me = shift;
	splice @{$me->{S}{values}}, $me->{position}, 1;
}

"the magic stops here; welcome to the real world";