Merge branch 'john/compiler/refactor-validator-type-management'

* john/compiler/refactor-validator-type-management:
  beam_validator: Clarify a comment
  beam_validator: Make call argument validation stricter
  beam_validator: Don't explode when building terms in receive
  beam_validator: Improve 'binary' type tracking
  beam_validator: Infer tuple element types
  beam_validator: Tolerate the 'receive' hack in prim_eval
  beam_validator: Track types by value rather than by register
  beam_validator: Disregard 'none' on join
  beam_validator: Handle is_number, and join(float,int) -> number
  beam_validator: Treat is_nil as is_eq_exact with nil
  beam_validator: Simplify get_element_type
  beam_validator: Fix literal handling in meet/2
  beam_validator: Use literals as keys in container (tuple) elements
  beam_validator: Refactor try/catch handling, again
  beam_validator: Refactor register initialization
  beam_validator: Refactor stack allocation
  beam_validator: Handle argument/return types for more functions
  beam_validator: Don't forget last element when using put_tuple
  beam_jump: Fail label of select_val is unsafe for move elimination
  cerl_sets: Use maps:filter/2 in filter/2

1 files changed, 4 insertions, 0 deletions

diff --git a/erts/preloaded/src/prim_eval.S b/erts/preloaded/src/prim_eval.S
index e4b1560517..900fda5d89 100644
--- a/erts/preloaded/src/prim_eval.S
+++ b/erts/preloaded/src/prim_eval.S
@@ -42,6 +42,10 @@
   {label,3}.
     {loop_rec,{f,5},{x,0}}.
     {move,{y,1},{x,1}}.
+    %% Tell the validator that it's safe to pass the message as an argument,
+    %% as the match fun is "known" not to build a term with it, and the
+    %% loop_rec instruction has disabled the GC.
+    {'%', {remove_fragility, {x,0}}}.
     {call_fun,1}.
     {test,is_ne_exact,{f,4},[{x,0},{atom,nomatch}]}.
     remove_message.