Merge branch 'bjorn/compiler/maps'

* bjorn/compiler/maps:
  v3_codegen: Teach the put_map_* instructions to reuse source registers
  beam_validator: Tighten tests of maps
  v3_core: Eliminate the sloppiness-encouraging get_ianno/1 function
  v3_core: Add is_map tests before map instructions
  beam_type: Use the complete register map when calculating liveness
  Introduce '%live' annotations with a complete register map
  beam_validator: Teach bif_type/3 and is_bif_safe/2 about is_map/1
  v3_core: Simplify conversion of map patterns

1 files changed, 12 insertions, 0 deletions

diff --git a/lib/compiler/test/guard_SUITE.erl b/lib/compiler/test/guard_SUITE.erl
index 8db47ffa40..08279d9408 100644
--- a/lib/compiler/test/guard_SUITE.erl
+++ b/lib/compiler/test/guard_SUITE.erl
@@ -1802,6 +1802,12 @@ bad_guards(Config) when is_list(Config) ->
     fc(catch bad_guards_2(#{a=>0,b=>0}, [x])),
     fc(catch bad_guards_2(not_a_map, [x])),
     fc(catch bad_guards_2(42, [x])),
+
+    fc(catch bad_guards_3(#{a=>0,b=>0}, [])),
+    fc(catch bad_guards_3(#{a=>0,b=>0}, [x])),
+    fc(catch bad_guards_3(not_a_map, [x])),
+    fc(catch bad_guards_3(42, [x])),
+
     ok.
 
 %% beam_bool used to produce GC BIF instructions whose
@@ -1813,6 +1819,12 @@ bad_guards_1(X, [_]) when {{X}}, -X ->
 bad_guards_2(M, [_]) when M#{a := 0, b => 0}, map_size(M) ->
     ok.
 
+%% beam_type used to produce an GC BIF instruction whose Live operand
+%% included uninitialized registers.
+
+bad_guards_3(M, [_]) when is_map(M) andalso M#{a := 0, b => 0}, length(M) ->
+    ok.
+
 %% Call this function to turn off constant propagation.
 id(I) -> I.