anchor.diff:       hipe_rtl:mk_goto(TrueLblName)],
     ExCode ++ MakeCode.
   
  -get_binary(Dst1, Ms, SizeReg, 
  -	   UnSafe, TrueLblName, FalseLblName) ->
  +get_binary(Dst1, Ms, SizeReg, UnSafe, TrueLblName, FalseLblName) ->
     [SuccessLbl] = create_lbls(1),
     [EndOffset] = create_gcsafe_regs(1),
     {[Offset,BinSize,Orig], ExCode} = 
       extract_matchstate_vars([offset,binsize,orig], Ms),
     CheckCode =
  -    [check_size(Offset, SizeReg, BinSize, EndOffset, 
  -		UnSafe, hipe_rtl:label_name(SuccessLbl), 
  -		FalseLblName),
  +    [check_size(Offset, SizeReg, BinSize, EndOffset, UnSafe,
  +		hipe_rtl:label_name(SuccessLbl), FalseLblName),
        SuccessLbl],
     MakeCode =
  -    construct_subbin(Dst1,SizeReg,Offset,Orig)
  +    construct_subbin(Dst1, SizeReg, Offset, Orig)
       ++ [update_offset(EndOffset, Ms),
   	hipe_rtl:mk_goto(TrueLblName)],
     ExCode ++ CheckCode ++ MakeCode.
   
  -construct_subbin(Dst,Size,Offset,Orig) ->
  +construct_subbin(Dst, Size, Offset, Orig) ->
     [BitOffset, ByteOffset, BitSize, ByteSize] = create_gcsafe_regs(4),
     [hipe_rtl:mk_alu(ByteSize, Size, srl, hipe_rtl:mk_imm(?BYTE_SHIFT)),
      hipe_rtl:mk_alu(BitSize, Size, 'and', hipe_rtl:mk_imm(?LOW_BITS)),
  
positive.code: %%%
  %%% %CopyrightBegin%
  %%% 
  %%% Copyright Ericsson AB 2007-2009. All Rights Reserved.
  %%% 
  %%% The contents of this file are subject to the Erlang Public License,
  %%% Version 1.1, (the "License"); you may not use this file except in
  
negative.code: 
  create_lbls(0) ->
    [];
  create_lbls(X) when X > 0 ->
    [hipe_rtl:mk_new_label()|create_lbls(X-1)].
  
  make_dyn_prep(SizeReg, CCode) ->   
  