[CodeGen] Make logic of CCState::resultsCompatible clearer

This commit is contained in:
David Spickett 2020-05-06 09:48:58 +01:00
parent d80715d1d4
commit d782d1f898
1 changed files with 7 additions and 11 deletions

View File

@ -276,18 +276,14 @@ bool CCState::resultsCompatible(CallingConv::ID CalleeCC,
for (unsigned I = 0, E = RVLocs1.size(); I != E; ++I) {
const CCValAssign &Loc1 = RVLocs1[I];
const CCValAssign &Loc2 = RVLocs2[I];
if (Loc1.getLocInfo() != Loc2.getLocInfo())
if ( // Must both be in registers, or both in memory
Loc1.isRegLoc() != Loc2.isRegLoc() ||
// Must fill the same part of their locations
Loc1.getLocInfo() != Loc2.getLocInfo() ||
// Memory offset/register number must be the same
Loc1.getExtraInfo() != Loc1.getExtraInfo())
return false;
bool RegLoc1 = Loc1.isRegLoc();
if (RegLoc1 != Loc2.isRegLoc())
return false;
if (RegLoc1) {
if (Loc1.getLocReg() != Loc2.getLocReg())
return false;
} else {
if (Loc1.getLocMemOffset() != Loc2.getLocMemOffset())
return false;
}
}
return true;
}