Merge branch 'bg/compiler-cover-and-clean' into dev

* bg/compiler-cover-and-clean:
  v3_life: Remove clause that cannot match in match_fail/3
  v3_life tests: Cover exception handling code in v3_life:function/1
  beam_type: Remove redundant clause
  v3_core tests: Cover make_bool_switch_guard/5
  v3_core tests: Cover handling of pattern aliases
  v3_core: Remove a clause in is_simple/1 that cannot match
  v3_core: Remove unused support for generating compilation errors
  Remove stray support for the put_literal/2 instruction
  Remove stray support for the bs_bits_to_bytes2/2 instruction
  Remove the bs_bits_to_bytes/3 instruction
  Cover handling of 'math' BIFs
  beam_bool: Remove a clause in live_regs/1 that cannot match
  beam_bool: Cover handling of bs_context_to_binary in initialized_regs/2
  beam_bool: Remove a clause in initialized_regs/2 that cannot match
  beam_block: Remove a clause that will never be executed
  erts: Stop supporting non-literal empty tuples
  compile: Remove code that is only executed on Solaris
  Do not cover-analyze core_scan
  core_SUITE_data: Don't ignore *.core files in this directory

OTP-8636 bg/compiler-cover-and-clean

1 files changed, 7 insertions, 10 deletions

diff --git a/erts/emulator/beam/ops.tab b/erts/emulator/beam/ops.tab
index d6feef3fb9..42c84989c6 100644
--- a/erts/emulator/beam/ops.tab
+++ b/erts/emulator/beam/ops.tab
@@ -60,12 +60,18 @@ func_info M=a a==am_module_info A=u==0 | label L | move n r => too_old_compiler
 func_info M=a a==am_module_info A=u==1 | label L | move n r => too_old_compiler
 
 # The undocumented and unsupported guard BIF is_constant/1 was removed
-# in R13. The is_constant/2 operation is marked as obosolete in genop.tab,
+# in R13. The is_constant/2 operation is marked as obsolete in genop.tab,
 # so the loader will automatically generate a too_old_compiler message
 # it is used, but we need to handle the is_constant/1 BIF specially here.
 
 bif1 Fail u$func:erlang:is_constant/1 Src Dst => too_old_compiler
 
+# Since the constant pool was introduced in R12B, empty tuples ({})
+# are literals. Therefore we no longer need to allow put_tuple/2
+# with a tuple size of zero.
+
+put_tuple u==0 d => too_old_compiler
+
 #
 # All the other instructions.
 #
@@ -328,11 +334,8 @@ i_is_eq_immed f y c
 # Putting things.
 #
 
-put_tuple u==0 Dst => i_put_tuple_only u Dst
 put_tuple Arity Dst | put V => i_put_tuple Arity V Dst
 
-i_put_tuple_only A d
-
 %macro: i_put_tuple PutTuple -pack
 i_put_tuple A x x
 i_put_tuple A y x
@@ -1177,12 +1180,6 @@ i_bs_init_bits_fail_heap I j I d
 i_bs_init_bits I I d
 i_bs_init_bits_heap I I I d
 
-bs_bits_to_bytes Fail Src Dst => i_bs_bits_to_bytes Src Fail Dst
-
-i_bs_bits_to_bytes r j d
-i_bs_bits_to_bytes x j d
-i_bs_bits_to_bytes y j d
-
 bs_add Fail S1=i==0 S2 Unit=u==1 D => move S2 D
 bs_add Fail S1 S2 Unit D => i_fetch S1 S2 | i_bs_add Fail Unit D