mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-05-24 18:38:50 +00:00
Relex assertions to account for additional implicit def / use operands.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36430 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
79b3bd395d
commit
1e341729dd
@ -52,7 +52,7 @@ bool ARMInstrInfo::isMoveInstr(const MachineInstr &MI,
|
|||||||
return true;
|
return true;
|
||||||
case ARM::MOVr:
|
case ARM::MOVr:
|
||||||
case ARM::tMOVr:
|
case ARM::tMOVr:
|
||||||
assert(MI.getNumOperands() == 2 && MI.getOperand(0).isRegister() &&
|
assert(MI.getNumOperands() >= 2 && MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
"Invalid ARM MOV instruction");
|
"Invalid ARM MOV instruction");
|
||||||
SrcReg = MI.getOperand(1).getReg();
|
SrcReg = MI.getOperand(1).getReg();
|
||||||
|
@ -33,7 +33,7 @@ bool AlphaInstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
oc == Alpha::CPYSTs) {
|
oc == Alpha::CPYSTs) {
|
||||||
// or r1, r2, r2
|
// or r1, r2, r2
|
||||||
// cpys(s|t) r1 r2 r2
|
// cpys(s|t) r1 r2 r2
|
||||||
assert(MI.getNumOperands() == 3 &&
|
assert(MI.getNumOperands() >= 3 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
MI.getOperand(2).isRegister() &&
|
MI.getOperand(2).isRegister() &&
|
||||||
|
@ -30,7 +30,7 @@ bool IA64InstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
MachineOpCode oc = MI.getOpcode();
|
MachineOpCode oc = MI.getOpcode();
|
||||||
if (oc == IA64::MOV || oc == IA64::FMOV) {
|
if (oc == IA64::MOV || oc == IA64::FMOV) {
|
||||||
// TODO: this doesn't detect predicate moves
|
// TODO: this doesn't detect predicate moves
|
||||||
assert(MI.getNumOperands() == 2 &&
|
assert(MI.getNumOperands() >= 2 &&
|
||||||
/* MI.getOperand(0).isRegister() &&
|
/* MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() && */
|
MI.getOperand(1).isRegister() && */
|
||||||
"invalid register-register move instruction");
|
"invalid register-register move instruction");
|
||||||
|
@ -38,7 +38,7 @@ bool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
MachineOpCode oc = MI.getOpcode();
|
MachineOpCode oc = MI.getOpcode();
|
||||||
if (oc == PPC::OR || oc == PPC::OR8 || oc == PPC::VOR ||
|
if (oc == PPC::OR || oc == PPC::OR8 || oc == PPC::VOR ||
|
||||||
oc == PPC::OR4To8 || oc == PPC::OR8To4) { // or r1, r2, r2
|
oc == PPC::OR4To8 || oc == PPC::OR8To4) { // or r1, r2, r2
|
||||||
assert(MI.getNumOperands() == 3 &&
|
assert(MI.getNumOperands() >= 3 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
MI.getOperand(2).isRegister() &&
|
MI.getOperand(2).isRegister() &&
|
||||||
@ -49,7 +49,7 @@ bool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
} else if (oc == PPC::ADDI) { // addi r1, r2, 0
|
} else if (oc == PPC::ADDI) { // addi r1, r2, 0
|
||||||
assert(MI.getNumOperands() == 3 &&
|
assert(MI.getNumOperands() >= 3 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(2).isImmediate() &&
|
MI.getOperand(2).isImmediate() &&
|
||||||
"invalid PPC ADDI instruction!");
|
"invalid PPC ADDI instruction!");
|
||||||
@ -59,7 +59,7 @@ bool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
} else if (oc == PPC::ORI) { // ori r1, r2, 0
|
} else if (oc == PPC::ORI) { // ori r1, r2, 0
|
||||||
assert(MI.getNumOperands() == 3 &&
|
assert(MI.getNumOperands() >= 3 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
MI.getOperand(2).isImmediate() &&
|
MI.getOperand(2).isImmediate() &&
|
||||||
@ -71,7 +71,7 @@ bool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
}
|
}
|
||||||
} else if (oc == PPC::FMRS || oc == PPC::FMRD ||
|
} else if (oc == PPC::FMRS || oc == PPC::FMRD ||
|
||||||
oc == PPC::FMRSD) { // fmr r1, r2
|
oc == PPC::FMRSD) { // fmr r1, r2
|
||||||
assert(MI.getNumOperands() == 2 &&
|
assert(MI.getNumOperands() >= 2 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
"invalid PPC FMR instruction");
|
"invalid PPC FMR instruction");
|
||||||
@ -79,7 +79,7 @@ bool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
destReg = MI.getOperand(0).getReg();
|
destReg = MI.getOperand(0).getReg();
|
||||||
return true;
|
return true;
|
||||||
} else if (oc == PPC::MCRF) { // mcrf cr1, cr2
|
} else if (oc == PPC::MCRF) { // mcrf cr1, cr2
|
||||||
assert(MI.getNumOperands() == 2 &&
|
assert(MI.getNumOperands() >= 2 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
"invalid PPC MCRF instruction");
|
"invalid PPC MCRF instruction");
|
||||||
|
@ -39,7 +39,7 @@ bool X86InstrInfo::isMoveInstr(const MachineInstr& MI,
|
|||||||
oc == X86::MOVSS2PSrr || oc == X86::MOVSD2PDrr ||
|
oc == X86::MOVSS2PSrr || oc == X86::MOVSD2PDrr ||
|
||||||
oc == X86::MOVPS2SSrr || oc == X86::MOVPD2SDrr ||
|
oc == X86::MOVPS2SSrr || oc == X86::MOVPD2SDrr ||
|
||||||
oc == X86::MMX_MOVD64rr || oc == X86::MMX_MOVQ64rr) {
|
oc == X86::MMX_MOVD64rr || oc == X86::MMX_MOVQ64rr) {
|
||||||
assert(MI.getNumOperands() == 2 &&
|
assert(MI.getNumOperands() >= 2 &&
|
||||||
MI.getOperand(0).isRegister() &&
|
MI.getOperand(0).isRegister() &&
|
||||||
MI.getOperand(1).isRegister() &&
|
MI.getOperand(1).isRegister() &&
|
||||||
"invalid register-register move instruction");
|
"invalid register-register move instruction");
|
||||||
|
Loading…
x
Reference in New Issue
Block a user