summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJay Foad <jay.foad@gmail.com>2024-04-26 14:47:16 +0100
committerGitHub <noreply@github.com>2024-04-26 14:47:16 +0100
commitcb37105c23926b07488c2f0a9a603634d9be4936 (patch)
tree221857ad36b701aa408ece89ac74cfe8135fadff
parent904b1a850536d273b0e11bd17a7ea642ba3b5bc4 (diff)
Revert "[TableGen] Ignore inaccessible memory when checking pattern flags (#9…"upstream/revert-90061-tablegen-ignore-inaccessible
This reverts commit 6578356a4e3e6acd7983c74feab43ac96925894c.
-rw-r--r--llvm/utils/TableGen/Common/CodeGenDAGPatterns.cpp10
1 files changed, 1 insertions, 9 deletions
diff --git a/llvm/utils/TableGen/Common/CodeGenDAGPatterns.cpp b/llvm/utils/TableGen/Common/CodeGenDAGPatterns.cpp
index e0e31739e262..88d353e89a46 100644
--- a/llvm/utils/TableGen/Common/CodeGenDAGPatterns.cpp
+++ b/llvm/utils/TableGen/Common/CodeGenDAGPatterns.cpp
@@ -3616,15 +3616,7 @@ public:
hasChain = true;
if (const CodeGenIntrinsic *IntInfo = N.getIntrinsicInfo(CDP)) {
- // Ignore reads/writes to inaccessible memory. These should not imply
- // mayLoad/mayStore on the instruction because they are often used to
- // model dependencies that Machine IR expresses as uses/defs of a
- // special physical register.
- ModRefInfo MR = ModRefInfo::NoModRef;
- for (MemoryEffects::Location Loc : MemoryEffects::locations()) {
- if (Loc != MemoryEffects::Location::InaccessibleMem)
- MR |= IntInfo->ME.getModRef();
- }
+ ModRefInfo MR = IntInfo->ME.getModRef();
// If this is an intrinsic, analyze it.
if (isRefSet(MR))
mayLoad = true; // These may load memory.