Implement aligned attribute

1 files changed, 41 insertions, 0 deletions

diff --git a/testsuite/runnable/aligned_attribute.elna b/testsuite/runnable/aligned_attribute.elna
new file mode 100644
index 0000000..330847e
--- /dev/null
+++ b/testsuite/runnable/aligned_attribute.elna
@@ -0,0 +1,41 @@
+type
+  Plain = record
+    a: Word8;
+    b: Word8
+  end
+
+  Spread = record
+    a, #aligned(8) b: Word8
+  end
+
+  Packed = record
+    a: Word8;
+    #aligned(1) wide: Word
+  end
+
+  Over = #aligned(16) record
+    a: Word8
+  end
+
+var
+  #aligned(32) tuned: Word8
+  spread: Spread
+  first: ^Word8
+  second: ^Word8
+
+program()
+begin
+  assert(#size(Plain) = 2u);
+  assert(#size(Spread) = 16u);
+  assert(#offset(Spread, a) = 0u);
+  assert(#offset(Spread, b) = 8u);
+  assert(#size(Packed) = 9u);
+  assert(#offset(Packed, wide) = 1u);
+  assert(#size(Over) = 16u);
+  assert(#alignment(Over) = 16u);
+  first := @spread.a;
+  second := @spread.b;
+  assert(cast(second: Word) - cast(first: Word) = 8u)
+return 0u8
+
+end.