ASM mode: fix ptr refinement with p+n physical pointers

AliveToolkit · Nov 22, 2023 · 3bb251a · 3bb251a
1 parent 05ebde4
commit 3bb251a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ir/pointer.cpp b/ir/pointer.cpp
@@ -539,7 +539,9 @@ expr Pointer::refined(const Pointer &other) const {
 
   return expr::mkIf(isNull(), other.isNull(),
                     expr::mkIf(isLocal(), std::move(local), nonlocal) &&
-                      isBlockAlive().implies(other_deref.isBlockAlive()));
+                      // FIXME: this should be disabled just for phy pointers
+                      (is_asm ? expr(true)
+                        : isBlockAlive().implies(other_deref.isBlockAlive())));
 }
 
 expr Pointer::fninputRefined(const Pointer &other, set<expr> &undef,