//
//
// do_func.sa 3.4 2/18/91
//
// Do_func performs the unimplemented operation. The operation
// to be performed is determined from the lower 7 bits of the
// extension word (except in the case of fmovecr and fsincos).
// The opcode and tag bits form an index into a jump table in
// tbldo.sa. Cases of zero, infinity and NaN are handled in
// do_func by forcing the default result. Normalized and
// denormalized (there are no unnormalized numbers at this
// point) are passed onto the emulation code.
//
// CMDREG1B and STAG are extracted from the fsave frame
// and combined to form the table index. The function called
// will start with a0 pointing to the ETEMP operand. Dyadic
// functions can find FPTEMP at -12(a0).
//
// Called functions return their result in fp0. Sincos returns
// sin(x) in fp0 and cos(x) in fp1.
//
// Copyright (C) Motorola, Inc. 1990
// All Rights Reserved
//
// THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE OF MOTOROLA
// The copyright notice above does not evidence any
// actual or intended publication of such source code.
DO_FUNC: //idnt 2,1 | Motorola 040 Floating Point Software Package
|section 8
#include "fpsp.defs"
|xref t_dz2
|xref t_operr
|xref t_inx2
|xref t_resdnrm
|xref dst_nan
|xref src_nan
|xref nrm_set
|xref sto_cos
|xref tblpre
|xref slognp1,slogn,slog10,slog2
|xref slognd,slog10d,slog2d
|xref smod,srem
|xref sscale
|xref smovcr
PONE: .long 0x3fff0000,0x80000000,0x00000000 //+1
MONE: .long 0xbfff0000,0x80000000,0x00000000 //-1
PZERO: .long 0x00000000,0x00000000,0x00000000 //+0
MZERO: .long 0x80000000,0x00000000,0x00000000 //-0
PINF: .long 0x7fff0000,0x00000000,0x00000000 //+inf
MINF: .long 0xffff0000,0x00000000,0x00000000 //-inf
QNAN: .long 0x7fff0000,0xffffffff,0xffffffff //non-signaling nan
PPIBY2: .long 0x3FFF0000,0xC90FDAA2,0x2168C235 //+PI/2
MPIBY2: .long 0xbFFF0000,0xC90FDAA2,0x2168C235 //-PI/2
.global do_func
do_func:
clrb CU_ONLY(%a6)
//
// Check for fmovecr. It does not follow the format of fp gen
// unimplemented instructions. The test is on the upper 6 bits;
// if they are $17, the inst is fmovecr. Call entry smovcr
// directly.
//
bfextu CMDREG1B(%a6){#0:#6},%d0 //get opclass and src fields
cmpil #0x17,%d0 //if op class and size fields are $17,
// ;it is FMOVECR; if not, continue
bnes not_fmovecr
jmp smovcr //fmovecr; jmp directly to emulation
not_fmovecr:
movew CMDREG1B(%a6),%d0
andl #0x7F,%d0
cmpil #0x38,%d0 //if the extension is >= $38,
bge serror //it is illegal
bfextu STAG(%a6){#0:#3},%d1
lsll #3,%d0 //make room for STAG
addl %d1,%d0 //combine for final index into table
leal tblpre,%a1 //start of monster jump table
movel (%a1,%d0.w*4),%a1 //real target address
leal ETEMP(%a6),%a0 //a0 is pointer to src op
movel USER_FPCR(%a6),%d1
andl #0xFF,%d1 // discard all but rounding mode/prec
fmovel #0,%fpcr
jmp (%a1)
//
// ERROR
//
.global serror
serror:
st STORE_FLG(%a6)
rts
//
// These routines load forced values into fp0. They are called
// by index into tbldo.
//
// Load a signed zero to fp0 and set inex2/ainex
//
.global snzrinx
snzrinx:
btstb #sign_bit,LOCAL_EX(%a0) //get sign of source operand
bnes ld_mzinx //if negative, branch
bsr ld_pzero //bsr so we can return and set inx
bra t_inx2 //now, set the inx for the next inst
ld_mzinx:
bsr ld_mzero //if neg, load neg zero, return here
bra t_inx2 //now, set the inx for the next inst
//
// Load a signed zero to fp0; do not set inex2/ainex
//
.global szero
szero:
btstb #sign_bit,LOCAL_EX(%a0) //get sign of source operand
bne ld_mzero //if neg, load neg zero
bra ld_pzero //load positive zero
//
// Load a signed infinity to fp0; do not set inex2/ainex
//
.global sinf
sinf:
btstb #sign_bit,LOCAL_EX(%a0) //get sign of source operand
bne ld_minf //if negative branch
bra ld_pinf
//
// Load a signed one to fp0; do not set inex2/ainex
//
.global sone
sone:
btstb #sign_bit,LOCAL_EX(%a0) //check sign of source
bne ld_mone
bra ld_pone
//
// Load a signed pi/2 to fp0; do not set inex2/ainex
//
.global spi_2
spi_2:
btstb #sign_bit,LOCAL_EX(%a0) //check sign of source
bne ld_mpi2
bra ld_ppi2
//
// Load either a +0 or +inf for plus/minus operand
//
.global szr_inf
szr_inf:
btstb #sign_bit,LOCAL_EX(%a0) //check sign of source
bne ld_pzero
bra ld_pinf
//
// Result is either an operr or +inf for plus/minus operand
// [Used by slogn, slognp1, slog10, and slog2]
//
.global sopr_inf
sopr_inf:
btstb #sign_bit,LOCAL_EX(%a0) //check sign of source
bne t_operr
bra ld_pinf
//
// FLOGNP1
//
.global sslognp1
sslognp1:
fmovemx (%a0),%fp0-%fp0
fcmpb #-1,%fp0
fbgt slognp1
fbeq t_dz2 //if = -1, divide by zero exception
fmovel #0,%FPSR //clr N flag
bra t_operr //take care of operands < -1
//
// FETOXM1
//
.global setoxm1i
setoxm1i:
btstb #sign_bit,LOCAL_EX(%a0) //check sign of source
bne ld_mone
bra ld_pinf
//
// FLOGN
//
// Test for 1.0 as an input argument, returning +zero. Also check
// the sign and return operr if negative.
//
.global sslogn
sslogn:
btstb #sign_bit,LOCAL_EX(%a0)
bne t_operr //take care of operands < 0
cmpiw #0x3fff,LOCAL_EX(%a0) //test for 1.0 input
bne slogn
cmpil #0x80000000,LOCAL_HI(%a0)
bne slogn
tstl LOCAL_LO(%a0)
bne slogn
fmovex PZERO,%fp0
rts
.global sslognd
sslognd:
btstb #sign_bit,LOCAL_EX(%a0)
beq slognd
bra t_operr //take care of operands < 0
//
// FLOG10
//
.global sslog10
sslog10:
btstb #sign_bit,LOCAL_EX(%a0)
bne t_operr //take care of operands < 0
cmpiw #0x3fff,LOCAL_EX(%a0) //test for 1.0 input
bne slog10
cmpil #0x80000000,LOCAL_HI(%a0)
bne slog10
tstl LOCAL_LO(%a0)
bne slog10
fmovex PZERO,%fp0
rts
.global sslog10d
sslog10d:
btstb #sign_bit,LOCAL_EX(%a0)
beq slog10d
bra t_operr //take care of operands < 0
//
// FLOG2
//
.global sslog2
sslog2:
btstb #sign_bit,LOCAL_EX(%a0)
bne t_operr //take care of operands < 0
cmpiw #0x3fff,LOCAL_EX(%a0) //test for 1.0 input
bne slog2
cmpil #0x80000000,LOCAL_HI(%a0)
bne slog2
tstl LOCAL_LO(%a0)
bne slog2
fmovex PZERO,%fp0
rts
.global sslog2d
sslog2d:
btstb #sign_bit,LOCAL_EX(%a0)
beq slog2d
bra t_operr //take care of operands < 0
//
// FMOD
//
pmodt:
// ;$21 fmod
// ;dtag,stag
.long smod // 00,00 norm,norm = normal
.long smod_oper // 00,01 norm,zero = nan with operr
.long smod_fpn // 00,10 norm,inf = fpn
.long smod_snan // 00,11 norm,nan = nan
.long smod_zro // 01,00 zero,norm = +-zero
.long smod_oper // 01,01 zero,zero = nan with operr
.long smod_zro // 01,10 zero,inf = +-zero
.long smod_snan // 01,11 zero,nan = nan
.long smod_oper // 10,00 inf,norm = nan with operr
.long smod_oper // 10,01 inf,zero = nan with operr
.long smod_oper // 10,10 inf,inf = nan with operr
.long smod_snan // 10,11 inf,nan = nan
.long smod_dnan // 11,00 nan,norm = nan
.long smod_dnan // 11,01 nan,zero = nan
.long smod_dnan // 11,10 nan,inf = nan
.long smod_dnan // 11,11 nan,nan = nan
.global pmod
pmod:
clrb FPSR_QBYTE(%a6) // clear quotient field
bfextu STAG(%a6){#0:#3},%d0 //stag = d0
bfextu DTAG(%a6){#0:#3},%d1 //dtag = d1
//
// Alias extended denorms to norms for the jump table.
//
bclrl #2,%d0
bclrl #2,%d1
lslb #2,%d1
orb %d0,%d1 //d1{3:2} = dtag, d1{1:0} = stag
// ;Tag values:
// ;00 = norm or denorm
// ;01 = zero
// ;10 = inf
// ;11 = nan
lea pmodt,%a1
movel (%a1,%d1.w*4),%a1
jmp (%a1)
smod_snan:
bra src_nan
smod_dnan:
bra dst_nan
smod_oper:
bra t_operr
smod_zro:
moveb ETEMP(%a6),%d1 //get sign of src op
moveb FPTEMP(%a6),%d0 //get sign of dst op
eorb %d0,%d1 //get exor of sign bits
btstl #7,%d1 //test for sign
beqs smod_zsn //if clr, do not set sign big
bsetb #q_sn_bit,FPSR_QBYTE(%a6) //set q-byte sign bit
smod_zsn:
btstl #7,%d0 //test if + or -
beq ld_pzero //if pos then load +0
bra ld_mzero //else neg load -0
smod_fpn:
moveb ETEMP(%a6),%d1 //get sign of src op
moveb FPTEMP(%a6),%d0 //get sign of dst op
eorb %d0,%d1 //get exor of sign bits
btstl #7,%d1 //test for sign
beqs smod_fsn //if clr, do not set sign big
bsetb #q_sn_bit,FPSR_QBYTE(%a6) //set q-byte sign bit
smod_fsn:
tstb DTAG(%a6) //filter out denormal destination case
bpls smod_nrm //
leal FPTEMP(%a6),%a0 //a0<- addr(FPTEMP)
bra t_resdnrm //force UNFL(but exact) result
smod_nrm:
fmovel USER_FPCR(%a6),%fpcr //use user's rmode and precision
fmovex FPTEMP(%a6),%fp0 //return dest to fp0
rts
//
// FREM
//
premt:
// ;$25 frem
// ;dtag,stag
.long srem // 00,00 norm,norm = normal
.long srem_oper // 00,01 norm,zero = nan with operr
.long srem_fpn // 00,10 norm,inf = fpn
.long srem_snan // 00,11 norm,nan = nan
.long srem_zro // 01,00 zero,norm = +-zero
.long srem_oper // 01,01 zero,zero = nan with operr
.long srem_zro // 01,10 zero,inf = +-zero
.long srem_snan // 01,11 zero,nan = nan
.long srem_oper // 10,00 inf,norm = nan with operr
.long srem_oper // 10,01 inf,zero = nan with operr
.long srem_oper // 10,10 inf,inf = nan with operr
.long srem_snan // 10,11 inf,nan = nan
.long srem_dnan // 11,00 nan,norm = nan
.long srem_dnan // 11,01 nan,zero = nan
.long srem_dnan // 11,10 nan,inf = nan
.long srem_dnan // 11,11 nan,nan = nan
.global prem
prem:
clrb FPSR_QBYTE(%a6) //clear quotient field
bfextu STAG(%a6){#0:#3},%d0 //stag = d0
bfextu DTAG(%a6){#0:#3},%d1 //dtag = d1
//
// Alias extended denorms to norms for the jump table.
//
bclr #2,%d0
bclr #2,%d1
lslb #2,%d1
orb %d0,%d1 //d1{3:2} = dtag, d1{1:0} = stag
// ;Tag values:
// ;00 = norm or denorm
// ;01 = zero
// ;10 = inf
// ;11 = nan
lea premt,%a1
movel (%a1,%d1.w*4),%a1
jmp (%a1)
srem_snan:
bra src_nan
srem_dnan:
bra dst_nan
srem_oper:
bra t_operr
srem_zro:
moveb ETEMP(%a6),%d1 //get sign of src op
moveb FPTEMP(%a6),%d0 //get sign of dst op
eorb %d0,%d1 //get exor of sign bits
btstl #7,%d1 //test for sign
beqs srem_zsn //if clr, do not set sign big
bsetb #q_sn_bit,FPSR_QBYTE(%a6) //set q-byte sign bit
srem_zsn:
btstl #7,%d0 //test if + or -
beq ld_pzero //if pos then load +0
bra ld_mzero //else neg load -0
srem_fpn:
moveb ETEMP(%a6),%d1 //get sign of src op
moveb FPTEMP(%a6),%d0 //get sign of dst op
eorb %d0,%d1 //get exor of sign bits
btstl #7,%d1 //test for sign
beqs srem_fsn //if clr, do not set sign big
bsetb #q_sn_bit,FPSR_QBYTE(%a6) //set q-byte sign bit
srem_fsn:
tstb DTAG(%a6) //filter out denormal destination case
bpls srem_nrm //
leal FPTEMP(%a6),%a0 //a0<- addr(FPTEMP)
bra t_resdnrm //force UNFL(but exact) result
srem_nrm:
fmovel USER_FPCR(%a6),%fpcr //use user's rmode and precision
fmovex FPTEMP(%a6),%fp0 //return dest to fp0
rts
//
// FSCALE
//
pscalet:
// ;$26 fscale
// ;dtag,stag
.long sscale // 00,00 norm,norm = result
.long sscale // 00,01 norm,zero = fpn
.long scl_opr // 00,10 norm,inf = nan with operr
.long scl_snan // 00,11 norm,nan = nan
.long scl_zro // 01,00 zero,norm = +-zero
.long scl_zro // 01,01 zero,zero = +-zero
.long scl_opr // 01,10 zero,inf = nan with operr
.long scl_snan // 01,11 zero,nan = nan
.long scl_inf // 10,00 inf,norm = +-inf
.long scl_inf // 10,01 inf,zero = +-inf
.long scl_opr // 10,10 inf,inf = nan with operr
.long scl_snan // 10,11 inf,nan = nan
.long scl_dnan // 11,00 nan,norm = nan
.long scl_dnan // 11,01 nan,zero = nan
.long scl_dnan // 11,10 nan,inf = nan
.long scl_dnan // 11,11 nan,nan = nan
.global pscale
pscale:
bfextu STAG(%a6){#0:#3},%d0 //stag in d0
bfextu DTAG(%a6){#0:#3},%d1 //dtag in d1
bclrl #2,%d0 //alias denorm into norm
bclrl #2,%d1 //alias denorm into norm
lslb #2,%d1
orb %d0,%d1 //d1{4:2} = dtag, d1{1:0} = stag
// ;dtag values stag values:
// ;000 = norm 00 = norm
// ;001 = zero 01 = zero
// ;010 = inf 10 = inf
// ;011 = nan 11 = nan
// ;100 = dnrm
//
//
leal pscalet,%a1 //load start of jump table
movel (%a1,%d1.w*4),%a1 //load a1 with label depending on tag
jmp (%a1) //go to the routine
scl_opr:
bra t_operr
scl_dnan:
bra dst_nan
scl_zro:
btstb #sign_bit,FPTEMP_EX(%a6) //test if + or -
beq ld_pzero //if pos then load +0
bra ld_mzero //if neg then load -0
scl_inf:
btstb #sign_bit,FPTEMP_EX(%a6) //test if + or -
beq ld_pinf //if pos then load +inf
bra ld_minf //else neg load -inf
scl_snan:
bra src_nan
//
// FSINCOS
//
.global ssincosz
ssincosz:
btstb #sign_bit,ETEMP(%a6) //get sign
beqs sincosp
fmovex MZERO,%fp0
bras sincoscom
sincosp:
fmovex PZERO,%fp0
sincoscom:
fmovemx PONE,%fp1-%fp1 //do not allow FPSR to be affected
bra sto_cos //store cosine result
.global ssincosi
ssincosi:
fmovex QNAN,%fp1 //load NAN
bsr sto_cos //store cosine result
fmovex QNAN,%fp0 //load NAN
bra t_operr
.global ssincosnan
ssincosnan:
movel ETEMP_EX(%a6),FP_SCR1(%a6)
movel ETEMP_HI(%a6),FP_SCR1+4(%a6)
movel ETEMP_LO(%a6),FP_SCR1+8(%a6)
bsetb #signan_bit,FP_SCR1+4(%a6)
fmovemx FP_SCR1(%a6),%fp1-%fp1
bsr sto_cos
bra src_nan
//
// This code forces default values for the zero, inf, and nan cases
// in the transcendentals code. The CC bits must be set in the
// stacked FPSR to be correctly reported.
//
//**Returns +PI/2
.global ld_ppi2
ld_ppi2:
fmovex PPIBY2,%fp0 //load +pi/2
bra t_inx2 //set inex2 exc
//**Returns -PI/2
.global ld_mpi2
ld_mpi2:
fmovex MPIBY2,%fp0 //load -pi/2
orl #neg_mask,USER_FPSR(%a6) //set N bit
bra t_inx2 //set inex2 exc
//**Returns +inf
.global ld_pinf
ld_pinf:
fmovex PINF,%fp0 //load +inf
orl #inf_mask,USER_FPSR(%a6) //set I bit
rts
//**Returns -inf
.global ld_minf
ld_minf:
fmovex MINF,%fp0 //load -inf
orl #neg_mask+inf_mask,USER_FPSR(%a6) //set N and I bits
rts
//**Returns +1
.global ld_pone
ld_pone:
fmovex PONE,%fp0 //load +1
rts
//**Returns -1
.global ld_mone
ld_mone:
fmovex MONE,%fp0 //load -1
orl #neg_mask,USER_FPSR(%a6) //set N bit
rts
//**Returns +0
.global ld_pzero
ld_pzero:
fmovex PZERO,%fp0 //load +0
orl #z_mask,USER_FPSR(%a6) //set Z bit
rts
//**Returns -0
.global ld_mzero
ld_mzero:
fmovex MZERO,%fp0 //load -0
orl #neg_mask+z_mask,USER_FPSR(%a6) //set N and Z bits
rts
|end
