Merge pull request atomvm#1849 from pguyot/w39/fix-binary-matching-with-large-integers-on-32bits

JIT: Fix binary matching with large integers on 32bits

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

Author: bettio

libs/jit/src/jit.erl

@@ -2962,11 +2962,25 @@ first_pass_bs_match_equal_colon_equal(
     ]),
     MSt2 = handle_error_if({Result, '==', 0}, MMod, MSt1),
     MSt3 = cond_jump_to_label({Result, '==', ?FALSE_ATOM}, Fail, MMod, MSt2),
-    MSt4 = MMod:shift_right(MSt3, Result, 4),
-    MSt5 = cond_jump_to_label({Result, '!=', PatternValue}, Fail, MMod, MSt4),
-    MSt6 = MMod:add(MSt5, BSOffsetReg, Size),
-    MSt7 = MMod:free_native_registers(MSt6, [Result]),
-    {J0 - 3, Rest3, MatchState, BSOffsetReg, MSt7}.
+    MSt6 =
+        case MMod:word_size() of
+            4 when PatternValue bsr 28 > 0 ->
+                % PatternValue doesn't match on immediate integer, so unbox Result for comparison
+                MMod:if_block(
+                    MSt3, {Result, '&', ?TERM_PRIMARY_MASK, '!=', ?TERM_PRIMARY_BOXED}, fun(BSt0) ->
+                        MMod:jump_to_label(BSt0, Fail)
+                    end
+                ),
+                MSt4 = MMod:and_(MSt3, Result, ?TERM_PRIMARY_CLEAR_MASK),
+                {MSt5, IntValue} = MMod:get_array_element(MSt4, {free, Result}, 1),
+                cond_jump_to_label({IntValue, '!=', PatternValue}, Fail, MMod, MSt5);
+            _ ->
+                MSt4 = MMod:shift_right(MSt3, Result, 4),
+                cond_jump_to_label({Result, '!=', PatternValue}, Fail, MMod, MSt4)
+        end,
+    MSt7 = MMod:add(MSt6, BSOffsetReg, Size),
+    MSt8 = MMod:free_native_registers(MSt7, [Result]),
+    {J0 - 3, Rest3, MatchState, BSOffsetReg, MSt8}.
 
 first_pass_bs_match_skip(MatchState, BSOffsetReg, J0, Rest0, MMod, MSt0) ->
     {Stride, Rest1} = decode_literal(Rest0),