beam_kernel_to_ssa: Try to harder to avoid try/catch

When evaluating a guard expression in a try/catch, try harder
to eliminate the try/catch.

This is important for expression in binaries and maps in a receive.
In a receive, it is not allowed to use a try/catch, because it will
force a stack frame and saving of registers to the stack frame.

1 files changed, 32 insertions, 0 deletions

diff --git a/lib/compiler/test/map_SUITE.erl b/lib/compiler/test/map_SUITE.erl
index d8fdc8a080..46c1acef4c 100644
--- a/lib/compiler/test/map_SUITE.erl
+++ b/lib/compiler/test/map_SUITE.erl
@@ -2251,6 +2251,38 @@ t_key_expressions(_Config) ->
     no_match = F4(42, 0, #{2 => value}),
     no_match = F4(42, a, #{2 => value}),
 
+    F5 = fun(Term) ->
+                 self() ! Term,
+                 receive
+                     #{[<<(3 bsr 30 + 2):0,$k:[]/signed-integer>>] := _} ->
+                         ok;
+                     0.5 ->
+                         error
+                 end
+         end,
+    error = F5(0.5),
+
+    F6 = fun(Term) ->
+                 self() ! Term,
+                 receive
+                     #{<<a/utf8>> := {a,b,c}} -> ok;
+                     Other -> {error,Other}
+                 end
+         end,
+    {error,any} = F6(any),
+
+    F7 = fun(Term) ->
+                 self() ! Term,
+                 (?MODULE:all()):a(catch
+                                       receive
+                                           <<1.14:{<<"a":(tuple_size(1))>>}>> ->
+                                               4;
+                                           Other ->
+                                               Other
+                                       end)
+         end,
+    {'EXIT',{badarg,_}} = (catch F7(whatever)),
+
     ok.
 
 t_duplicate_keys(Config) when is_list(Config) ->