Skip to content

Commit bfe003d

Browse files
Remove dependency between InaccessibleMem and TargetMem
Also adds a not in LangRef saying that target memories are in development stage
1 parent dbc1676 commit bfe003d

File tree

2 files changed

+2
-5
lines changed

2 files changed

+2
-5
lines changed

llvm/docs/LangRef.rst

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2223,7 +2223,8 @@ For example:
22232223
- ``errnomem``: This refers to accesses to the ``errno`` variable.
22242224
- ``target_mem#`` : These refer to target specific state that cannot be
22252225
accessed by any other means. # is a number between 0 and 1 inclusive.
2226-
2226+
Note: The target_mem locations are experimental and intended for internal
2227+
testing only. They must not be used in production code.
22272228

22282229
- The default access kind (specified without a location prefix) applies to
22292230
all locations that haven't been specified explicitly, including those that

llvm/include/llvm/Support/ModRef.h

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -238,8 +238,6 @@ template <typename LocationEnum> class MemoryEffectsBase {
238238
/// Whether this function only (at most) accesses inaccessible memory.
239239
bool onlyAccessesInaccessibleMem() const {
240240
return getWithoutLoc(Location::InaccessibleMem)
241-
.getWithoutLoc(IRMemLocation::TargetMem0)
242-
.getWithoutLoc(IRMemLocation::TargetMem1)
243241
.doesNotAccessMemory();
244242
}
245243

@@ -253,8 +251,6 @@ template <typename LocationEnum> class MemoryEffectsBase {
253251
bool onlyAccessesInaccessibleOrArgMem() const {
254252
return getWithoutLoc(Location::InaccessibleMem)
255253
.getWithoutLoc(Location::ArgMem)
256-
.getWithoutLoc(Location::TargetMem0)
257-
.getWithoutLoc(Location::TargetMem1)
258254
.doesNotAccessMemory();
259255
}
260256

0 commit comments

Comments
 (0)