LimEx NFA: unify flush br/estate behaviour

Make the GPR NFA models only clear cached_estate conditionally based on
cached_br, as per the SIMD models.
This commit is contained in:
Justin Viiret 2015-11-02 12:00:09 +11:00 committed by Matthew Barr
parent b5e290e985
commit 4311775b43

View File

@ -120,7 +120,9 @@ int processExceptional32(u32 s, u32 estate, UNUSED u32 diffmask, u32 *succ,
ctx->cached_reports = new_cache.reports;
ctx->cached_br = new_cache.br;
} else if (cacheable == DO_NOT_CACHE_RESULT_AND_FLUSH_BR_ENTRIES) {
ctx->cached_estate = 0U;
if (ctx->cached_br) {
ctx->cached_estate = 0U;
}
}
return 0;