34 lines
958 B
Plaintext
34 lines
958 B
Plaintext
# RV64F Standard Extension (in addition to RV32F)
|
|
|
|
# fcvt.l.s d,S,m c0200053 fff0007f SIMPLE (64, 0)
|
|
:fcvt.l.s rdL,frs1S,FRM is frs1S & FRM & rdL & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct7=0x60 & op2024=0x2
|
|
{
|
|
rdL = trunc(frs1S);
|
|
}
|
|
|
|
|
|
# fcvt.lu.s d,S,m c0300053 fff0007f SIMPLE (64, 0)
|
|
:fcvt.lu.s rdL,frs1S,FRM is frs1S & FRM & rdL & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct7=0x60 & op2024=0x3
|
|
{
|
|
#TODO unsigned
|
|
rdL = trunc(frs1S);
|
|
}
|
|
|
|
|
|
# fcvt.s.l D,s,m d0200053 fff0007f SIMPLE (64, 0)
|
|
:fcvt.s.l frd,rs1L,FRM is frd & FRM & rs1L & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct7=0x68 & op2024=0x2
|
|
{
|
|
local tmp:4 = int2float(rs1L);
|
|
fassignS(frd, tmp);
|
|
}
|
|
|
|
|
|
# fcvt.s.lu D,s,m d0300053 fff0007f SIMPLE (64, 0)
|
|
:fcvt.s.lu frd,rs1L,FRM is frd & FRM & rs1L & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct7=0x68 & op2024=0x3
|
|
{
|
|
#ATTN unsigned can be an issue here
|
|
local u64:$(XLEN2) = zext(rs1L);
|
|
local tmp:4 = int2float(u64);
|
|
fassignS(frd, tmp);
|
|
}
|