development/ghidra
development/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra synced 2024-10-06 02:09:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/GP-2195_ghidorahrex_PR-4270_agatti_68000-coldfire-bitops'

Browse source
This commit is contained in:
Ryan Kurtz 2022-10-05 09:44:04 -04:00
parent a307fd4614 01c24684a0
commit 4ed60c8790
2 changed files with 65 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
Ghidra/Processors/68000/data/languages/68000.sinc
View file

@ -104,6 +104,7 @@ define token instr (16)
op6 = (6,6)
acclsb = (7,7)
d911 = (9,11)
reg315 = (3, 15)
@endif
;
@ -857,6 +858,26 @@ define pcodeop countLeadingZeros;
:btst.l reg9dn,regdn is op=0 & reg9dn & op68=4 & mode=0 & regdn { mask:4 = 1<<(reg9dn&31); ZF=(regdn&mask)==0; }
:btst.l d8,regdn is opbig=8 & op67=0 & mode=0 & regdn; d8 { mask:4 = 1<<d8; ZF=(regdn&mask)==0; }
@ifdef COLDFIRE
:bitrev regdn is reg315=0x18 & regdn {
local dword = regdn;
regdn[31,1] = dword[0,1]; regdn[30,1] = dword[1,1]; regdn[29,1] = dword[2,1]; regdn[28,1] = dword[3,1];
regdn[27,1] = dword[4,1]; regdn[26,1] = dword[5,1]; regdn[25,1] = dword[6,1]; regdn[24,1] = dword[7,1];
regdn[23,1] = dword[8,1]; regdn[22,1] = dword[9,1]; regdn[21,1] = dword[10,1]; regdn[20,1] = dword[11,1];
regdn[19,1] = dword[12,1]; regdn[18,1] = dword[13,1]; regdn[17,1] = dword[14,1]; regdn[16,1] = dword[15,1];
regdn[15,1] = dword[16,1]; regdn[14,1] = dword[17,1]; regdn[13,1] = dword[18,1]; regdn[12,1] = dword[19,1];
regdn[11,1] = dword[20,1]; regdn[10,1] = dword[21,1]; regdn[9,1] = dword[22,1]; regdn[8,1] = dword[23,1];
regdn[7,1] = dword[24,1]; regdn[6,1] = dword[25,1]; regdn[5,1] = dword[26,1]; regdn[4,1] = dword[27,1];
regdn[3,1] = dword[28,1]; regdn[2,1] = dword[29,1]; regdn[1,1] = dword[30,1]; regdn[0,1] = dword[31,1];
}
:byterev regdn is reg315=0x58 & regdn {
regdn = ((regdn & 0x000000FF) << 24) | ((regdn & 0x0000FF00) << 8) | ((regdn & 0x00FF0000) >> 8) | ((regdn & 0xFF000000) >> 24);
}
@endif # COLDFIRE
:callm "#"^d8,e2l is opbig=6 & op67=3 & $(CTL_ADDR_MODES); d8; e2l [ savmod2=savmod1; regtsan=regtfan; ] unimpl
#TODO: should constrain CAS to ignore mode=7 & regan=4 (place CAS2 before CAS to avoid problem)
@ -2507,6 +2528,15 @@ accreg: ACC1 is ACC1 & acclsb=1 ; accmsb=0 { export ACC1; }
accreg: ACC2 is ACC2 & acclsb=0 ; accmsb=1 { export ACC2; }
accreg: ACC3 is ACC3 & acclsb=1 ; accmsb=1 { export ACC3; }
define pcodeop findFirstOne;
:ff1 regdn is reg315=0x98 & regdn {
regdn = findFirstOne(regdn);
VF = 0;
CF = 0;
resflags(regdn);
}
:mac^worl reg03y^uorl6, reg9dn^uorl7^scalefactor, accreg is (op=10 & reg9dn & reg03y & op6=0 & op8=0 & op45=0 ; fbit=0 & worl & uorl6 & uorl7 & scalefactor) ... & accreg ...
{
local tmp = reg03y * reg9dn;

35
Ghidra/Processors/68000/src/main/java/ghidra/program/emulation/m68kEmulateInstructionStateModifier.java
View file

@ -18,6 +18,10 @@ package ghidra.program.emulation;
import ghidra.pcode.emulate.Emulate;
import ghidra.pcode.emulate.EmulateInstructionStateModifier;
import ghidra.pcode.emulate.callother.CountLeadingZerosOpBehavior;
import ghidra.pcode.emulate.callother.OpBehaviorOther;
import ghidra.pcode.memstate.MemoryState;
import ghidra.pcodeCPort.error.LowlevelError;
import ghidra.program.model.pcode.Varnode;
public class m68kEmulateInstructionStateModifier extends EmulateInstructionStateModifier {
@ -45,6 +49,7 @@ public class m68kEmulateInstructionStateModifier extends EmulateInstructionState
// ghidra/Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcode/emulate/callother
registerPcodeOpBehavior("countLeadingZeros", new CountLeadingZerosOpBehavior());
registerPcodeOpBehavior("findFirstOne", new FindFirstOneOpBehavior());
}
/**
@ -107,4 +112,34 @@ public class m68kEmulateInstructionStateModifier extends EmulateInstructionState
}
}
*/
private static class FindFirstOneOpBehavior implements OpBehaviorOther {
@Override
public void evaluate(Emulate emu, Varnode out, Varnode[] inputs) {
if (out == null) {
throw new LowlevelError("CALLOTHER: Find First One op missing required output");
}
if (inputs.length != 2 || inputs[1].getSize() == 0 || !inputs[1].isRegister()) {
throw new LowlevelError(
"CALLOTHER: Find First One op requires one register varnode input");
}
Varnode in = inputs[1];
MemoryState memoryState = emu.getMemoryState();
long value = memoryState.getValue(in);
long size = in.getSize() * 8;
long count = size - 1;
long mask = 1L << count;
while ((count >= 0) && ((mask & value) == 0)) {
--count;
value = value << 1;
}
memoryState.setValue(out, count >= 0 ? count : size);
}
}
}