On ARM: Don't be spooked by Puts to the translation-invalidation spec

when doing origin tracking, even though they are completely irrelevant.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13177

diff --git a/memcheck/mc_machine.c b/memcheck/mc_machine.c
index 96609a595ae40eb0cfb6129746498b5fadbea849..fad071c6c5f9c75b9739542360a4e02ed3a4e7ee 100644 (file)
--- a/memcheck/mc_machine.c
+++ b/memcheck/mc_machine.c
@@ -940,6 +940,9 @@ static Int get_otrack_shadow_offset_wrk ( Int offset, Int szB )
       if (o >= GOF(D30) && o+sz <= GOF(D30)+2*SZB(D30)) return GOF(D30); // Q15
    }
 
+   if (o == GOF(TISTART) && sz == 4) return -1;
+   if (o == GOF(TILEN)   && sz == 4) return -1;
+
    VG_(printf)("MC_(get_otrack_shadow_offset)(arm)(off=%d,sz=%d)\n",
                offset,szB);
    tl_assert(0);