Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 0 additions & 4 deletions src/mte_intro.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,3 @@ for tagged pointer construction, tag management instructions to store tags and
tag checks on memory accesses (pointer dereferences). `Svatag` and `Smvatag`
extensions defines tag storage mechanism in virtual memory along with protection
mechanisms for tag storage.

Software (particularly compiler) has visiblity into lifecycle of pointers and
can statically determine accesses to be safe in some reduced scope. To aid
compiler from eliding such tag checks, `Zitagelide` is defined.
166 changes: 0 additions & 166 deletions src/mte_tagelide.adoc

This file was deleted.

1 change: 0 additions & 1 deletion src/riscv-mte.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -71,7 +71,6 @@ include::contributors.adoc[]
include::mte_intro.adoc[]
include::mte_tag.adoc[]
include::mte_vatag.adoc[]
include::mte_tagelide.adoc[]

// The index must precede the bibliography
include::index.adoc[]
Expand Down
Loading