src/mte_tagelide: remove zitagelide (#81)

code page's MTE bit gives a mechanism to elide tag checks even if data
pointer had MTE set. Removing zitagelide.

Signed-off-by: Deepak Gupta <[email protected]>

Author: deepak0414

src/mte_intro.adoc

@@ -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.

src/mte_tagelide.adoc

@@ -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[]