Merge branch 'bjorn/compiler/opt/OTP-12951'

* bjorn/compiler/opt/OTP-12951:
  beam_validator: Don't allow x(1023) to be used
  v3_core: Improve code generation for guards
  Move rewriting of select_val to is_boolean from beam_peep to beam_dead
  Put 'try' in blocks to optimize allocation instructions
  Reorder instructions across try/catch
  Delay get_tuple_element instructions until they are needed
  Optimize get_tuple_element instructions by moving them forward
  beam_block: Improve the move optimizations
  beam_block: Clean up optimization of move optimizations
  beam_block: Eliminate redundant wasteful call to opt/1
  Teach the compiler the 'da' and 'dz' options

1 files changed, 9 insertions, 0 deletions

diff --git a/lib/compiler/src/beam_utils.erl b/lib/compiler/src/beam_utils.erl
index fbcd5de1bb..68d6105cfa 100644
--- a/lib/compiler/src/beam_utils.erl
+++ b/lib/compiler/src/beam_utils.erl
@@ -484,6 +484,15 @@ check_liveness(R, [{get_map_elements,{f,Fail},S,{list,L}}|Is], St0) ->
 		    Other
 	    end
     end;
+check_liveness(R, [{test_heap,N,Live}|Is], St) ->
+    I = {block,[{set,[],[],{alloc,Live,{nozero,nostack,N,[]}}}]},
+    check_liveness(R, [I|Is], St);
+check_liveness(R, [{allocate_zero,N,Live}|Is], St) ->
+    I = {block,[{set,[],[],{alloc,Live,{zero,N,0,[]}}}]},
+    check_liveness(R, [I|Is], St);
+check_liveness(R, [{get_list,S,D1,D2}|Is], St) ->
+    I = {block,[{set,[D1,D2],[S],get_list}]},
+    check_liveness(R, [I|Is], St);
 check_liveness(_R, Is, St) when is_list(Is) ->
 %%     case Is of
 %% 	[I|_] ->