# /bin/csh
echo "cross"
bl=`dirname $pl`/armv6-cross ; export bl
$psys/pslcomp <<EOF
(off redefmsg verboseload)
(load debug)
(load addr2id)

(setq loaddirectories!* (cons "$bl/" loaddirectories!*))
(reload sys-consts)
(setq addressingunitsperitem 4)
(off usermode)
%%(load psl_case)
(load if-system)
(load armv6-lap)
(load armv6-lap-to-asm)
%(on plap pgwd)
%(on pcmac)
%(on testlap)
(print (list "nextidnumber*" nextidnumber*))
(load armv6-asm)
(load armv6-cmac)
(load armv6-comp)
(load armv6-spec)
(remprop 'wquotient 'opencode)
(remprop 'wremainder 'opencode)
(remprop 'cons 'opencode)
(setq nil-t-diff* 140)
(put 'id-tag 'compiler-constant? t)
(put 'bstruct-tag 'compiler-constant? t)
(put 'negint-tag 'compiler-constant? t)
(put 'id-tag 'compiler-constant-value 30)
(put 'bstruct-tag 'compiler-constant-value 22)
(put 'negint-tag 'compiler-constant-value 31)
(print (list "nextidnumber*" nextidnumber*))

(remd 'foreignlink)
%(copyd 'bitma 'bitmask)
%(de bitmask (x y) (cond ((and (eq x 2) (eq y 30))  1073741823)
%			((and (eq x 2) (eq y 14))  1073676288)
%                        (t (bitma x y))))
%(dm extrareg (u)
%  (list 'displacement '(reg st) (plus2 20
%        (times (difference (cadr u) (plus lastactualreg!& 1))
%               (compiler-constant 'addressingunitsperitem)))))
(dskin "tmp.sl")
EOF

