anchor.diff:  	    backward([I|Is], D, Acc)
       end;
   backward([{test,Op,{f,To0},Live,Ops0,Dst}|Is], D, Acc) ->
  -    To1 = shortcut_bs_test(To0, Is, D),
  -    To2 = shortcut_label(To1, D),
  +    To1 = shortcut_label(To0, D),
  +
       %% Try to shortcut a repeated test:
       %%
       %%        test Op {f,Fail1} _ Ops _ 	test Op {f,Fail2} _ Ops _
       %%        . . .		          ==>   ...
       %% Fail1: test Op {f,Fail2} _ Ops _   Fail1: test Op {f,Fail2} _ Ops _
       %%
  -    To = case beam_utils:code_at(To2, D) of
  -	     [{test,Op,{f,To3},_,Ops,_}|_] ->
  +    To = case beam_utils:code_at(To1, D) of
  +	     [{test,Op,{f,To2},_,Ops,_}|_] ->
   		 case equal_ops(Ops0, Ops) of
  -		     true -> To3;
  -		     false -> To2
  +		     true -> To2;
  +		     false -> To1
   		 end;
   	     _Code ->
  -		 To2
  +		 To1
   	 end,
       I = {test,Op,{f,To},Live,Ops0,Dst},
       backward(Is, D, [I|Acc]);
  
positive.code:             backward(Is, D, [I|Acc0])
      end;
  backward([{test,Op,{f,To0},Ops0}|Is], D, Acc) ->
      To1 = shortcut_bs_test(To0, Is, D),
      To2 = shortcut_label(To1, D),
      To3 = shortcut_rel_op(To2, Op, Ops0, D),
  
      %% Try to shortcut a repeated test:
      %%
  
negative.code:         true -> {Literal,Is};
          false -> not_killed
      end.
  
  %% shortcut_bs_start_match(TargetLabel, Reg) -> TargetLabel
  %%  A failing bs_start_match2 instruction means that the source (Reg)
  