From 3dbff839ad283fa5c1df729d239d519f629d99a3 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Mon, 25 Dec 2023 11:20:08 +0000
Subject: [PATCH] asm mode: only create deref constraints if align > load size
 Otherwise the constraint is implied

---
 tools/transform.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/transform.cpp b/tools/transform.cpp
index 57f47383f..ce7874935 100644
--- a/tools/transform.cpp
+++ b/tools/transform.cpp
@@ -1634,7 +1634,7 @@ void Transform::preprocess() {
       for (auto &i : bb->instrs()) {
         if (auto *load = dynamic_cast<const Load*>(&i)) {
           auto align = load->getAlign();
-          if (align != 1) {
+          if (align > load->getMaxAccessSize()) {
             static IntType i64("i64", 64);
             auto bytes = make_unique<IntConst>(i64, align);
             to_add.emplace_back(load, make_unique<Assume>(