Memory Transform Bug #592

[JTrenerry]

Fixes #592.

Code is quiet ugly as Loads cannot be directly changed to a Extract, so BVSHL / BVLSHR are used instead to mediate this change.

TODO:

• : Fix index to be dynamic
• : Formating
• : CustomSort and MapType
• : Remove / simplify long comment explaining store process
• : Find and Fix why tests fail

[github-actions]

scalafmt changes needed.

options to apply scalafmt changes:

run this command:

echo 'From cebe5b72396161763fb57851dc8d0fd89483e4ed Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 28 Jan 2026 02:28:31 +0000
Subject: [PATCH] automated scalafmt

---
 src/main/scala/ir/transforms/MemoryTransform.scala | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/main/scala/ir/transforms/MemoryTransform.scala b/src/main/scala/ir/transforms/MemoryTransform.scala
index 8f7b364..0ed42db 100644
--- a/src/main/scala/ir/transforms/MemoryTransform.scala
+++ b/src/main/scala/ir/transforms/MemoryTransform.scala
@@ -190,8 +190,3 @@ class MemoryTransform(dsa: Map[Procedure, IntervalGraph], globals: Map[IntervalN
                 ChangeTo(List(LocalAssign(lhs, resBV, store.label)))
-              else
-                ChangeTo(
-                  List(
-                    LocalAssign(LocalVar(name, store.value.getType), store.value, store.label)
-                  )
-                )
+              else ChangeTo(List(LocalAssign(LocalVar(name, store.value.getType), store.value, store.label)))
             else if !flag.escapes || isGlobal(flag) then
-- 
2.52.0' | git am -3

or, trigger a workflow run on mem-transform-bug with autoformat=true, either by using the website or by using the gh tool:

gh workflow run format.yml --field "autoformat=true" --ref 'mem-transform-bug'

or, run the formatter locally:

./mill -i fmt

last updated at 55ce8c1 (logs).

[l-kent]

This approach isn't going to do anything to address the problem here. A more detailed explanation is here: #592 (comment)

[JTrenerry]

#592