3 # Copyright (c) 1996 Malcolm Beattie
5 # You may distribute under the terms of either the GNU General Public
6 # License or the Artistic License, as specified in the README file.
11 use B::Asmdata qw(%insn_data @insn_name);
12 use Config qw(%Config);
13 require ByteLoader; # we just need its $VERSIOM
16 @EXPORT_OK = qw(assemble_fh newasm endasm assemble);
22 for ($i = 0; defined($opname = ppname($i)); $i++) {
23 $opnumber{$opname} = $i;
26 my($linenum, $errors, $out); # global state, set up by newasm
30 warn "$linenum: $str\n";
35 sub debug { $debug = shift }
38 my( $val, $lo, $hi, $loc ) = @_;
39 if( $val < $lo || $hi < $val ){
40 error "argument for $loc outside [$lo, $hi]: $val";
47 # First define all the data conversion subs to which Asmdata will refer
50 sub B::Asmdata::PUT_U8 {
52 my $c = uncstring($arg);
54 if (length($c) != 1) {
55 error "argument for U8 is too long: $c";
56 $c = substr($c, 0, 1);
59 $arg = limcheck( $arg, 0, 0xff, 'U8' );
65 sub B::Asmdata::PUT_U16 {
66 my $arg = limcheck( $_[0], 0, 0xffff, 'U16' );
69 sub B::Asmdata::PUT_U32 {
70 my $arg = limcheck( $_[0], 0, 0xffffffff, 'U32' );
73 sub B::Asmdata::PUT_I32 {
74 my $arg = limcheck( $_[0], -0x80000000, 0x7fffffff, 'I32' );
77 sub B::Asmdata::PUT_NV { sprintf("%s\0", $_[0]) } # "%lf" looses precision and pack('d',...)
78 # may not even be portable between compilers
79 sub B::Asmdata::PUT_objindex { # could allow names here
80 my $arg = limcheck( $_[0], 0, 0xffffffff, '*index' );
83 sub B::Asmdata::PUT_svindex { &B::Asmdata::PUT_objindex }
84 sub B::Asmdata::PUT_opindex { &B::Asmdata::PUT_objindex }
85 sub B::Asmdata::PUT_pvindex { &B::Asmdata::PUT_objindex }
87 sub B::Asmdata::PUT_strconst {
89 my $str = uncstring($arg);
91 error "bad string constant: $arg";
94 if ($str =~ s/\0//g) {
95 error "string constant argument contains NUL: $arg";
101 sub B::Asmdata::PUT_pvcontents {
103 error "extraneous argument: $arg" if defined $arg;
106 sub B::Asmdata::PUT_PV {
108 my $str = uncstring($arg);
109 if( ! defined($str) ){
110 error "bad string argument: $arg";
113 return pack("L", length($str)) . $str;
115 sub B::Asmdata::PUT_comment_t {
117 $arg = uncstring($arg);
118 error "bad string argument: $arg" unless defined($arg);
119 if ($arg =~ s/\n//g) {
120 error "comment argument contains linefeed: $arg";
124 sub B::Asmdata::PUT_double { sprintf("%s\0", $_[0]) } # see PUT_NV above
125 sub B::Asmdata::PUT_none {
127 error "extraneous argument: $arg" if defined $arg;
130 sub B::Asmdata::PUT_op_tr_array {
132 my @ary = split(/\s*,\s*/, $arg);
134 error "wrong number of arguments to op_tr_array";
137 return pack("S256", @ary);
139 # XXX Check this works
140 # Note: $arg >> 32 is a no-op on 32-bit systems
141 sub B::Asmdata::PUT_IV64 {
143 return pack("LL", ($arg >> 16) >>16 , $arg & 0xffffffff);
146 sub B::Asmdata::PUT_IV {
147 $Config{ivsize} == 4 ? &B::Asmdata::PUT_I32 : &B::Asmdata::PUT_IV64;
150 my %unesc = (n => "\n", r => "\r", t => "\t", a => "\a",
151 b => "\b", f => "\f", v => "\013");
155 $s =~ s/^"// and $s =~ s/"$// or return undef;
156 $s =~ s/\\(\d\d\d|.)/length($1) == 3 ? chr(oct($1)) : ($unesc{$1}||$1)/eg;
162 # Comments only allowed in instructions which don't take string arguments
163 # Treat string as a single line so .* eats \n characters.
165 ^\s* # Ignore leading whitespace
167 [^"]* # A double quote '"' indicates a string argument. If we
168 # find a double quote, the match fails and we strip nothing.
170 \s*\# # Any amount of whitespace plus the comment marker...
171 .*$ # ...which carries on to end-of-string.
172 }{$1}sx; # Keep only the instruction and optional argument.
176 # create the ByteCode header: magic, archname, ByteLoader $VERSION, ivsize,
178 # nvtype is irrelevant (floats are stored as strings)
179 # byteorder is strconst not U32 because of varying size issues
184 $header .= B::Asmdata::PUT_U32(0x43424c50); # 'PLBC'
185 $header .= B::Asmdata::PUT_strconst('"' . $Config{archname}. '"');
186 $header .= B::Asmdata::PUT_strconst(qq["$ByteLoader::VERSION"]);
187 $header .= B::Asmdata::PUT_U32($Config{ivsize});
188 $header .= B::Asmdata::PUT_U32($Config{ptrsize});
189 $header .= B::Asmdata::PUT_strconst(sprintf(qq["0x%s"], $Config{byteorder}));
194 sub parse_statement {
196 my ($insn, $arg) = $stmt =~ m{
197 ^\s* # allow (but ignore) leading whitespace
198 (.*?) # Instruction continues up until...
199 (?: # ...an optional whitespace+argument group
200 \s+ # first whitespace.
201 (.*) # The argument is all the rest (newlines included).
202 )?$ # anchor at end-of-line
205 if ($arg =~ s/^0x(?=[0-9a-fA-F]+$)//) {
207 } elsif ($arg =~ s/^0(?=[0-7]+$)//) {
209 } elsif ($arg =~ /^pp_/) {
210 $arg =~ s/\s*$//; # strip trailing whitespace
211 my $opnum = $opnumber{$arg};
212 if (defined($opnum)) {
215 error qq(No such op type "$arg");
220 return ($insn, $arg);
224 my ($insn, $arg) = @_;
225 my $data = $insn_data{$insn};
226 if (defined($data)) {
227 my ($bytecode, $putsub) = @{$data}[0, 1];
228 my $argcode = &$putsub($arg);
229 return chr($bytecode).$argcode;
231 error qq(no such instruction "$insn");
239 my $asm = newasm($out);
240 while ($line = <$fh>) {
249 die "Invalid printing routine for B::Assembler\n" unless ref $outsub eq 'CODE';
250 die <<EOD if ref $out;
251 Can't have multiple byteassembly sessions at once!
252 (perhaps you forgot an endasm()?)
255 $linenum = $errors = 0;
258 $out->(gen_header());
263 die "There were $errors assembly errors\n";
265 $linenum = $errors = $out = 0;
274 my $quotedline = $line;
275 $quotedline =~ s/\\/\\\\/g;
276 $quotedline =~ s/"/\\"/g;
277 $out->(assemble_insn("comment", qq("$quotedline")));
279 if( $line = strip_comments($line) ){
280 ($insn, $arg) = parse_statement($line);
281 $out->(assemble_insn($insn, $arg));
283 $out->(assemble_insn("nop", undef));
294 B::Assembler - Assemble Perl bytecode
298 use B::Assembler qw(newasm endasm assemble);
299 newasm(\&printsub); # sets up for assembly
300 assemble($buf); # assembles one line
301 endasm(); # closes down
303 use B::Assembler qw(assemble_fh);
304 assemble_fh($fh, \&printsub); # assemble everything in $fh
308 See F<ext/B/B/Assembler.pm>.
312 Malcolm Beattie, C<mbeattie@sable.ox.ac.uk>
313 Per-statement interface by Benjamin Stuhl, C<sho_pi@hotmail.com>