Nixyri/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2024-11-23 12:42:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

riscv: reduced branches in fmin/fmax

Browse Source
This commit is contained in:
Sleigh-InSPECtor 2024-05-16 14:41:31 +09:30
parent cae9190c13
commit 2de729ee4e
2 changed files with 24 additions and 40 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
Ghidra/Processors/RISCV/data/languages/riscv.rv32d.sinc
View File

@ -122,32 +122,24 @@
# fmax.d D,S,T 2a001053 fe00707f SIMPLE (0, 0)
:fmax.d frd,frs1D,frs2D is frs1D & frd & frs2D & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct3=0x1 & funct7=0x15
{
#TODO redo this
local tmpfrs1 = frs1D;
local tmpfrs2 = frs2D;
frd = tmpfrs1;
if (nan(tmpfrs1) && nan(tmpfrs2)) goto inst_next;
if (nan(tmpfrs2)) goto inst_next;
frd = tmpfrs2;
if (nan(tmpfrs1)) goto inst_next;
if (tmpfrs2 f> tmpfrs1) goto inst_next;
frd = tmpfrs1;
local tmp:$(DFLEN) = frs1D;
if (frs1D f> frs2D) goto <WRITE>;
if (nan(frs2D)) goto <WRITE>;
tmp = frs2D;
<WRITE>
frd = tmp;
}
# fmin.d D,S,T 2a000053 fe00707f SIMPLE (0, 0)
:fmin.d frd,frs1D,frs2D is frs1D & frd & frs2D & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct3=0x0 & funct7=0x15
{
#TODO redo this
local tmpfrs1 = frs1D;
local tmpfrs2 = frs2D;
frd = tmpfrs1;
if (nan(tmpfrs1) && nan(tmpfrs2)) goto inst_next;
if (nan(tmpfrs2)) goto inst_next;
frd = tmpfrs2;
if (nan(tmpfrs1)) goto inst_next;
if (tmpfrs2 f<= tmpfrs1) goto inst_next;
frd = tmpfrs1;
local tmp:$(DFLEN) = frs1D;
if (frs1D f< frs2D) goto <WRITE>;
if (nan(frs2D)) goto <WRITE>;
tmp = frs2D;
<WRITE>
frd = tmp;
}

32
Ghidra/Processors/RISCV/data/languages/riscv.rv32f.sinc
View File

@ -107,32 +107,24 @@
# fmax.s D,S,T 28001053 fe00707f SIMPLE (0, 0)
:fmax.s frd,frs1S,frs2S is frs1S & frd & frs2S & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct3=0x1 & funct7=0x14
{
#TODO redo this
local tmpfrs1 = frs1S;
local tmpfrs2 = frs2S;
fassignS(frd, tmpfrs1);
if (nan(tmpfrs1) && nan(tmpfrs2)) goto inst_next;
if (nan(tmpfrs2)) goto inst_next;
fassignS(frd, tmpfrs2);
if (nan(tmpfrs1)) goto inst_next;
if (tmpfrs2 f>= tmpfrs1) goto inst_next;
fassignS(frd, tmpfrs1);
local tmp:$(SFLEN) = frs1S;
if (frs1S f> frs2S) goto <WRITE>;
if (nan(frs2S)) goto <WRITE>;
tmp = frs2S;
<WRITE>
fassignS(frd, tmp);
}
# fmin.s D,S,T 28000053 fe00707f SIMPLE (0, 0)
:fmin.s frd,frs1S,frs2S is frs1S & frd & frs2S & op0001=0x3 & op0204=0x4 & op0506=0x2 & funct3=0x0 & funct7=0x14
{
#TODO redo this
local tmpfrs1 = frs1S;
local tmpfrs2 = frs2S;
fassignS(frd, tmpfrs1);
if (nan(tmpfrs1) && nan(tmpfrs2)) goto inst_next;
if (nan(tmpfrs2)) goto inst_next;
fassignS(frd, tmpfrs2);
if (nan(tmpfrs1)) goto inst_next;
if (tmpfrs2 f<= tmpfrs1) goto inst_next;
fassignS(frd, tmpfrs1);
local tmp:$(SFLEN) = frs1S;
if (frs1S f< frs2S) goto <WRITE>;
if (nan(frs2S)) goto <WRITE>;
tmp = frs2S;
<WRITE>
fassignS(frd, tmp);
}