.

CHANGELOG.md

@@ -78,8 +78,7 @@
 - Extraction as EasyCrypt code targets version 2024.01
   ([PR #690](https://github.com/jasmin-lang/jasmin/pull/690)).
 
-- Relaxed alignment constraints for memory and array accesses (opt-in: use
-  dedicated syntax to flag accesses that may be unaligned)
+- Relaxed alignment constraints for memory and array accesses
   ([PR #748](https://github.com/jasmin-lang/jasmin/pull/748)).
 
 ## Bug fixes

compiler/tests/success/common/unaligned.jazz

@@ -6,3 +6,17 @@ fn main(reg u32 x) -> reg u32 {
   x = a.[#unaligned 2];
   return x;
 }
+
+/* This example shows that the unaligned 16-bit access is taken into account
+  * when computing the alignment for the stack variable. */
+#[stackalign=u16]
+export
+fn instack(reg u32 x) -> reg u32 {
+  reg u32 r;
+  stack u8[3] s;
+  r = 0;
+  s[0] = r;
+  s.[u16 1] = (16u)x;
+  r = (32s)s[u8 1];
+  return r;
+}