improve alias analysis to reject blocks that are smaller than access …

…size
AliveToolkit · Dec 24, 2023 · 87deb56 · 87deb56
1 parent c9f29fb
commit 87deb56
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ir/memory.cpp b/ir/memory.cpp
@@ -838,7 +838,9 @@ bool Memory::mayalias(bool local, unsigned bid0, const expr &offset0,
 
   if (auto sz = (local ? local_blk_size : non_local_blk_size).lookup(bid)) {
     expr offset = offset0.sextOrTrunc(bits_size_t);
-    if (offset.uge(*sz).isTrue() || (*sz - offset).ult(bytes).isTrue())
+    if (offset.uge(*sz).isTrue() ||
+        sz->ult(bytes).isTrue() ||
+        (*sz - offset).ult(bytes).isTrue())
       return false;
   } else if (local) // allocated in another branch
     return false;