From aa875f8c6fdf3a7a26ccc381cf8ecd2b69678dad Mon Sep 17 00:00:00 2001 From: Jim Grosbach Date: Tue, 23 Aug 2011 18:13:04 +0000 Subject: [PATCH] Factor low reg checking into a helper function. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@138344 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/ARM/AsmParser/ARMAsmParser.cpp | 58 +++++++++++++---------- 1 file changed, 32 insertions(+), 26 deletions(-) diff --git a/lib/Target/ARM/AsmParser/ARMAsmParser.cpp b/lib/Target/ARM/AsmParser/ARMAsmParser.cpp index 953e3d95697..931bd365248 100644 --- a/lib/Target/ARM/AsmParser/ARMAsmParser.cpp +++ b/lib/Target/ARM/AsmParser/ARMAsmParser.cpp @@ -3047,6 +3047,24 @@ bool ARMAsmParser::ParseInstruction(StringRef Name, SMLoc NameLoc, } // Validate context-sensitive operand constraints. + +// return 'true' if register list contains non-low GPR registers, +// 'false' otherwise. If Reg is in the register list or is HiReg, set +// 'containsReg' to true. +static bool checkLowRegisterList(MCInst Inst, unsigned OpNo, unsigned Reg, + unsigned HiReg, bool &containsReg) { + containsReg = false; + for (unsigned i = OpNo; i < Inst.getNumOperands(); ++i) { + unsigned OpReg = Inst.getOperand(i).getReg(); + if (OpReg == Reg) + containsReg = true; + // Anything other than a low register isn't legal here. + if (!isARMLowRegister(OpReg) && (!HiReg || OpReg != HiReg)) + return true; + } + return false; +} + // FIXME: We would really like to be able to tablegen'erate this. bool ARMAsmParser:: validateInstruction(MCInst &Inst, @@ -3101,22 +3119,16 @@ validateInstruction(MCInst &Inst, bool hasWritebackToken = (static_cast(Operands[3])->isToken() && static_cast(Operands[3])->getToken() == "!"); - bool doesWriteback = true; - for (unsigned i = 3; i < Inst.getNumOperands(); ++i) { - unsigned Reg = Inst.getOperand(i).getReg(); - if (Reg == Rn) - doesWriteback = false; - // Anything other than a low register isn't legal here. - if (!isARMLowRegister(Reg)) - return Error(Operands[3 + hasWritebackToken]->getStartLoc(), - "registers must be in range r0-r7"); - } + bool listContainsBase; + if (checkLowRegisterList(Inst, 3, Rn, 0, listContainsBase)) + return Error(Operands[3 + hasWritebackToken]->getStartLoc(), + "registers must be in range r0-r7"); // If we should have writeback, then there should be a '!' token. - if (doesWriteback && !hasWritebackToken) + if (!listContainsBase && !hasWritebackToken) return Error(Operands[2]->getStartLoc(), "writeback operator '!' expected"); // Likewise, if we should not have writeback, there must not be a '!' - if (!doesWriteback && hasWritebackToken) + if (listContainsBase && hasWritebackToken) return Error(Operands[3]->getStartLoc(), "writeback operator '!' not allowed when base register " "in register list"); @@ -3124,23 +3136,17 @@ validateInstruction(MCInst &Inst, break; } case ARM::tPOP: { - for (unsigned i = 2; i < Inst.getNumOperands(); ++i) { - unsigned Reg = Inst.getOperand(i).getReg(); - // Anything other than a low register isn't legal here. - if (!isARMLowRegister(Reg) && Reg != ARM::PC) - return Error(Operands[2]->getStartLoc(), - "registers must be in range r0-r7 or pc"); - } + bool listContainsBase; + if (checkLowRegisterList(Inst, 3, 0, ARM::PC, listContainsBase)) + return Error(Operands[2]->getStartLoc(), + "registers must be in range r0-r7 or pc"); break; } case ARM::tPUSH: { - for (unsigned i = 2; i < Inst.getNumOperands(); ++i) { - unsigned Reg = Inst.getOperand(i).getReg(); - // Anything other than a low register isn't legal here. - if (!isARMLowRegister(Reg) && Reg != ARM::LR) - return Error(Operands[2]->getStartLoc(), - "registers must be in range r0-r7 or lr"); - } + bool listContainsBase; + if (checkLowRegisterList(Inst, 3, 0, ARM::LR, listContainsBase)) + return Error(Operands[2]->getStartLoc(), + "registers must be in range r0-r7 or lr"); break; } }