Move rewriting of bs_match from beam_clean to beam_z

The actual bs_match_string instruction has four operands:

   bs_match_string {f,Lbl} Ctxt NumBits {string,ListOfBytes}

However, v3_codegen emits a more compact representation where
the bits to match are packaged in a bitstring:

   bs_match_string {f,Lbl} Ctxt Bitstring

Currently, beam_clean:clean_labels/1 will rewrite the compact
representation to the final representation. That is unfortunate
since clean_labels/1 is called by beam_dead, which means that
the less compact representation will be introduced long before
it is actually needed by beam_asm. It will also complicate any
optimizations that we might want to do.

Move the rewriting of bs_match_string from beam_clean:clean_labels/1
to the beam_z pass, which is the last pass executed before
beam_validator and beam_asm.

0 files changed, 0 insertions, 0 deletions