From 1f817417cb820f356fb2afa7ac9e18d7ef054198 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 5 Jun 2013 17:14:32 -0700 Subject: [PATCH] execution: document additional mo_may_allow() optimization mo_may_allow() actually performs two optimizations, not just the one that is documented in its header. --- execution.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/execution.cc b/execution.cc index 07866fe..e04b672 100644 --- a/execution.cc +++ b/execution.cc @@ -1820,6 +1820,7 @@ bool ModelExecution::thin_air_constraint_may_allow(const ModelAction *writer, co * require compiler support): * * If X --hb-> Y --mo-> Z, then X should not read from Z. + * If X --hb-> Y, A --rf-> Y, and A --mo-> Z, then X should not read from Z. */ bool ModelExecution::mo_may_allow(const ModelAction *writer, const ModelAction *reader) { -- 2.34.1