asm mode: only create deref constraints if align > load size

Otherwise the constraint is implied
AliveToolkit · Dec 25, 2023 · 3dbff83 · 3dbff83
1 parent ff88897
commit 3dbff83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>(