From aaaeac616692a6bdb0ee1e7a9977f7fde9dcb364 Mon Sep 17 00:00:00 2001 From: Andrea Di Biagio Date: Wed, 5 Feb 2020 12:51:29 +0000 Subject: [PATCH] [MCA] Remove verification check on MayLoad and MayStore. NFCI Field NumMicroOpcodes is currently used by mca to model the number of uOPs dispatched from the uOp-Queue to the out of order backend. From a 'dispatch' point of view, an instruction with zero opcodes is still valid; it simply doesn't consume any dispatch group slots. However, mca doesn't expect an instruction with zero uOPs to consume pipeline resources because it is seen as a contradiction. In practice, it only makes sense if such an instruction is eliminated and never really executed. It may be that mca is being too conservative here. However I believe that mca is right, and we should probably check that inconsistency in CodeGenSchedule.cpp (when we also verify scheduling classes in general). This patch removes the check for MayLoad and MayStore in mca. That check is probably too conservative: we are already checking if a zero-uops instruction consumes any processor resources. Note also that instructions with unmodelled side-effects also tend to set the MayLoad/MayStore flags even if - theoretically speaking - they might not even consume any hw resources in practice. In future we may want to implement different checks (possibly outside of mca) and potentially revisit the logic in mca that verifies instructions. For that reason I have raised PR44797. --- llvm/lib/MCA/InstrBuilder.cpp | 18 +++++------------- 1 file changed, 5 insertions(+), 13 deletions(-) diff --git a/llvm/lib/MCA/InstrBuilder.cpp b/llvm/lib/MCA/InstrBuilder.cpp index f3c7134..b2503f3 100644 --- a/llvm/lib/MCA/InstrBuilder.cpp +++ b/llvm/lib/MCA/InstrBuilder.cpp @@ -485,23 +485,15 @@ Error InstrBuilder::verifyInstrDesc(const InstrDesc &ID, if (ID.NumMicroOps != 0) return ErrorSuccess(); - bool UsesMemory = ID.MayLoad || ID.MayStore; bool UsesBuffers = ID.UsedBuffers; bool UsesResources = !ID.Resources.empty(); - if (!UsesMemory && !UsesBuffers && !UsesResources) + if (!UsesBuffers && !UsesResources) return ErrorSuccess(); - StringRef Message; - if (UsesMemory) { - Message = "found an inconsistent instruction that decodes " - "into zero opcodes and that consumes load/store " - "unit resources."; - } else { - Message = "found an inconsistent instruction that decodes " - "to zero opcodes and that consumes scheduler " - "resources."; - } - + // FIXME: see PR44797. We should revisit these checks and possibly move them + // in CodeGenSchedule.cpp. + StringRef Message = "found an inconsistent instruction that decodes to zero " + "opcodes and that consumes scheduler resources."; return make_error>(std::string(Message), MCI); } -- 2.7.4