Enhance type-driven optimisation in beam_type.erl

* kill type information only for affected registers in get_map_elements

* bs_get_utf* will produce integers of unicode range

  This optimises code created by Elixir compiler, where:

      <<x::utf8,_::binary>> when x in 1..10

  will compile the guard to

      is_integer(X) andalso X >= 1 andalso X =< 10

  This allows us to eliminate the is_integer check.

* bs_get_float will produce a float

* allow to carry type information over other bs instructions killing
  only the affected registers

* kill only x registers after call_fun and apply instructions

0 files changed, 0 insertions, 0 deletions