yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-03 17:59:46 +02:00
Code Issues Releases Wiki Activity

Collapse constants in distributeIntMult

Browse source
This commit is contained in:
caheckman 2020-04-29 13:09:39 -04:00
parent 0dcf55b7c8
commit 9802ba970e
1 changed files with 31 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

57
Ghidra/Features/Decompiler/src/decompile/cpp/funcdata_op.cc
View file

@ -1019,8 +1019,7 @@ bool Funcdata::replaceLessequal(Funcdata &data,PcodeOp *op)
bool Funcdata::distributeIntMult(Funcdata &data,PcodeOp *op) bool Funcdata::distributeIntMult(Funcdata &data,PcodeOp *op)
{ {
Varnode *newvn1,*newvn2,*newcvn; Varnode *newvn0,*newvn1;
PcodeOp *newop1, *newop2;
PcodeOp *addop = op->getIn(0)->getDef(); PcodeOp *addop = op->getIn(0)->getDef();
Varnode *vn0 = addop->getIn(0); Varnode *vn0 = addop->getIn(0);
Varnode *vn1 = addop->getIn(1); Varnode *vn1 = addop->getIn(1);
@ -1029,32 +1028,38 @@ bool Funcdata::distributeIntMult(Funcdata &data,PcodeOp *op)
uintb coeff = op->getIn(1)->getOffset(); uintb coeff = op->getIn(1)->getOffset();
int4 size = op->getOut()->getSize(); int4 size = op->getOut()->getSize();
// Do distribution // Do distribution
newop1 = data.newOp(2,op->getAddr()); if (vn0->isConstant()) {
data.opSetOpcode(newop1,CPUI_INT_MULT); uintb val = coeff * vn0->getOffset();
newvn1 = data.newUniqueOut(size,newop1); val &= calc_mask(size);
newvn0 = data.newConstant(size,val);
}
else {
PcodeOp *newop0 = data.newOp(2,op->getAddr());
data.opSetOpcode(newop0,CPUI_INT_MULT);
newvn0 = data.newUniqueOut(size,newop0);
data.opSetInput(newop0, vn0, 0); // To first input of original add
Varnode *newcvn = data.newConstant(size,coeff);
data.opSetInput(newop0, newcvn, 1);
data.opInsertBefore(newop0, op);
}
newop2 = data.newOp(2,op->getAddr()); if (vn1->isConstant()) {
data.opSetOpcode(newop2,CPUI_INT_MULT); uintb val = coeff * vn1->getOffset();
newvn2 = data.newUniqueOut(size,newop2); val &= calc_mask(size);
newvn1 = data.newConstant(size,val);
}
else {
PcodeOp *newop1 = data.newOp(2,op->getAddr());
data.opSetOpcode(newop1,CPUI_INT_MULT);
newvn1 = data.newUniqueOut(size,newop1);
data.opSetInput(newop1, vn1, 0); // To second input of original add
Varnode *newcvn = data.newConstant(size,coeff);
data.opSetInput(newop1, newcvn, 1);
data.opInsertBefore(newop1, op);
}
if (vn0->isConstant()) data.opSetInput( op, newvn0, 0); // new ADD's inputs are outputs of new MULTs
data.opSetInput(newop1, data.newConstant(size,vn0->getOffset()),0); data.opSetInput( op, newvn1, 1);
else
data.opSetInput(newop1, vn0, 0); // To first input of original add
newcvn = data.newConstant(size,coeff);
data.opSetInput(newop1, newcvn, 1);
data.opInsertBefore(newop1, op);
if (vn1->isConstant())
data.opSetInput(newop2, data.newConstant(size,vn1->getOffset()),0);
else
data.opSetInput(newop2, vn1, 0); // To second input of original add
newcvn = data.newConstant(size,coeff);
data.opSetInput(newop2, newcvn, 1);
data.opInsertBefore(newop2, op);
data.opSetInput( op, newvn1, 0); // new ADD's inputs are outputs of new MULTs
data.opSetInput( op, newvn2, 1);
data.opSetOpcode(op, CPUI_INT_ADD); data.opSetOpcode(op, CPUI_INT_ADD);
return true; return true;