armv6m: add an assert for size_t size

Signed-off-by: Paul Guyot <pguyot@kallisys.net>

Author: pguyot

libs/jit/src/jit_x86_64_asm.erl

@@ -209,6 +209,36 @@ movq(RegA, {Offset, RegB, RegC, Scale}) when
         MODRM_BASE:3,
         Offset:32/little
     >>;
+movq(Imm, {Offset, Base, Index, Scale}) when
+    is_integer(Imm),
+    is_atom(Base),
+    is_atom(Index),
+    (Scale == 1 orelse Scale == 2 orelse Scale == 4 orelse Scale == 8),
+    ?IS_SINT8_T(Offset),
+    Offset =/= 0
+->
+    {REX_B, MODRM_BASE} = x86_64_x_reg(Base),
+    {REX_X, MODRM_INDEX} = x86_64_x_reg(Index),
+    ScaleBits =
+        case Scale of
+            1 -> 0;
+            2 -> 1;
+            4 -> 2;
+            8 -> 3
+        end,
+    % rm=100 for SIB, mod=01 for disp8
+    <<
+        ?X86_64_REX(1, 0, REX_X, REX_B),
+        16#c7,
+        1:2,
+        0:3,
+        4:3,
+        ScaleBits:2,
+        MODRM_INDEX:3,
+        MODRM_BASE:3,
+        Offset,
+        Imm:32/little
+    >>;
 movq(Imm, {Offset, Base, Index, Scale}) when
     is_integer(Imm),
     is_atom(Base),

src/libAtomVM/jit.c

@@ -222,6 +222,7 @@ _Static_assert(offsetof(JITState, continuation) == 0x4, "jit_state->continuation
 _Static_assert(offsetof(JITState, remaining_reductions) == 0x8, "jit_state->remaining_reductions is 0x8 in jit/src/jit_armv6m.erl");
 
 _Static_assert(sizeof(avm_float_t) == 0x8, "sizeof(avm_float_t) is 0x8 in jit/src/jit_armv6m.erl");
+_Static_assert(sizeof(size_t) == 4, "size_t is expected to be 32 bits");
 #else
 #error Unknown jit target
 #endif

tests/libs/jit/jit_x86_64_asm_tests.erl

@@ -716,35 +716,55 @@ leaq_test_() ->
 
 movq_sib_test_() ->
     [
-        % movq %rax, 16#10(%rdx,%rcx,2)
-        ?_assertEqual(
-            % REX.W, ModRM, SIB, disp8
+        ?_assertAsmEqual(
             <<16#48, 16#89, 16#44, 16#4A, 16#10>>,
+            "mov %rax,0x10(%rdx,%rcx,2)",
             jit_x86_64_asm:movq(rax, {16, rdx, rcx, 2})
         ),
-        % movq %r8, -0x80(%r9,%r10,4)
-        ?_assertEqual(
-            % REX.WRXB, ModRM, SIB, disp32
+        ?_assertAsmEqual(
             <<16#4F, 16#89, 16#44, 16#91, 16#80>>,
+            "mov %r8,-0x80(%r9,%r10,4)",
             jit_x86_64_asm:movq(r8, {-128, r9, r10, 4})
         ),
-        % movq %r11, 16#7f(%r8,%rdx,8)
-        ?_assertEqual(
-            % REX.WRXB, ModRM, SIB, disp8
+        ?_assertAsmEqual(
             <<16#4D, 16#89, 16#5C, 16#D0, 16#7F>>,
+            "mov %r11,0x7f(%r8,%rdx,8)",
             jit_x86_64_asm:movq(r11, {127, r8, rdx, 8})
         ),
-        % movq %rcx, 16#12345678(%rsi,%rdi,1)
-        ?_assertEqual(
-            % REX.W, ModRM, SIB, disp32
+        ?_assertAsmEqual(
             <<16#48, 16#89, 16#8C, 16#3E, 16#78, 16#56, 16#34, 16#12>>,
+            "mov %rcx,0x12345678(%rsi,%rdi,1)",
             jit_x86_64_asm:movq(rcx, {305419896, rsi, rdi, 1})
         ),
-        % movq $95, 16#18(%rax, %rcx, 8)
-        ?_assertEqual(
-            % REX.W, ModRM, SIB, disp32
-            <<16#48, 16#C7, 16#84, 16#C8, 16#18, 16#00, 16#00, 16#00, 16#5F, 16#00, 16#00, 16#00>>,
+        ?_assertAsmEqual(
+            <<72,199,68,200,24,95,0,0,0>>,
+            "movq $0x5f,0x18(%rax,%rcx,8)",
             jit_x86_64_asm:movq(95, {16#18, rax, rcx, 8})
+        ),
+        ?_assertAsmEqual(
+            <<16#48, 16#89, 16#44, 16#0A, 16#10>>,
+            "mov %rax,0x10(%rdx,%rcx,1)",
+            jit_x86_64_asm:movq(rax, {16, rdx, rcx, 1})
+        ),
+        ?_assertAsmEqual(
+            <<72,199,68,74,32,42,0,0,0>>,
+            "movq $0x2a,0x20(%rdx,%rcx,2)",
+            jit_x86_64_asm:movq(42, {32, rdx, rcx, 2})
+        ),
+        ?_assertAsmEqual(
+            <<72,199,68,138,48,33,0,0,0>>,
+            "movq $0x21,0x30(%rdx,%rcx,4)",
+            jit_x86_64_asm:movq(33, {48, rdx, rcx, 4})
+        ),
+        ?_assertAsmEqual(
+            <<72,199,68,10,64,55,0,0,0>>,
+            "movq $0x37,0x40(%rdx,%rcx,1)",
+            jit_x86_64_asm:movq(55, {64, rdx, rcx, 1})
+        ),
+        ?_assertAsmEqual(
+            <<72,199,132,202,128,0,0,0,153,0,0,0>>,
+            "movq $0x99,0x80(%rdx,%rcx,8)",
+            jit_x86_64_asm:movq(16#99, {16#80, rdx, rcx, 8})
         )
     ].